排序方式: 共有49条查询结果,搜索用时 41 毫秒
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.
正2008年,中国工程院院士、光电技术专家黄尚廉教授逝世。这一年,曾在他的影响下,踏进重庆大学光电工程学院的朱涛刚刚获得博士学位,正式进入科研的殿堂。生命有时如同四季的轮回般,充满了承接与交替的美。在黄尚廉教授的影响下,志在成为科学家的朱涛,如今继承了前人的遗志,继续在光电技术的道路上前行,感受光学的美,创造光学的美。 相似文献
4.
报业市场的竞争越来越激烈,报业的发展面临着百舸争流、优胜劣汰的局面,机遇与挑战并存。如何抓住有限的机遇,尽快将报社做大做强,以适应形势发展的需要,成为一个必须研究和解决的课题。唯一的出路是向管理要出路,向管理要发展,向管理要未来。 相似文献
5.
6.
7.
初中物理中的“压强”这一章,既是教学的重要,又是难点,不少学生在学习时常感到困惑,尤其是关于液体的压力和压强的问题。本文从以下两个方面来谈谈如何进行液体的压力和压强的教学。 相似文献
8.
9.
10.