【摘 要】
：
动态描述逻辑的动作理论对动作的静态描述和动态执行提供了良好的基础和方法。作为对动态描述逻辑的扩充,可以利用Petri网对多个动态描述逻辑动作间的关系进行很好的描述和分析。具体讨论了动态描述逻辑动作系统对应的Petri网模型自动生成问题,利用领域本体对动态描述逻辑动作的条件进行本体定义,通过本体推理,得到不同动作间的条件定义中的相同或等价元素,进一步自动构造得到动作系统的Petri网的PNML+OW
【机 构】
：
济南大学信息科学与工程学院,济南 250022
【出 处】
：
第十二届全国petri网理论与应用学术年会
论文部分内容阅读
动态描述逻辑的动作理论对动作的静态描述和动态执行提供了良好的基础和方法。作为对动态描述逻辑的扩充,可以利用Petri网对多个动态描述逻辑动作间的关系进行很好的描述和分析。具体讨论了动态描述逻辑动作系统对应的Petri网模型自动生成问题,利用领域本体对动态描述逻辑动作的条件进行本体定义,通过本体推理,得到不同动作间的条件定义中的相同或等价元素,进一步自动构造得到动作系统的Petri网的PNML+OWL描述。
其他文献
通过研究石油井下工具生产工艺和结构特点,提出了面向对象,特征化、参数化、模块化的数字模型建立方法。结合三维造型软件SolidWorks和可视化的编程工具Visual Basic 6.0,开发了"石油井下工具虚拟设计仿真平台",提供了井下工具的模型建立,模型装配、有限元分析、仿真等基本操作和计算。将程序的集中控制能力、数据库的集成管理能力和三维虚拟设计仿真相结合,实现了井下工具初步设计阶段产品模型的
采用C/S结构的基于虚拟现实的水电仿真系统中,虚拟可视化场景与仿真数学模型间存在时间不同步的问题,以致影响虚拟可视化场景与仿真数学模型间的交互,造成虚拟可视化场景的运行出现不连贯的现象。针对这一问题,在系统中应用SABS算法,调整虚拟可视化场景与仿真数学模型间的时间差,以改善系统的交互性,使虚拟可视化场景的运行更加流畅,并进一步分析了算法在系统运行过程中对系统交互性的影响。
Cities separated in space are connected together by spatial interaction (SI) between them. But the studies focusing on the SI are relatively few in China mainly because of the scarcity of data. This p
论述了电机参数容差对电机性能的影响,提出以Ansoft软件为基础进行电机容差分析的方法,阐述了概率统计分析、灵敏度分析的方法,并以小功率稀土无刷直流电机为例,分析给定参数容差对电机性能的影响,说明了容差分析方法在电机设计中的可行性。
在并行自动测试系统中,为了对资源分配中的竞争与冲突进行分析,必须对该问题进行建模和仿真。在基于Petri网理论的基础上,提出了一种并行自动测试系统的资源分配模型,并且在该模型下,对一个系统实例进行了仿真分析。实验结果表明,该模型适于描述该类系统的资源分配问题。
首次建立了dcSQUID在电路仿真软件PSpice中的模型,对不同外加磁通下的I-V特性以及不同参数下的V-Φ特性曲线进行了仿真研究,得出了调制电压峰峰值、变换系数等特性参数随偏置电流、正常态电阻和非对称程度变化的关系。仿真结果对于深入了解dcSQUID的原理和选择参数有重要的指导意义。
利用图像经过CARDBAL多小波变换后,能量汇聚且平均分摊在最低分辨率子图像4个分量上的特点,提出一种改进的多小波域盲水印方法。采用比较法嵌入一幅水印图案,建立含水印图像与水印之间的关系模型,通过神经网络训练来提高水印检测的正确率。实验表明,该方法具有良好的鲁棒性,在JPEG压缩和一些图像处理下可检测到水印。
支持向量机(SVM)的性能与SVM参数的选择有关。SVM参数的优化需要一个准则。针对核函数选择RBF形式的情况,提出了一个新的SVM参数优化的准则,称作导数平方和准则。与著名的SVM参数优化方法如交叉验证或Radius/Margin Bound准则方法相比,利用提出的参数优化准则得到的分类面能够在原空间对样本集"平分秋色",体现了SVM分类器的结构风险最小化的原则,而且算法简单、计算量小、更易于实
气流组织是空调房间内空气的分布、流动形式,主要反映在气流的温度、湿度、气流速度和清洁度等指标,是否符合行业标准规定的空调房间的要求。气流组织可以通过数值计算理论、计算机仿真技术给予实现。以一个典型的变风量中央空调房间为研究基础,以该房间内的送、回风口边界面为研究实例,通过分析、研究悬浮在房间立体内的送、回风口的数值仿真方法,运用实体造型技术,设计出在房间立体与悬浮边界面之间的拓扑关系,使两者成为一
根据1995-2004年5~9月青海湖区域刚察、共和、天峻、海晏4站地面观测资料,对该地区主要降水云状和降水特征进行统计分析。结果表明:混合云的降水频率最高,其次是积云,层云较低;降水特征有明显的差异,降水强度、降水次数南部明显小于北部,大降水东北部多于西南部;刚察、天峻混合性降水出现频率最高,共和阵性降水最高,海晏连续性降水最高,各站降水最高频数多出现在8月;降水概率各站之间有明显差异,降水最大