路径前缀软件测试策略

本文提出一种新的软件测试策略，这种策略是一种自适应性的方法，它利用前面的测试路径引导新的输入选择，并能保证对具有n个判定节点的程序只需经过O（n)级测试，就能达到总的分支复盖。     

旧重轨轧制轻孔型系统的设计

从重轨和轻轨的断面特点了，在试验的基础上，提出了万能轧腰变形的方法、成功地解决了旧重轨轧制轻轨过程中压高变的难题。为此，设计了一套由轧腰孔型系统和轨形孔形系统组成的旧重轨轧制轻轨孔型系统，并获得符合标准的２４ｋｇ／ｍ轻轨实样。     

型材轧制工艺故障诊断

对型材轧制过程中的工艺故障进行了分析，从故障概念和原因两个方面提出了故障的模糊特性。采用模糊逻辑推理的方法建立了故障诊断的数学模型，开发了型材轧制故障模糊诊断软件。诊断结果为工艺优化提供了依据。     

轧制带材的标曲生成路径

通过建立冷轧带材屈曲失稳后的大位移变形模型，计算出复杂模态和标曲浪形生成路径，它包含着实际可能出现的各种附加实力和位移约束条件，实验证明这是可行的板形控制目标理论，解决了高技术轧机的板形设定问题。     

Pushing Multiple Convertible Constrains into Frequent Itemsets Mining

Constraint pushing techniques have been developed for mining frequent patterns and association rules. How ever, multiple constraints cannot be handled with existing techniques in frequent pattern mining. In this paper, a new algorithm MCFMC （mining complete set of frequent itemsets with multiple constraints） is introduced. The algorithm takes advantage of the fact that a convertible constraint can be pushed into mining algorithm to reduce mining research spaces. By using a sample database, the algorithm develops techniques which select an optimal method based on a sample database to convert multiple constraints into multiple convert ible constraints, disjoined by conjunction and/or, and then partition these constraints into two parts. One part is pushed deep inside the mining process to reduce the research spaces for frequent itemsets, the other part that cannot be pushed in algorithm is used to filter the complete set of frequent itemsets and get the final result. Results from our detailed experi ment show the feasibility and effectiveness of the algorithm.     

关于价格测算模型解的存在性定理

对于价格测算模型（Ｉ—ＡＴ）Ｐ＝Ｙ，给出了几个具有不同形式的存在性定理，并在此基础上，对于Ｉ—Ａ有非负可逆矩阵的充分必要条件给出了更为简捷的证明。     

自伴矩阵与Hermite二次型

通过对自伴矩阵的深入分析和讨论,给出了自伴矩阵的特征值及特征向量的性质;证明了自伴矩阵一定可以酉相似于对角阵;得到了Hermite二次型可通过可逆线性变换化为标准形的一般方法以及Hermite二次型正定的几个充要条件.     

轧制变形量对7A55铝合金淬火敏感性的影响

为了研究轧制变形量与淬火敏感性的关系,测量了变形量为70%,80%和90%的7A55铝合金轧制板材在不同淬火条件下的拉伸力学性能。结果表明,热处理T6态下合金的强度、延伸率随着淬火速率的增加而提高;合金的淬火敏感性随着轧制变形量的增加而增大;固溶发生再结晶的过程中,与基体共格的Al3Zr粒子被大角度晶界扫过转变为非共格粒子;在缓慢淬火过程中,粗大平衡相η（MgZn2）以非共格的Al3Zr粒子作为形核位置析出,显著减弱时效强化效果,造成淬火敏感性现象;再结晶程度随着轧制变形而增大,是导致淬火敏感性提高的主要原因。     

PQF三辊式连轧机组的技术开发及应用

通过项目研究,提供了一种生产高合金、难变形、高质量的无缝钢管生产技术(PQF工艺),有效解决了困扰二辊连轧管机生产高合金薄壁管时的拉凹缺陷问题,提高了产品的几何尺寸精度和内外表面质量,与二辊连轧管机相比具有显著的技术优势。