论文部分内容阅读
Towards a Formal Semantics for UML/MARTE State Machines Based on Hierarchical Timed Automata
【机 构】
：
College of Computer Science,State Key Laboratory for Novel Software Technology,Department of Electro
【出 处】
：
计算机科学技术学报（英文版）
【发表日期】
：
2004年期
【基金项目】
：
国家自然科学基金;The European Community 7th Framework Program (FP7\/2007-2013)
其他文献
透气真空技术解决了传统真空处理高含水率疏浚淤泥存在的淤堵问题,但其防淤堵控制尚缺乏有效分析方法.利用Ruth滤水理论建立了高含水率疏浚淤泥径向排水模型,采用透气真空抽
作文在语文教学中占有重要地位,是语文教学的最主要的环节,也是语文教学最终目的之一.本文试图从作文的教学特点出发,分析作文学习中存在的弊端,进而得出作文教学的方式方法.
对MVC蒸发工艺处理垃圾渗滤液的工作原理、工艺特点进行了详细介绍,并进行工程设计.结合实际工程的应用,简单介绍了工程投资及运行效果.
A Regional Ensemble Forecast System for Stratiform Precipitation Events in the Northern China Region
TRMM-retrieved Cloud Structure and Evolution of MCSs over the Northern South China Sea and Impacts o
目的 通过分析2008-2009年厦门市游泳场所水质卫生状况,找出存在的问题,探讨解决对策,保障游泳者健康.方法 2008-2009年共采集厦门市游泳场所409份泳池水,参照GB 9667-1996采
Assessing Disagreement and Tolerance of Misclassification of Satellite-derived Land Cover Products U
司法裁判中的事实认定与建构问题是司法实践中最为重要和最难解决的问题之一.本文从裁判主体(主要是法官)的感知和注意及心理因素对认定与建构案件事实的影响以及对认定与建
Although many modeling approaches exist for analyzing the behavior of capacitive micro-machined ultrasonic transducers(CMUTs),the relation equation between the