积分学在不等式证明中的应用

不等式证明在数学中有着举足轻重的作用．主要介绍利用积分的定理与性质证明不等式的一些基本技巧和方法，如积分中值定理、柯西-施瓦兹不等式、变上限积分等．较好地解决了不等式的证明问题．     

An effective estimation of distribution algorithm for parallel litho machine scheduling with reticle constraints

In order to improve the scheduling efficiency of photolithography, bottleneck process of wafer fabrications in the semiconductor industry, an effective estimation of distribution algorithm is pro-posed for scheduling problems of parallel litho machines with reticle constraints, where multiple reti-cles are available for each reticle type.First, the scheduling problem domain of parallel litho ma-chines is described with reticle constraints and mathematical programming formulations are put for-ward with the objective of minimizing total weighted completion time.Second, estimation of distribu-tion algorithm is developed with a decoding scheme specially designed to deal with the reticle con-straints.Third, an insert-based local search with the first move strategy is introduced to enhance the local exploitation ability of the algorithm.Finally, simulation experiments and analysis demonstrate the effectiveness of the proposed algorithm.     

淋巴细胞白血病患者CD3基因表达模式的变化

目的:了解T细胞受体信号传导分子CD3γδεζ基因在T和B细胞白血病病人中的表达特点.方法:采用SYBR Green Ⅰ荧光定量PCR和相对定量分析法检测32例淋巴细胞肿瘤病人:急性B淋巴细胞白血病(B-ALL)12例、慢性B淋巴细胞白血病(B-CLL)9例、急性T淋巴细胞白血病(T-ALL)11例及10例健康人外周血...     

订货与发货整合批量调度问题

在对文题进行数学描述的基础上，建立求解该类问题的混合整数线性规划模型.证明问题NP 困难性并研究多项式可解子问题，进一步提出了3个启发式算法以及精确求解的分支定界算法.数值实验表明，所提出启发式算法以及分支定界算法的有效性与高效性.     

混合Jobshop炼钢-连铸重调度方法及其应用

炼钢-连铸生产过程中加工设备起、停时间经常会出现严重延迟,导致调度计划不可行. 目前人工调整,存在响应速度慢和调整结果不优化的问题. 对炼钢-连铸混合Jobshop重调度问题进行了分析,提出了正在作业炉次已分配设备不变的重调度方法. 并提出了求解策略,将原调度分解为两个子调度问题. 引入炉次操作状态参数β,建立了正在作业炉次的时间修正模型,构造了启发式方法进行求解.对于未作业炉次,建立了多目标非线性0-1 整数规划模型,构造了并行逆推启发式算法进行设备指派,采用线性规划求解各操作的开工时间.基于上述方法开发了动态调度软件应用于国内某大型钢铁企业,在缩短动态调度时间、减少钢水冗余等待时间方面取得了显著成效.     

A Dynamic Job Shop Scheduling Method Based on Ant Colony Coordination System

Due to the stubborn nature of dynamic job shop scheduling problem, a novel ant colony coordination mechanism is proposed in this paper to search for an optimal schedule in dynamic environment. In ant colony coordination mechanism, the dynamic .job shop is composed of several autonomous ants. These ants coordinate with each other by simulating the ant foraging behavior of spreading pheromone on the trails, by which they can make information available globally, and further more guide ants make optimal decisions. The proposed mechanism is tested by several instances and the results confirm the validity of it.     

基于多Agent的分布式多目标任务调度机制研究

针对分布式计算中任务调度的复杂性、动态性和实时性等特点,构建了一个基于多Agent的分布式多目标任务调度模型．此模型中,设计了一种分布武调度机制,使每个节点都具有独立的调度决策能力,增强了系统的可扩展性．同时为了解决分布式调度所产生的节点间任务通信问题,引入任务与节点相关性等概念,有效地降低了节点间的通信代价．模型对多个评价指标进行了综合衡量,如任务调度开销、任务最早执行时间、负载均衡及节点问的通信量等,并根据任务和系统运行的状态特征,实现多目标任务调度,提高了系统的整体性能．     

基于CAN网络的混合动力汽车硬件在环仿真平台

建立基于多xPC-Target系统的混合动力汽车硬件分布式实时在环仿真平台.通过CAN网络将2个xPC-Target双机系统组合而成.2个xPC-Target双机系统各自运行混合动力汽车各个功能模块的仿真模型,实现数据采集、处理及计算.使用多个xPC-Target系统能够有效分担仿真硬件设备的计算量,有利于提高仿真模型复杂度,提高仿真精度.由CAN网络实现2个xPC-Target系统间的通信.对xPC-Target的性能进行了测试,对CAN通信的时延进行了测试.在所构建的仿真平台上进行的计算验证了仿真平台的可靠性.     

地面自动气象站数据传输监控系统的开发与应用

通过对地面自动气象站生成的四类气象数据传输文件进行文件命名规则分析,运用可视化编程工具进行软件开发,实现对气象数据传输文件的实时监控.当系统发现数据传输异常情况时,自动进行显示和报警,同时调用气象宽带网络监测软件,进行故障分析和判断.通过系统监控的使用,减小各种故障对气象资料正常传输的影响.     

基于Wonderware系统平台的电网监控系统的设计与实现

 主要介绍了Wonderware系统平台在云南省电网进行监控应用设计与实现,并对该系统的结构和功能进行了论述.采用Wonderware系统平台的Intouch、IAS (Industrial Applicaition Server)、Historian、Historian Client等软件作为开发工具,实现对云南省整个电力系统设备的运行状态、实时监测和技术监督分析,使整个电网的设备数据集中整合到一个统一的平台,有利于电网设备数据的通讯、存储、计算、预警和维护,以保证电力稳定可靠的生产,预防电网稳定破坏事故、电网瓦解事故和大面积停电事故的发生,最终实现一个及时、准确的电网调度和决策平台.