多处理器任务调度算法TDS的建模与验证

在多处理器系统中,一个应用所要完成的任务可以分配给同一个处理器处理,也可以分配给多个处理器处理,所以传统的测试方法难以满足多处理器任务调度算法的验证。在此,提出一个基于扩展Büchi自动机的形式化模型,并用该模型来描述多处理器任务调度算法TDS(Task Duplication based Scheduling);用线性时序逻辑描述出算法TDS期望的一些性质;最后在该模型上验证了这些性质。该方法有效地克服了传统测试的局限性,保证了多处理器任务调度的可靠性。

基于可能性测度的工程管理决策的研究

考虑可能性Kripke结构的一种扩展形式——带有成本的可能性Kripke结构,并且研究在此之上的期望测度和多属性决策问题。带有成本的可能性Kripke结构是在可能性Kripke结构的转移关系上(或者是状态上)给定了成本——这个自然数可以看成是成本,当然也可以看成是收益。在此只考虑转移关系上的成本。为了便于理解,文中给出实例,即应用带有成本的可能性Kripke结构的相关理论来解决工程管理决策的某些问题。

新时代软件工程专业教学模式探索

互联网已影响了各行各业,教育首当其冲,"互联网+教育"是"十三五"期间教育事业发展的重点任务。新时代,面临的一个主要问题就是如何科学有效的利用开放资源、网络技术以及新的信息技术服务高校教学工作。基于此,根据教学实践和"互联网+"给高校软件工程专业教学在教学内容、教学方式与方法以及考核方式所带来的影响,对新时代背景下软件工程专业教学模式进行了研究,提出了一种新的教学模式,旨在为高校专业课程教学在"互联网+"时代的改革提供探索。

文本编辑软件UE在C语言教学中的应用

C语言是一门通用计算机编程语言,应用广泛。C语言的设计目标是提供一种能以简易的方式编译、处理低级存储器以及产生少量的机器码的编程语言。C语言的大部分内容对初学者来说是比较简单易学的,但有些部分内容比较难,比如:指针、文件操作等。基于此,结合教学实践,该文提出了使用UE工具来辅助教学,并通过举例的方式说明如何使用UE进行教学工作。这样做有助于学习者理解和学习字符编码、文件操作等较难的内容。