SDS—1型教学用程控交换系统的开发与研制

作者在文中介绍重庆邮电学院开发研制的ＳＤＳ－１型教学用程控交换系统，阐述了该系统的组成结构，各个功能的实现方法，灵活的体系结构及其突出的新特点，它应用于程控教学与实验，提高了教学效果和实验水平。     

多回路压力测控系统设计

本文以 ８０Ｃ１９８单片机为核心，通过对流体压力传感器、变送器输出的标准工业信号进行变换和处理，利用单片机中的 １０位 Ａ／Ｄ转换部件进行四通道压力采集，经数据处理和模糊控制算法调节后，由高速输出部件（ＨＳＯ）输出四路压力控制信号和两路越限告警信号，实现了对多回路压力的精确测量与控制，并通过键盘显示器实现测控功能的选择、参数的在线修改和实时显示等．文中给出了详细的硬件原理电路和软件设计思路．     

一种考虑数据截尾的非参数软件可靠性模型

通过分析数据截尾对软件可靠性模型的影响，建立了一种考虑数据截尾的非参数软件可靠性模型，为的是克服一般参数模型假设约束过紧的问题，并能在估计失效率的同时估计残存缺陷数．同时，提出了基于非参数统计的软件失效率单调下降性检验方法，在加权核函数估计中引入数据截尾率作为加权系数和优化参数，并用失效率单调下降约束下的加权核函数方法来估计失效率和残存缺陷数．模拟试验和实例分析表明，所提模型可以较好地处理截尾数据，给出残存缺陷数的合理估计，其失效率估计精度较高，不低于较好的传统模型．     

小康井田煤系地质构造

应用构造地质学原理和方法,阐述了小康井田3组褶皱、5组断层的发育特征和分布规律;从区域构造背景、构造应力场演化揭示了该井田地质构造的形成期次,即先后形成了压性结构面(以褶皱轴面、逆断层面为代表)走向呈北西西、北东东、北北西向的构造系统;分析了后期构造形迹迁就和改造先存构造形迹的力学性质转化,其中,由于断层多期活动的综合效应和构造抬升、应力松弛使绝大部分断层现今表现为正断层;指出走向为北北东向同沉积正断层对原始煤层的发育具有控制作用,其他方向的断层尤其是北北西向或近南北向的断层,主要表现为成煤后对煤层的破坏作用.     

基于UML的软件可靠性建模

标准的UML方法对软件质量部分如何建模是缺乏的,由此本文研究了针对软件可靠性建模和评估的UML剖面,它是基于标准UML元模型的扩展,能对系统中影响软件可靠性的因素建模;同时研究了此模型应用于传统的可靠性评估技术中的一些结论;此模型有助于贯穿软件生命期的软件可靠性工程,以提高待开发软件的可靠性指标.     

软件测试自动化的实施方案

文章论述了软件测试自动化的实施，从自动测试的好处、影响软件测试自动化实施的因素等几个方面出发，总结了软件自动化测试的实施方案。     

消防水泵控制系统设计探讨

随着城市建设的发展,高层、大规模、复合型、多功能以及大跨度、大容量的建筑对建筑的防火、灭火设计提出了更高的要求,因此建筑消防水泵控制系统设计应适应并体现这一原则。     

用Origin软件的线性拟合和非线性曲线拟合功能处理实验数据

以物理化学实验中《燃烧热的测定》实验为例,说明Origin软件在计算机上对实验数据进行作图、线性拟合和非线性曲线拟合等处理而求得需要的实验参数,从而大大减少数据处理过程中产生的误差,而且方便快捷。     

TMS320C6000代码优化技术

详细介绍了TMS320C6000 DSP的开发过程和代码优化技术，通过对DSP代码进行优化。提高了指令的并行执行度和代码执行效率，充分利用了系统资源，对实际的系统开发起到了指导作用。     

A QUANTIFIER-ELIMINATION BASED HEURISTIC FOR AUTOMATICALLY GENERATING INDUCTIVE ASSERTIONS FOR PROGRAMS

A method using quantifier-elimination is proposed for automatically generating programinvariants/inductive assertions.Given a program,inductive assertions,hypothesized as parameterizedformulas in a theory,are associated with program locations.Parameters in inductive assertions arediscovered by generating constraints on parameters by ensuring that an inductive assertion is indeedpreserved by all execution paths leading to the associated location of the program.The method can beused to discover loop invariants-properties of variables that remain invariant at the entry of a loop.Theparameterized formula can be successively refined by considering execution paths one by one;heuristicscan be developed for determining the order in which the paths are considered.Initialization of programvariables as well as the precondition and postcondition,if available,can also be used to further refinethe hypothesized invariant.The method does not depend on the availability of the precondition andpostcondition of a program.Constraints on parameters generated in this way are solved for possiblevalues of parameters.If no solution is possible,this means that an invariant of the hypothesizedform is not likely to exist for the loop under the assumptions/approximations made to generate theassociated verification condition.Otherwise,if the parametric constraints are solvable,then undercertain conditions on methods for generating these constraints,the strongest possible invariant of thehypothesized form can be generated from most general solutions of the parametric constraints.Theapproach is illustrated using the logical languages of conjunction of polynomial equations as well asPresburger arithmetic for expressing assertions.