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

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

核测井中NaI(Tl)闪烁探测器性能探讨

NaI(Tl)闪烁探测器由于具有较高的探测效率,价格也比较便宜,被广泛地应用于国防工业和国民经济建设中,本文介绍了石油测井中所用到的NaI(Tl)闪烁探测器。利用我们的多道分析器(ORTEC918A),对组装好的NaI(Tl)探测器的性能作了测试,分析了影响探测器性能的因素,为探测器的选型、定型提供了实验方法。     

U型半潜式起重铺管平台的总强度分析

采用有限元分析的方法,对一U型半潜式起重铺管平台进行了总强度分析,为该平台的结构设计提供了重要参考依据。     

基于数据挖掘的客运营销与优化系统分析

用数据挖掘技术对我国铁路客运信息进行分析和处理,从而促进铁路客运市场营销策略的灵活调整,并根据分析结果对客运营销旅客列车在开行方案上进行优化,这有利于铁路客运主管部门的管理和决策,为铁路客运争取更大的经济效益和社会效益。     

沉管隧道接头剪力键抗震性能及减震措施

为提高沉管隧道接头的抗震安全性,设计了一种减震装置,完成了有无减震装置2组1/4大比例尺的接头剪力键模型往复加载拟静力对比试验.通过试验揭示了沉管隧道接头剪力键模型在水平循环荷载下的力学行为及抗震性能,并验证了新型减震装置在沉管隧道接头减震中的可行性.试验结果表明：无减震模型在循环剪切荷载下,凹槽端部率先出现裂缝,随后剪力键端部开始出现裂缝,随着加载位移的增大,剪力键出现较大塑性变形后失效;减震模型在循环剪切荷载下减震装置先出现局部屈曲,随后剪力键出现剪切破坏,减震装置可延迟剪力键的开裂时间;与无减震模型相比,减震模型在输入相同的加载位移时,其开裂荷载、屈服荷载、峰值荷载及破坏荷载分别提高了45.2%、37.33%、26.8%和29.2%;减震装置对模型初始刚度影响相对较小,且能满足规范限定的接头容许位移;单圈滞回耗能最大可提高55.1%,累积滞回耗能提高了31.9%,该减震装置可较好地提高剪力键的整体抗震性能.     

长江南京以下12.5m深水航道二期工程安全应急方案研究

安全应急预案对于提高安全事故中的救援能力、减少安全事故带来的损失具有重要的意义。以南京以下12.5m深水航道二期工程为背景,对拟定的安全应急预案进行分析研究,总结出安全应急预案体系包括综合安全应急预案、专项应急预案和现场处置方案,提炼各层次预案对应的事件类型和具体内容,并编制首接责任制下的应急组织机构和应急流程。     

某型科考船多波束基座安装技术研究

全海深多波束是科考船重要的声学设备之一,安装在船体底部平坦区域,用于全海洋海底地形和地貌探测。多波束系统庞大、结构复杂、基座安装精度要求高。文中结合某科考船实际多波束加装工程,立足于基座高精度安装需求,从基座设计、建造和现场安装等三个方面对多波束基座安装技术展开讨论。总结得出的相关工序、工法等满足该船多波束基座的高精度安装要求,有力保障了该项目的顺利实施,并可为类似船型相关设备的设计、安装提供参考。     

长江南京以下深水航道二期工程施工区域通航与生产安全信息平台设计

针对长江南京以下12.5 m深水航道二期工程面临的作业环境复杂、船舶交通流量密度大的情形,设计并开发出专用于保证通航与生产安全的信息平台。该平台是基于B/S模式的Web网站服务系统,利用功能部件结构进行系统设计,采用海量数据组织与管理技术,最终实现施工期通航与生产一体化安全信息的所有检查记录、安全应急保障、通航环境监测以及视频监控等功能,并能够及时更新各种信息。该系统在实际应用中达到预期效果。     

多体浮式防波堤消波特性数值模拟

多体浮式防波堤消波特性是决定其应用价值的重要因素,基于三维势流理论,通过使用Ansys Workbench软件和AQWA Graphical Supervisor(AGS)图像后处理软件,对多体浮式防波堤在不同入射角和浮筒吃水深度下的消波效果展开研究。结果表明,在入射角度为90°时,多浮筒浮式防波堤能够最大程度地消减波浪。同时,透射系数随吃水深度的增加而不断减小,但结构稳定性会下降。因此,实际工程中应尽量保证浮式防波堤的迎浪面与波浪的来波方向垂直,这样可以获得较好的消波效果,同时应尽量避免选择吃水深度过大的浮式防波堤。     

A Pareto-improving hybrid rationing and pricing policy with multiclass network equilibria

This paper extends the work on Pareto-improving hybrid rationing and pricing policy for general road networks by considering heterogeneous users with different values of time. Mathematical programming models are proposed to find a multiclass Pareto-improving pure road space rationing scheme (MPI-PR) and multiclass hybrid rationing and pricing schemes (MHPI and MHPI-S). A numerical example with a multimodal network is provided for comparing both the efficiency and equity of the three proposed policies. We discover that MHPI-S can achieve the largest reduction in total system delay, MHPI can induce the least spatial inequity and MHPI-S is a progressive policy which is appealing to policy makers. Furthermore, numerical results reveal that different classes of users react differently to the same hybrid policies and multiclass Pareto-improving hybrid schemes yield less delay reduction when compared to their single-class counterparts.