模拟关系相关论文
<正>最优控制与计算结构力学之间的模拟理论是基于最优控制中的线性二次控制问题与结构力学中的串连式子结构理论而建立的.要用结......
以牛顿力学为核心的近代自然科学研究的哲学基础预设了经典理论与实在之间的镜像关系.这种关系蕴含了两个基本假设:其一,科学理论......
2011年1月14日,国家科学技术奖励大会在北京人民大会堂召开,荣获2010年度国家最高科学技术奖的是师昌绪院士、王振义院士;“基于模拟......
本文针对EPCIS发现服务在大规模应用和数据安全方面的需求,基于"集中式索引"模式给出了EPCIS发现服务系统的一种体系结构.首先,使用T......
基于一般的有限标号转移系统,研究了进程演算中的模拟关系,提出了一个计算进程演算中模拟关系的算法,其时间复杂度为O(mn).......
本文在用层次自动机结构化表示UML Statecharts的基础上,定义了UML协同图中并发对象的同步合成,然后根据结构间的模拟关系,研究了......
编译器中通常采用各种优化方法来提高目标代码的质量,为了实现较好的效果,一些编译优化算法通常十分复杂,很容易给可靠性和安全性......
在平面弹性与Kirchhoff板弯曲相似性理论基础上,通过对Reissner板弯曲和平面偶应力理论的基本控制方程与边界条件的对比,系统全面......
循环术语集是描述逻辑长期以来的研究难点,其最基本的问题即语义及推理问题没有得到合理的解决.分析了描述逻辑循环术语集的研究现状......
以牛顿力学为核心的近代自然科学研究的哲学基础预设了经典理论与实在之间的镜像关系。这种关系蕴含了两个基本假设:其一,科学理论的......
在这份报纸,我们基于近似模拟为多代理人系统考虑一个层次控制图案。到还原剂复杂性,我们首先构造一个简单抽象系统指导代理人,然后,我......
气候是构成人类环境的大气、海洋和陆地在太阳辐射能驱动下相互作用所达到的一种缓变的平衡态。目前,气候的研究已经成为人们关注......
许多程序验证问题都可以被归结为精化验证,即证明一个较具体的程序不会比一个较抽象的程序产生更多的行为。本文发掘了在并发环境......
软件精化技术是软件形式方法的基石之一,是保证软件可靠性的重要手段。精化技术可分为逐步精化和精化验证。逐步精化用于递增式开......
最优控制理论和计算结构力学原是两个互不相关、独立发展的领域.最近发现:它们之间存在着一种对应的模拟关系.这一相似性原理的发......
针对现有拜占庭容错协议的假设(要求被保护的对象是被动的和独立的)不适用于服务计算等新兴计算模型的问题,提出一种面向服务计算......
以牛顿力学为核心的近代自然科学研究的哲学基础预设了经典理论与实在之间的镜像关系。这种关系蕴含了两个基本假设:其一,科学理论......