以可靠性为中心的维修(R eliability-centered M aintenance,简称RCM)实施过程中,大约40%的故障模型具有隐蔽性故障后果,其中约80%需要用定期试验管理。本评叙述了四种确定定期试验周期的数学模型的建立方法,并根据模型建立过程中的假...以可靠性为中心的维修(R eliability-centered M aintenance,简称RCM)实施过程中,大约40%的故障模型具有隐蔽性故障后果,其中约80%需要用定期试验管理。本评叙述了四种确定定期试验周期的数学模型的建立方法,并根据模型建立过程中的假设指出定期试验周期计算中的限制条件。展开更多
词汇能力的发展必须依赖语言直接教学的介入。词汇能力可以通过计划性词汇教学（PLI）发展到有效运用的阶段。本研究以形式聚焦教学（FFI）为切入点，试图从教学大纲、学习环境、认知过程及测试四个层面构建与讲授型外语学习环境相适应...词汇能力的发展必须依赖语言直接教学的介入。词汇能力可以通过计划性词汇教学（PLI）发展到有效运用的阶段。本研究以形式聚焦教学（FFI）为切入点，试图从教学大纲、学习环境、认知过程及测试四个层面构建与讲授型外语学习环境相适应的“计划性词汇教学”（PLI）模式架构。PLI整合了FFI所包括的兼顾意义和形式的“Focus on Form”以及关注纯语言形式的“Focus on Forms”两种教学法，将附带性词汇习得与计划性词汇教学的优势融于一体，并将其计划性元素扩展到教学大纲、学习环境和评估测试等宏观层面，使之对我国讲授型外语学习环境下的词汇教学更有针对性和指向性。展开更多
外部函数接口(FFI)是解决一种编程语言调用其他语言函数库的主要方法。针对使用FFI技术时需要大量人工编码的问题,提出自动化外部函数接口生成(AFIG)方法。该方法利用基于抽象语法树的源码逆向分析技术,从被封装的库文件中精准提取出用...外部函数接口(FFI)是解决一种编程语言调用其他语言函数库的主要方法。针对使用FFI技术时需要大量人工编码的问题,提出自动化外部函数接口生成(AFIG)方法。该方法利用基于抽象语法树的源码逆向分析技术,从被封装的库文件中精准提取出用于描述函数接口信息的多语言融合的统一表示。基于此统一表示,不同平台的代码生成器可利用多语言转换规则矩阵,全自动化地生成不同平台的FFI相关代码。为解决FFI代码生成中的效率低下问题,设计了一种基于依赖分析的任务聚合策略,通过把存在依赖的任务聚合为新的任务,有效消除了FFI代码任务在并行下的阻塞与死锁,从而实现任务在多核系统下的可扩展与负载均衡。实验结果表明:与人工编码相比,AFIG方法减少了FFI开发中98.14%的开发编码量以及41.95%的测试编码量;与现有的SWIG(Simplified Wrapper and Interface Generator)方法相比,在同等任务下可减少61.27%的开发成本;且生成效率随着计算资源的增加呈线性增长。展开更多
文摘以可靠性为中心的维修(R eliability-centered M aintenance,简称RCM)实施过程中,大约40%的故障模型具有隐蔽性故障后果,其中约80%需要用定期试验管理。本评叙述了四种确定定期试验周期的数学模型的建立方法,并根据模型建立过程中的假设指出定期试验周期计算中的限制条件。
文摘词汇能力的发展必须依赖语言直接教学的介入。词汇能力可以通过计划性词汇教学（PLI）发展到有效运用的阶段。本研究以形式聚焦教学（FFI）为切入点，试图从教学大纲、学习环境、认知过程及测试四个层面构建与讲授型外语学习环境相适应的“计划性词汇教学”（PLI）模式架构。PLI整合了FFI所包括的兼顾意义和形式的“Focus on Form”以及关注纯语言形式的“Focus on Forms”两种教学法，将附带性词汇习得与计划性词汇教学的优势融于一体，并将其计划性元素扩展到教学大纲、学习环境和评估测试等宏观层面，使之对我国讲授型外语学习环境下的词汇教学更有针对性和指向性。
文摘外部函数接口(FFI)是解决一种编程语言调用其他语言函数库的主要方法。针对使用FFI技术时需要大量人工编码的问题,提出自动化外部函数接口生成(AFIG)方法。该方法利用基于抽象语法树的源码逆向分析技术,从被封装的库文件中精准提取出用于描述函数接口信息的多语言融合的统一表示。基于此统一表示,不同平台的代码生成器可利用多语言转换规则矩阵,全自动化地生成不同平台的FFI相关代码。为解决FFI代码生成中的效率低下问题,设计了一种基于依赖分析的任务聚合策略,通过把存在依赖的任务聚合为新的任务,有效消除了FFI代码任务在并行下的阻塞与死锁,从而实现任务在多核系统下的可扩展与负载均衡。实验结果表明:与人工编码相比,AFIG方法减少了FFI开发中98.14%的开发编码量以及41.95%的测试编码量;与现有的SWIG(Simplified Wrapper and Interface Generator)方法相比,在同等任务下可减少61.27%的开发成本;且生成效率随着计算资源的增加呈线性增长。
