初应力钢管混凝土压弯扭构件统一理论的研究

基三于向复杂应力状态下的钢材和混凝土的本构关系,首次对有钢管初应力的钢管混凝土压弯扭构件工作性能进行了非线性有限元一过程分析,推导出实用的相关方程,提出了有初应力时钢管混凝土构件统一理论的设想。     

新型钢管砼框架节点试验研究及其应用

给出了钢管混凝土框架节点的试验结果,并采用有限元法对新型节点模式进行了应力场分析。介绍了该新型节点的设计方案及在实际工程中的应用。     

结构化面向对象形成规格说明语言OOZS：设计原理

形式方法与面向对象方法的综合使用可以使它们各自的优点得 到充分体现;形式方法全目标软件系统的需求规格说明简明、精,精确,面向对象方法使目标软件系统的组织和分解工作更加系统、自然。     

结构化面向对象形式规格说明语言OOZS——设计原理

形式方法与面向对象方法的综合使用可以使它们各自的优点得到充分体现：形式方法使目标软件系统的需求规格说明简明、精确,面向对象方法使目标软件系统的组织和分解工作更加系统、自然．本文讨论了Ｚ规格说明语言的应用限制,并在Ｚ语言的基础上介绍了结构化面向对象形式规格说明语言——ＯＯＺＳ的设计方法．该语言吸收了面向对象程序设计语言ＳｍａｌＴａｌｋ、Ｃ＋＋以及形式规格说明语言ＶＤＭ、Ｚｃ、Ｚ．Ｓ等的优点,引入了类、继承、入口、出口、Ｐｒｅ谓词、Ｐｏｓｔ谓词等机制,并对Ｚ语言的符号进行结构化处理,提高了形式规格说明的层次性和模块化能力,可用于大型面向对象软件系统需求规格说明的编写     

一个新的韧性复合型断裂控制参数——空穴扩张比

通过系统的实验及计算分析,发现：空穴扩张比极大值区对应于裂纹的启裂区,启裂时钝化裂端前缘空穴扩张比的临界值不敏感于复合比的变化,可作为裂纹启裂时的控制参数．     

幂等元为本原的半群

对幂等元是本原的半群进行了讨论。特别地,证明了非零幂等元是本原的Ｅ－逆半群是一个ＴＥ－半群关于半群Ｓ的理想扩张,而半群Ｓ是完全０－直并关于一个ＴＥ－半群的理想扩张。     

伪黎曼流形上的2—阶对称张量场

对伪黎曼流形上的２－阶共变对称张量场,如果它的Ｊｏｒｄａｎ指标在一个邻域上是常数,我们能构造这个邻域上的局部正交光滑标架场,使这个张量场关于构造的标架场的分量矩阵有标准形式,由此可使用活动标架法伪黎曼形特别是Ｌｏｒｅｎｔｚ场形上的一些重要定理给出新的简洁证明。     

埋藏式钢管的抗外压稳定研究

应用壳体稳定理论结合某一工程实例研究了圆形加劲环式钢管和锚筋式钢管的抗外压稳定问题。首先分析了非对称外压对失稳荷载的影响;其次根据壳体稳定分析结果对锚筋式和加劲环式钢管的失稳形态和影响因素进行了分析,并对现有计算公式进行了评述。结果表明,对锚筋式和加筋环式钢管采用本文提出的按壳体稳定理论建立的有限元计算公式是可靠合理的。     

采用氮气发生剂的子弹药气囊抛撒内弹道计算模型

在经典内弹道理论基础上,建立了以氮气发生剂为抛撒动力源的子弹药气囊抛撒内弹道模型.将整个氮气发生器视为气源,提出了名义燃速的概念,建立了名义燃速方程,把氮气发生器及抛撒装置的结构等因素对名义燃速的影响通过引入结构综合参量体现,简化了计算过程.名义燃速方程采用了带有常数项的指数形式.用该模型计算所得结果与试验测试值符合较好,可用于抛撒技术的研究和工程应用.     

旋转弹两级分离动力学模型建立与仿真

为了研究不同连接方式对导弹两级分离的影响,针对采用套筒连接和螺栓对接两种分离连接方案的旋转弹,对两种连接形式分别进行了分离过程的运动特性分析;针对两种连接方式不同的运动特点,分析了其分离过程的运动学和动力学特性,并在此基础上建立了相应的弹体动力学模型.根据两种连接形式的算例,对分离过程进行了数字仿真分析.仿真结果显示两种模型下导弹分离成功,证明弹体动力学模型合理.