一种基于任务探究的平面设计教学模式

针对高校平面设计教学中普遍存在学生缺乏将所学知识灵活运用于解决现实问题能力的现状,以Photoshop课程为例,给出了一种基于任务探究的平面设计教学模式。该模式包括提出任务、分析任务、提出方案、探索协作、完成任务等环节,以期提高该专业学生解决实际问题的能力。     

一种基于失效频度的微重启群判定方法

为减少递归重启过程中不必要的递归开销以实现应用系统的快速恢复,在微重启技术的基础上,提出一种微重启群的判定方法。该方法通过负载测试并在测试期间注入异常来获取组件的平均失效频度,以此分析组件间的失效关联程度,给出微重启群判定算法。研究结果表明,该方法可针对组件化分布式应用的故障进行重启,使系统平均恢复时间减少30%左右。     

视频网络对卫星电视图像质量的影响

在目前卫星电视接收机中，视频处理大都采用同一视频去重网络及视频低通滤波器去接收处理不同制式的卫星电视信号，导致幅频失真和信噪比恶化，严重影响了视频图像质量。文章对此进行了比较深入的理论分析，并提出了改进措施。     

关键任务系统中的任务热插拔技术

服务连续性和自适应性是许多关键任务系统的客观要求,为此提出采用任务热插拔的方法予以实现。介绍任务热插拔的基本思想,分析实现任务组件插入和替换的关键技术,总结了任务热插拔的技术实现路线,并开展了初步的实验研究。结果表明,该方法实现了任务组件的动态替换,可用于提高关键任务系统的可用性及适应性。     

任务关键网络系统的最佳恢复策略判定方法

高可用性是任务关键网络系统的主要特征和根本需求。在分析系统重启层次及微重启技术的基础上,给出了一种基于概率的任务关键网络系统最佳恢复策略判定方法。该方法根据系统不同层次对象的失效概率,递归计算出各种策略所需要的重启恢复时间,然后将重启时间最短的策略作为最佳恢复策略。实例研究结果表明,该方法可尽可能地降低系统的重启恢复时间,提高系统的可用性。     

基于惰性切片的线性时态逻辑性质验证

惰性切片是一种有效的状态空间缩减方法,但是它无法直接判定一个模型是否满足所期望的线性时间性质。针对该问题,提出了一种基于惰性切片的线性时态逻辑公式验证方法。该方法首先构造给定线性时态逻辑公式的否定Büchi自动机与系统模型的乘积自动机,然后使用惰性切片算法在该乘积自动机上以惰性方式搜索可接受迹,从而把线性时间性质验证问题转换为通过可达性分析搜索可接受状态的不变性检测过程。实验结果证明,基于惰性切片的线性时态逻辑公式验证算法在不损失验证结果正确性的前提下使惰性切片算法具备了验证线性时间性质的能力,同时也有效提高了LTL模型检测方法的可扩展性。     

基于近似子图的规则空间压缩算法

规则空间模型是一种高效的知识结构诊断模型,但较高的规则空间构造代价阻碍了在小规模、实时认知诊断中的应用.为了提高规则空间模型的可扩展性,提出使用近似子图生成理想属性模式集进而压缩规则空间的方法.近似子图能够通过忽略和测试项目无关的属性降低子图规模量级,从而有效缩减理想属性模式集规模,达到压缩规则空间的目的;同时通过构建顶点间的虚拟边模拟领域知识图上的传递依赖关系,使近似子图在不引入额外属性的前提下保持领域知识图上的依赖关系,实现对不合理属性模式的有效过滤.在此基础上,给出了构造规则空间所需的近似子图构造算法以及由近似子图生成理想属性模式集的方法.最后在标准测试集上开展了近似子图与依赖保持子图和顶点导出子图两种方法的性能对比实验,并将近似子图应用于实际教学认知诊断中验证其诊断准确率,实验结果表明近似子图能够在不损失诊断结果准确率的前提下显著压缩规则空间,降低规则空间模型应用于小规模、实时诊断的门槛.     

一种基于失效关联度的重启树优化机制

重启树优化是微重启技术实施的关键.在综述微重启及递归恢复技术的基础上,分析了重启树优化的原理,提出了一种实现重启树优化的机制.该机制在负载测试期间通过注入异常来获取组件的平均失效频度,并以此计算和分析组件间的失效关联度,再将失效关联度高的组件判定和构造为一个重启群以实现重启树的优化.案例研究结果表明,该机制实现了重启树优化的目标,减少了组件化分布式应用的平均恢复时间,提高了系统可用性.     

任务组件动态替换的关键技术研究

当今许多安全领域的应用要求关键任务系统能提供不间断的服务,并能对运行环境的变化做出积极有效的适应性反应,能否实现对系统软件的动态更新或软件组件的动态替换就成为问题解决的关键。对此,提出了采用任务热插拔技术来实现关键任务系统任务组件的动态替换,探讨了任务组件替换的主要问题及关键实现技术,进行了初步的实验研究并达到了预期的实验效果。