基于π演算的自治系统架构描述语言AS-ADL

自治系统(Autonomous Systems)具有复杂的动态结构和行为特性,其典型代表就是各类军事作战系统.针对当前各种自治系统架构描述方法存在的局限,建立了自治系统架构的概余模型框架,并提出了一种描述该模型框架的形式化架构描述语言AS-ADL.AS-ADL以高阶多型π演算作为系统行为语义基础,具有丰富的数据类型,可以形式化描述自治系统的动态行为,且具有描述自治元素内部的交互行为的能力,为建立可执行的系统架构模型奠定了基础,并为系统模型求精和模型有效性验证提供支持.     

一个微分生态系统的极限环分析

在已有功能性反应的生态系统的基础上,应用数学生态学理论建立了一个具有功能性反应的微分生态系统,其中食饵种群具有非密度制约,且食饵种群密度的变化与常数相比对捕食种群的影响更为明显.应用微分方程定性理论,讨论了该微分生态系统,研究了系统的平衡点,对中心焦点的阶数和稳定性做出分析,并给出了系统的环域构成图.在给定参数满足一定条件时,利用Bendixson环域定理和张芷芬唯一性定理,证明了该系统极限环的存在性和唯一性.结果表明,两种群的密度或产生周期性变化,或都稳定在一组定值的附近,可以保持一种稳定状态.     

表面等离子体纳米腔的光学特性

应用边界元方法分析了表面等离子体纳米腔的光学特性.设计了两种结构的亚波长金属纳米腔,一种是由上下两片相对放置的有限厚的银板构成,并且在内边界上刻蚀了正弦周期结构;另外一种是在前一种的基础上,在内边界的中间刻蚀了直线缺陷结构.研究了光通过这两种结构的共振谱线.数值结果表明,随着正弦周期数的增加,共振波峰的数日也在增加.并且,当以共振波长入射时,腔内的场强相对入射场强提高了五六倍.当在纳米腔的中间引入缺陷时,束缚在纳米腔中的光场强度相对于中间没有缺陷结构时的光场强度要强.这一研究可对设计新型超小激光光源提供非常重要的数据.     

基于BOA的受限延时QoS路由算法

无线ad hoc网络中受限延时的QoS路由问题是NP-complete问题,针对其特点,将贝叶斯优化算法引入其中,用贝叶斯网络对QoS参数进行模拟、采样和优化.实验结果表明,贝叶斯优化算法对于受限延时的QoS路由问题有着很好的解决能力,同时与其他算法比较,能够搜索到较低代价的路由,满足QoS路由要求.     

谈国际技术转让中的知识产权保护

我国应当逐步完善知识产权法律保护环境 ,为技术引进创造良好条件 ,并在此基础上重视对新生知识产权的保护 ,技术出口方面做好出口方向的选择和本国技术的国外注册工作 ,繁荣技术转让活动的同时 ,保护本方的应有利益。     

等离子体射流防冰性能实验研究I.DBD-PA参数化分析及防冰效果验证

在冰风洞中开展了结冰条件下NACA0012机翼模型的等离子体射流防冰性能实验研究.设计加工了等离子体射流激励器并粘接于机翼表面,热电偶巧妙埋设于激励器下方以检测防冰效果.实验验证了激励器掩埋电极上方等离子体射流的防冰性能,考察了防冰性能随激励电压和激励频率等参数变化的规律.     

香精中巨豆三烯酮E/Z异构体的相对量比和在4种常用气相色谱柱上的出峰顺序

气相色谱上用MP2和B3LYP方法,进行了巨豆三烯酮E/Z异构体热力学参数的理论计算,以4种常用毛细管气相色谱柱进行了巨豆三烯酮香精中各异构体含量的分析.结果表明:(1)在常用的DB-WAX、DBFFAP(等效于SGE BP-21)、HP-5MS、RXi-5sil MS毛细管色谱柱上,巨豆三烯酮各异构体的出峰顺序完全相同,依次为(4,7E,9)-、(4,6Z,8Z)-、(4,6Z,8E)-、(4,6E,8Z)-、(4,6E,8E)-巨豆三烯酮;(2)巨豆三烯酮各异构体分子结构的内能决定了合成产物中各异构体的量比;(3)不同机理或路线合成的巨豆三烯酮香精样品中,(4,6Z,8E)-和(4,6E,8E)-巨豆三烯酮的量比显著大于(4,6Z,8Z)-和(4,6E,8Z)-异构体.理论计算和实验结果一致,对香精中巨豆三烯酮E/Z异构体的定性和定量具有一定的意义.     

谈整合资源、凝炼方向,促进河南理工大学数学学科建设的发展

本文主要介绍了河南理工大学数学与信息科学学院近几年的学科建设的成果,并提出以后的发展思路和政策建议。     

黄铁矿烧渣处理含铊重金属废水的研究

以黄铁矿烧渣为吸附材料,分别对广东云浮某硫酸厂和采矿区外排含铊废水的净化处理进行初步研究。结果表明,由于在两种含铊废水中其他重金属的含量有所不同,故黄铁矿烧渣对其中铊废水的处理效果也不同。通过调节体系的pH值,Pb、Cd、Zn、Mn和Fe等大多数重金属能被烧渣有效吸附沉淀。采用该方法可有效控制工业废水铊污染的源头,且经济简捷。     

简易改造实现学生公寓节能——以重庆大学A区学生五公寓为例

本文通过对重庆大学A区学生五公寓的建筑空间形式和室内居住环境质量的调研,发现其不适应性,并且提出了适应气候且简易可行,同时又较为经济的节能改造措施。