Petri网模型参数化可达图研究

Petri网是一种对并发系统进行描述和建模的重要数学工具,可达图是Petri网模型的主要分析方法。为了解决由于系统参数化造成的Petri模型可达图难以构造并且无法进行模型性质检验的问题,在分析现有参数化可达图方法的基础上,利用参数化标识提出一种新的Petri网模型完全参数化可达图构造方法。同时给出了这种可达图的有关特性及其证明,并举例说明了如何利用这种参数化可达图对系统进行模型性质检测。     

有色观测噪声下的多变量设置调整策略

针对存在初始设置偏差的离散的多变量生产制造过程,研究了观测噪声服从Auto-Rgressive （AR）模型的情况下,考虑调整花费成本为二次型函数时的设置调整问题,在建立过程状态空间方程的基础上,利用卡尔曼滤波方法在线估计过程的状态变量,根据随机二次型最优控制理论,得到了使过程质量损失最小的最优调整策略. 通过算例解释了最优调整策略的实现方法,并进行了仿真验证,结果表明,得到的调整策略与观测噪声为白噪声时的质量调整策略相比,能更好地减少过程总体质量损失.     

基于竞争失效模式的数控机床可靠性建模

数控机床是复杂的机电一体化系统,其故障不仅包括由于机械磨损造成的性能退化失效,还包括电子器件等引起的突发性失效,数控机床故障是退化失效和突发失效竞争的结果. 故本文假设突发失效和退化失效相互独立并且都服从Weibull分布,综合考虑突发失效和性能退化之间的相关性和竞争关系进行数控机床可靠性建模研究. 采用最小二乘估计法估计模型参数,运用D检验法进行参数拟和性检验;得出了一种基于竞争失效模式分析的可靠性评估模型. 最后,以15台某系列数控机床60个故障数据对该方法进行验证,说明了该方法的有效性和可行性.     

基于强互惠理论的漳河流域跨界水资源冲突水量协调方案设计

水量的分配方案在一定程度上影响因水量短缺引发的跨界水资源冲突的发展进程.从政府强互惠的角度入手,设计水量协调方案,寻求漳河流域跨界水资源冲突的协调途径是一个新的视角.基于这一思想,从政府的强互惠政策角度对漳河流域跨界水资源冲突系 统建模,从经济效益和社会效益两方面建立政府Agent和用水Agent 的目标函数,以强互惠表现的节水激励和水权交易为例,分别建立强互惠下的节水激励模型和水权交易模型,通过粒子 群优化算法求解,得出两种政策下漳河流域跨界水资源冲突的水量协调方案.水量的协调方案表明：政府强互惠的表现——节水激励和水权交易可以重新调整漳河流域的水量分配方案,以此来减少缺水量,协调漳河流域的跨界水资源冲突.     

能源互联网与能源路由器

日益紧张的能源供需矛盾和环境压力等要求可再生清洁能源应该在未来能源体系中承担主要能源供给任务.能源传输技术、存储技术、信息通信以及高性能计算技术的发展为有效利用分布式、间歇性可再生能源提供了技术支持.针对类似于信息互联网式的能源互联网愿景,本文探讨了以能源路由器为核心交换装置的能源互联网实现模型,从能源路由器的实现目标,已有支撑技术和实现部署方式等方面分析了涉及的关键技术,并结合已有研究成果说明了该领域亟需突破的研究方向.     

用重合度方法解一阶泛函微分方程周期解的存在性

本文通过使用重合度理论研究了一阶泛函微分方程x′（f）=f（t，x（f），xt）的ω周期解存在性问题的充分条件，并改进了相关文献中的结论．     

运用GIS网络视频技术实现林区防火远程监控

阐述了林区监控的重要性,探讨了如何运用GIS网络视频技术实现林区防火远程监控。     

对高等院校建筑规划设计的认识和探讨——以太原科技大学晋城校区规划设计为例

在介绍太原科技大学晋城校区工程概况的基础上,详细阐述了其规划设计理念、原则及结构等.     

基尼系数估算三种方法等价性的证明

用梯形法、矩形法、基尼计算法详细推导了基尼系数,并证明了在人口等分的条件下,这3种方法的等价性.