An executable subset of VDM-SL in an SA/RT framework

In this article we present the executable specification language IPTES Meta-IV based on the formal specification language VDM-SL. The language has been fitted to work in an SA/RT framework and the article presents how it supports the specification of the data transformation part of SA/RT. Furthermore we present some of the advanced constructs of the language seen as an executable specification language in its own right. Finally we present how an IPTES Meta-IV interpreter is used in combination with a high-level timed Petri net executor to execute SA/RT models.     

飞行人员骨密度与内分泌调节关系的探讨

对37名骨密度(BD)低下的飞行员(实验组)和BD正常的48名飞行员、100名地面人员(正常对照组)进行了BD和血清TT_3、TT_4、TSH IRMA、CT、PTH、E_2和T放射免疫测定。结果显示,实验组BD均值明显低于对照组(p<0.01),血清TT_3、TT_4、CT、E_2(女性)和T(男性)均值与对照组比较,大多数年龄存在着显著或非常显著差异(p<0.05或p<0.01)。同时对飞行人员BD与几种内分泌激素关系进行了探讨。     

大冶铁矿无底柱分段崩落法矿量管理与数据自动输入合成系统

本文简要介绍了作者应用数据库和OCR技术研制一个可处理大量开采信息的数据管理与自动输入的合成系统的概况，包括系统的设计、组成、功能和使用价值，并就有关技术问题进行了必要的讨论     

葡萄糖电解氧化还原工艺研究

采用自制的无膜电解槽，对同时电解氧化还原葡萄糖生成葡萄糖酸和山梨醇的工艺进行了研究。所得到的最佳工艺条件为：葡萄糖浓度０．４ｍｏｌ／Ｌ，ｐＨ值１１，电流密度３Ａ／ｄｍ￣２。在此条件下电解１２ｈ，葡萄糖转化率可达９６．４％，葡萄糖酸产率８８％，山梨醇产率１０％。同时，考察了和Ｚｎ￣（２＋）加入以及ｐＨ值对电流效率的影响。     

气垫性能及平板玻璃缓冲包装

对我国发明的缓冲包装气垫进行静态试验,测其载荷-变形曲线,表明它属于正切型;对气垫作为内衬的PZOV型平板玻璃包装件进行冲击和振动试验,证明具有优良的防震缓冲性能,适于平板玻璃的运输包装。     

Dependence of Silicon Carbide Product Morphology on the Degree of Mechanical Activation

Mechanical activation before carbothermic reduction can substantially enhance the formation of SiC from SiO₂and carbon mixtures. However, the morphology (e.g., particles or whiskers) of SiC formed from mechanically activated SiO₂and carbon mixtures is dependent of the degree of mechanical activation and the condition of the subsequent carbothermic reduction. These phenomena are investigated and rationalized based on the increased reactivity of the reactants and SiC formation mechanisms.     

时间分幅全息技术及其应用

本文介绍了一种对研究发动机燃烧过程有着重要应用价值的实验技术－时间分幅全息技术，本文就该技术中常常出现的重影问题做了重点研究，通过分析重影出现的根源，找到了一种消除重影的新方法，文章还举例说明了该技术在液体破碎机理问题保研究中的应用。