稳定模型相关论文
建立人类血红蛋白(HGB)的可见-近红外光谱分析模型,进行波段优选和稳定性分析。基于样品的随机性、相似性和稳定性,提出了一种新......
会议
逻辑程序的稳定模型语义不能很好地用来描述数据库,知识库或者信念集上的约束,为此人们提出了一种新的机制—修正程序.其中的约束......
随着逻辑程序研究的不断深入,逻辑程序的语义和更新已经成为研究的热门,各种语义模型和更新方法层出不穷,尤其是更新方法中优先级......
本文首先对产品族结构树及其配置进行了研究,定义了一个以稳定模型作为语义基础的BOM配置语言对配置规则进行表示,然后在关系数......
马尔科夫回答集逻辑程序(Logic Programming with Markov Logic Networks,LPMLN)通过赋予规则权重的方式扩展了回答集逻辑程序(Answ......
学位
该文主要围绕与地应力,岩石强度参数,钻井液与泥页岩活度等相关的井壁力学,力学-化学稳定性,应用井壁岩石八面体剪应力各向异性,有效挤毁......
用沿高度方向分段连续化的方法,对底部为大底盘、上部为多塔楼、塔楼之间带连廊的高层建筑结构,建立分段连续化的串并联稳定模型,导出......
该文针对电网仿真系统(PSS)的需求,建立了高压直流输电系统的稳态模型与动态模型,并编制了相应的交直流混合潮流计算程序和动态稳......
辩论是一种有用的冲突处理机制,抽象辩论框架是辩论的一种重要的形式化。基于抽象辩论框架的传统辩论语义包括完全语义、基础语义......
本文详尽地介绍了边坡可靠性分析“JC”法的求解过程,给出几个典型模型的极限状态方程的统一型式,编写一套完整的计算程序,结合算例,对该......
交互式自行车模拟器是集动感及力觉提示、力学仿真以及计算机图形学等技术于一体的动感模拟器系统,自行车动力学仿真模块是其仿真......
为了分析,在 WAMS (宽区域测量系统) 的环境驱动系统稳定性,有变化时间的延期的一个新稳定的州的稳定性模型为力量被建议系统。有延......
从分析综合轮伐期的相关因素入后,对目标综合轮伐期、期初综合轮伐期、期末综合轮伐期三者进行比较,提出未来森林资源一种设计模型,并......
研究了利用频响数据进行振动系统辨识的问题。将振动系统表示为二阶传递函数之和的形式,通过约束传递函数模型中分母系数为正,可以保......
在介绍约束逻辑程序的相关概念的基础上,研究了简单单调约束逻辑程序约束原子的正文字前缀幂集展开方法,并证明展开后的正规逻辑约束......
本文主要阐明反应型咸味香精动态生香体系生成机理以及特点,并且提出了这种动态体系稳定机理以及模型建立的方法和思路。......
利用非单调逻辑编程技术,Chomicki等人提出了一种策略冲突消解方法。虽然该方法具有高效、可靠和良好的封装性等优点,但是它的应用域......
该文简要阐述了软件多样性与安全性的关系后,基于STABLE MODEL是逻辑程序的语义模型的观点,从软件与逻辑程序设计的关联出发,提出了用......
现有进程检测方法,检测的目标是系统调用的序列的排列关联,忽略了语义中潜在的异常。稳定模型是逻辑程序的语义模型,可以用以发现并修......
对多轴稳定平台的稳定模型及求解方法进行研究,结合典型的工程应用,建立稳定模型,并运用旋转矩阵,推导出单轴、两轴、三轴及斜轴稳......
从分析综合轮伐期的相关因素入手,对目标综合轮伐期、期初综合轮伐期、期末综合轮伐期三者进行比较,提出未来森林资源利用三种设计模......
基于任务-角色访问控制机制,提出类似一阶谓词逻辑的安全策略定义语言,并具有一定的时序表达功能.用户使用这种高层描述语言可在不......
提出一种基于遗传算法的电气设备宽频建模方法。首先,针对以往常用的基于矢量匹配法的建模方法的局限性,提出自己的建模思路;其次,......
为了更好地表达产品配置问题中的复杂知识形式,以加权约束逻辑程序语言为基础,将规则的头部扩展为析取约束的形式,提出了一种扩展......
对于目前移动自组网(MANET)中大多数路由方案没有考虑中间节点处的排队延迟和竞争延迟,导致较大端到端延时的问题,提出一种基于移......
详尽地介绍了边坡可靠性分析“JC”法的求解过程.结合工程实例进行分析计算.结果与实际较吻合.并针对该法推广应用中的几个问题进行了讨......