面向时间敏感网络的安全感知调度方法

时间敏感网络（TSN）中信息的真实性是系统的关键安全要素,然而直接引入传统安全认证机制会导致系统可调度性和实时性大幅降低。现有的方法仍存在适用场景少、资源消耗高等问题。针对这些问题,文中提出了一种面向TSN的安全感知调度方法。首先基于TSN流量特性设计了一种时间有效的一次性签名安全机制,为消息提供高效的组播源认证;然后提出相应的安全模型对该机制进行评估,描述安全机制对任务和流量的影响;最后对提出的安全感知调度方法进行数学建模,在传统调度约束的基础上,增加了安全机制相关的约束,同时以最小化应用端到端时延为优化目标,使用约束规划进行求解。仿真实验结果表明：改进的一次性签名机制的引入可以有效保护TSN中关键信息的真实性,且对调度的影响有限;在多个基于真实工业场景生成的不同规模测试用例中,产生的应用端到端时延平均仅增加13.3%,带宽消耗平均仅增加5.8%;与其他同类型方法相比,文中方法的带宽消耗更低,更加适用于有严格带宽限制的TSN。     

改进覆盖树与标识网死锁的检测

通过在ω符号中加入令牌数增减的信息,改进了原标识Petri覆盖树的构造方法,从而提出了一种新型的覆盖树,即改进覆盖树,这种覆盖树是有限的,它可以覆盖所有的可达标识,并且每一节点都有可达标识,这种覆盖树可单独用于检测标识网的死锁,文中示例表明它是有效的。     

利用着色Petri网检测小灵通双振铃与游子归家的话务循环问题

提出了一种可在建模和仿真阶段进行业务冲突检测的着色Petri网模型,为了克服Petri网的状态爆炸问题,引入了使用实例驱动法,即以引发序列仿真系统的典型行为,有针对性地检测业务冲突的发生.最后,以一个真实的案例说明模型的应用.本方法适用于着色Petri网的仿真工具CPN Tools.     

从复杂性科学再认识科学的简单性原则

本文辩证分析了科学的简单性原则和复杂性科学的方法论，指出了简单性原则分为简单性的世界观，科学模型的简单性原则和定律选择的简单性原则，而复杂性科学提供了新的复杂性的世界观，丰富了科学的简单性原则，深化了定律选择的简单性原则，因此是对科学简单性原则的扬弃，本文讨论了复杂系统对简单性原则应采取的态度。     

无线网状网域间无缝切换技术研究与设计

针对无线Mesh网络缺乏对域间移动切换支持的问题,提出了一种高效的无线Mesh网络域间无缝切换技术,降低切换时延,实现无线Mesh网络域间的无缝切换.通过对STA物理地址与IP地址的绑定,设计地址对应关系表和路由算法,并在源MAP与目标MAP建立缓存机制,保存切换过程中的通信数据包,实现在无线Mesh网络域间的有效切换.通过网络设备的缓存策略与新的算法寻址机制,减少STA在切换过程中的压力,有效降低了切换过程的丢包率,实现Mesh网络域间的无感知与快速切换.     

HIGHER-ORDER PETRI NET MODELS BASED ON ARTIFICIAL NEURAL NETWORKS

提出了一种新型Ｐｅｔｒｉ网———高阶Ｐｅｔｒｉ网，这种网可以应用于一阶谓词逻辑中的多项式子句集问题；还研究了目标转移结点Ｔ－不变量之间的关系，最后给出了几个例子。     

基于RFID检索的汽车知识演示系统

展馆内有一大小与真实类似的汽车模型，在模型的知识点所在位置贴有相应的射频卡。观众或讲解人可通过RFID阅读器去读取感兴趣的知识点编码或直接在触摸屏显示器点击知识点，然后通过该汽车知识演示系统，在显示器上播放相关多媒体内容。系统通过RFID检索，自动关联搜索数据库，播放相关多媒体内容；也可由用户点击后自动搜索来播放相应知识点多媒体内容；系统还有动态设置快捷区对应的知识点和图标，设置管理员和普通用户等功能。本文将介绍整个开发情况。对演示系统进行需求分析和设计；对采用的设计方案、设计思想进行详细介绍，并对测试和结果进行分析等。     

电信业务特性集成的时序着色Petri网模型

提出了一个电信系统业务特性集成的建模和检验方法。根据这个方法，现有的系统和新的业务特性分别表述为一个着色Petri网，业务特性的功能可表述为时序逻辑公式（称为功能公式），而业务特性的行为可表述为实现这个着色Petri网的变迁不变量（T不变量）的引发序列（称为业务）。通过检测业务是否满足功能公式，可对业务特性进行检验。