国内外物联网研究现状及展望

物联网以互联网为基础,通过多种信息传感装置实现物物互联,是信息科技领域发展的必然趋势.本文就物联网的基本概念、技术体系、关键技术等方面对物联网进行介绍,并根据一些事实对近年来国内外物联网的发展现状进行阐述,提出现阶段物联网发展存在的问题,最后对其未来发展进行了展望.     

具有常余维数2k+2l不动点集的(Z2)k作用

设(Z₂)^k作用作用于光滑闭流形Mⁿ, 其不动点集具有常余维数r, J^r_n,k是具有上述性质的未定向n维上协边类［Mⁿ］构成的 集合.J^r_*,k为未定向上协边环MO_*的理想. 通过构造MO_*的一组生成元证明由所有维数大于2^k+2^l的上协边类及分解式中每个因子的维数都小于2^k的2^k+2^l维可分解上协边类构成.     

k(a)ler流形上的消没定理

在本文中主要研究k(a)ler流形上的消没定理,利用全纯线丛和截断函数以及sobolev不等式得到几个消没定理的结果.     

基于嵌套网的对抗模拟模型

为了对多Agent系统中的交互流程、本体(Ontology)语言与通信协议的设计进行可视化的分析和优化,嵌套网(Nested Petri nets)作为建模工具被应用于多Agent系统。使用三层的嵌套网对基于多Agent的对抗模拟模型ISAAC(Irreducible Semi-Autonomous Adaptive Combat)进行层次化建模,其层次的划分为Agent的生存环境(战场)、Agent和Agent的内部推理机。通过实例充分说明了嵌套网表达多Agent系统的可行性与有效性,可以实现多层次、多角度的图形化多Agent系统,并探讨了复杂适应系统理论与嵌套网理论的适应性。     

基于GSPN方法的柔性制造系统过程模型和性能分析

应用广义随机Petri网方法,对柔性制造系统进行建模和分析,提出了控制策略和优化方法.针对柔性制造系统的离散性,对整个系统的过程模型进行分析.利用广义随机Petri网结合马尔可夫链的方法,确立了系统的配置参数,得出了系统的平均运行时间,机床的平均使用率,系统的生产率,故障概率,对系统的优化和生产效率的提高以及柔性的提高提供了理论支持.最后,通过柔性制造系统实例,对该方法进行了检验.     

基于动态贝叶斯网的时变样本空间无监督学习

提出了针对概率分布参数时变的样本空间的参数估计问题,由于一般的聚类和EM算法等参数估计方法是针对概率分布时不变的样本空间的问题所采用的。因此,对于概率分布时变的样本空间而言,这些方法均不能有效、准确地估计实时变化的样本参数。通过构建动态贝叶斯网,利用先验和后验的知识进行预测和滤波,结合贝叶斯增量式学习方法并充分利用了其学习所获得的样本空间概率模型变化演进的规律,这样可以较准确、平滑地学习实时概率模型及其分布参数。     

间歇生产中过程调度的建模与分析

过程调度在间歇生产过程中起着非常重要的作用。针对过程调度的特点,我们建立了UIS中间存储策略下的间歇过程调度的混合整数规划(MILP)模型和时间Petri网模型,并分别采用Lindo和Hpsim1_1仿真工具对模型进行仿真实现。结果表明,对小规模问题,两种模型都能较好地解决,但前者约束多且描述复杂,而后者以图形化的工具描述单元间的逻辑关系,更适合调度系统的性能分析。     

基于DiffServ的星上交换设计与仿真

星上交换的设计在满足对综合业务QoS支持的同时,还需要考虑到星上实现复杂度和系统资源的限制.为此,基于DiffServ的思想,将(m,k)模型应用于地面业务到卫星业务的QoS映射,并通过双漏桶模型在业务增长时对星上数据进行有选择的控制,从而建立了一个实现复杂度低且可以有效保证综合业务QoS的星上交换框架.系统建模仿真结果表明,该设计方案在节省星上缓存资源的同时提高了系统性能,对业务的突发具有较好的平滑性.     

基于CPN的CBTC地面数据通信系统仿真和分析

数据通信系统是影响CBTC系统的控制精度,效率和可靠性.安全性的主要因素.充分利用分层赋时有色Petri网(HCPN),综合CBTC系统的实际通信需求,建立了CBTC地面数据通信系统的分层模型,并在HCPN中引入消息的时间标志,实现对数据传输时间特性的分析.对模型进行实时仿真的结果表明基于以太网的DCS地面通信系统的实时性可以满足CBTC系统的需要,而且影响数据帧传输延迟的主要因素是数据帧长度,而与行车密度关系不大.     

协同数字化预装配系统中多Agent行为交互建模技术

针对网络协同预装配的特点,提出基于多Agent的协同数字化预装配系统体系结构,利用面向对象Petri网对组成系统的各智能Agent进行了行为建模,分析各Agent之间的通信关系。对所组建的系统Petri网进行死锁和冲突分析,在此基础上设计了Agent结构并开发了网络协同数字化预装配原型系统。