企业标准化在新产品开发工作中的意义

指明了企业在新产品开发中必须执行标准化工作程序。给出了新产品开发过程中调研和计划决策阶段、设计阶段、样机试制阶段、样机试验阶段、样机鉴定阶段等5个阶段标准化工作的要求和内容，对新产品开发执行标准化工作程序具有实际指导意义。     

一种基于程序状态的随机测试模型

讨论了马尔可夫链模型在随机程序测试中的应用。在建立了程序的马尔可夫链测试模型和马尔可夫链使用模型的基础上，提出了衡量测试完备性的量化计算公式和估计程序平均失败频率的计算公式。测试结果证实了其可行性和正确性。     

煤矿智能电子保护插件测试系统的研究

随着煤矿安全生产标准化和电气自动化的进一步发展与提高,煤矿井下电气设备使用了越来越多的电子保护插件,但是现存的电子保护插件测试设备,功能单一,其程序既繁琐又不太准确,因此,研制一种通用的煤矿电子保护插件测试系统有着迫切的社会需要和可观的经济效益。     

河北省师专物理化学标准化考试的实施

本文综述了河北省师专开展物理化学标准化考试和建立标准化试题库的工作，并对测试的分析统计结果进行了讨论．实践表明标准化考试对促进教学和培养人才起了重要作用．     

离心泵性能测试系统的设计与实现

本文介绍了该离心泵性能测试系统的测试原理及测试过程，给出了该系统硬件电路的方案设计，将计算机硬件接口电路与数字电路相结合，以实现离心泵性能检测控制的目的。系统的软件设计包括3部分：数据采集程序；数据处理程序；绘性能曲线并实现打印、打印预览程序。     

基于地球物理数据处理软件的测试与应用

软件测试是软件项目开发中极其重要的阶段。结合大型地球物理数据处理软件系统GRISYS的开发实践，讨论程序测试的若干方法及有关问题。提出程序测试应遵从从静态到动态、静态与动态相结合的测试原则；强调测试数据的选择是程序动态测试的关键；根据GRISYS系统中应用程序的特点，给出了地球物理测试数据的分类原则和测试子数据集划分的一般方法。     

基于规约说明语言的面向对象软件测试

提出了一种测试面向对象程序的框架模型．用Object-Z语言描述面向对象程序的形式化规约．从形式化规约说明中可以推导出的面向对象程序的状态转换图，状态图可以表示面向对象程序的动态行为，并且可以用来描述一个由面向对象程序的方法调用序列组成的测试数据集．最后给出了验证一个方法调用序列正确性的方法．测试结果显示这一框架模型对于测试面向对象程序是可行的．     

基于实例的程序测试类型分析

程序测试无疑是保证程序质量的关键步骤。提出新的程序测试类型：在编码过程中测试、系统性测试、自动化测试、测试台测试、目的性测试，并附以实例说明每种类型适用的情况。     

基于ATML的一体化保障技术测试信息标准化问题研究

为解决一体化保障技术中存在的测试信息标准化问题,进行了一体化保障技术信息标准化需求分析;基于ATML标准,以UUT描述为例说明了测试信息标准化建模与描述方法,并以层次化的方式建立了XML Schema模型,结合某型一体化保障设备进行具体描述;依据基于ATML的测试信息标准化建模与描述方法,构建保障设备UUT测试信息标准化模型,并以柴油发电机为例进行了具体说明。实例表明,基于ATML的标准化建模与描述可以实现UUT测试信息的格式统一,减少对专用的工具或代码的依赖性,降低测试信息的解析和处理的困难度,以及有效解决一体化保障技术中测试信息的标准化问题。     

基于软件内建自测试的模板和基准程序设计

论述了软件内建自测试项目中“模板”模块的设计方法，利用硬件测试中所使用的基准电路的思想，研究并开发了一种基准程序，使用这种基准程序，可以较为方便地对所生成的测试用例进行测试，最后给出了一个基准程序实例。     

高速柔性转子动平衡中VC++与MATLAB混合编程的应用

文章介绍了利用 VC+ + 与 MATALB对高速柔性转子动平衡进行混合编程计算的方法 ,与以往应用的老程序相比较 ,该程序在数据结构、数据处理和面向对象的应用上存在较大的优越性 .应用结果表明 :用 VC+ + 与 MATLAB的混合编程能够满足高速柔性转子动平衡计算的各种要求     

嵌入式穆斯堡尔谱数据采集系统

