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

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

九江市中心城区居住功能区 土地集约利用研究

计算九江市中心城区居住功能区土地集约度分值,在此基础上运用Geoda、Arcgis空间数据分析方法分析九江市中心城区居住功能区土地集约利用程度的空间分布特点和采用Spass软件进一步分析三大类土地集约利用区土地集约利用影响因素。结果显示:1)九江市中心城区居住用地土地集约利用状况较好,集约利用区面积占居住功能区比为40.06%,中度利用区面积占居住功能区比为40.48%,低度利用区面积占居住功能区比为19.46%;2)居住功能区集约度呈现从中心向四周递减的空间分布特征;3)居住功能区集约度空间自相关明显呈正相关,表现为一定程度的空间集聚特征;4)中度利用区和低度利用容积率和建筑密度对土地集约利用影响较大,集约利用区人口密度和基础设施完备度对土地集约利用影响较大。     

基于OpenGL仿真的中药智能配药系统运动优化

为了运用现代计算机控制技术改进传统手工操作的中药配药方式，开发出了中药智能配药系统．提出了一种能快速、有效地确定配药系统控制策略的方法：利用模块化结构建立系统配药的仿真模型，同时运用OPenGL技术使该模型可视化，基于此模型分析适用于该系统的控制算法并最终确定一种较优的控制策略．运用此方法，给出了一种适用于中药智能配药系统的控制优化算法——有限动态规划法．它综合考虑了动态规划法术取最优解及其时间、空间复杂度随问题规模大小变化的特点，能够在有效控制算法膨胀的前提下，求出系统取药的优化路径，同时讨论了其优化路径与理论最优路径的关系．     

BUCK转换器中的分岔与混沌研究

BUCK开关转换器是一种典型的分段光滑动力学系统,改变转换器的电路参数条件会产生许多动力学行为。我们建立了电路的动力学方程,改变电路各参数,采用数值仿真的方法来分析了转换器的分岔和混沌现象。这对于研究其它DC-DC转换器具有一般意义。在这里采用的是MATLAB软件,并讨论了仿真时一些问题。     

网格环境下基于免疫克隆策略的资源分析和任务调度

网格将多种资源组织在一个统一的框架下,为各种复杂的计算任务提供资源.因此计算任务在各种资源之间的调度成为了一个关键的问题.将遗传算法和免疫克隆算法结合起来,充分发挥各自的优势,先通过克隆操作来产生一组新的个体,然后再独立地对所产生的各个体进行克隆变异,克隆交叉操作,从而求得问题的最优解.实验结果表明,这种并行遗传免疫克隆算法全局寻优能力强,能有效地实现资源的负载均衡,可以成功地应用于网格任务调度中.     

基于热环境测试的移动公共卫生间环境质量试验研究

移动公共卫生间在目前城市人口密集区应用较为广泛,但民众使用体验普遍较差。为探明现有可移动公共卫生间环境质量影响因素,本文以郑州地区为例,选取三个正常使用的典型移动公共卫生间作为研究对象,对其单体室内热环境进行短周期实测与环境质量评价,分析了不同外扰对公共卫生间热环境与空气品质的影响规律,总结不同通风模式与移动公共卫生间臭味强度之间的关系,旨在为未来移动公共卫生间的优化设计提供理论依据。     

一类离散观测下非线性随机系统估计量的局部渐近正态性

研究了一类离散观测下含未知参数的非线性随机系统的渐近性问题,对似然率函数和极大似然估计量的近似值分别进行精确度分析,建立了似然率随机域来分析似然率的渐近动态特征,并借助积分中心极限定理等数学工具分析得到似然率随机域满足局部渐近正态性的充分条件,并进一步给出Berstein-Von-Mises型有界定理。     

基于小波与最小二乘正则化技术的图像超分辨方法

采用正则化技术与小波插值方法相结合，并利用最小二乘原理，研究一种图像的超分辨方法，数值实验表明，新方法具有高精度、高效率的特点。     

湘西三个乡耕牛片形吸虫病流行病学调查

<正>片形吸虫病是一种人畜共患寄生虫病,由片形科的肝片形吸虫和大片形吸虫引起,主要寄生于哺乳动物的肝脏胆道内,也可寄生于人体胆道中。片形吸虫对家畜牛、羊、猪等危害很大。对有关片形吸虫病,在家畜体内寄生和流行情况,我省迄今未见报道。我们于1985年8月,在永顺县对山、新寨和杉木三个乡,调查了耕牛553头,其中黄牛329头,水牛224头。在调查中发现,耕牛片形吸虫感染,以肝片形吸虫为主,仅数头耕牛有大片形吸虫感染。现将553头耕牛肝片形吸虫感染调查结果报告如下: