排序方式: 共有48条查询结果,搜索用时 11 毫秒
1.
2.
为了描述信息物理融合系统(cyber-physical systems,CPS)的时空一致性,一种实时规范语言STe C已经提出[1],CPS的设计和实现能否满足时空一致性显得十分重要。文中对混成自动机进行了扩展,提出了具有位置驱动特点的时空自动机。文中提出了基于时空自动机的CPS建模与验证框架。在框架中,首先使用STe C语言对CPS进行了描述并使用时空自动机对CPS进行建模。文中采用的形式化验证方法为微分动态逻辑(differential dynamic logic,DL),其操作模型为HP(hybrid program)。利用DL可以将所建模型转换为对应的HP。结合得到的HP对验证的CPS属性进行规约,最后使用定理证明器Ke Ymaera对属性进行自动化验证。 相似文献
3.
报业市场的竞争越来越激烈,报业的发展面临着百舸争流、优胜劣汰的局面,机遇与挑战并存。如何抓住有限的机遇,尽快将报社做大做强,以适应形势发展的需要,成为一个必须研究和解决的课题。唯一的出路是向管理要出路,向管理要发展,向管理要未来。 相似文献
4.
5.
6.
7.
8.
9.
初中物理中的“压强”这一章,既是教学的重要,又是难点,不少学生在学习时常感到困惑,尤其是关于液体的压力和压强的问题。本文从以下两个方面来谈谈如何进行液体的压力和压强的教学。 相似文献
10.
2005年,Google公司面向全球推出了Google Earth软件,用户可借此浏览全球高清晰度卫星图片,当年即被《计算机世界杂志》评为全球100种新产品之一。 相似文献