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

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

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

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

一维梯状配合物{[Cu2(4,4''-bpy)3(p-Ab)2(H2O)2]·(NO3)2·4H2O}n的晶体结构

合成了一维分子梯状配合物{[Cu2(4,4'-bpy)3(p-Ab)2(H2O)2]·(NO3) 2·4H2O}n(4,4'-bpy=4,4'-联吡啶,p-Ab-=对氨基苯甲酸根离子),该配合物晶体属单斜晶系,P2(1)/c空间群,晶胞参数:a=1.110 7(5) nm,b=1.550 4(3) nm,c=1.450 9(3) nm,β=104.81(3)°,V=2.415 5(12) nm3,Z=2.铜离子周围有3个氧原子和3个氮原子与之配位,其中2个氧原子由对氨基苯甲酸的螯合氧原子提供,另一个氧原子由配位水提供,3个氮原子分别由三个4,4'-联吡啶提供.这六个原子在铜离子周围形成一个畸变的八面体配位环境.配体对氨基苯甲酸只有一种配位形式--双齿螯合,第二配体4,4'-联吡啶的两个氮原子均参与配位,将配合物组装成一维分子梯结构.     

Studies on the Binding Mode of Pinacyanol Chloride to Nucleic Acids

The interaction of pinacyanol chloride(PC) with nucleic acids has been investigated by a series of experiments.Extensive hypochromism,appreciable peak shifts,isosbestic points and new peaks of the product of binding to nucleic acids in the spectra were observed.They showed that the interaction between PC and nucleic acids occurred.The results from absorption spectra of DNA,DNA melting,electrophoresis and fluorescence polarization studies have indicated that PC binds to DNA in nonintercalative way.Consistent with the nonintercalation,the studies of fluorescence titration and absorption titration specified that the binding of PC to nucleic acids occurred by an outside stacking binding,in which nucleic acids served for acting templates,The fact that the new absorption peaks of bound PC at ca,485nm are just close to the absorption bands of Haggregate of PC at high concentrations without DNA further supports the outside stacking binding mode,In addition,other evidence indicated that the interaction between PC and nucleic acids is not purely electrostatic.     

氟钽酸钾中碳存在形式的探讨

本文从氟钽酸钾（Ｋ２ＴａＦ６）的生产工艺论述了有机物存在于Ｄ２ＴａＦ６的可能性。通过Ｋ２ＴａＦ６低温通氧燃烧前后测定碳的结果比较，以及Ｘ射线能谱仪表面分析结果，证实了碳的来源是残留的有机萃取剂。     

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

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

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

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

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

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

苏州市道路绿化植物利用现状及调整对策

在调查苏州市主要道路绿化利用植物现状的基础上，统计分析道路绿化植物的种类、频度和多样性指数。根据植物的生长现状并结合道路绿化的要求，提出相应的发展对策。     

浅谈太原地区石质荒山造林绿化的要点

通过对太原地区石质荒山立地条件的分析，提出了适宜石质荒山造林的5项技术措施。即适树省水、整地蓄水、保根带水、选天时抓水、栽植保水。