Java字节代码程序的部分计值

为了有效地构造一个Java部分计值器，并且形式化地描述计值规则，提出了Java字节代码程序的静态语义，在此基础上构造了一个online的Java部分计值器，为今后能够建立一个完善而且实用的计值器提供了基础。     

双金属氧化物和氧化物载体组分间的相互作用

讨论了一些过渡金属氧化物（NiO,CuO或MoO3)在经改性所得复合载体（TiO2-γ-Al2O3，MoO3-t-ZrO2或NiO-t-ZrO2)上的分散作用，这些三地体系中实验测定的氧化物分散容量与研究负载型二元氧化物体系所得嵌入模型的估算值基本相符；样品的表面组成、结构和性能与载体的表面结构、过渡金属氧化物的负载量和加料顺序以及焙烧温度密切相关。     

用遗传算法解决一类模糊流水车间调度问题

对同时考虑模糊加工时间和模糊交货期的模糊流水车间调度问题进行了研究 ,模糊加工时间用三角模糊数来表示 ,模糊交货期用梯形模糊数来表示。应用遗传算法搜索最优排序 ,在适应度函数处理中引入模糊数处理方法 ,以平均满意度最大作为优化目标。最后给出了实验结果和结论     

在胎儿发育过程中人MK基因的组织差异性表达

MK是肝素结合因子家族中的一个成员，用RT－PCR研究了第11－16周胎儿龄的胎儿的神经组织与非神经组织中MK基因的组织差异性表达，随着胎儿龄的增加，在神经组织中，MK呈现出规律性的从无互有和从低表达到高表达的趋势，提示它可能在胎儿脑的发育中起着重要的作用，在其他非神经组织中，尽管各组织中MK的表达呈现不同的规律，但看起来总的趋势是趋向活跃。     

黄磷废水处理系统中氰降解菌的筛选

首次对含有氰化物的黄磷废水进行了氰降解菌筛选优化,共得耐氰菌20株,其中有9株的降氰率在90％以上,且AB2001003菌株降氰率在97.1％以上.该菌能在72 h内使含CN~-50mg·L~(-1)的黄磷废水降至0.5 mg·L~(-1)以下,达到国家一级排放标准.该菌的最佳生长pH7.7,最佳温29℃.     

A SYNTHESIS METHOD FOR TWO-ORDER UNCERTAIN SYSTEMS: AUTO-STABLE REGIONAPPROACH

1.IntroductionInrecentyears,thesynthesisproblemforuncertainsystemshasbeendeeplystudied.ManymethodssuchasLyapunov,thevariablestructurecontrol,theadaptivecontrolandtherobustcontrolmethodshavebeenproposed[IMS].Sincetheadaptivecontrolandtherobustcontrolmethod…     

员工职业生涯中期阶段的危机管理

职业生涯中期,是个人生命运行中任务最重,压力最大,也是最能取得事业成功的时期.由于身心特征发生很大变化,职业--家庭--自我事务之间关系难于平衡,往往会出现职业生涯的危机,因此,必须采取得力措施加以应对,才能走出困境,实现自己的职业目标.     

地下含水层热储井位置选择和布置

地下含水层热储开发技术面临一系列问题,寻找适合热储用的含水层和合理布置热储井是解决问题的第一步.综合考虑含水层的地质结构特征,适合热储的含水层应该是承压含水层,热储应该采用同层方式.单个热储井的影响半径可以通过热平衡和热扩散原理求得.合理布置热储井间的相对位置,可以有效抵消原有地下水的流动以及渗流系数不一致的影响.利用井之间的渗流耦合作用,在热储井之间布置调节井,主动控制热储水的波及范围,可以实现热储井布置的相对"紧凑".     

热连轧棒材三切分轧制的实践

介绍萍乡钢铁有限责任公司三轧厂引进的三切铲轧制技术、主要设备概况、生产过程中存在的问题及改进措施：分析三线切分轧制稳定生产的关键是保证切分后轧件尺寸的均匀性，并给出了预切分轧件的偏移量与三线活套高度差的关系。     

公共机房硬盘数据维护技术

硬盘数据的维护是确保公共机房计算机软件系统正常运作、保证稳定的实验环境的关键.各种硬盘维护技术有着各自的不足和优点,综合应用这些技术可对硬盘数据提供比较完善的保护.