从接受理论看文学翻译标准的多元性

本文以接受理论观照文学翻译过程,发现无论在理解还是转换阶段,译者的主观创造都不可避免,从而指出以原文为依归的单一翻译标准是不现实的,文学翻译标准必然是多元性的.     

基于形式化测试的实时系统变更后安全性验证

变更后系统实现的安全性验证是安全攸关系统维护过程中必不可少的环节,也是其面临的主要挑战之一.软件模型检测和程序验证是目前常用的作用于代码层面的自动化安全性验证技术.本文站在系统行为角度,基于形式化方法,提出了一种将变更后系统实现的安全性验证问题归结为一致性测试的方法,尝试通过自动生成的一致性测试用例在系统行为级别上判定系统实现是否安全.为此,首先以时间输入输出自动机及其语义模型为基础,构建了该方法的证明体系,证明了该方法的正确性;其次,建立了变更后系统实现安全性验证的回归测试生成框架.相对于其它实时系统测试方法,这种测试方法不仅可以发现实时系统中常规的不一致性缺陷,而且为变更后系统实现在运行时是否满足指定的安全性属性提供了依据.最后,以轨道交通系统中的列车自动防护功能的变更情景为案例研究,说明了方法的具体应用.     

基于计算机虚拟化列车控制系统敏捷测试方法

传统的基于通信的列车运行控制(communication based train control,CBTC)系统测试受真实硬件设备环境的制约而存在瓶颈,针对该问题提出一种基于计算机虚拟化的CBTC系统测试方法.采用计算机虚拟技术模拟物理硬件设备环境,构建CBTC系统虚拟化测试平台.基于该测试平台,设计了一种自适应测试用例约简优排算法,可以在保证测试覆盖率的前提下,约简测试用例的数量,并通过优化测试用例的执行顺序,缩短系统的测试时间.该方法应用于深圳市地铁2号线CBTC系统测试,与传统测试方法进行了对比.实验表明,本测试方法可精简测试用例幅度约45%,测试时间缩短约33%,大幅提高了系统测试效率.     

解读"星期五"民族文化身份的丧失

<鲁滨逊漂流记>是英国殖民文学的发轫之作.它不仅生动讲述了鲁滨逊开拓荒岛的详细过程,也描绘了他驯服改造原始部族人"星期五"的手段和策略.鲁滨逊以枪炮为后盾,从语言和宗教信仰两方面对"星期五"进行了文化改造,使其丧失了原有的民族文化身份.本文从二元对立的殖民话语出发解读"星期五"民族文化身份的丧失.这为我们重读经典开辟了一个新的视角,也为我们审视殖民者的文化统治提供了一个典型个案.     

基于因果关系的列控系统模型约简方法

在基于安全需求对验证问题进行投影的方法基础上,针对投影出的验证子问题,提出了基于因果关系的变量约简方法,定义了环境变量间的因果关系,归纳出基本的因果关系组合,并提炼出变量约简规则,通过变量约减减少了验证问题的状态空间.采用国内某地铁线路的相关数据进行建模和验证,结果表明,该方法能够有效降低系统验证复杂度.     

新课改视域下语文课程资源的开发与利用的思考

课程资源有广义与狭义之分。广义的课程资源指有利于实现课程目标的各种因素，狭义的课程资源则仅指形成教学内容的直接来源。综合两种观点，可以将课程资源视为课程设计、实施和评价整个课程教学过程中可资利用的一切人力、物力以及自然资源的总和，包括教材、教师、学生、家长以及学校、家庭和社区中所有有利于实现课程目标，促进教师专业成长和学生有个性的全面发展的各种资源。需要明确的是，并不是所有的资源都是课程资源，     

定形相变材料回填下的地埋管换热器实验

为研究定形相变材料(SSPCM)作为地埋管回填材料的传热特性,以30 W圆柱形发热棒作为线热源模拟地埋管换热器,用膨胀石墨吸附石蜡制成SSPCM,并将其和普通回填沙以3:7的质量比混合制备成混合回填材料,分析在夏季间歇运行工况下,SSPCM混合回填下的传热特性。结果表明,在短期实验运行模式下,相对普通沙回填,SSPCM混合回填材料形成的温度场优势明显,温度波动较小,管壁附近过余温度差异可达到10℃;距离发热中心距离越近,减缓温度场变化的效果越明显;在2种回填条件下,恢复后稳定温度以及恢复所需时间无显著差异;在多周期间歇运行工况时,回填区域内温度明显低于连续运行状况;若运行时间导致的温升超过相变材料潜热利用阶段,SSPCM无法发挥出相变储能的优势。该实验现象对SSPCM实际应用有一定参考价值。