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

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

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

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

Fibonacci,Lucas序列与高阶Bernoulli多项式

本文给出了包含Ｆｉｂｏｎａｃｃｉ序列｛Ｆｎ｝、Ｌｕｃａｓ序列｛Ｌｎ｝及高阶Ｂｅｒｎｏｕｌｌｉ多项式Ｂｎ（Ｋ）（ｘ）的一些恒等式。     

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

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

高校合理布局与推进地区协调发展和城镇化

高等教育的合理布局直接关系到人力资源的开发、配置和有效利用.20世纪90年代,我国高等教育经过深化改革和管理体制的调整,得到大发展的机遇.目前,中央和各省、市、自治区教育行政部门都在考虑高等教育的发展、结构调整及合理布局问题.本报告试图从高等院校的合理布局出发,借鉴国外高等教育的布局及特点,根据我国的实际情况,提出建议,以更好地推动国家及各地区建设事业的协调发展,促进城镇化战略的实施. 　　……     

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

￣（45）Ca跨膜流动测定技术用于中药钙拮抗作用的研究

应用￣（４５）Ｃａ跨膜流动测定技术研究钙拮抗剂ｖｅｒａｐａｍｉｌ、中药西红花（ＣｒｏｃｕｓＳａｔｉｖｕｓＬ．）、“地奥心血康”（ＤＡＸＸＫ）、川红花（ＣａｒｔｈａｍｕｓｔｉｎｃｔｏｒｉｕｓＬ．）及银杏叶（ＧｉｎｋｇｏｂｉｌｏｂａＬ．）等对大鼠主动脉￣（４５）Ｃａ跨膜内流的作用，以确定其对细胞膜Ｃａ￣（２＋）通道影响。实验结果表明：西红花、川红花、ＤＡＸＸＫ对平滑肌细胞膜上电压依赖Ｃａ￣（２＋）通道（ＰＤＣ）和受体操纵Ｃａ￣（２＋）通道（ＲＯＣ）都有阻滞作用，并以西红花的阻滞作用最强；而银杏叶对细胞膜Ｃａ￣（２＋）通道无阻滞作用。