基于嵌入式系统的软件结构覆盖测试技术

在软件测试过程中有效地监控代码覆盖率是提高软件测试有效性的一个重要途径，介绍了利用LDRA Testbed测试工具进行嵌入式软件结构覆盖测试的方法和技术。     

Variation of whitecap coverage with wave-field conditions

Field observations were carried out at a sea observation tower to investigate how whitecap coverage on the ocean surface responds to wave-field conditions. Images of whitecaps were taken for every 4 h or 7 h in the daytime using a 3CCD digital video camera fixed at 14 m elevation, and they were stored automatically in a hard disk video recorder at a time interval of 1 s. The determination of whitecap coverage was made by means of a digital image processing. The 1/3 power of whitecap coverage increases linearly with increasing the 10-m neutral wind speed. On the basis of the deflection angle between the propagating directions of wind waves and swell, wave-field conditions are classified into four cases. The present results show that whitecaps are produced most actively under the condition of the pure windsea and they tend to be suppressed by the presence of swell. It is difficult to find a certain relation between the deflection angle and whitecap coverage. Whitecap coverage also increases with the wave age in the same wind-speed conditions.     

长江航道环境下的3G无线网络覆盖研究

随着长江数字航道建设的不断深入,长江电子航道图即将正式对外推广应用,这对长江航道全线船岸间的无线通信提出了新的要求。本文分别对中国电信和中国联通两大运营商的3G无线网络进行实地测试,对比分析其信号覆盖情况。在此基础上,就长江航道环境下如何提高通信保障能力提供了技术方案。     

加入中国保险汽车安全指数指标的车险索赔次数研究

在车险定价模型已改进、汽车碰撞测试结果已发布的背景下,研究不同模型以及纳入模型中解释变量的组合方式对索赔次数预测效果的影响。由于广义线性模型（Generalized Linear Models,GLM）存在局限性,仅包括线性预测部份,对连续型变量解释性较差,所以采用了广义线性可加模型（Generalized Linear Additive Models ,GAM）对车险数据进行拟合,同时研究中国保险汽车安全指数 （China Insurance Automotive Safety Index,C-IASI） 指标的3种不同风险因子组合方式对模型效果的影响。结果表明,广义线性可加模型对车险索赔次数的拟合效果优于广义线性模型;维修经济性得分与耐撞性得分作为自变量时的拟合效果优于其他组合。     

无线传感器网络中基于几何方法的覆盖洞检测

提出了一个基于几何方法的覆盖洞检测算法,用以在网络运行过程中找出覆盖洞,仿真结果表明:此算法在能量消耗和检测时间方面优于TBRA算法。     

船舶保险中的潜在缺陷索赔

远洋船舶保险中,潜在缺陷所致损失的保险赔偿争议一直存在、文中分析了争议产生的原因和目前保险理赔的情况建议今后在远洋船舶保险条款修订时有关规定应更为详尽,再运用近因原则等保险原则,使此类损失的保险理赔的争议将会减少。     

基于边需求的抢修分队选址问题

为解决机动作战背景下抢修分队的合理选址问题,提高战场装备抢修的时效性,基于不确定决策理论中的拉普拉斯准则以及网络上任意一点均有可能发生任务需求的假设,以整个机动交通网的覆盖率最大为目标,构建了一种新的双重覆盖标准选址模型;设计了边需求下的覆盖率计算方法,采用分区域聚类的方法构造初始解,用改进的遗传禁忌算法精确求解,并加入启发式策略,避免搜索过程中产生大量不可行解.结果表明,所提出的算法计算量小,在不增加网络维度的情况下,解决了边需求选址模型的精度问题.     

渔业互保引入公估机制的探索

针对我国渔业互保现状存在的问题,介绍了目前商业保险中的公估机制,提出了在渔业互保中引入公估机制的可行性,以促进渔业互保工作对理赔案件的出险原因、责任归属、损失金额等做出科学、公允的评估。     

浅谈常州市城市支路网规划

由于历史的原因以及在路网规划中不重视支路网的规划,导致许多城市支路网密度低下,并影响城市居民的居住生活和制约城市经济发展。本文以常州市支路网规划为例,首先分析支路网现状,结合城市功能分区,对城市中心区按用地性质进行功能分区;通过规范支路网密度及满足公交覆盖率的要求,计算各功能分区的支路网密度;基于路网密度的要求下,对中心区支路网进行调整规划,并针对近期地块开发及区域交通组织,提出近期支路网实施规划;最后对支路网规划进行评价,并提出相应的支路网规划建设及管理措施,以期达到指导常州市支路网规划建设的目的。     

功能安全与微控制器自诊断技术的研究

国际标准IEC61508提出通过使用安全相关系统来避免和降低风险的要求,为达到定义的安全完整性等级,既可以使用高可靠性的硬件达到较低的失效率,也可以通过全面的测试技术将可能的失效诊断出来.可编程电子安全相关系统的诊断技术主要包括基于IEC61508的微控制器的在线自测试,这些测试设备包括CPU、可变和不可变存储器等部件,要满足IEC61508的要求,测试程序可作为安全软件库集成到用户程序当中.