金相显微镜三维自动平台

运用现代计算机信息处理技术和自动控制技术，成功地对一台国产显微镜和一台进口显微镜的载物台进行了自动化改造，实现了X、Y方向自动移动和Z方向自动聚焦。本方案改造加工工作小，成本低，不破坏原有显微镜结构，同时还保留了传统的手动调节方法，使用户更容易接受。同时，系统控制软件还中嵌了软件可编程技术，从而简化了操作过程，明显减轻了劳动强度。本系统符合我国国情，是进口设备优良的替代品。     

有限状态机在数控系统软件中的应用研究

在数控系统软件开发中，控制软件的开发是开发的关键。针对数控系统复杂性和实时性特点，把有限状态机应用在数控系统软件开发中，构造了控制器软件结构，并应用于数控系统的原型开发。     

热处理对718塑料模具钢加工性能的影响

对718塑料模具钢经过不同工艺热处理后的加工性能进行了研究，分析了影响其加工性能的主要因素。采用TEM和Thermo-Calc软件对718塑料模具钢组织中的碳化物类型及其在钢中的溶解过程进行了试验研究和模拟计算，指出正火后高温回火对小截面该钢模块具有一定的实用性。     

铸钢件铸造工艺CAD软件的研制与应用

在收集、整理和总结多个版本和厂家的参考材料和手册以及作者多年工作经验的基础上 ,在国产CAXA电子图版的二次开发平台上 ,选用VisualC 语言研制了砂型铸钢件铸造工艺CAD软件。该软件具有图库管理、铸件重量和模数计算、铸造工艺方案和参数选择、冒口系统设计和浇注系统设计等项基本功能 ,对下环铸钢件铸造工艺的计算机辅助设计和生产实践结果表明 ,可以缩短工艺设计周期 ,提高工艺设计水平 ,生产优质铸件。     

片材机头中物料温度分布的模拟分析

本文利用ANSYS和MATLAB软件,对衣架型和T型片材机头中熔体的温度分布进行三维有限元模拟和分析。通过对机头流道内温度分布的模拟,得出了衣架型机头流道的温度分布优于T型机头。     

PRO/Ⅱ软件在硫磺回收中的二次开发应用

硫磺回收装置的设备需要有较大的操作弹性。针对其过程气进口压力低，手工计算难于进行严格的全程压降计算，现以PRO／Ⅱ软件为开发平台，通过扩充数据库和建立模拟流程，成功地将其用于硫磺回收装置的设备选型和核算，为工程设计提供了先进的计算手段。     

尿素装置液相浓度在线自动检测软件的研究

为了改善尿素装置先进的控制和落后的人工检测物料浓度之间的矛盾，运用化工热力学原理，以及热力学模型组合求解法，研制了液相浓度实时检测软件。并开发了多种软件以适应各类尿素流程（水溶液全循环法、ＣＯ２汽提法、氨汽提法）的需要     

塑料模具中的CAE技术应用

通过对Moldflow公司新近研究开发的CAE软件系统的介绍,较为全面地展示了该技术在整个塑料模具的计算机辅助设计和制造中所起的作用及具有的地位。     

工业过程的先进控制

在分析工业过程特点的基础上，总结了工业过程先进控制的发展现状，阐述了PID控制器参数整定和模型预测控制的基本概念和内容，讨论了工业过程先进控制的核心内容及其带来的可观的经济效益，并探讨了先进控制软件的产业化问题。     

Testing scientific software: A systematic literature review

ContextScientific software plays an important role in critical decision making, for example making weather predictions based on climate models, and computation of evidence for research publications. Recently, scientists have had to retract publications due to errors caused by software faults. Systematic testing can identify such faults in code.ObjectiveThis study aims to identify specific challenges, proposed solutions, and unsolved problems faced when testing scientific software.MethodWe conducted a systematic literature survey to identify and analyze relevant literature. We identified 62 studies that provided relevant information about testing scientific software.ResultsWe found that challenges faced when testing scientific software fall into two main categories: (1) testing challenges that occur due to characteristics of scientific software such as oracle problems and (2) testing challenges that occur due to cultural differences between scientists and the software engineering community such as viewing the code and the model that it implements as inseparable entities. In addition, we identified methods to potentially overcome these challenges and their limitations. Finally we describe unsolved challenges and how software engineering researchers and practitioners can help to overcome them.ConclusionsScientific software presents special challenges for testing. Specifically, cultural differences between scientist developers and software engineers, along with the characteristics of the scientific software make testing more difficult. Existing techniques such as code clone detection can help to improve the testing process. Software engineers should consider special challenges posed by scientific software such as oracle problems when developing testing techniques.