开关电容网络不变拓扑时域分析通用程序

本文根据参考文献[1],将开关支路视为固定支路,使得开关电容滤波器的拓扑图成为时不变的。输入电路拓扑,即可求得其基本割集矩阵,对应于各相开关状态,得到相应的输出方程,由输出方程迭代,即得时域解。本程序适用于SCF中各种时钟脉冲类型、相数及信号波形。本程序用FORTRAN语言编号,共分六个程序段,利用外存覆盖使小机器运行较大程序,已在IBM—PC机上通过。本程序在PC机上运行规模为100条支路,50个节点。     

形状记忆合金轴对称结构的有限元分析

采用形状记忆合金（ＳＭＡ）的本构方程和有限变形理论,考虑拉、压不同应力状态对相变点移动的规律,编制了ＳＭＡ轴对称大变形有限元程序．通过实例计算,与单向拉伸下解析所得的应力、应变曲线基本吻合,证明了程序的正确性．     

乙烯-四氟乙烯薄膜循环拉伸的黏弹塑性本构模型

对250μm厚乙烯-四氟乙烯(Ethylene-Tetra-Fluoro-Ethylene,ETFE)薄膜进行了单轴循环拉伸试验,通过试验得出ETFE薄膜的应力应变曲线,基于宏观现象和各向同性材料小应变假设,推导了适用于ETFE薄膜单轴循环拉伸第1次加载和卸载的本构方程,编写了采用两步法确定本构方程中参数的程序,利用程序模拟了ETFE薄膜在循环拉伸状态下第1次加载和卸载的应力应变关系.通过与试验得到的应力应变关系对比分析,验证了该本构方程和程序的正确性.提出的ETFE薄膜的本构方程可以较为准确地预测ETFE材料的应力应变关系,为ETFE薄膜结构的分析和计算提供参考.     

水口倾角对带钢铸轧结晶器内流场的影响

依据湍动能理论 ,本文建立了带钢铸轧结晶器内钢液的三维湍流模型 ,开发了计算程序 ,研究了不同水口状态下异形坯结晶器中钢水的流动特性。利用本模型可对现场生产进行离线分析。     

复杂应力状态下SMA热力学方程的求解

建立了在复杂应力状态下的热力学本构关系，并针对纯剪状态下的具体问题建立了热力学非线性方程的求解方法。利用MATLAB编写的数值计算程序，对形状记忆合金耗能弹簧进行了实例计算。结果表明，所建立的方法适用于热力学方程的求解，具有较好的适用性。     

Lemaitre损伤模型的两种数值算法及其对比

基于Lemaitre损伤模型,采用2种简化的本构积分算法,对三维应力状态下各向同性塑性损伤问题进行计算。利用MATLAB语言编写相应的求解程序,分析不同应力状态下材料的损伤破坏过程,对比2种算法的计算精度与计算效率。结果表明:2种本构积分算法的计算结果均与理论解一致,能够适用于复杂应力状态下三维结构损伤与破坏分析;相比于应力与损伤耦合更新的算法,在增量步内将应力与损伤解耦更新的弱耦合算法可以更好地提高计算效率。     

水口参数对异形坯连铸结晶器内流场的影响

依据湍动能理论,本文建立了结晶器内钢液的三维湍流模型,开发了计算程序,研究了不同水口状态下异形坯结晶器中钢水的流动特性.利用本模型所得计算结果与实测结果吻合较好,并可对现场生产进行离线分析.     

一种程序状态监测系统

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

适于线性连续系统和离散系统仿真计算的交互语言通用程序

数字仿真是近十几年发展起来的一种用数字计算机研究控制系统的重要方法。本文论述了一个用状态转移方法编制的既能适应于线性连续系统仿真计算,又能适于离散系统仿真计算的 BASIC 交互语言通用程序。本程序具有使用方便,通用性强,便于分析连续系统和离散系统的态动品质,建立系统的动态品质和参数间的关系等优点。     

豪斯荷德尔变换法在状态估计中的应用

本详细介绍豪斯荷尔（ＨｏｕｓｅＨｏｌｄｅｒ）正交变换法在状态估计中的应用。该方法与目前状态估计计算中广泛采用吉斯（Ｇｉｖｅｎｓ）正交变换法相比具有运行速度快，程序设计简单等优点。经云南大理等地区电业局的现场运行表明，该方法具有数值稳定性高，收敛性好，占有内存小等优点。     

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

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

