实用的区域剖分加密程序

此程序解决了二维空间中多边形区域剖分的加密问题,它是一个非常实用的程序.     

炸药爆炸反应方程及其热力学参数的计算机模拟

本文分析了炸药二次可逆反应对炸药爆炸反应方程和热力学参数的影响;并编制了一个模拟爆炸反应产物组成的计算机模拟程序.计算结果表明,本程序的计算结果与实验值基本吻合.     

用直角坐标系原理设计数据库数据编辑程序

本文阐述了数据编辑程序的功能、结构和设计原理.该程序是在一个屏幕上同时对多条记录进行编辑,并通过移动窗口,实现对整个数据库的操作.其设计原理是将关系型数据库看成一个直角坐标系的二维空间,以左上角为原点,用X和Y方向上的变量控制窗口的移动,因而使屏幕画面动而不乱、变而有序.     

正定二次型的刻划定理及其程序

给出了正定二次型的一个必要条件与一个充分必要条件及其判定程序,其特点是使用方便且与行列式无关,便于计算机实现.     

无约束最优化的一个算法--隔步梯度法

介绍了无约束最优化的一个算法（隔步梯度法）的迭代模型证明了该算法的二次终止性，研制了相应的最优化计算程序．该程序用优化模型进行了测试并成功地被用于核物理实验数据处理     

在晶面上化学吸附的对称约化EHMO计算程序

本文论述了建立化学吸附的均匀薄膜层膜型的背景,提出了对称约化的计算方法,按此模型与方法,编制了相应的EHMO程序.假设二维晶体是有限的,具有循环的边界条件,波函数ψ(r)=ψ(n_1a_1 r)=φ(n_2a_2 r)。因而第一布里渊区由有限个K点组成,采用实基代替能带计算中常用的复基,并论证了两者的等价性.程序能自动对第一布里渊区的K点按等价组分类,每一等价K组只选一个代表K点并考虑K点的权重度进行计算.文中以氢在Ni不同晶面的化学吸附为例说明程序的合理性. 近年来,关于表面与化学吸附和催化作用的量子理论计算在迅速发展.国内外近年来已发展了一些表面量子化学计算程序.新近,我们编制了在IBM-PC微型计算机上实现的对称约化表面EHMO程序.本文介绍我们的计算方法及计算程序,并通过对fcc结构Ni的不同晶面上吸附H的例子说明该程序的应用.     

动态核磁共振谱的计算机模拟

本文在经典和量子理论的基础上,用国产DJS-130机对核磁共振中的动态谱进行模拟.给出一个可行的程序作高分辨核磁共振谱的线型分析并从模拟所得的数据用最小二乘法定量地给出活化能的值.     

二维圆形边界温度场声学测量的仿真研究

对二维圆形边界温度场声学测量方法进行深入研究,提出一种新的二维温度场区域划分方法,阐述了声学法二维圆形边界温度场重建思想.应用C + + 语言编制了最小二乘重建算法的程序,对单峰及双峰二维温度场进行了仿真,并对仿真结果进行分析.     

一种程序状态监测系统

为了有效地监测程序的运行状态(如变量值、方法调用、程序控制流等),提出了一个通用的程序状态监测系统(PSMS).PSMS可以指定收集何种程序状态信息,保存到信息库中,扩展了通常的断言系统和调试系统,可以在任意文件的任意位置声明断言,提供更多的运行时刻信息.PSMS采用了软件传感器技术来收集程序信息,并设计了一个专用的查询语言来进行状态收集后的分析工作.通过一个简单的计算器程序,演示了PSMS如何有效地监测和收集信息.     

用Householder变换解线性最小二乘问题的计算程序

解线性最小二乘问题时,通常都要解所谓正规方程.倘若正规方程是病态的,则结果的精度低.但若采用Householder变换,便可避免解正规方程.本文叙述了用Householder变换解线性最小二乘问题的原理,并给出了详细的计算程序.这程序用Basic语言写成,适用于多种计算机,只要把数据按程序中规定的格式送入机器,即可得出待求参数,以及残差平方和.文中还有使用实例.     

串行程序的并行划分算法研究

