煤炭企业信息融合的模型研究

分析了我国煤炭企业在新的技术和市场条件下的自身缺陷,指出了采用信息技术等高新技术的必要性,以及引入信息融合的要旨。回顾了信息融合思想和技术的含义、产生和发展,介绍了它的基本原理和层次结构。在此基础上,建立了煤炭企业信息融合的一般模型并阐述了它的特点。     

IDEF0与CPN的自动转换方法研究

在大型工程系统的建模与分析中,将系统的静态IDEF0模型转换为动态CPN模型的方法得到大量的应用,但是人工转换既繁琐也容易出错。该文在IDEF0和CPN模型的形式化表示分析的基础上,提出两种模型自动转换的一般步骤和方法。     

基于层次CPN的OpenFlow建模研究

CPN作为一种形式化方法,得到了广泛的研究与应用,其在网络协议上和工业系统中的应用尤为突出。OpenFlow是一种新的网络交换模型,包含OpenFlow交换机和控制器。文中首先介绍了OpenFlow协议及CPN(Coloured Petri Nets),然后基于层次CPN对OpenFlow网络进行了建模,对每一层的模型都做了详细的说明,充分体现OpenFlow的工作机制。在建模的过程中,详细地考虑了模型中token的选取和变量的定义,使得CPN模型的执行可以描述OpenFlow的动态工作过程。通过CPN工具生成的状态空间对模型的性质进行了简单的分析,证明了它的活性、有界性。最后给出了下一步的研究工作。     

基于RetinaNet-CPN网络的视频人体关键点检测

为解决基于视频流的人体关键点检测效果不佳及视频流切片后可能会发生运动模糊的问题,提出了一种改进的RetinaNet-CPN网络对人体关键点进行检测,有效解决切片后运动模糊图像的干扰并提高了人体关键点的检测准确率.视频流切片后,先用改进的RetinaNet网络检测出图片中的所有人并对每个目标框做模糊检测,对大于阈值的目标框做去模糊处理,最后用引入注意力机制的CPN网络提取关键点.将RetinaNet衡量预测框与真实框差异的IOU函数改成DIOU后,在仿真实验中目标检测AP提高了近3％;对于模糊的图片,利用匀速直线运动频谱特征估算出的模糊核与实际模糊核相差不大,对其做去模糊处理后基本能恢复出原清晰图片;同时引入注意力机制为各通道和特征层分配合理的权重,使得CPN检测AP提高近1％,AR提升0.5％.     

信息系统访问控制的层次模型

信息系统访问控制用以在不同层次上要保护不同类型的客体对象.按照客体类型及其层次关系将访问控制逻辑分层处理,在不同层次上采取与客体特点相符的访问控制技术,从而形成一种访问控制的层次模型.在功能模块级采取基于角色的访问控制,而在数据对象级采用基于规则的实现方式.分层结构将复杂的访问控制分解为若干个在不同层次上易于处理的问题,降低了问题复杂性,并使得各层之间互相独立,灵活性好,易于实现、维护和扩展.     

安全协议的设计流程及层次模型研究

借鉴软件工程的思想,提出安全协议设计流程以及安全协议的层次模型和安全属性层次模型,并对该层次模型进行攻击分析。分析每一层面临的各种攻击手段和攻击方法,重点探讨了层间攻击,并用两个典型的例子给予说明。最后将提出的模型和框架作为安全协议工程的基础发展安全协议工程,以期最终解决安全协议设计和应用的问题。     

基于代理的工作流邦联及子流调用框架

在分析层次工作流建模和工作流执行时互操作研究的基础上,设计了一个基于代理的邦联及子流调用框架,将层次化建模技术、流程互操作技术和异构数据模型映射和转换技术集成在一起,同时提供了异常处理和灾难恢复功能,真正从业务层次上解决了流程协作问题,并在TiPLM2.9上实现了该解决方案.流程实例之间通过代理进行交互,各个流程独立运行在自己的工作流引擎中,实现了松耦合和隔离性,增强了系统健壮性.     

基于改进的八叉树索引与分层渲染的海量激光点云可视化技术

近年来利用三维激光扫描技术进行的国内各地城市数字化发展迅速,随着硬件技术的升级和扫描范围的逐渐扩大,获得的相应的三维数据可达TB级。因此,如何合理的建立点云索引管理机制,是解决海量点云数据组织和管理的关键问题。本文首先对传统八叉树数据结构的索引方法进行了优化,然后对三维点云分块,建立八叉树索引数据文件,同时用LOD方法对其进行分层抽稀操作,通过建立改进的八叉树与LOD方法相结合的索引,来降低内存的消耗、提高查询的效率,最后根据屏幕显示范围与视角变化实时读取释放点云索引数据,从而实现海量点云数据的可视化。     

一种新的BT协议激励机制

BT系统的健壮性与稳定性受到参与节点合作程度的影响,然而大多数参与者的行为是自私的,常以最大化下载量和最小化上传量的方式进行下载,这种"搭便车"行为对BT系统的负载均衡及整体性能会产生严重的影响。本文从BT协议激励机制角度出发,提出一种新的激励算法,并将它集成到BT协议的CPN模型中,通过CPN TOOLS仿真模拟和验证分析说明该算法可以有效抑制搭便车行为,提升BT系统性能。     

通用装备虚拟维修训练系统的设计与实现

着眼装备使用维护人员的训练需求,探讨了通用装备虚拟维修训练系统所应具备的功能。采用将训练科目解析为由多道操作工序构成的层次模型,并以有限状态机的方法处理操作工序状态,以基于三维虚拟场景的关键帧动画表现各工序动作的设计思路,基于自主研发的视景仿真软件平台开发了支持三维交互式训练的通用装备虚拟维修训练系统。最后介绍了系统的应用模式和案例。