针对分布式硬实时系统发生处理机故障后,当前周期内的任务实例和后续实例相对截止期限的不同紧迫程度,提出非紧迫周期内延迟策略——DNUP(delay in non-urgent period).该策略能够尽可能地推迟非紧迫实例的执行,使得低优先级实例有更多...针对分布式硬实时系统发生处理机故障后,当前周期内的任务实例和后续实例相对截止期限的不同紧迫程度,提出非紧迫周期内延迟策略——DNUP(delay in non-urgent period).该策略能够尽可能地推迟非紧迫实例的执行,使得低优先级实例有更多的机会完成其紧迫周期内的执行,从而实现处理器空闲(slack)资源的合理挪动.仿真实验结果表明,与其他几个著名的分布式容错调度算法相比,DNUP策略能够提高任务的可调度性,从而有效减少了所需处理机的数目.展开更多
翻转课堂教学模式已经成为近年来教育界关注的热点,各类有关翻转课堂的文献大量涌现。为了更加清楚地掌握该模式的研究现状,本文以翻转课堂的文献为研究对象,以国内的学术期刊数据库CNKI和国外的"ISI Web of Science"两个大...翻转课堂教学模式已经成为近年来教育界关注的热点,各类有关翻转课堂的文献大量涌现。为了更加清楚地掌握该模式的研究现状,本文以翻转课堂的文献为研究对象,以国内的学术期刊数据库CNKI和国外的"ISI Web of Science"两个大型数据库作为数据来源,利用文献计量方法对翻转课堂相关文献的年载文量和年增长、文献来源、研究内容、著者分布、文献被引频次等进行分析,以期为翻转课堂的深入研究与广泛应用提供借鉴和参考。展开更多
软件体系结构层切点指示器是在软件体系结构层次上实现量化机制和描述方面编织的基础。一些面向方面软件体系结构的描述语言虽然引入了切点指示器(Pointcut Designator)的语法成分,但仍未给出其语义的形式化描述,因而难以精确刻画软件...软件体系结构层切点指示器是在软件体系结构层次上实现量化机制和描述方面编织的基础。一些面向方面软件体系结构的描述语言虽然引入了切点指示器(Pointcut Designator)的语法成分,但仍未给出其语义的形式化描述,因而难以精确刻画软件体系结构层方面的注入位置。针对这一问题,基于面向方面软件体系结构描述语言AC2-ADL的抽象语法树形式,设计了一种一阶逻辑语言LL4PCD(Logic Language for PCD)。在此基础上,提出AC2-ADL语言PCD的形式化描述方法。该方法能精确定义软件体系结构层PCD的语义,可为形式化分析软件体系结构层方面编织提供支持。展开更多
文摘针对分布式硬实时系统发生处理机故障后,当前周期内的任务实例和后续实例相对截止期限的不同紧迫程度,提出非紧迫周期内延迟策略——DNUP(delay in non-urgent period).该策略能够尽可能地推迟非紧迫实例的执行,使得低优先级实例有更多的机会完成其紧迫周期内的执行,从而实现处理器空闲(slack)资源的合理挪动.仿真实验结果表明,与其他几个著名的分布式容错调度算法相比,DNUP策略能够提高任务的可调度性,从而有效减少了所需处理机的数目.
文摘翻转课堂教学模式已经成为近年来教育界关注的热点,各类有关翻转课堂的文献大量涌现。为了更加清楚地掌握该模式的研究现状,本文以翻转课堂的文献为研究对象,以国内的学术期刊数据库CNKI和国外的"ISI Web of Science"两个大型数据库作为数据来源,利用文献计量方法对翻转课堂相关文献的年载文量和年增长、文献来源、研究内容、著者分布、文献被引频次等进行分析,以期为翻转课堂的深入研究与广泛应用提供借鉴和参考。
文摘软件体系结构层切点指示器是在软件体系结构层次上实现量化机制和描述方面编织的基础。一些面向方面软件体系结构的描述语言虽然引入了切点指示器(Pointcut Designator)的语法成分,但仍未给出其语义的形式化描述,因而难以精确刻画软件体系结构层方面的注入位置。针对这一问题,基于面向方面软件体系结构描述语言AC2-ADL的抽象语法树形式,设计了一种一阶逻辑语言LL4PCD(Logic Language for PCD)。在此基础上,提出AC2-ADL语言PCD的形式化描述方法。该方法能精确定义软件体系结构层PCD的语义,可为形式化分析软件体系结构层方面编织提供支持。