给出了一个将串行程序进行并行划分的算法,并对算法的有效性进行了理论分析和实验验证,结果表明,该算法能有效地并行划分串行程序,提高串行程序的执行效率.     

递归程序变换实验系统XDPTS

文中介绍了一个根据速归程序变换基本思想而构造的人-机交互实验系统XDPTS.XDPTS以目前已有的一些程序变换模式为基础,利用人工智能技术将某些类型的递归函数式程序变换成等价的尾递归程序,并生成可直接单独运行的迭代程序文本,XDPTS是实现横向程序变换技术的一个尝试。     

光弹断裂分析数据拟合程序的改进

作者建议了一种选取初值的原则,并尝试用几种不同的阻尼最小二乘算法来替代在以前的光弹断裂分析数据拟合程序中所用的高斯-牛顿算法,发现一种改进的阻尼最小二乘算法最为合理.文中用这种新的算法编写的程序分析了几个动光弹实验结果,其中包括动态曲裂和枝裂实验结果.     

渐进结构优化法在桥梁找型中的应用

介绍了结构拓扑优化方法的基本理论,详细阐述了双向渐进结构优化法的原理和优化过程,并根据双向渐进结构优化法编制了基于ANSYS平台的结构拓扑优化程序.模拟现有桥梁结构和构件的边界条件,应用该程序求解二维平面拓扑优化问题,分别完成了不同矢跨比拱桥、悬索桥主缆以及斜拉桥桥塔的拓扑优化.拓扑优化过程中结构可经历多种拓扑形态,优化结果表明应力均匀、传力流畅,从而验证了自编程序的有效性.最后,将该程序从二维平面拓展到三维空间,实现一座峡谷桥梁的三维拓扑优化,并基于优化结果的拓扑形式完成了其概念设计方案.研究表明结构拓扑优化技术可以在桥梁概念设计阶段得出合理而富启发性的桥梁结构形式,在桥梁找型方面具有良好的应用前景.     

圆管式胶带输送机的计算机辅助设计

随着圆管式胶带输送机需求量的增加,它将向系列化方向发展.如果仍然采用常规的手工计算方法,将使设计人员在设计上花费大量的时间.本文介绍了利用计算机对圆管胶带输送机进行辅助设计的计算程序,并通过二个不同的设计实例,对程序的使用进行介绍.     

三维软件在包装设计教学中的应用

通过对现阶段的高校包装课程二维教学方法的研究,对常规的产品包装设计,提出了三维化包装设计的更新程序与方法.并通过包装实例验证.     

基于ABAQUS平台的邓肯-张E-B和E-ν模型程序开发

基于ABAQUS平台并利用UMAT子程序接口开发了邓肯-张E-B和E-ν模型程序,开发的程序可在一个模型中包含邓肯-张E-B和E-ν 2种不同的本构模型.应用该程序对一已建混凝土心墙堆石坝进行了变形及稳定的数值计算,并与现场实测结果进行了比较.结果表明,数值计算与现场实测的变形变化趋势较为一致.该结果验证了所研制程序的...     

程序错误的形式化定义和程序容错能力的分级

针对程序失效相关概念的形式化定义和程序容错能力的分级,分析了程序缺陷、状态偏差以及程序失效等基本概念之间的差异,并在基于状态的程序行为理论的框架下,形式化定义了这些概念.从程序安全和活性的可满足性方面,给出了一个程序容错能力的分级方案,有助于相关概念的准确理解以及系统的对现有方法容错能力的区分.     

防火墙技术分析

讨论了防火墙禁止上网的原理，并给出了一个程序实例进行了验证.     

“鲁棒性”输出反馈控制器一种新的设计方法及CSCAD程序实现

本文考虑一个能反映系统参数、结构变化的增广二次型性能指标，在此指标下求出了“鲁棒性”输出反馈控制器应满足的一组必要条件；根据必要条件给出了设计“鲁棒性”输出反馈控制器的步骤并建立了相应的计算机辅助设计（ＣＳＣＡＤ）程序；文章最后给出的一个算例表明了该方法及ＣＳＣＡＤ程序的有效性。