摘要：数据流覆盖可有效地检测软件中的缺陷与错误.针对该覆盖准则中存在的插装监测开销庞大和测试数据生成效率不高的问题,提出一种新的基于定值-引用对覆盖的测试数据进化生成方法.该方法主要分为两部分,首先,通过约减测试目标来减少插装开销,提出的包含关系算法可找到一个定值—引用对子集,使得覆盖该子集就能保证所有测试目标被覆盖;然后,采用遗传算法为所有测试目标生成测试数据,设计的适应度函数综合考虑个体实际执行的路径与每个测试目标的定义明确路径的匹配程度.将该方法用于8个基准程序的测试数据生成,并与其他方法比较,结果显示其可有效提高程序覆盖率和测试数据生成效率.

摘要：目前我国上市公司在高管激励方面主要存在与业绩脱离、行业差距显著、激励方式单一等问题。这既有公司制度及法人治理结构不健全、公司业绩评价体系设计不完善等内部原因,也有我国资本市场的弱有效性和相关法律法规不完善等外部原因。为此,必须通过采取优化高管激励计划、完善公司内部监管等措施,使得我国上市公司的高管激励更加有效。

摘要：在空调用压缩机的研究开发、生产检测过程中,多使用压缩机测试装置对其性能进行测试。针对目前常用的可燃制冷剂R32及R290,对压缩机测量装置进行优化设计,使其具备可燃制冷剂的测试条件,并经过试验验证,满足安全使用要求。

摘要：基于打印设备的研制要求,对3D打印设备的系统设计、系统加工、安装调试、性能检测实验、系统试运行和系统改进等几个阶段进行研究,对该设备的相关机械和控制系统的技术标准进行了设计和优化,完成了该设备的研制。开发的数据预处理软件具有三维图形显示、编辑功能以及纠错、分层、分区处理等功能;在成型加工过程中增加了轮廓扫描功能,克服了打印成形存在的台阶误差,改善了工件表面质量;此外,在3D打印系统中使用了风冷式激光器,降低了设备成本。