基于约束的服务化软件测试系统

面向服务的软件体系结构近年来不仅在民用领域得到广泛应用，也越来越多地应用于军用装备软件系统研制。服务化软件的测试技术得到了越来越多的关注。传统的服务化软件测试工具大多关注于测试流程的自动化，在测试用例的自动生成等方面，还远不够成熟。现有测试技术和工具尤其难以表达真实应用中的业务逻辑规则，给生成高质量的测试带来许多困难。鉴于此，研发了一款针对服务化系统的软件测试原型工具。该工具运用一阶逻辑公式表达业务逻辑约束，基于Z3 SMT约束求解器生成测试用例、进行故障注入等，使得测试数据的生成更契合待测软件业务特征，为服务化软件的测试实践提供了更有力支持。     

低浓度中温脱脂剂的研制

一、前言在金属涂装前的表面处理中,脱脂除油是一道必不可少的重要工序.现有的长时间、高浓度的碱性脱脂剂已跟不上飞速发展的表面处理工艺,现实需要的是低浓度,高效率的新型脱脂剂. 经努力,我们研制成了一种低浓度,高效率,既适应于喷淋又适应于浸渍系统的多用途脱脂剂,ST-中温脱脂剂.实践证明它达到了金属水基清洗剂第二类高效金属清洗剂(清洗液不防镑,洗油率高)的要求,既保留了传统碱性脱脂剂的优点,又可     

钢的含碳量对轧后余热处理钢材性能的影响

钢的含碳量对轧后余热处理钢材性能的影响广东（蛇口）华美钢铁有限公司王勤，程浩轧后余热处理是提高钢材机械性能的手段之一，在国外许多国家已推广使用多年，有许多成功的经验。我国自８０年代初期以来，在这方面作了大量的研究工作，并已用于生产之中，大力推广使用高...     

IN690合金管材热挤压中玻璃垫润滑行为的仿真研究

润滑对镍基高温合金管材热挤压过程具有重要影响。通过建立玻璃垫熔融流动的解析润滑模型,研究61MG178、A5和Up68/2886玻璃垫在IN690合金管材热挤压过程中的润滑行为。结果表明,熔融玻璃膜厚度随着挤压速度的增大和玻璃垫倾角的增大而减小,温度对膜厚的影响由温度本身和相应的玻璃高温粘度梯度共同决定。玻璃膜的流动稳定性随挤压速度的增大、温度的减小而升高。61MG178具有最优的润滑性能,Up68/2886玻璃垫次之,A5玻璃垫仅适用于低速挤压。为达到理想润滑效果并节能减耗,针对挤压工艺规程中对死区倾角的限定,玻璃垫横截面可相应地设计为三角形或梯形。经过合理的倾角和尺寸设计,在全温度、挤压速度区间内,61MG178玻璃垫可实现理想的润滑效果,能够很好地应用于实际生产。     

无气味低挥发环保绝缘漆的制备与性能

采用双官能团环氧小分子单体对不饱和树脂进行封端改性,将环氧键引入不饱和树脂中,以邻苯二甲酸二烯丙酯/甲基丙烯酸缩水甘油酯(DAP/GMA)作为活性稀释剂、甲基六氢苯酐作为环氧固化剂制备了无气味低挥发环保绝缘漆。并与通用不饱和聚酯制备的绝缘漆、苯乙烯体系绝缘漆进行对比研究。结果表明:无气味低挥发环保绝缘漆保留了传统苯乙烯体系绝缘漆的优良性能,具有良好的贮存稳定性与尺寸稳定性,显著降低了固化挥发份和高温介质损耗因数。     

路径长度受限的随机需求VRP的节省算法及其策略分析

在保证每条路径长度限制,至多只能服务失败一次和不允许部分服务的策略下,定义了一个新的节省路径,给出了一个精确的节省算法,对中等规模和大规模问题进行了数值试验,数值试验表明算法有效。对所采用的策略进行了分析,得到了一些理论结果。     

南水北调水源区面源污染控制措施分析

本文结合控制南阳市水源区面源污染的探索和示范工作,分析南阳市水源区面源污染的特点,提出治理面源污染的政策、措施、建议。     

挤扩支盘桩的工程特性分析与试验研究

对挤扩支盘桩的工程特性进行分析,并通过静载试验对挤扩支盘桩的力学性能和变形特性进行研究,证明其承载力高于普通直线型灌注桩,且比夯扩桩好,是一种经济效益十分显著的桩型。支盘桩的静载试验Q-S曲线属于缓变型曲线,与其他桩型的静载试验Q-S曲线存在着差异。     

水泥行业石灰石矿山开采过程中的主要环境问题及对策

水泥行业石灰石矿山开采过程中,产生的污染主要有废土石、粉尘、废气、废水、噪声及地震波等,开采过程及废土石的堆放造成水土流失,矿山开采破坏原有生态环境,必须采取有效措施,降低污染物的产生量,防治水土流失,恢复并改善开采区的生态环境.