形式化可测性约束在软件模型实现过程中的研究

在软件测试中,软件使用模型反映实际运行场景的能力是直接决定测试的成功与否的关键因素之一。一般可以通过对在需求分析阶段已生成的UML建模进行研究得到使用模型,但原始的UML模型,由于缺乏严格的定义及必要的约束,如果要生成高精度的软件模型,必须对其添加必要的形式化可测性约束。这正是文章研究的重点。     

《物权法》的实施对我国船舶登记制度的影响

物权是指权利人依法对特定的物享有直接支配和排他的权利,包括所有权、用益物权和担保物权。随着《物权法》的实施,船舶所有权、抵押权、留置权等有关的物权制度得以清晰和明确。文中从船舶所有权、抵押权等方面分析了《物权法》的实施对我国现行船舶登记制度的影响。     

《2006年海事劳工公约》履约对策分析

《2006年海事劳工公约》的通过,将对世界海运业产生广泛而深远的影响。文中通过对公约基本内容、主要特点及实施前景等方面的介绍,分析了公约的生效实施对我国航运业产生的影响。在此基础上,进一步从加强公约研究、加快国内相关立法及建立起与国际接轨的相应管理体制和模式等方面提出了应对公约生效实施的对策和建议。     

IMO自愿审核机制下我国海事监管对策研究

国际海事组织（IM0）为了促进国际海上安全和海洋环境保护公约的有效实施,于2006年开始推行“IMO成员国自愿审核机制”。文中第一部分简要介绍了IMO自愿审核机制,分析了该机制的产生原因和运作过程;第二部分分析了该机制的实施可能给中国海事监管工作带来的影响;第三部分通过对自愿审核机制的认识,尝试性地提出我国海事主管机关应对自愿审核的对策性建议。     

内河敞口集装箱船航行至洋山港适航技术要求解析

为了提升洋山港集装箱集散速度,提出了将现有内河集装箱船适当改建后投入长江至洋山港特定航线的方案。叙述内河敞口集装箱船营运洋山港区特定航线必须满足的适航技术要求,船公司应注意并必须采取的技术措施以保证船舶的安全性。     

模拟海洋环境条件下碳纤维复合材料力学性能试验研究

本文主要进行了CFRP材料浸渍于碱溶液、浸渍于盐溶液及经人工老化后的力学性能试验。试验证实,上述几种长期环境条件作用对CFRP的极限强度影响不大,但能显著降低CFRP的极限延伸率,碱溶液浸渍、盐溶液浸渍显著降低了CFRP的弹性模量,而人工老化则几乎没什么影响。试验结果分析证明,应用于加固结构分析的CFRP的应力-应变关系,可应用线弹性关系。     

某型350MVA短路试验发电机试验系统突然短路的研究

通过对350MVA短路试验发电机试验系统突然短路时短路电流的分析和计算,导出试验系统短路电流值。给出了本系统交、直流最大短路电流的实用计算方法。为电力系统继电保护提供了理论依据。同时,通过试验验证计算方法的有效性。     

GSC旋转剪切压实机的研制

近年来美国的GTM试验机已广泛应用于我国道路路面的设计当中。依据GIM试验机的测试原理研制的新一代旋转、剪切、压实机（GSC试验机）已通过技术鉴定并交付用户使用。因此,对GSC试验机的研发过程、设计思想、主机结构和测控原理加以详述,并对其技术创新对提高整机性能的影响进行一定的评价,育助于填补国内该项技术的空白。     

《公路工程国内招标文件范本》有关条款在公路工程中的应用

《公路工程国内招标文件范本》技术规范中的计量与支付条款是业主编制工程量清单时的分项规则,是计算工程量、编制标底的依据,是投标人提供合理报价的基础,是监理工程师实施工程计量与支付、控制工程造价的重要手段。故应符合工程实际,明确计量支付范围,表述词语要严谨准确,避免产生误解和歧议,要能够促进工程的顺利实施。     

山区高速公路对沿线经济腾飞的影响分析

大量的调研与分析数据表明,高速公路在建成后甚至在建设过程中就对沿线山区的经济、社会发展乃至人们生活方式的转变都有着极大的推动作用,为山区快速、协调发展奠定了物质基础,这可为新建高速公路提供决策参考依据。