排序方式: 共有33条查询结果,搜索用时 15 毫秒
1.
UML已经成为复杂系统建模的工业标准,并可借助代码自动生成工具实现从分析到编码的开发过程自动化;AADL具有精确的语义和严格的语法规范,可用于描述嵌入式实时系统的软、硬件体系结构,并能分析系统的功能及非功能属性。 UML和AADL模型的基本元对象有相互对应关系,并且两种模型的表示都能够采用标准的XML的交换格式。为充分发挥两种语言的优势,文中研究了UML模型向AADL模型的自动转换,以XML为媒介实现两种模型的元对象的对应转换,最终达到两种模型的转换,使用户在设计阶段能够结合运用AADL、UML工具的优点对系统进行分析。 相似文献
2.
3.
4.
中原油田工程监理公司在贯彻ISO 9002标准中,严格按标准程序运作,认真执行工程监理细则的控制方法,并建立从事前控制到事中、事后控制的质量监理,保证体系和措施,尤其抓好质量监理的事前控制.通过该系统的有效运行,提高了质量监理的事前控制水平,现以钢筋混凝土工程质量监理预控为例,说明我公司在贯彻标准中,对关键和特殊过程的质量控制方法. 相似文献
5.
A simple and rapid method for the analysis of 12 bile acids was developed based on LC/MS. Quantification was finished in 7 min. For different bile acids, the detection limits ranged from 0.006 1 to 0.052 4 mg L-1. The linear range was 2-3 magnitudes. The precisions of pretreatment for each bile acid were CVs<10% except GCA. The developed method was applied to the analysis of human serums consisting of 22 cervical cancer women and 25 healthy women. The results revealed that GUDCA, GCDCA, TUDCA, TCDCA, TDCA, UDCA, CDCA and GCA were significantly increased in cervical cancer women. 相似文献
6.
瑞士导演扎内蒂(1995年获奥斯卡最佳服装奖)的处女作《量子工程》作为第一部在网上首映的大制作电影载入好菜坞史册。另外一家美国媒体公司视听公司负责在其网站上销售影片。米拉麦克斯制片公司(《恋爱中的沙土比亚》)日前宣布,将为12部影片的网上销售做好准备。这些影片也将和《量子工程》一样通过sightsound.com网站上网。电影业不会忘记欧金尼奥·扎内蒂的《量子工程》。这不是因为它(关于一位年轻物理学家)的剧情有多么奇特,也不是因为约翰·克里斯(《一条名叫旺达的鱼》)、斯蒂芬·多夫(《刀锋》)和费伊·马斯特森(《大开眼界》)的出… 相似文献
7.
8.
9.
10.
本文通过利用不同地区的3座测风塔的完整年测风数据进行计算,比较了利用静态功率曲线和动态功率曲线计算得到的年发电量的不同,分析了其中的规律。通过比较不同条件下利用静态功率曲线与动态功率曲线计算结果的差异得出,不同条件下,动态功率曲线计算结果相对静态功率曲线计算结果百分比的经验值,对以后直接利用静态功率曲线计算年发电量具有较好的指导作用。 相似文献