新时代网络教育推动地方高校基础理论课程教学体系变革探究

地方高校的专业基础类理论课程在常规教学中往往会出现一些教学问题,从而影响课程的教学效果。当前网络教育大力发展的教育新时代,为课程教学要求和教学方法带来了新的变化。探索新时代的课程新教学体系,以用于解决该类课程常规教学问题,提高课程教学效果,就显得非常重要。文章以地方高校计算机专业“操作系统原理”基础类理论课程在新时代下的教学改革为背景,利用网络教育模式推动课程教学体系变革,设计了课程新教学体系。对课程教学模式构建、课程校企合作协同育人模式构建、课程过程性学习评价体系构建等多个方面提出了具体的实践措施。

基于Android平台手机游戏引擎的设计与实现

在研究Android手机游戏引擎基本原理和相关人工智能技术的基础上,设计实现了一个Android手机游戏引擎;并对该游戏引擎的整体框架及各子系统的功能及实现方案进行了详细地介绍。特别地,对人工智能模块中基于Boltzmann行动选择策略的优化遗传算法进行了重点阐述。利用该游戏引擎实现了一个飞机射击类游戏,开发过程和游戏效果表明,该游戏引擎有效增加了非玩家角色的智能性,提高了开发的效率并且降低了游戏开发难度。

分布式系统安全保障新体系的研究

安全问题是阻碍分布式系统发展和实用化的主要因素之一 .分布式系统的安全性包括security和safety两个重要且紧密相关的方面 ,然而目前绝大多数的研究只限于security .可是随着软件的大量应用 ,分布式系统正面临严峻的防危考验 ,迫切需要新的safety保障技术 .本文在深入分析分布式系统安全需求的基础上 ,提出了建立集securi ty和safety保障为一体的分布式系统安全保障新体系的设想 ,并对该体系应具有的特点和设计目标进行探讨 .然后针对把防危核这种safety保障新技术用于大型分布式系统存在的困难 ,提出了基于实时操作系统的解决方案 .最后建立了一种新的安全保障体系SADS (securityandsafetyassurancestructureofdistributedsystem) ,并在实时Linux平台上 ,以交通灯指挥系统为对象建立了SADS 。

游戏引擎最短路径搜索优化遗传算法设计

为满足游戏地图中最短路径搜索求解,提出了一种优化的自适应遗传算法。该算法采用与游戏地图中节点数和弧段数相关联的节点复杂度算子,结合种群的整体情况和进化潜力来设定自适应遗传算法的交叉率和变异率。实验表明,该算法避免了搜索结果陷入局部最优解,确保最短路径的搜索成功率及提高搜索速度,在游戏引擎设计中具有一定的实用价值。

一种新的主动网络安全体系的设计

尽管主动网络原型系统中设计了一些安全措施,但是它们都不具通用性且主要集中在security方面,这在主动网络必须和传统网络相兼容的情况下,阻碍了主动网络的发展。本文在定义消极型错误和积极型错误的基础上,设计了主动网络资源控制核。然后提出了集security和safety保障为一体的基于资源控制核的一种通用的主动网络安全体系,探讨了该体系应具有的特点、设计目标和可行性,并设计了主动节点的安全机制。

“数据流动”视角下智慧旅游公共服务基本理论问题探讨

旅游业与信息产业的不断融合,催生了"智慧旅游"。智慧旅游公共服务的理论研究目前尚处于萌芽阶段。智慧旅游的特点在于智慧,强调主动感知和数据的积累,其公共服务的内涵、服务的内容、供给关系、供给模式等都与传统的旅游公共服务有着较大的差别。本文的价值在于从"数据流动"的视角对智慧旅游公共服务的概念和基本理论进行了探讨,希望能为智慧旅游公共服务平台的建设提供有益的参考。

基于Linux高速报文捕获平台的DDoS入侵检测系统的研究

如何在高速网络环境下实现线速的报文捕获以及上层的安全应用,一直是研究的热点。前期用内存映射和零拷贝等方法实现了基于千兆网卡的高速报文捕获平台NACP,在此基础上,通过使用IP地址的分布与系统资源的使用情况等作为检测参数,在snort工具上实现了防DDoS攻击的入侵检测系统。在NACP上的实验表明,改进的DDoS入侵检测工具snort与高速报文捕获平台兼容性良好,发生DDoS时能迅速检测到并且做出恰当的回应。由于使用了高速报文捕获平台,DDoS检测占用系统资源明显减少,很大程度上提高了系统的效率,系统可以在入侵检测的同时处理其他的事务。

智慧旅游公共服务评价指标研究——以四川省为例

公共服务评价系统是智慧旅游公共服务体系的重要构件,对其进行客观有效的评价对顺利建设智慧旅游公共服务体系起着重要的指导意义。从"智慧"的视角,运用安全关键系统构建理论分析了旅游公共服务供给模式,并结合地方实践,提出了适合于四川省的智慧旅游公共服务体系;运用层次分析方法,选取42项指标,对所建立的智慧旅游公共服务体系进行了定量和定性分析,确定各级指标的权重,建立了一套智慧旅游公共服务的评价指标体系,为智慧旅游公共服务体系的建设和有关公共服务评价指标的设立提供参考。

智慧旅游公共服务体系内涵及构建思考

