Na+-K+-ATP酶的π-演算语义及验证

给出了Na⁺-K⁺-ATP酶跨越细胞膜同时主动向胞内运转钾离子和向胞外运转钠离子这一生化过程的π-演算模型及该模型的Spin验证. 证明了用过程代数的方法表示以“相互通讯”和“可移动”为主要特征的生物系统并模拟其行为的可行性.      

RDFS表示本体建模语言OIL的一种方法

给出扩充RDF Schema使之能够表达完全的知识表示语言的方法. 通过为这种语言增加必要的表达能力和语义来完善RDF Schema, 使RDF Schema能够描述本体建模语言OIL. 进一步给出OIL原语的RDF Schema定义： 任何OIL本体都可以使用RDF语法表示, 从而使其具有OIL的推理支持和形式化语义. 这种扩充方法同样也适用于其他知识表示的形式化.     

木糖与阿拉伯糖以及相应糖醇的色谱分离和色谱行为

采用 SM-1 9阳离子交换树脂 ,通过优化色谱分离条件 ,实现木糖与阿拉伯糖、木糖醇与阿拉伯糖醇的有效分离 .通过半经验 AM1方法研究木糖与阿拉伯糖、木糖醇与阿拉伯糖醇的分子结构 ,并在此基础上对各化合物的色谱行为进行理论解释 .     

基于仿型测量数据的层切法数控加工

介绍一个集仿型加工、仿型测量、测量数据处理及数控加工一体化系统的结构、原理、功能及关键技术。依据不同的仿型测量方式连接成多面体模型,该多面体模型与层切平面求交,获得切削层轮廓,并在切削层内进行行切、环切轨迹规划。该方法可适用于多种仿型测量方式,并可用于复杂组合参数曲面数控加工的刀具轨迹生成。     

不确定性条件下经济开发区环境规划方法与应用研究 (Ⅱ) 厦门海沧投资区环境经济系统规划研究

针对厦门海沧投资区的系统特征,应用不确定性多目标混合整数规划(IMOMIP)模型对区域进行了环境经济系统规划研究。根据模型的解,得到了关于优化的行业动态结构、大气污染排放份额分配、水污染物排放分配、水资源利用分配、污水处理厂扩展、森林扩展等方面的结果。并应用对偶分析对区域的发展瓶颈问题进行了分析。     

L属性文法属性求值器的自动生成技术

提出一种L属性文法LL（1）属性求值器的自动生成技术.该技术充分利用L属性文法和LL（1）分析方法的特点,节省了属性求值器的存储空间,扩展了语义规则的描述能力．且实现了一本基于该技术的属性求值器自动生成系统．     

交流电机绕组的谐波分析与噪声计算

文章详细阐述了交流电机绕组的谐波分析,给出了用计算机进行谐波分析的算法,研究了感应电机电磁噪声的计算方法,从运行结果来看,与实际测量结果接近。此计算方法对电机的电磁噪声分析和控制有一定的参考价值。此外,还分析了定转子槽数的对比关系对降低电动机的电磁噪声的作用,对应的选择转子槽数计算方法可用于电机设计。     

联合战役"装备保障防卫"兵力需求分析的指标体系研究

在分析了联合战役“装备保障防卫”兵力需求的影响因素的基础上,建立了从环境条件、敌情威胁、防卫状况三个方面分析．包括27个指标的防卫兵力需求分析指标体系。     

铁中Ⅰ型裂纹裂尖场的有限元模拟与形变分析

以体心立方铁紧凑拉伸试样为研究对象,用有限元模拟计算了{100}<110>、{110}<110>、{111}<110>3种Ⅰ型裂纹裂尖应力场.3种不同的裂纹取向将体心立方铁的刚度矩阵转化为不同形式,导致裂尖应力场的不同.研究表明,{110}<110>和{100}<110>裂纹裂尖应力场沿裂纹张开面呈对称分布,与将材料假设为各向同性时裂尖场分布相似;而{111}<110>裂纹裂尖场在裂纹面上下呈不对称分布.这种裂尖场分布的不对称性也是导致裂纹扩展过程中裂尖微结构演化多样性的原因.     

苏里格气田西区盒8段储层电阻率形态及测井解释研究

苏里格气田西区盒8段储层岩性和物性复杂、电阻率曲线形态复杂,测井评价难度极大。综合核磁共振成像测井、岩心扫描镜片、岩心观察、试气和生产等动态数据,排除压裂施工的影响,优选出典型的气层、气水层和水层,归纳出相应电阻率曲线形态类型。发现气层、气水层和水层均出现钟型、箱型和平稳波动型,分析造成因素。总结出了一套适合该地区测井解释的方法,绘制了交会图版,对高不动水饱和度层段结合视地层水电阻率法,取得了很好的效果。