浅论建设大陈岛跨海大桥之必要性与可行性

结合宏观经济与公路交通发展的实际,阐述了建设海上距离21.5 km的台州市大陈岛跨海大桥之必要性与可行性,提出了以桥促港、以桥兴岛、以港立市的战略构想。     

作战软件模型检验方法研究

作战模型是作战软件的基础。采用合适的检验方法对作战模型进行检验,对于提高作战软件辅助决策的正确性、实用性,实现预定的功能需求,减少工程研制风险具有重要的意义。在分析作战模型研制过程的基础上,提出了作战模型检验方法的组合应用策略,为正确有效的开展模型检验活动提供了技术支持。     

武器装备研制项目的技术可行性评估方法研究

武器装备项目的技术可行性是确定其技术方案的重要依据,针对武器装备项目的技术可行性评估需要,初步建立了武器装备项目的技术可行性指标体系,为了提高评估的科学性,充分发挥专家群的智慧,选取了一种基于“TOPSIS和群决策”的评估方法,最后给出了对某一项目不同技术方案进行排序优选的应用示例。     

论海事测绘系统内建立水声设备计量检定机构的必要性

文中分析了国内水声设备计量检定现状以及存在的问题,分析了建立海事水声设备计量检定机构的必要性,提出了下一步的对策措施。     

车联网中驾驶员反应时间实时估计方法

结合车辆非线性分段制动特性和车辆状态数据对驾驶员反应时间进行实时估 计,采用特征数据拟合出初速度与减速度上升时间关系模型,通过BP神经网络推算减速 度上升过程中减速度随时间非线性变化关键参数,并在此基础上基于车辆动力学运动规 律求解车辆分段制动位移,通过实际位移与理论位移等价关系实现驾驶员反应时间实时 估计,最后利用Newell 跟驰模型场景对本文提出方法进行仿真验证.结果表明：不同初速 度条件下,反应时间估计值平均误差不超过0.022 s;不同反应时间条件下,反应时间估计 值平均误差不超过0.013 s.本文提出的反应时间估计方法不用增加通信负担和额外设备, 能够达到较高精度,具备更优的适应性、可用性及工程价值.     

综合管沟在石家庄建华大街工程的探索与可行性研究

针对石家庄建华大街工程中综合管沟的设计,对综合管沟在石家庄市的建设管理进行了探索和研究,并对推广应用过程中的瓶颈进行了分析,有关经验可供相关专业人员参考。     

客运专线板式轨道轨道板配筋设计的检算方法

在综合我国预应力混凝土结构设计规范和无粘结预应力混凝土结构研究成果的基础上,考虑预应力钢筋的无粘结作用,提出了客运专线板式轨道轨道板的配筋设计检算方法;研究了预应力钢筋数量对轨道板裂缝宽度的影响,结果表明,对于设计速度较低或列车荷载较小的线路,轨道板的预应力钢筋可以适当减少。     

某越野军车悬置元件设计与试验验证

以某越野军车橡胶悬置元件的三向刚度为设计内容,先使用经验公式,计算出符合产品所要求的三向刚度的橡胶体的基本尺寸,用有限元分析软件ABAQUS对初步设计出来的橡胶体的三向刚度进行仿真计算,最后对生产出来的悬置元件在MTS弹性体试验台上进行试验验证,证实了经验公式和有限元分析计算的正确性,对于缩短产品生产周期具有重要的指导意义。     

运用CMMI流程于电信系统测试管理的设计与实作

通过软件测试的验证（Verification）与确认（Validation）,提升软件质量,是软件工程中常用的重要方法.为了让测试管理落实在软件开发过程中,本研究考虑实务上的软件测试需求,参照能力成熟度整合模式（CMMI）中产品整合（Production Integration）流程,设计并实作一套测试管理系统.通过差异分析（Gap Analysis）、流程定义（Process Definition）、流程部署（Process Deployment）等流程分析与导入程序,详细定义测试流程及测试管理系统包含的功能,开发测试管理系统,将其运用在电信业,并进行相关的测试活动,其结果符合软件成熟度整合模型ML3的规范要求,能有效改善软件测试管理的工作.     

面向形式化验证的联锁翻译器软件设计

根据联锁系统的形式化验证系统需求,设计一种联锁数据翻译器软件的总体方案,实现站点接口文件、TLE文件和布尔逻辑文件等文件的翻译转换,生成形式化验证所需要的LCF文件.最后详细说明翻译器软件基于函数式语言OCaml的代码实现.