高风险语言测试负面后效产生的原因及对策——以大学英语四级考试为例

高风险语言测试负面后效产生的主要原因是测试目的不明确、测试目标和教学目标不一致、测试内容与实际语言运用不一致。测试开发者应通过准确定位高风险测试目的和使用范围,开发更多语言测试,提供多种选择等措施改善测试方法,减少高风险语言测试负面后效。同时,社会、政府、学校都应对测试后效的复杂性有充分认识,科学利用测试对教学的调控作用。     

面向对象数据库语言OL-4的设计

介绍了面向对象数据库系统Daemon4／1的语言系统OL-4的设计和主要特色。OL-4是具有对象库查询和管理的嵌入LISP的面向对象程序设计语言．其持色包括对象的基本模型、继承模式、语言的基本设施以及和库结合后的新机制。OL-4是一种较为完善和功能强大的程序设计语言。     

软件构架描述语言ADL的研究进展

软件构架是对子系统、软件系统构件以及它们之间相互关系的描述,已逐渐成为软件工程领域的研究热点以及大型软件系统与软件产品线开发中的关键技术之一.构架描述语言(ADLs)是具有构架结构的规范及其操作语义的形式化体系,采用形式化手段表达和推理软件构架,它提供了建模软件系统概念构架的特征.与编程语言、需求语言、建模语言、模块互连语言(MILs)等不同,ADLs形式化地描述了整个系统的构件、连接器、配置及其约束关系,除了识别系统的构件和连接器之外,还专门表达了构件的行为规范、协议规范和连接器规范.目前ADLs的研究逐步转移到移动及可视化集成框架的研究、ADLs支持工具的研究、提高支持工具的有效性等方面.融合ADL与UML进行系统建模与分析也是一个重要的研究内容.     

基于着色Petri网测试用例的自动生成

针对基于UML的面向对象程序设计方法及着色Petri网的特点,提出了一种基于着色Petri网的测试用例生成方法,该方法将UML的时序图描述转化为着色Petri网的形式化描述,通过深度优先遍历着色Petri网找出系统的测试路径,对给出的测试数据采用爬山法进行测试用例的选择,最后,根据路径覆盖的原则产生完整的测试用例．     

扩展Tempura语言统一模型检测算法

针对扩展区间时序逻辑目前没有可用的统一模型检测算法的问题,找到了该逻辑可执行子集即扩展Tempura语言的可判定子集——首先限定该逻辑一阶部分的常量与变量均为有穷可枚举类型,然后加上该逻辑的命题部分.在此基础上,提出了扩展区间时序逻辑统一模型检测算法,以判定由上述定义的语言子集所书写的规范程序是否满足命题版扩展区间时序...     

CORBA与Web服务集成技术

为了解决企业内部的遗留系统如何通过标准的Web服务技术实现互访的问题,通过对基于Web服务的典型应用集成场景的分析,参考Object Management Group(OMG)的相关规范,提出了更为全面的集成模型.其中新加入了基于Servant的SOAP-CORBA网关,对规范进行了必要的补充,并克服了其他同类系统未能解决的性能瓶颈和单点失效问题,而且本模型更易于灵活的分发部署,有利于整个系统的负载平衡.通过实验验证和分析,证明了模型的可行性,同时具有 良好的性能.     

高职院校英语教学中素质教育问题探究

基于在素质教育的宗旨是培养创新精神这一基本观点,分析了英语教学在我国教育体系中的作用和地位,指出当前英语教学中存着重应试教学轻应用能力培养的倾向,提出了英语能力训练、英美文化知识传授和受教育者人文精神培养三位一体的深化英语教学改革的建议,并结合实践论证了可行性。     

语言交际与不同受话者形态下的取效行为

本文旨从奥斯汀的言语行为理论中“取效行为”出发，着眼于日常语言现象，针对三种不同形态的受话者对言语行为产生的积极和消极的影响，重点分析了较常见的第一种受话者形态，而提出语言是人的第二形象。说话者应根据不同的受话者这个角度来提高自己的语言交际能力，通过语言来传达说话者的思想，情感，修养以及学识等，以完善自己的言语行为，顺利实现人与人之间的交际与沟通。     

基于情境的文本中的时间信息分析

情境用来描述文本中具体的动态和静态事件,时间是其重要因素·为了分析文本中的时间信息,本文首先给出了一个基于情境的文本理解的模型,并在时态逻辑的基础上,提出了文本的时间信息分析方法,它是将事物发展变化的时间顺序作为理解文本的一条重要线索·其主要工作包括:讨论了时间的概念、时间的类型和时间单位的转换机制;分析了命题间的时间关系、对象行为间的时间关系以及事件状态与时间过程的关系;并给出了所使用的时态逻辑