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

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

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

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

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

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

一些商的单调性质

考虑了形如∫xap(t)f(t)dt∫xap(t)g(t)dt　　　　和　　　　∑ki=1piai∑ki=1pibi的两种商在一定条件下所具有的单调性质,推广了某些熟知的结果.     

在胎儿发育过程中人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…     

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

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

排球运动中的供能特点与营养补充

物质和能量代谢是人体各组织器官机能活动的基础，应用运动时物质和能量代谢规律指导训练期间的营养安排是非常有益的．通过对排球运动的特点进行分析，结合各供能系统的特点以及各种能量物质分解的先后关系，简要陈述排球比赛中的物质和能量代谢，分析了排球运动中疲劳产生的可能原因，有针对性地提出训练中的营养安排以及应当注意补充的几种营养物质。     

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

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