排序方式: 共有3条查询结果,搜索用时 0 毫秒
1
1.
模型驱动体系结构(MDA)是一种以模型为中心的软件开发框架,其本质是元建模与模型转换。提出了一种基于MDA的实时软件资源建模与模型转换的方法。首先通过元建模抽象出包含资源信息的MARTS元模型以及价格时间自动机的元模型;然后利用模型转换语言ATL对MARTS元模型和价格时间自动机元模型构造转换规则,通过将对应的实例模型进行相互转换,实现在MDA下MAR"I'E模型到价格时间自动机模型的转换;最后通过形式化工具UPPAAL对模型转换结果进行形式化验证。实例分析表明了该方法的可行性与有效性,它能够提高实时软件资源建模的可信性。 相似文献
2.
依托舟山嵊泗县李柱山西侧客运码头工程,将高性能混凝土应用于部分码头结构,分析码头涂敷防腐涂料隔绝码头受海洋环境的影响。通过分析这两项措施对改善码头耐久性能的有效性和经济性,提出改善混凝土码头耐久性能的建议。研究认为,就原材料成本而言,高性能混凝土价格略微低于原普通混凝土,氯离子迁移系数仅为约原普通混凝土的一半,防腐涂料的采用将增加码头建设成本。建议防腐涂料仅在结构中重要的部位或容易受腐蚀的部位采用,而不必整个码头采用。 相似文献
3.
依托舟山嵊泗县李柱山西侧客运码头工程,将高性能混凝土应用于部分码头结构,分析码头涂敷防腐涂料隔绝码头受海洋环境的影响。通过分析这两项措施对改善码头耐久性能的有效性和经济性,提出改善混凝土码头耐久性能的建议。研究认为,就原材料成本而言,高性能混凝土价格略微低于原普通混凝土,氯离子迁移系数仅为约原普通混凝土的一半,防腐涂料的采用将增加码头建设成本。建议防腐涂料仅在结构中重要的部位或容易受腐蚀的部位采用,而不必整个码头采用。 相似文献
1