江苏省技术产权交易市场

一种对历史事务的建模验证方法
123人浏览
商品权属
自有
交易方式
技术转让
购买方式
意向购买
价格
面议

店铺信息

江苏阳光惠远知识产权运营有限公司
电话 180xxxx8201
本发明提供一种对历史事务的建模验证方法,属于计算机领域。本方法建立一种在线性时序逻辑基础之上的新型逻辑,通过对线性时序逻辑的扩充,能描述历史条件下的事物以及时间,并能对描述好的历史事务进行验证。本发明解决之前线性时序逻辑只能表示未来情况的局限,提高了语言的表达能力,在提高软件质量、保证软件正确性等方面有非常重要的作用,有良好的社会效益。
本发明提供一种对历史事务的建模验证方法,属于计算机领域。本方法建立一种在线性时序逻辑基础之上的新型逻辑,通过对线性时序逻辑的扩充,能描述历史条件下的事物以及时间,并能对描述好的历史事务进行验证。本发明解决之前线性时序逻辑只能表示未来情况的局限,提高了语言的表达能力,在提高软件质量、保证软件正确性等方面有非常重要的作用,有良好的社会效益。
商品类型 专利 申请号 201810101474.3 所属行业 暂缺
专利类型 发明 法律状态 有权 IPC分类号 G06F16/36
交易方式 技术转让 专利状态 已授权 授权号
高新技术领域分类 电子信息 信息有效期至 长久有效 授权日
暂无数据
猜你喜欢
换一批

购买意向调查