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

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

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

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

宽梁-薄墙肢梁筋直锚节点试验

在宽梁-薄墙肢节点的弹性有限元分析基础上,对近似足尺的2个宽梁-薄墙肢梁筋直锚节点进行了试验,研究了宽梁节点区的受力和变形性能,特别是纵筋的受力、滑移以及节点区的破坏形态.有限元分析和试验表明:宽梁应伸进墙肢一定的长度,以使宽梁截面的弯曲应力沿着梁截面宽度分布均匀,充分发挥宽梁的抗弯能力;位于墙外侧的宽梁上部纵筋锚固环境较差,如果仅仅满足规范规定的锚固长度,不能保证节点的承载力和延性;节点区的宽梁箍筋对于凸出在墙外的宽梁上部纵筋的锚固具有比较重要的作用.如果节点区的宽梁箍筋数量不足,宽梁在节点区将出现较多斜裂缝,使结构的承载力和延性变差.最后还提出了梁筋直锚型节点受力的空间桁架模型.     

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

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

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

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

浅谈影响学生参与英语课堂活动积极性的因素

在外语课堂教学中，越来越多的人倡导“以学生为中心”的教学理论。而充分调动学生参与英语课堂活动的积极性是“以学生为中心”教学理论在课堂实践中贯彻实行的关键。     

规则"真"的一般概念和"真"规则形式算法

在粗糙集理论框架内研究基于不完备信息系统的决策规则"真"的一般概念,讨论在一般"真"意义下最优决策规则的统一获取算法,其中首先探讨了在研究不完备决策系统时的基本考虑,然后讨论了决策规则的"真"的一般框架,引入了在一般"真"意义下广义决策向量概念,以此为基础,研究了最优决策规则的形式获取算法.     

线性时滞系统的新型自适应控制

针对一类单时滞的线性时滞系统,为对其未知的状态时滞参数进行自适应控制,基于LMI方法,采用一种基于“描述形式”的Lyapunov-Krasovskii泛函和新型的带记忆的状态反馈控制,使得参数自适应律能反映实时估计值与实际接近值之间的差值,从而突破以往自适应控制对估计值的大小限制和调整参数计算的困难,给出了一种新型的保守性较小、简便、实用的自适应律,仿真实例证明了该控制方案的有效性。     

产品设计的形式审美特征及成因

产品设计的形式具有使用的审美双重特征，其形式审美特征显示出越来越重要的作用，是产品的高品质性能的外在体现。章对构成产品的形式审美特征的技术因素(材料、结构、工艺等)，艺术因素(形式美法则)以及社会环境因素等进行了分析，有助于在设计中提高对产品形式审美特征的把握，发挥形式审美特征的作用。     

多量子比特纯态纠缠刻画研究的一些进展

对多量子比特纯态纠缠刻画研究的一些进展作了介绍．首先介绍了三量子比特纯态情形对称正则形式的特点和LU多项式不变量与随机LOCC分类的关系．随后对多量子比特纯态的分类和纠缠的度量作了一些讨论，并指出紧致相对熵纠缠度不具有LU不变性以及Wei的几何纠缠度的不足．