A VERIFICATION METHOD FOR COMMUNICATION PROTOCOLS MODELED AS COMMUNICATING EXTENDED FINITE─STATE MAC

本文建立了用于表述含有无限值状态成分的通讯协议机的抽象模型，给出了基于该模型的形式检证法，试制了检证系统．该检证法不需要假定信道的有界性．对于给定的通信协议，检证系统将判定其对指定状态的可到达性．做为检证例，从ＯＳＩ参照模型中抽出了大同步点设置功能单位，就“无死锁”、“无传输错误”等性质进行了实际检证     

降解塑料研究的进展

降解塑料是为解决塑料污染而开发的一类新型高分子材料。本文论述了降解塑料的类型、降解机理及研究进展情况,并指出降解塑料的大规模生产和应用是今后塑料工业发展的一个重要方向。     

光纤传输时延温度特性的测量

在讨论了光纤传输时延温度特性及其测量方法的基础上，介绍了利用光端机房设备和仪表进行脉冲时延法测试的系统、测试结果、数据处理和误差分析。实测结果表明，在低温范围内光纤传输时延随温度并非呈线性变化     

一种通用单元用于板壳问题的弹塑性分析

讨论了一种通用有效的平板壳元用于板壳问题的弹塑性分析，单元中每个结点有六个自由度，此种单元由基于Ｍｉｎｄｌｉｎ板理论的平板弯曲单元与带有平面内转动自由度的平面膜单元组成，沿单元厚度方向采用分层方法进行弹塑性分析，算例结果表明本文方法合理，可行。     

非平衡相变的临界耗散行为

在非平衡相变规格化模型基础上，讨论了非平衡相变与平衡相变的差别与联系。考察了非平衡相变临界参考态的耗散情况，引入一参量ＭＤ来衡理其临界耗散的强弱程度。在临界点的无限小邻域内导出ＭＤ与系统参量的依赖关系。ＭＤ的临界奇异性用临界耗散指数θ来描述，在此我们计算给出了非平衡相变中三类临界的θ值。把平衡相变的临界参考态作为非平衡相变临界参考态的一种极限情况，将二者统一在一起。     

粒状氧化铁的磁粘滞性

制备了粒状γＦｅ２Ｏ３微粉。透射电子显微镜观察了颗粒的形貌；Ｘ射线衍射确定了样品的相组成和颗粒的平均粒度；振动样品磁强计测量了样品在不同温度下的磁化曲线和磁滞回线。利用趋近饱和定律求出粒状γＦｅ２Ｏ３微粉在不同温度下的有效磁各向异性常数ＫＥ。样品的有效磁各向异性常数大于γＦｅ２Ｏ３的磁晶各向异性常数，通过测量磁粘滞系数和不可逆磁化率，得到了不同温度下的涨落场Ｈｆ和激活体积Ｖｆ，推导了Ｈｆ和Ｖｆ的理论表达式，理论与实验结果基本一致。结果表明粒状γＦｅ２Ｏ３微粉的反磁化机制为均匀反磁化     

面向异质可扩展标记语言文档的近似查询算法

提出了一种面向异质可扩展标记语言（XML）文档的近似查询算法（TPQR）．利用模式重写策略，通过对XML模式之间语义相似度及节点映射关系的求解，将原始查询树改写为多种XML模式下的重写查询树，从而解决了XML数据的多样性带来的查询语义缺失问题．将经变异操作序列得到的变异查询树精确地嵌入在XML数据树之中，即可将XML近似查询问题转变为多棵变异查询树的精确查询问题．在汽车外形智能化设计的实验中比较了TPQR算法和静态有序选择算法，结果表明，在查准率、查全率上，前者比后者分别提高了5％～10％和10%～30%．     

神农香菊精油抗茵与抗氧化活性研究（Ⅰ）

通过体外试验测定神农香菊精油对几种常见菌的最低抑菌浓度（MIC值）和气态防腐效果以探讨神农香菊精油的抗菌活性；采用猪油体系、Fe^3＋还原试验检测神农香菊精油的抗氧化能力．结果表明，神农香菊有较强的抗菌效果，与对照组比较，神农香菊精油对猪油的脂质过氧化有很好的保护效果，对铁离子有较强的还原能力，其抗氧化能力明显强于Vc．     

液体深层发酵杏鲍菇工艺条件研究

研究了各种条件对杏鲍菇菌丝在液体发酵中生长的影响,确定了杏鲍菇最适摇瓶培养条件.实验表明,摇瓶培养适宜条件为:温度26℃、接种量为10%、pH 6.0、500 mL摇瓶装液量150 mL,摇床转速为200 r/min.通过10 L罐液体发酵的试验,当控制温度为26±1℃,搅拌转速200 r/min,空气压力40~50 kPa,通气量1∶0.4 vvm时,发酵3~4 d即可收获菌丝体.     

投影带变换对长度变形的影响

文章对晋城矿区由矿区独立坐标系改用部定3°带平面坐标系后引起的边长影响进行了分析和计算,提出了应采取的对策及相关注意事项。