英文影视教学中词汇附带习得研究

随着多媒体技术的发展,原版英语影视视频日趋广泛地运用在英语教学中,所以在视频模式下对词汇附带习得对于学习者在英语自主学习过程中无疑有一定的促进作用。国内外尤其是国内学者主要是研究在阅读环境下的二语词汇附带习得,而在英文影视欣赏模式下的词汇附带习得的著作甚少。本文在研究了国内外二语词汇附带习得相关的理论基础上,采用观看电影后词汇即时测试和延时测试的方式,试图探究学生在不同观看任务（例如随意记笔记、回答问题和复述大意）下的二语词汇附带习得的情况。     

基于工作过程的大气污染治理技术课程标准探索与实践

大气污染治理技术课程标准以企行业的职业岗位能力为基准,兼顾学生职业迁移能力的培养,将教学内容分解成6个学习情境,每个学习情境以完成典型的工作任务为载体开展教学,建立以学生为主、老师为辅的灵活多样的教学模式,使学生的专业能力、职业能力和社会能力有机地结合起来;通过建立理论与实践一体化评价体系,充分发挥学生的学习积极性。     

Propositional Attitudes and Causation

Predicting and explaining the behavior of others in terms of mental states is indispensable for everyday life. It will be equally important for artificial agents. We present an inference system for representing and reasoning about mental states, and use it to provide a formal analysis of the false-belief task. The system allows for the representation of information about events, causation, and perceptual, doxastic, and epistemic states (vision,belief, and knowledge), incorporating ideas from the event calculus and multi-agent epistemic logic. Unlike previous AI formalisms, our focus here is on mechanized proofs and proof programmability, not on metamathematical results. Reasoning is performed via relatively cognitively plausible inference rules, and a degree of automation is achieved by generalpurpose inference methods and by a syntactic embedding of the system in first-order logic.     

基于描述任务逻辑的群体组织协同关系模型

群体组织模型是深入研究群体协同行为的基础,而现有的组织模型大多集中在对Agent组织的结构或个体低层指令级的交互上,不能描述组织高层的动态任务交互。提出一个新的群体组织协同关系模型GRNA。该模型包含两个子模型:认知模型和交互模型。认知模型构建于领域本体之上,为GRNA模型提供准确的术语定义;交互模型则基于描述任务逻辑理论,反映了群体的任务协同语义。实例分析表明,GRNA支持对群体规范和能力的描述,提供了组织任务可完成性的可判定的推理服务,能够描述组织的高层任务交互语义。     

实时多处理器系统的双优先级调度算法

针对同构多处理器系统提出一种基于双优先级的实时任务调度算法.对偶发任务进行接受测试,进一步提高了系统对偶发任务调度的成功率.模拟结果表明,当多核处理器系统利用率达到极限时,该算法依然能够在完成强实时周期任务的成功调度前提下,保证软实时周期任务和偶发任务具有较高的调度成功率.     

融合安全的网格依赖任务调度双目标优化模型及算法

为了解决异构网格环境下依赖任务调度问题面临的安全威胁,综合考虑网格资源节点的固有安全性和行为安全性,分别构建了一个网格资源节点身份可靠性度量函数和行为表现信誉度评估策略.同时,为了确立任务安全需求与资源节点安全属性之间的隶属关系,定义了安全效益隶属度函数,从而建立一个网格任务调度的安全融合模型.以此为基础,提出一个时间-安全驱动的双目标优化网格依赖任务调度模型.为了求解该模型,处理任务间约束关系时引入深度值和关联耦合度的排序定义,再结合网格任务调度问题的具体特点,重新定义和设计新的粒子进化方程.同时,基于均匀分布向量和粒子浓度定义了选择策略,从而提出一种双目标优化的网格依赖任务调度粒子群进化算法,并运用概率论的有关知识证明算法的收敛性.最后,对所提出的离散粒子群进化算法进行了多角度分析和大规模仿真实验,其仿真结果表明,该算法与同类算法相比,不仅具有较好的收敛速度和单目标优化性能,而且在任务调度长度和安全满意度方面具有更好的双目标优化综合性能.     

分布式系统下的DAG任务调度研究综述

近年来随着网格、云计算工作流等分布式计算技术的发展,关于DAG(有向无环图)模型任务在分布式系统环境下的调度问题逐渐成为备受关注的研究热点。根据最新研究进展,对分布式系统下的DAG任务调度问题和有关技术进行了研究与讨论,主要包括四个方面:系统地描述了分布式系统和异构分布式系统的有关概念,异构分布式系统下的DAG任务调度问题、调度模型及其典型应用;对现有分布式系统下DAG任务调度的研究按照不同的方式进行了分类;探讨了多DAG共享异构分布式资源调度的研究现状;讨论了目前多DAG共享异构分布式资源调度研究存在的问题和未来可能的研究方向。     

汽车构造与维修课程教学中的项目教学模式

项目教学法是一种探究与合作相结合的教学方式,采用项目教学法主要是为了提高学生的实际操作能力,将理论与实践有机结合起来,强调教学活动中的互动性。首先对项目教学法进行了简单的介绍,然后分析其在汽车构造与维修课程教学中的应用,并提出了在实际应用中需要注意的事项,供有关人员参考。     

An efficient weighted bi-objective scheduling algorithm for heterogeneous systems

This paper proposes the Makespan and Reliability Cost Driven (MRCD) heuristic, a static scheduling strategy for heterogeneous distributed systems that not only minimizes the makespan, but also maximizes the reliability of the application. The MRCD scheduling decisions are guided by a weighted function that considers both objectives simultaneously, instead of prioritizing one of them. This work also introduces a classification of the solutions produced by weighted bi-objective schedulers to aid users to tune the weighting function such that an appropriate solution can be selected in accordance with their needs. In comparison with the related work, MRCD produced schedules with makespans that were significantly better then those produced by the other strategies at expense of an insignificant deterioration in reliability.     

基于优先图冲突可串行化判断

在对数据库同时进行读写的多个事务调度中,为了保证所有事务的并发执行,一个重要条件就是各个事务之间是否可串行化或冲突可串行化。然而,当事务较多较复杂时,要准确判断事务调度是否满足这些条件,难度较大。优先图通过事务内部的本征关系表征各个事务之间的逻辑顺序,根据优先图内有环或无环可准确判断调度是否可串行化或冲突可串行化。