登录后向技术服务商咨询
发布技术需求
服务免费，交易还可领红包哦
技术详细介绍
该成果包括面向ＣＡＤ演绎数据库系统ＣＤＤＢＳ及用它开发的逻辑电路辅助设计工具ＬＣＡＤ－ＴＯＤＬ和基于ＣＡＤ的版本管理系统ＶＭＳＣ。ＣＤＤＢＳ在ＵＮＩＦＹ上增加了递归算法、查询优化、虚－实关系转换嵌入Ｃ语言及类似于ＳＱＬ的演绎数据库语言ｄＳＱＬ。ＬＣＡＤ－ＴＯＯＬ能建立元件库，用规则定义逻辑电路，用规则演绎作布局、布线并构成逻辑电路图。ＶＭＳＣ具有初始版本的建立，撤消版本空间，版本的赋值、抽取、比较、合并、求差、取补、查及当前版本的指定与撤消等操作。该研究处于国内领先地位,其中查询优化、虚－实关系转换、版本逻辑理论、版本模型、布局、布线的规则表示以替代传统的ＣＡＤ中的复杂计算方法等，达到国际先进水平。它可用于数据管理、智能管理、专家系统、（智能）ＣＡＤ、智能ＤＳＳ等多个领域。