搜索筛选:
搜索耗时0.9666秒,为你在为你在102,285,761篇论文里面共找到 5 篇相符的论文内容
发布年度:
[期刊论文] 作者：常万军,郭祖华,魏昆鹏,
来源：计算机工程 年份：2013
在介绍约束逻辑程序的定义、可满足性及其稳定模型等概念的基础上，研究约束逻辑程序的正文字展开方法和约束原子的正文字前缀幂集方法，对展开前后逻辑程序的等价特性进行逻辑证......
[期刊论文] 作者：常万军,杨亚楠,郭祖华,
来源：科技管理研究 年份：2013
针对家电企业产品生命周期管理中产品设计存在着手工建档、查询困难和协同性差的状况，将本体理论引入家电领域。在研究家电领域顶层本体构建方法和本体语义扩展方法的基础上，提......
[期刊论文] 作者：常万军,郭祖华,魏昆鹏,
来源：计算机工程与设计 年份：2013
在介绍约束逻辑程序的相关概念的基础上，研究了简单单调约束逻辑程序约束原子的正文字前缀幂集展开方法，并证明展开后的正规逻辑约束与约束逻辑程序的等价特性。分析了正规逻辑......
[期刊论文] 作者：常万军,杨亚楠,郭祖华,
来源：计算机科学 年份：2013
在家电企业的生命周期管理实践中，产品设计方面存在着手工建档、查询与协同性困难的状况。将本体理念引入家电领域，研究顶层本体及其语义扩展方法，提出功能语义扩展方法is-a，构建......
[期刊论文] 作者：常万军，杨亚楠，郭祖华，CHANGWan-jun，YANGYa-nan，GUOZu-hua,
来源：计算机科学 年份：2013
...
相关搜索：
