汉密尔顿回路逻辑程序的两个结果

基于回答集语义的逻辑程序提供了描述性问题求解的范例,而逻辑程序的一阶环公式提供了计算回答集的新方法——自动定理证明.本文研究了汉密尔顿回路逻辑程序的一阶环公式,证明了计算汉密尔顿回路的有助于提供计算效率的两个主要结果.     

语义网及其应用

面对万维网信息化规模急剧膨胀、信息载体也趋于多元化等原因所带来的诸多困难,语义网的提出为此提供了解决方案及技术支持,它利用对网络上的信息资源添加语义,达到不仅为人们所理解,也可以使机器理解和处理的目的.本文首先介绍了语义网的背景、基本概念、技术框架,然后阐述了语义网的结构框架以及各层次之间的协作关系与作用.结合一个实例...     

基于Translog模型对中国汽车业规模报酬及技术进步的分析

利用中国汽车产业2000～2009年的时间序列数据,将影响汽车产业规模报酬的因素分为3个方面:技术工人、非技术工人和资本。建立汽车产业Translog生产函数模型进行估计,并经过BP神经网络学习算法得到十余年间汽车产业规模报酬的大趋势,从而发现现阶段中国汽车产业规模报酬并未达到理想状态,说明汽车产业的生产规模仍然存在较大的可发展空间。