尝试引入嵌入式Linux技术，构建了以嵌入式实时Linux为平台的穆斯堡尔谱实验数据采集与远程监控系统。定制了基于实时Linux的嵌入式实时操作系统，并在其上实现远程穆斯堡尔谱实时数据采集、存储、图谱显示以及数据拟合分析的嵌入式穆斯堡尔谱数据采集系统。用户可通过互联网在远端利用浏览器或使用。Java应用程序实现实验过程跨平台的实时监控。该系统具有使用简便、抗干扰力强、制作简便等特点。提出一种对现有旧实验仪器进行智能化、网络化改造的比较经济可行的方案。     

基于USB2.0的GPS中频数据采集器研制

以GP2015和CY7C68013A为核心,进行了GPS中频数据采集器的研制.该采集器可以接收GPS信号并将其转换成数字中频数据,通过编写的USB设备控制程序和PC端上位机程序,实现中频数据的传输和保存.将采集的中频数据进行定位实验,实验结果表明:本文研制的GPS中频数据采集器能够正确、完整的保存数据,并且数据满足定位要求.     

求解一元三次方程近似根的几种算法的C语言实现

介绍了求解一元三次方程：ａｘ３ ＋ ｂｘ２ ＋ ｃｘ＋ ｄ＝ ０ 的近似根的几种不同的算法及所对应的通用的 Ｃ 语言程序。在每一源程序中,只要给出方程系数 ａ,ｂ,ｃ,ｄ 的具体取值,就可以很快地从计算机上得到所要求解的近似根     

基于数据流表达式的程序数据流分析算法

以形式化的方法论述了程序数据流分析的基本原理，给出了数据流表达式的概念。并在此概念的基础上，给出了一个找出程序数据流异常的数据流分析算法。本算法通用性强，运用本算法不难开发出相应的程序测试辅助工具，具有一定的实用价值     

巴什托构造井身结构优化设计研究

巴什托构造是巴麦地区主要勘探区块之一。该构造工程地质条件复杂,多套压力系统并存,前期探井多采用的四层次井身结构设计方案,在实施过程中常有涌、卡等井下复杂情况的发生,明显减缓了钻井速度,增加了钻井成本。在已钻探井的基础上,通过对邻井地层岩性、测井和实钻资料进行统计分析,以BX井为例,对此构造的地层岩石力学参数进行了分析研究。优选地层压力预测方法并建立了其地层压力剖面和安全钻井液密度窗口,结合地层岩性条件综合提出了改进后的五层次井身结构设计方案,并进行了优选和对比分析。通过实钻资料对比,改进后的井身结构更为合理,能够避免下部井段易卡的复杂情况的发生。后续施工的三口井均采用了优化后的井身结构设计方案,取得了良好的效果,减少了井下复杂事故的发生,节约了钻井成本,提高了钻速。     

单元解体法精确求解梁元无应力构形

基于非线性二阶梁柱理论及CR-UL全量求解方法,利用单元解体理论(几何法及零作用法)精确求解平面结构中梁元的完整无应力构形.利用目标构形几何信息及其对应的单元抗力直接求解梁元无应力构形基本参数;采用几何法直接进行坐标转换即得构件单元完整无应力构形;采用零作用法并利用无应力构形基本参数进行逆向计算亦可求解其完整无应力构形;编写程序对提出的两种方法进行了算法及最终结果的验证.结果表明利用几何法可在不建立结构有限元模型的条件下精确高效求解构件的完整无应力构形,利用零作用法亦可精确求解构件完整无应力构形,但需编写完善的几何非线性程序.     

SuperSAP模型数据文件的自动生成

利用AutoCAD强大的图形功能进行二次开发,编制一个与SuperSAP的接口程序,实现在AutoCAD中进行数据采集后自动生成SuperSAP模型数据文件,从而提高有限元建模的效率。     

煤泥浮选生产数据管理系统

本文介绍煤泥浮选生产数据管理系统的网络硬件结构、主要功能和软件体系。系统软件在淮北选煤厂的投入使用,减轻了工人的劳动强度、强化了生产管理,并能改善控制效果,它与优化控制系统配合使用,能提高我国煤泥浮选综合自动化水平。     

网壳结构在地震作用下的动力稳定研究

以非线性有限元为工具,建立了网壳结构的非线性动力响应分析的有效方法．将网壳结构动力稳定判定准则引入到结构强度计算中,从而使结构的强度问题和稳定问题统一在一起．重点研究了单层球面网壳的非线性动力响应行为,对网壳结构在地震作用下的动力失稳状态以及倒塌现象作了理论上的研究,为“结构倒塌”作出了合理的定义,并进而探讨了网壳结构失稳机理。