模拟关系相关论文
以牛顿力学为核心的近代自然科学研究的哲学基础预设了经典理论与实在之间的镜像关系.这种关系蕴含了两个基本假设:其一,科学理论......
本文针对EPCIS发现服务在大规模应用和数据安全方面的需求,基于＂集中式索引＂模式给出了EPCIS发现服务系统的一种体系结构.首先,使用T......
本文在用层次自动机结构化表示UML Statecharts的基础上,定义了UML协同图中并发对象的同步合成,然后根据结构间的模拟关系,研究了......
编译器中通常采用各种优化方法来提高目标代码的质量,为了实现较好的效果,一些编译优化算法通常十分复杂,很容易给可靠性和安全性......
在平面弹性与Kirchhoff板弯曲相似性理论基础上,通过对Reissner板弯曲和平面偶应力理论的基本控制方程与边界条件的对比,系统全面......
循环术语集是描述逻辑长期以来的研究难点，其最基本的问题即语义及推理问题没有得到合理的解决．分析了描述逻辑循环术语集的研究现状......
气候是构成人类环境的大气、海洋和陆地在太阳辐射能驱动下相互作用所达到的一种缓变的平衡态。目前,气候的研究已经成为人们关注......
许多程序验证问题都可以被归结为精化验证,即证明一个较具体的程序不会比一个较抽象的程序产生更多的行为。本文发掘了在并发环境......
软件精化技术是软件形式方法的基石之一,是保证软件可靠性的重要手段。精化技术可分为逐步精化和精化验证。逐步精化用于递增式开......
以牛顿力学为核心的近代自然科学研究的哲学基础预设了经典理论与实在之间的镜像关系。这种关系蕴含了两个基本假设:其一,科学理论......
