利用投影时序逻辑的多内核进程调度建模与验证

针对软件测试无法满足多内核处理器上进程调度的验证需要这一问题,提出利用投影时序逻辑(PTL)的定理证明方法来验证进程调度.使用PTL公式建立了支持当前主流进程调度算法的多内核处理器进程调度一般模型S,并将系统期望的性质描述为PTL公式P,在PTL公理系统的基础上,通过证明S蕴含P是否为一个定理来验证系统是否具备该性质.以2内核处理器上的多级反馈队列算法的正确性为案例进行检验,结果表明所提方法可验证多内核处理器进程调度的系统性质,保证多内核进程调度的可靠性.由于多内核处理器的进程调度具备了并发系统的主要特点,因此该方法也适用于一般的并发系统验证.     

S-粗决策及其F-干扰生成

针对动态决策系统具有的干扰特性和决策的不确定性,利用双向S-粗集提出了F-干扰粗决策与F-干扰粗决策规律的概念,并对F-干扰粗决策生成与F-干扰粗决策规律生成的特性进行了讨论,给出了F-干扰粗决策规律不可分辨定理与识别准则和应用.通过讨论和应用,说明利用F-干扰粗决策规律有助于在动态决策系统中分辨-识别出异常干扰,修正系统做出的决策,保证决策的安全.     

自动化变电站体系结构及其构建方式探讨

随着经济的飞速发展,电力需求也不断增长,客户对电能的质量要求也越来越高,传统的电力网络已不能满足发展的需要和客户的要求。为了更好的服务经济和社会发展,智能电网的建设可谓势不可挡。而自动化变电站作为智能电网的重要环节,不但为整个电网的安全稳定运行提供数据分析,同时也为智能电网的高效运行提供了技术方面的支持。     

整体煤气化联合循环具有孔隙率梯度的层状陶瓷过滤材料研究

陶瓷多孔过滤材料是目前整体煤气化联合循环（IGCC）最有效的过滤材料。氮化钛陶瓷过滤材料具有孔隙率高、孔结构均匀的优点,在整体煤气化联合循环领域有很好的应用前景。研究表明,采用变孔隙率梯度陶瓷过滤元件能够避免或减小陶瓷过滤元件之间的粉尘架桥现象。本文通过改变原料中氮化钛晶种、二氧化钛和碳粉的相对含量,获得了孔隙率可控的氮化钛过滤材料。以此种控制氮化钛孔隙率的工艺为基础,利用模压法制备具有孔隙率梯度的层状氮化钛过滤材料。     

基于陀螺测量信息的航天器突变参数识别方法

利用速率陀螺的测量信息研究了航天器质量特性参数突变的识别问题。基于物理学原理建立了航天器转动和速率陀螺的数学模型;对航天器的结构布局进行分析,提出了辨识策略和算法;利用条件数和奇异值分解理论对测量矩阵进行分析,观察突变参数的可辨识性及可辨识度;以某航天器为例,就其质量特性的可辨识性及可辨识度进行数值分析,并进行在轨辨识仿真。结果表明,当航天器参数突变后,按照所提的策略,其质量和质心位置可以辨识,且质心位置的可辨识度高于质量。     

奥里油电厂烟羽传输与扩散的数值模拟

奥里油燃烧后的排放物温度以及SO2浓度比较大,为了对电厂周围环境质量进行分析,采用CFD软件进行模拟。模拟了奥里油电厂高架连续点源的烟羽传输与扩散, 根据湛江市有代表性的年平均气象数据,采用Fluent软件分析了不同大气风速和湍流度下奥里油电厂烟羽传输与扩散的特殊规律, 给出了描述大气污染的两个重要参数最大落地浓度及离源距离和烟羽中心线抬升高度及离源距离的下风向沿程变化情况。数值计算结果与烟气扩散理论和经验数据是相符合的, 所以该模型可以较好的模拟奥里油电厂烟羽的传输与扩散的特殊性,从而为该电厂的环境影响评价提供依据。     

FeⅡ(EDTA)溶液吸收NO的传质反应动力学

在双驱动磁力搅拌釜内,探讨FeⅡ(EDTA)溶液吸收NO的传质反应动力学.实验结果表明:在pH值为6.0,温度为50℃的实验条件下,FeⅡ(EDTA)溶液吸收NO气体为快速拟一级反应,所得到二级反应速率常数k2=1.41×108L·(mol·s)-1.实验增强因子与吸收液浓度的平方根成正比,将其与膜模型计算得到的理论增强因子进行比较,两者最大误差小于6%.     

太原市旅游气候资源评价

利用近30年地面气象资料.分析了太原市旅游气候资源的特点,通过计算舒适度指数、风寒指数.对各月旅游气候适宜性进行了分析评价,发现:太原市具有明显的旅游气候资源优势,每年有9个月的适宜旅游季节.5月至9月为最佳旅游季节.提出利用气候资源优势发展旅游经济的建议.     

非线性lp问题的极大熵方法

在非线性l1问题极大熵方法的基础上,构造了非线性l(0＜p＜1)问题的极大熵方法.为了克服lp问题的非光滑性,导出了极大熵函数,并证明了极大熵函数列的收敛性.根据同伦算法证明了极大熵函数的最优解序列逼近于非线性lp问题的最优解,并提出了解决计算过程中易于溢出的方法.最后,数值仿真表明算法是十分有效的.     

环境工程实验教学方法的探索与实践

环境工程实验课程是环境工程及相关专业学生理论联系实际的桥梁之一,在专业人才培养中地位重要.根据该课程开设的目的和要求,为高质量地培养学生的实践动手能力、探索和创新思想以及严谨务实的科学作风,对该课程的教学手段和方法已开展了7年的相关探索与实践,取得了较好的教学效果.