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

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

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

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

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

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

溶胶凝胶法制备三维规则排列大孔TiO2材料

以聚苯乙烯微球 (LatexSphere)离心后形成的三维规则排列的胶晶 (colloidcrystal)作模板 ,用钛酸丁酯、水、乙醇等配制的溶胶填充微球之间的间隙 ,然后原位形成凝胶 ,最后通过焙烧除去微球得到三维规则排列大孔TiO2 材料 (3DOM)。溶胶的浓度一般控制在 0 5～ 1 0md/L之间。焙烧过程的升温速度应控制在 5℃ /min以下。得到的样品表面可观察到五颜六色的彩光。从SEM照片可观察到 ,球形孔大小均匀 ,排列整齐 ,孔壁填充完全。孔径在 5 30nm左右 ,孔的排列呈面心立方结构 ,孔与孔之间由小孔窗相互交连。XRD表明孔壁含有锐钛矿和金红石两种晶型 ,2种晶型质量分数大约各占 5 0 %。     

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

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

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

电路综合实验教学改革的思考

从培养学生综合素质方面出发，本文对电路综合实验教学改革提出了新的思路，在实验教学改革进一步探索的基础上，对改革后所产生的良好效果和重要意义进行了初步探讨。     

基于三阶累积量奇异值分解的雷达目标识别

基于一维距离像三阶累积量矩阵的奇异值分解 ,由非零奇异值构成奇异值矢量作为正则子空间法的输入 ,提出一种雷达目标一维距离像识别方法 ,对目标进行分类识别。该方法一方面利用三阶累积量提高了抗噪性能 ,同时又使用非零奇异值矢量减少了存储量与运算量。仿真实验结果表明 :在低信噪比 ,该方法的识别率高于特征子空间法