Analysis and design of secure cyber-physical systems

Cyber-physical systems （CPSs） are new emerging systems that seamlessly integrate physical systems, communication systems and computation systems. Their wide use has been witnessed in the past decades in many crossdiscipline fields such as smart energy systems, industrial process control, aerospace and automobile engineering, health-care and assisted living, to just name a few. For many of these systems, secure operations are of key con- cerns. In particular, for some safety-critical applications, security is of paramount importance. Diverse motivations and strong incentives exist everywhere and at any time for launching malicious attacks on the CPSs, for example, economic reasons （e.g., by reducing or even not paying electricity charge） and terrorism the purpose of which is apparent.     

基于信息流缺陷定位方法在软件测试中的应用

随着软件产业的飞速发展,人们对软件质量的要求也越来越高.现在,软件已经直接影响到了我们项目的成功和设备的安全.而软件中的复杂缺陷难以排除,因为它们涉及到许多程序要素之间的相互作用.论文扩展了基于信息流覆盖的缺陷定位技术.扩展后的技术融合了语句覆盖和分支覆盖技术,它还能定位复杂缺陷.试验结果表明,文中方法比基于语句覆盖、分支覆盖和定义使用对覆盖的方法要更可靠、更精确.     

基于参数可变遗传算法的炮兵通信网络覆盖控制优化

针对节点高密度部署的炮兵通信网络中优化工作节点集的选取问题,提出一种基于参数可变遗传算法的覆盖控制优化方法。设计了密度检测机制优化初始种群,并设计了即考虑到进化代数对算法影响,又考虑到每代中不同个体适应度对算法作用的自适应交叉概率和变异概率。仿真实验及分析表明,该优化方法快速有效地实现了工作节点数目少、节点集覆盖率高的工作节点集的选取,可有效地降低能耗,延长网络生存时间。     

一种混合无线传感器网络内覆盖洞修补的分布式启发算法

首先对最小化最大移动开销移动传感器分布式算法设计进行了分析, 并指出在分布式条件下难以对此类算法中的输出分派移动传感器的最大开销进行限制, 随后提出了一种分布式启发算法。该算法将移动传感器和覆盖洞视为节点, 在节点和节点的邻居间通过有限数量消息实现匹配。仿真结果显示, 算法可实现最高达到85%的覆盖洞修补率以及较低的移动传感器最大移动开销, 使其更能适用于实际无线传感器网络环境。     

高邮广电城域网优化升级方案

该文以高邮电视台数据网核心设备升级为例,介绍网络的结构,如何利用广电宽带网络的优势发展宽带数据业务,提出宽带网络建设需要解决的主要技术问题,比较广电数据网络升级的几种可选方案。     

基于覆盖技术的异步时序电路设计

该文根据动态卡诺图的原理,提出了异步时序电路设计的新方法-基于覆盖技术的异步时序电路设计法。该方法采用α,β覆盖,不仅可通过卡诺图直接得出整个电路的次态方程,而且与传统的异步时序电路设计方法相比,成本更低、功耗更低、延时更少。     

TD-SCDMA住宅小区覆盖综合解决方案

TD-SCDMA住宅小区覆盖的解决并没有完全统一的标准。文章分析当前TD-SCDMA小区无线覆盖的状况,从移动通信无线信号覆盖的角度出发对住宅小区进行归纳分类,并针对不同住宅小区的特点提出相应的无线覆盖解决方案,从而解决居民小区无线信号的覆盖问题和网络容量问题。     

我校5项教学成果获国家级教学成果奖

记者近日获悉,我校康灿华教授与武汉大学等校教师合作的项目《依托区域优势,高校联合培养人才模式的研究与实践》获得第六届高等教育国家级教学成果一等奖,另外,《大学生职业发展教育的理论研究与实践》、《经济数学课程体系革新与立体化教材建设》、《面向行业需求培养应用型创新人才的实践教学研究》和《无机非金属材料工程专业学生工程素养与创新能力的培养研究与实践》四项成果获得二等奖。     

环-皮特森簇网格的资源搜索机制

设计了一种以环 皮特森图(RP(k))结构为骨干拓扑,以簇为资源节点的文件资源系统环 皮特森簇网格(RP(k)C grid),讨论了RP(k)C grid系统的消息路由算法. 提出了簇头探察、簇头泛洪和环 皮特森簇(RP(k)C)轮询相结合的probe flooding and scan搜索机制. 对成功跨簇查询的文件在RP(k)C管理节点上建立副本,通过查询登记机制避免簇内泛洪. 实验结果表明,RP(k)C grid有效降低了网络负载和查询延迟,具有良好的可扩展性.     

Fuzzing技术的样本数据组合研究*

提出了基于样本数据组合的Fuzzing技术,并抽象出了解决样本数据覆盖问题（data sample covering problem,DSCP）的数学模型;为了更好地解决样本数据覆盖问题,提出了改进遗传算法(developed genetic algorithm,DGA),通过实例实验说明了DGA的有效性,并且通过仿真实验,验证了算法在求解复杂协议文件样本数据覆盖问题时比贪心算法和简单遗传算法具有更高的效率。