移动云计算环境下基于任务依赖的计算迁移研究

移动终端硬件的资源受限问题可以通过将本地计算任务迁移至云端来缓解。然而,相比远程云端,某些实时要求较高的复杂应用更适合迁移至微云。这类应用中各任务之间的依赖关系也会对迁移方案产生较大影响。结合任务之间的依赖关系及微云的特点,基于遗传算法思想提出一种计算迁移方法。根据不同微云处理不同类型任务时的能力,将微云进行类型划分。根据移动应用中不同任务之间时序与数据的双重依赖关系,结合能耗和响应时间的考量,设计一个计算迁移算法,以获取具有较优效用值的迁移方案。通过仿真验证了该方法的可行性和有效性。     

工作流合并规则中的冲突检测方法

在关系型规则和活动型规则形式描述工作流合并需求的基础上,提出一种基于可达关系的合并规则冲突检测算法。通过记录每条规则应用后的可达关系矩阵,以及新增可达关系对应的规则集方式,为合并规则集中存在冲突的若干规则组合进行较为准确的定位。实例分析表明,该算法为规则集的合理调整提供直接依据,可有效实施工作流的合并。     

基于本体论的认知协作

认知协作是协同工作的一个重要方面，知识本体为认知协作提供了知识宏观结构的优选形式；主体在认知协作过程中的认知进化可以通过主体的元学习和主体间的群学习实现。分别分析了两类学习的机制，并在此基础上提出认知协作群体的动态模型，阐述了主体的协作动作与认知协作群体环境的关系。     

简谈面向非计算机专业的操作系统课程教学

随着计算机的广泛普及和应用,操作系统已逐渐成为一些与计算机应用紧密相关的非计算机专业的一门重要专业基础课。面向非计算机专业的操作系统课程教学需要在教学的内容和方法上进行相应调整。文章在分析非计算机专业操作系统课程教学现状的基础上,对相关教学内容和教学方法进行了探讨。     

时间约束Petri网及其可调度性分析与验证

时间约束Petri网(timing constraint Petri nets,简称TCPN)是一类重要的时间Petri网系统.对相关定义重新界定,丰富并完善了TCPN理论.针对变迁可调度原始定义的不足,首先给出了变迁的弱/强可调度的新定义及强可调度判定定理;然后对变迁的强可调度进行了拓展,提出了TCPN时间可调度的概念,并结合Petri网结构给出了TCPN时间可调度判定定理;最后对TCPN的相关特性进行了研究.TCPN对时间Petri网的研究工作将起到启发作用,并对实时系统的描述和建模工作具有一定的参考价值.     

知识网格环境下基于TMs的协同认知

协同认知，形式上表现为问题解决环境下拥有各自知识的实体，根据一定的学习规则在个体认知的基础上，协同完成某项认知任务。协同认知的参与者可能处于不同地点，因而分布式环境下的知识共享显得尤为重要。本文通过对网格环境下Topic Maps（TMs）这一知识表示手段的应用扩展，对网格环境下的知识表示和知识传播进行了研究，提出了有别于传统网络查询的查询机制。在对协同认知的元学习及群学习进行分析与定义的基础上，将机器处理和心智学习有机结合，构造了一个面向知识网格环境的协同认知学习机制，并相应地给出了一个基于TMs的认知实例。     

针对交互关系模型优化的协作式问题分配

将协作式问题合理地分配给各实体,通过对实体之间交互关系模型的优化获得较少交互关系数,对于减少实体的交互工作量,简化协作管理行为,降低通信代价,从而有效高质地解决该协作式问题具有重要意义.根据题内交互关系以及题外交互关系的定义,在分析以最小化实体之间交互关系数为目标的数学模型的基础上,提出了三个选择原则,以从每个子问题的各候选团队中选出合适的执行团队,并在此基础上设计实现了递阶优化分配算法,给出了模型的较优解.     

科学工作流中基于上下文感知的资源访问控制

网格环境的动态性使得科学工作流执行过程中的资源访问控制成为一个重要的研究课题.因此,提出一种基于上下文感知的资源访问控制机制,对科学工作流的任务上下文及其约束进行了分析和定义.描述了基于上下文感知的资源访问控制算法,并在此基础上设计了基于上下文感知的科学工作流管理系统框架.最后,通过天气预报这个科学工作流实例验证了该算法.