结合形式化方法的UML系统开发

介绍并讨论了在系统开发过程中使用UML(Unified Modeling Language)与其他形式化方法得到的一种精化模型，而且这一模型也同样支持形式化的分析和验证．     

基于ZML的Z语言规范

ISO的Z标准为Z语言工具的开发及不同Z开发工具间的互操作提供了基础,然而它所建立的只是开发工具必须遵守和使用记号,而没有说明如何实现这些记号。ZML采用XML模式文档形式来描述Z语言规范,可以实现Z语言在不同工具间的交换。本文讨论XML模式的重用、替换设计机理在ZML中的应用;并讨论了在设计ZML时,所引入的XML模型元素与Z标准对应的问题;以及随着ZML的演化,如何减少Z语言XML文档的开发维护时间问题。     

从东西方思维模式之差异谈语言教学

东西方思维模式之间存在着众多的差异,本文对东西方世界观、价值观的突出差异点作了分析,并对思维差异及文化差异与语言学习之间的密切联系作了探讨;提出教学应对策略与新的语言教学观.     

关于《高级语言程序设计》课程双语教学的思考

针对《高级语言程序设计》课程实行双语教学提出了自己的思路，对如何才能成功地对该课程实施双语教学提出了几点建议．     

整体语言教学在专业英语教学中的实践探讨

整体语言教学强调训练听、说、读、写、译等语言综合能力的培养。针对传统专业英语精读教学存在的问题，以整体语言教学理论为指导思想，摸索出一套专业英语精读教学行之有效的模式，以期调动学生学习的主动性和积极性，将语言知识的传授融于语言实践活动中，以提高他们的语言运用能力。     

Pictures of sounds: Wittgenstein on gramophone records and the logic of depiction

I consider the way Wittgenstein employed some kinds of sound recordings (but not others) in discussing logical form in the Tractatus logico-philosophicus. The year that Ludwig Wittgenstein was born in Vienna, 1889, nearby developments already underway portended two major changes of the coming century: the advent of controlled heavier than air flight and the mass production of musical sound recordings. Before they brought about major social changes, though, these innovations appeared in Europe in the form of children’s toys. Wittgenstein uses the fact that a symphony performance can be constructed from both a written musical score and the grooves of a gramophone record to explain what logical form is. His characterization of logical form in the Tractatus in terms of intertranslatability rather than in terms of interpretability is highlighted by reflecting on the kinds of examples of sound recordings that he did not use to illustrate the notion of logical form. There were other well known technologies for making visual records of sound at the time, but these did not serve to illustrate logical form.     

浅探大学英语专业听力教学

近年来,听力理解能力在考察学习者英语综合能力中的分量日益加重,尤其对于英语专业学习者。本文主要浅探实验中的听力教学模式,分析其实际效果及作用。     

利用电厂脱硫石膏生产水泥

章村矿电厂利用脱硫技术,排放大量的工业废渣——脱硫石膏,水泥厂大力开展资源综合利用工作,利用电厂脱硫石膏替代二水石膏作为水泥缓凝剂生产水泥,不但解决了章村矿电厂脱硫石膏的排放问题,而且降低了水泥生产成本,同时也为企业带来了可观的经济效益和社会效益。     

应用SDL仿真实现OSI参考模型的探讨

简单介绍了OSI参考模型及SDL语言之后,着重介绍了应用SDL仿真OSI参考模型的具体实现 方法.随着SDL语言功能的增强和完善,这种方法在通信领域乃至其它领域必将得到广泛的应用.