【摘 要】
：
为了对不相容或不完备信息的系统进行形式化描述和满足对系统进行量化验证的需要，根据经典的双标号转换系统，提出基于完备剩余格的双标号转换系统作为此类系统的一般模型。
【机 构】
：
安徽工程大学计算机与信息学院,安徽芜湖241000;华东师范大学上海市高可信计算重点实验室,上海200062华东师范大学上海市高可信计算重点实验室,上海200062
【出 处】
：
中国系统工程学会模糊数学与模糊系统专业委员会第十六届学术会议
论文部分内容阅读
为了对不相容或不完备信息的系统进行形式化描述和满足对系统进行量化验证的需要，根据经典的双标号转换系统，提出基于完备剩余格的双标号转换系统作为此类系统的一般模型。在该模型框架下，将传统的互模拟关系推广到格值情形，来度量系统之间的接近程度。通过引入格值Hennessy-Milner逻辑的概念，给出格值互模拟关系的逻辑刻画。
其他文献
研究了一类三阶半线性中立型微分方程的振动性质,利用广义Riccati变换、HardyLittlewood-Polya不等式和分析技巧,得到了保证该类方程一切解振动或者收敛到零的若干新的充分判
以含有六个接管的1000MW级压水堆核电站反应堆压力容器中筒体与接管连接处马鞍形焊缝为研究对象,利用热弹塑性有限元数值模拟方法详细研究了不同焊接线能量下马鞍形焊接接头
基于磁场中的非广延统计理论,运用理论解析与数值模拟方法,研究磁场中非广延极端相对论费米气体的力学稳定性,给出高温与低温下稳定性条件的解析式,分析非广延参数、极端相对
研究了一类非线性非局部椭圆型方程奇摄动Robin边值问题.在适当的条件下,首先建立了相应问题的比较定理.其次求出了原问题的外部解.然后利用伸长变量、合成展开法和幂级数展
选择了四氮杂大环铜催化的BZ化学振荡体系来测定对氨基水杨酸钠。该体系为:NaBrO3-苹果酸-H2SO4-[CuL](ClO4)2体系,其中L为5,7,7,12,14,14-六甲基-1,4,8,11-四氮环杂十四-4,1
利用改进的Euler-Maclaurin求和公式精确估算权系数,得到了一个Hardy-Hilbert型不等式的分解式的逆向形式.
证明了平面弹性问题的虚位移原理,提出了一个新的非协调有限元解决纯位移边界条件下的Locking现象,该方法是Robust和Optimal,证明了能量模的收敛性,并且证明了误差估计结果与
目的:建立HPLC测定左归丸中齐墩果酸、熊果酸含量的方法。方法:采用反相高效液相色潽法,Sunfire C18柱,甲醇-水(85∶15)(磷酸二氢钠调pH 6.5),流速1.0 mL.min-1,检测波长215
研究了金属离子Y3+-二乙撑三胺体系催化双(对硝基苯酚)磷酸酯(BNPP)水解的作用机理.考察了不同催化反应条件对催化效率和体系稳定性的影响.结果表明,在pH 7.8～9.3,温度25～50℃
在李代数动力学群得到Hamiltonian的基础上,通过求解正则运动方程,对固定键角近似下臭氧分子体系相空间的庞加莱截面、KAM环面以及振动体系的能量属性进行了研究,获得了有关