自动机在程序控制流图分析中的应用

本文谈论了自动机和程序流图的相似之处，提出了用自动机来描述程序控制流程的方法。     

BLP模型的改进

针对BLP模型的局限性 ,提出了一种改进的BLP模型 ,该模型是一种基于强制访问策略的安全模型。在该模型中 ,将主体分为用户和安全管理员 ,由安全管理员完成权限的管理和分配 ,同时模型里定义了一些必须满足的性质 ,即简单安全特性和 特性     

数据库安全模型及其应用研究

在介绍了三种数据库安全模型——自主访问模型、强制访问模型和基于角色的访问模型的基础上,分析了它们的优点和不足,并给出了各种不同模型的应用场合。在车站售票管理系统中,给出了一种基于BLP安全模型的实现方法。     

RBAC在医院管理信息系统中的应用

基于角色的存取控制RBAC是一种将权限和角色相联系的存取控制策略,能灵活地实现组织的安全管理。本文分析了RBAC的基本思想和基本模型,给出了RBAC在医院管理信息系统中的应用的设计和实现过程。     

传感器网络中基于蚁群优化的谣传协议*

谣传协议是传感器网络中基于数据查询的路由协议,它使用随机方式生成路由,形成的数据传输路径不是最优路径,并且可能存在回路。为此,提出一种基于蚁群优化的谣传协议。该协议将蚁群分成查询蚂蚁和事件蚂蚁两个种群。当两个种群的蚂蚁相遇时,则形成查询路径。该协议解决了谣传协议中的回路问题,算法收敛性好,建立完整查询路由的概率比谣传协议的要大,传输数据所需的能量消耗比谣传协议的要少,是一种能量高效的数据查询协议。     

无线传感器网络中数据查询处理算法研究*

提出一种改进的定向扩散路由,将传感器网络分簇,查询兴趣由sink节点发,只在各簇头节点扩散,簇头以广播的方式在簇内发散兴趣消息,簇成员将感知数据传送到簇头节点,簇头负责将收到的数据进行融合后传到sink节点。仿真结果表明,改进后的查询路由比典型的查询路由定向扩散具有更高的能量有效性和更低的时延,能较好地延长网络的生命周期,提高了传感器网络数据查询处理效率。     

能量高效的传感器网络数据查询路由*

提出一种能量高效的传感器网络数据查询路由EEDQ(energy-efficient data query),EEDQ以sink节点为根节点,构造最小路由生成树,由sink节点发出查询任务,查询结果由叶子节点向sink节点传输,传输过程中进行数据汇聚.实验表明,EEDQ相比direct transmission,大大提高了传感器网络的生命周期.     

传感器网络中基于蚁群优化的数据查询协议

在无线传感器网络的数据查询中,蚁群优化方法可以找到从源节点到目的节点的最优路径.但当所有的查询消息和查询结果都在这条路径上进行时,路径上的能量消耗会很大.因此,提出一种基于蚁群优化的能量均衡数据查询协议EBDQ(energy balance data query protocol based on ant colony optimization),根据路径上的能量消耗情况,通过信息素对其进行奖惩,使网络的能量消耗分散在不同的路径上,让整个网络的能量平稳降级.理论分析和仿真结果都说明,EBDQ协议能够提高传感器网络的生命周期,降低网络时延.     

网络工程专业应用型人才培养模式研究

探讨了应用型网络工程专业人才培养目标的定位,对网络工程专业人才能力的需求进行了分析,从教学内容选择、课程体系设置等方面给出了专业教学体系规划,形成了一套适合网络工程专业应用型人才培养的模式,实践证明,该人才模式是行之有效的。