基于能效逻辑的绿色数据中心定量评估方法

校园数据中心是校园信息系统的核心枢纽。绿色数据中心建设的首要核心目标就是降低能耗。本文提出了一种基于能效逻辑的绿色数据中心定量评估方法。首先,描述了能效逻辑的使用过程;然后,提出了定量评估实现的两种指标。

可生存性网络的形式化建模与分析方法

首次提出一种基于随机进程代数的网络可生存性形式化建模方法,该方法把形式化建模与性能分析相结合,从而可以在形式化建模同时分析得到系统的各种生存性能参数.在简单介绍随机进程代数的语法和操作语义的基础上,用进程表达式对生存性系统进行形式化描述;然后利用PEPA Workbench工具实现对可生存性网络稳态可用性和瞬时可用性测度的实验,仿真结果验证了该形式化建模与分析方法的有效性和可行性.

分布式任务关键系统生存性自动分析与验证

提出了一种应用概率模型检测技术进行分布式任务关键系统生存性的量化分析研究方法。该方法对攻击者和系统的交互行为进行精简抽象,在此基础上使用PRISM高级语言构造连续时间马尔可夫链系统概率模型。针对不同程度的攻击故障及系统服务水平,以连续随机逻辑建立系统生存性的形式化规约。借助概率模型检测工具PRISM对模型进行统计和验证,并图形化地表示出系统生存性的自动分析结果。理论分析和实验结果验证了上述方法的合理性和有效性,这些结果可在理论上指导可生存系统的设计和实现。

基于PEPA的信息系统可生存性形式化模型

本文提出了一种基于PEPA的可生存性形式化建模方法,对攻击者和信息系统的交互行为进行精简抽象,构建面向系统可生存性的状态转换图。在此基础上,建立可量化的生存性形式化模型,为可生存系统的设计提供理论指导。

智慧校园综合态势感知与分析平台

通过对智慧校园后台数据库进行大数据挖掘关联,把各个处、院等信息系统的"孤岛数据"整合起来挖掘出高效度的增值服务信息,从而实现对学生日常行为的态势感知与信息整合、预测、统计和分析。为学生提供一体化信息查询服务平台,使学生的吃、住、行、学等能够实现全程可视化、数字化,实现真正的智慧校园。

大规模拒绝服务(DDoS)攻击的防御与清洗系统

首先建立DDoS攻击特征的选择、表示、分析以及模型求解。然后,在此基础上研究基于敏感访问参数可变阈值约束的DDoS攻击防御方法。最后,研究基于可变概率标记的DDoS攻击流量清洗技术。

XGBoost-RF的物联网入侵检测模型

针对物联网入侵检测中检测数据不平衡导致的分类不准确的问题,提出了一种基于极端梯度提升树和随机森林相结合的物联网入侵检测模型.首先,针对物联网应用环境中产生的大量数据,对数据进行数据归一化处理.然后,利用XGBoost算法对其中的特征进行重要性评分,选择最优特征.最后,结合改进的随机森林算法,解决因数据不平衡导致的分类不准确的问题.仿真试验表明所提模型能有效的进行数据最优特征选择及合理地检测分类,同RF算法、SVM算法、Tree-SVM模型和RF-GDBT模型相比,所提模型的检测准确率有效改善.

一种信任优化搜索的p2p节点资源定位算法

传统HDHT方法采取信任机制完成异构节点资源定位,在节点选择初期信任尚未建立时,一些处理能力较弱的节点会发生拥塞,从而严重影响到搜索算法的性能。为此,提出一种信任优化搜索的p2p节点资源定位算法,其以信任度为基础,建立一个搜索区间,在每一次的搜索过程中,利用Direct_Search对搜索方向进行优化,保证每个节点都能沿着信任度最优化方向被搜索,避免在传统算法下由p2p网络异构分布造成节点被重复搜索的弊端。实验表明,此算法不仅在信任建立初期可以提高节点的资源搜索效率,并且可以在信任建立以后,提高下载成功率。算法在p2p的查询周期平台上得以实现,并通过实验分析了算法的有效性。

一种信息系统可生存性的自配置增长方法

本文提出一种多层面自律配置的系统可生存性增长方法。该方法研究了如何使可生存系统在运行过程中对其外部环境信息和应用需求等的动态变化自动做出适当的配置反应。

基于开源免费软件构建校园网私人保密Ftp网络空间

Ftp服务是校园网的基本服务之一，它在校园网的应用中发挥着重要的作用。笔者看了很多关于设计和实现中小学校园网Ftp服务的文章和案例，发现很多都是构建在Windows系列操作系统之上，多半是采用Serv—U配合其它商业软件搭建而成，需要很多的经济投入。这对于经费并不宽裕的中小学校来说，确实是经济负担。那么没有商业软件能否构建灵活多样的校园网Ftp服务呢？经过多年的探索和实践，我们基于开源免费软件成功构建了整套低成本、灵活多样的校园网Ftp服务系统。