欢迎来到中细软旗下技术转移平台

我的成果我的需求在线客服

服务热线:400-700-0065

一种基于谓词逻辑的规范重构表示方法

院校
  • 发明专利

    专利类型
  • 未知

    专利状态
  • 2018101494810

    专利号
免费询价 在线咨询
收藏

专利信息

数据仅供参考,具体信息可联系在线顾问

专利号 2018101494810 专利名称 一种基于谓词逻辑的规范重构表示方法
专利类型 发明专利 国际分类 G06F17/50
申请人 西安理工大学 申请地址 陕西省西安市金花南路5号
发明人 赵钦;赵雅倩;余梁蜀;黑新宏;朱磊;杨明松;刘尧尧;李亚杰 申请日期 2018-02-13
下证状态 未知 更新时间 2023-03-01 10:09:26
专利摘要 本发明公开了一种基于谓词逻辑的规范重构表示方法,具体包括如下步骤:步骤1,将规范条目分割为多个子句;步骤2,对步骤1得到的子句进行归一化处理;步骤3,对经步骤2处理后的子句成分进行符号化处理,并将处理后的结果存入计算机中。本发明能够将中文建筑规范条目进行数字化表达,解决了目前设计规范的计算机存储及识别问题。

交易流程

转让材料

买卖双方需提供 平台提供 转让后买方可获得
企业 个人 专利代理委托书
专利权转让协议
办理文件副本请求书
发明人变更声明
专利证书
手续合格通知书
专利登记簿副本
买方 企业营业执照
企业组织机构代码证
身份证
卖方 企业营业执照
专利证书原件
身份证
专利证书原件

服务保障

优质专利推荐

免疫荧光色带定量检测系统及其应用

专利状态:

专利类型:发明专利

询价

一种治疗创伤、糖尿病足和皮肤溃烂的中药组合物及其制备方法

专利状态:

专利类型:发明专利

询价

百页风力发电机

专利状态:

专利类型:发明专利

询价

一种自助咽拭子取样设备

专利状态:未知

专利类型:实用新型

询价
品类齐全,快速响应
专业顾问一对一服务
服务流程追踪更安全

登录成功

您的咨询我们已收到,稍后会有专业顾问与您联系。