基于追踪部署的动态概率包标记算法的研究

基于追踪部署的相关理论和动态概率包标记算法,针对当前危害甚大的分布式拒绝服务攻击,提出一种基于追踪部署的IP回溯算法。该算法是以贪心算法为基础利用K-剪枝算法在网络拓扑图中找出一些关键的路由器,利用这些路由器也就是只让tracers对过往的数据包按照动态概率包标记算法进行标记,这样大大减少了重构路径所需的数据包数,提高了追踪到攻击者的速度,而且大大减轻了路由器标记的负担,从而能够迅速而准确的找到攻击源。     

形式化B方法到UML类图的转化研究及应用

形式化B方法是建立在严格数学基础上的软件开发方法,它用抽象机器符号来描述软件的规格说明;UML是面向对象的建模技术。文章提出一种将B的实现转换成UML类图的机制,从而以期实现B方法到面向对象编程的无缝连接,并结合免疫系统给出了应用实例。     

软件需求获取形式化的案例研究

软件需求获取是软件建模和分析的基础,传统的软件需求建模方法主要有2个重大的缺陷:一是非形式化的需求描述常导致需求的歧叉性和不一致性,因而难以确认和验证;二是易变性.针对此问题,结合实例提出用UML(Unified Modeling Language)的用例驱动获取软件需求,并将得来的需求用形式化B方法的机器来表示需求,实现了软件需求的形式化.实践证明,用例驱动的软件需求获取可以有效地获取正确、合理的软件需求,加上用形式化B方法的需求描述,可以有效地避免上述两大缺陷.     

群落划分方法在免疫网络中的比较

为了能够较为准确的寻找大规模复杂网络中的社团结构,很多学者提出了寻找社团结构的算法。论文将三种不同的典型的群落算法用于免疫网络中,经过不同的算法比较,我们发现BC-Finder算法划分的群落跟我们的因子的通道生物功能群落较为贴近,而KT algorithm提出的快速算法得出的结果与我们的生物群落贴近的较差,而CH algorithm算法划分的结果介于它们两者之间,跟BC-Finder的结果较为接近。三种算法都各有其特点,KT algorithm的群落定义是基于网络的拓扑结构的,没有考虑网络中节点的功能因素,而CH algorithm和BC-Finder的群落定义不但考虑到了网络的拓扑也兼顾到网络的功能。同时我们也发现细胞分泌介质关系可能跟因子生物通道功能存在着某种关系。     

智能推荐在网络辅助教学中的个性化教学探索

将智能推荐技术应用于网络辅助教学系统,初步实现个性化的教学,满足不同层次学生的学习需求,同时将促进教育教学内容体系的改革,推动教学方法,教学手段,教学模式的革新.