本文首先对产品族结构树及其配置进行了研究，定义了一个以稳定模型作为语义基础的BOM配置语言对配置规则进行表示，然后在关系数......

马尔科夫回答集逻辑程序(Logic Programming with Markov Logic Networks,LPMLN)通过赋予规则权重的方式扩展了回答集逻辑程序（Answ......

交互式自行车模拟器是集动感及力觉提示、力学仿真以及计算机图形学等技术于一体的动感模拟器系统,自行车动力学仿真模块是其仿真......

研究了利用频响数据进行振动系统辨识的问题。将振动系统表示为二阶传递函数之和的形式，通过约束传递函数模型中分母系数为正，可以保......

在介绍约束逻辑程序的相关概念的基础上，研究了简单单调约束逻辑程序约束原子的正文字前缀幂集展开方法，并证明展开后的正规逻辑约束......

本文主要阐明反应型咸味香精动态生香体系生成机理以及特点，并且提出了这种动态体系稳定机理以及模型建立的方法和思路。......

利用非单调逻辑编程技术，Chomicki等人提出了一种策略冲突消解方法。虽然该方法具有高效、可靠和良好的封装性等优点，但是它的应用域......

该文简要阐述了软件多样性与安全性的关系后，基于STABLE MODEL是逻辑程序的语义模型的观点，从软件与逻辑程序设计的关联出发，提出了用......

现有进程检测方法，检测的目标是系统调用的序列的排列关联，忽略了语义中潜在的异常。稳定模型是逻辑程序的语义模型，可以用以发现并修......

对多轴稳定平台的稳定模型及求解方法进行研究,结合典型的工程应用,建立稳定模型,并运用旋转矩阵,推导出单轴、两轴、三轴及斜轴稳......

基于任务-角色访问控制机制,提出类似一阶谓词逻辑的安全策略定义语言,并具有一定的时序表达功能.用户使用这种高层描述语言可在不......

提出一种基于遗传算法的电气设备宽频建模方法。首先,针对以往常用的基于矢量匹配法的建模方法的局限性,提出自己的建模思路;其次,......