发明专利
专利类型未知
专利状态2018101494810
专利号专利号 | 2018101494810 | 专利名称 | 一种基于谓词逻辑的规范重构表示方法 |
---|---|---|---|
专利类型 | 发明专利 | 国际分类 | G06F17/50 |
申请人 | 西安理工大学 | 申请地址 | 陕西省西安市金花南路5号 |
发明人 | 赵钦;赵雅倩;余梁蜀;黑新宏;朱磊;杨明松;刘尧尧;李亚杰 | 申请日期 | 2018-02-13 |
下证状态 | 未知 | 更新时间 | 2023-03-01 10:09:26 |
专利摘要 | 本发明公开了一种基于谓词逻辑的规范重构表示方法,具体包括如下步骤:步骤1,将规范条目分割为多个子句;步骤2,对步骤1得到的子句进行归一化处理;步骤3,对经步骤2处理后的子句成分进行符号化处理,并将处理后的结果存入计算机中。本发明能够将中文建筑规范条目进行数字化表达,解决了目前设计规范的计算机存储及识别问题。 |
买卖双方需提供 | 平台提供 | 转让后买方可获得 | ||
---|---|---|---|---|
企业 | 个人 | 专利代理委托书 专利权转让协议 办理文件副本请求书 发明人变更声明 | 专利证书 手续合格通知书 专利登记簿副本 | |
买方 | 企业营业执照 企业组织机构代码证 | 身份证 | ||
卖方 | 企业营业执照 专利证书原件 | 身份证 专利证书原件 |
专利状态:
专利类型:发明专利
询价专利状态:
专利类型:发明专利
询价专利状态:
专利类型:发明专利
询价专利状态:未知
专利类型:实用新型
询价您的咨询我们已收到,稍后会有专业顾问与您联系。