计算机辅助孔型设计程序系统

本程序系统适用于方钢及圆钢孔型设计和验算,并具有以下特点: 1.使用灵活,设计迅速,计算参数齐全、准确。程序系统采用人—机对话,汉字提示,可进行各种功能选择、修改;有8个钢种,8个孔型系列的组合,3种轧辊材质及表面状态可供选择;可设计新孔型,也可对已有孔型进行验算;能按程序中模型自动设计出孔     

模态逻辑与程序验证

本文探讨模态的一般概念,类似于客体变元视为集合化的个体,将模态变态变元视为集合化(或称为状态化)的客体变元,并在状态间建立了被称为可达关系的二元关系,当取状态为程序的执行状态时,将表示出各种不同的程序性质。为使程序性质便于演算,引入了程序语言的一种时态语义及若干推理规则,那么验证程序的不变性,部分正确性,完全正确性可与通常的一阶谓词演算一样进行逻辑推理。     

应用Matlab实现大型超静定回转窑机械运行状态的多目标模糊优化

结合中国长城铝业公司氧化铝厂回转窑机械运行状态多目标模糊优化模型,介绍了在Matlab环境下实现多目标模糊优化的有关技术,编写了实现回转窑机械运行状态多目标模糊优化的Matlab程序.现场应用表明,应用该程序指导调窑,能显著改善回转窑的机械运行状态,提高窑的运转率.同时该程序对于利用Matlab编写多目标模糊优化程序,具有重要参考价值.图3,参6.     

混凝土结构三维非线性徐变效应分析方法

为准确分析混凝土结构在不同应力水平和多向受力状态下的徐变效应,首先,通过徐变泊松比提出复杂应力状态下的徐变预测模型;然后,以混凝土塑性损伤本构模型为基础,提出一种新的考虑混凝土徐变三维特性的非线性徐变效应分析模型,建立相应的数值分析方法,并结合有限元分析软件ABAQUS二次开发计算程序;最后,通过徐变试验验证方法的可靠性。研究结果表明:提出的分析模型计算方便,所得结果合理,能够适用于复杂应力状态下的线性及非线性徐变效应分析。     

COQ定理证明器辅助PLC 程序验证和分析

使用定理证明器COQ 验证和分析PLC 抢答器程序的一些性质, 证明了原程序的所有可能状态中只有半数是可达状态, 揭示了系统在可达状态之间的转移关系。基于这些性质, 引入了逻辑自动机的概念作为对PLC程序行为完整抽象的描述。此外, 在证明过程中, 发现该程序中存在着一个很难通过现场测试发现的问题。     

冶金热力学数据库应用系统的物质热力学性质程序(简称THERDYN程序)

本文对热力学数据库应用系统的一种THERDYN程序从设计到框图都进行了详细的论述。 阐述了本程序在应用程序系统中的地位及本程序在热力学计算中的功能。本程序提供了2200种物质及化合物的热力学性质的计算。     

程序测试的心理研究

本文介绍了程序测试的心理状态,通过培养正确的心态使程序测试正常进行,提高效率。     

自适应自动程序设计及其在自动售货机中的应用

对程序故障的处理,通常可以使用返回值或异常来报告。但当状态模型中的程序出现故障后,使程 序仍能回到出现故障处的状态或做进一步的处理,这是返回值或异常做不到的。针对自动处理的实现,提出 了采用组合编码和状态冗余设计相结合的自动程序设计思想,给出了它的一个结构模型和算法。模型通过 减少程序的状态切换故障（预防）和增加系统的故障恢复能力（治疗）来实现这个目标。最后,将这个设计模 型部分成功地应用到自动售货机上,实际运行效果良好。     

程序条件化用于软件模型检测中的状态空间缩减

针对软件模型检测中的状态爆炸问题，提出将程序条件化技术用于软件状态空间缩减的方案．以程序性质的线性时序逻辑公式可能出现的蕴涵式的前件作为条件化的约束条件，通过分析程序符号化执行语义，借助自动定理证明器，对语句的可达性条件进行逻辑推理，删除那些与性质的可满足性无关的语句，以达到程序精简的目的．理论分析和实验结果表明，条件化可以有效缩减程序状态空间，而且缩减后的程序模型保留了原程序中与所需验证的性质有关的所有信息，满足软件模型检测对状态缩减的安全性要求．