智慧旅游公共服务的广泛社会需求和当前各地正在兴起的示范区建设,迫切需要智慧旅游公共服务体系构建理论作指导。本文从智慧旅游的视角,深入地研究了旅游公共服务概念、旅游公共服务主客体和服务供给之间的关系和供给模式选择的依据。提出了智慧旅游公共服务的新特点、公共服务供给流程,基于安全关键分析的公共服务供给模式的选择原理,最后给出了智慧旅游公共服务体系的构建方法。通过这一系列的研究希望为智慧旅游公共服务体系的理论研究做一些积累,同时也为当前的示范区建设提供有益的参考。

基于防危核(壳)的安全关键硬实时系统响应时间的分析

基于响应时间的可调度分析是设计硬实时系统的基础.防危核(壳)是安全关键硬实时系统的一种新防危措施,现有的普适响应时间分析方法不能适用于这类系统.本文的贡献在于采用检测点时间冗余容错和优先级提升思想,通过分析内/外错误、隐/显错误,提出了一种合适的响应时间分析方法,从而为这类系统提供有效的离线可调度分析工具,同时也为这类系统设计了一种基于检测点的容错方案.本方法稍作修改也可为其它安全关键系统服务.最后通过仿真实验验证了本方法的有效性和优越性.

可降级现场总线网系统可靠性的评价方法

本文根据可降级现场总线网系统及其应用领域的特点 ,提出把可用性与可靠性 (reliability)有机接合起来对系统广义可靠性 (dependability)进行评估的方法 。

安全核机制的分析

安全核是安全关键系统的一种新的安全保障机制。通过对安全核原理的分析，讨论了该核的概念及特征，包括其建立的原因、条件、安全策略及结构等重要内容。设计了一种可重用的安全核机制，能较好解决重用安全核带来的一系列诸如应用相关性、安全策略表达的非一致性等问题。

形式化方法与安全关键系统

本文从分析SCS(Safety -CriticalSystems安全关键系统 )这类重要的实时控制系统的故障新特点出发 ,讨论了SCS中形式化方法的作用、研究应用现状、存在的问题及未来的发展。

一种新的主动节点资源安全管理机制

较传统网络而言,主动网络的高复杂性引起了更加严峻的资源安全问题,特别在主动节点方面。尽管在主动网络原型系统中设计了一些安全措施,但是它们都不具通用性。这在主动网络必须和传统网络相兼容的情况下,阻碍了主动网络的发展。文中设计了主动节点资源控制核,然后深入地研究了它与传统网络安全系统的接合问题,提出了对后者的具体修改建议。

软件可靠性评估的误差分析

软件可靠性模型是评估软件可靠性的重要工具 ,由于受一些不为模型所控制的随机因素的制约 ,软件可靠性评估结果中往往含有大量的误差 ,给工程应用带来许多困难。在对现代计算机应用系统的故障特征、软件可靠性模型的机理及引起误差的因素进行深入分析的基础上 ,提出了一种误差分析法 。

安全(Safety)内核机制的研究与实现

1 引言 安全技术是控制系统,特别是安全关键系统必需研究的核心内容之一.随着各种计算环境的建立、应用需求的复杂化和系统结构设计的开放化,软件以其易获得、易修改等优势,正逐步成为控制系统的主角,用以处理系统内外的复杂关系,这是现代控制系统发展的显著趋势.然而,由于软、硬件故障机理的本质区别,现有的硬件及传统的软件安全可靠技术并不完全适合于处理软件故障,因此这种趋势增加了系统的安全隐患.比如,对于一般复杂度的软件,用测试的方法能使它的故障率降低到每小时10-4个,相当于一年一个.但当软件复杂度增加时,测试效果急骤下降.若采用容错、检错等综合方法也只能使软件错误率降到每小时10-5个,然而安全关键系统的故障率要求是每小时10-9个,甚至有的是每小时10-10个[1].

一个高效的多方混合签密方案

签密是一种提供保密性和认证性的有效消息传输方式;但是当有很多消息接收者参与会话时,它的效率将变得比较低下。提出了一种多方混合签密安全模型。多方混合签密是一种在多方参与情况下,能够同时提供保密性、认证性与不可否认性的签密的通用方案。与传统方式相比较,在有多个参与者情况下,该方案将显著提高信息传输效率。首先提出了一种通用多方混合签密方案,然后给出一种具体方案;还将给出该方案在防火墙中应用的方法。

基于分配和寻径算法的QoS方案(英文)

讨论了一种基于开放式环境的QoS实现方案,它是在开放系统中资源有限的条件下,为具有QoS需求的应用提供服务。该方案设计了一系列用来描述端到端应用、系统资源特征的抽象结构和QoS的实现算法。其结果解决了开放系统中为支持QoS所引起的诸如系统各层中缺乏QoS的协调表达等一些重要问题。系统还支持QoS动态重协商,能够同时为尽可能多的应用提供服务。

“做中学”模式在计算机教学中的探索

在分析“做中学”教学模式适用于计算机课程教学的原因的基础上，本文进一步阐述了作者对计算机教学中采用“做中学”的一些认识，包括科学训练与教育理念并重、开放性问题以及适合“做中学”的课程的特点等。最后介绍了在计算机硕士研究生课程——“实时系统设计与分析”中采用“做中学”的做法和经验得失。

主动网络资源动态协商机制的研究

从通信服务集和安全性这两个关键角度探讨了主动网络中采用资源动态协商机制的重要性。在此基础上建立了主动队列模型作为资源协商之地;同时设计了资源分配算法和资源价格凸函数,让用户直接参与资源协商,自主地共享节点资源。通过OPNET进行仿真实验,实验中设计了资源动态协商和非协商两种方案,从队列长度、包延迟等方面说明了前者的优势。