图式理论与英语新闻听力教学

文章将图式理论应用于英语新闻听力教学,详细介绍了英语新闻听力中语言图式、内容图式与形式图式的构建,并进一步阐述了英语新闻听力教学中如何帮助学生建立和激活相关图式,让学生对所听内容进行预测、判断和理解,以此增强学生的信心和兴趣,取得较好的教学效果。     

标记理论及其在修辞学和非语言交际中的体现

标记理论是从音位学中发展起来的一门新兴学科,人们对其知之甚少。虽然经过语言学研究者的不懈探究和努力,标记理论已经形成自己独立的体系,但在该理论中仍然存在着很多争议。在此,本文简要地介绍了标记理论的发展简史和完善过程,标记理论中的一般性分类,有关标记的一些特征以及标记理论在修辞和非言语交际中的体现。本文仅作抛砖引玉之效,以求得更多的人关注标记理论的研究。     

MRPII系统开发的一种形式化方法

研究了ＭＲＰＩＩ系统开发的形式化方法。使用形式化语言ＲＳＬ定义ＭＲＰＩＩ系统的规范和精化关系。以库存管理子模块为例，详细介绍了将形式化方法ＲＡＩＳＥ应用于ＭＲＰＩＩ系统的规范、精化、验证和实现。     

形式概念分析在基于事例推理中的应用

目的形式概念分析(Formal Concept Analysis,简称FCA)在基于事例推理(Case-basedReasoning,简称CBR)中的应用为完善领域知识的分类提供了一种有效的方法;FCA提供了一种事例的组织方式,使对事例库的直接访问变得容易。方法把原来的事例表示与组织方式转换成FCA所要求的形式。结果FCA可以提取嵌入在事例库中的隐含知识,这些以描述事例属性间的依赖规则形式的隐含知识可以用来帮助完成CBR的查询过程。结论FCA在CBR中的应用提高了事例检索的速度和结果的准确性。     

形式化方法在核事故评价系统中的应用

核事故评价系统针对核事故发生后第一时间对其进行评价和预测分析,软件可靠性要求高.形式化方法具有严格数学基础,是软件开发最为重要的理论工具.本文首先用UML对系统进行分析建模,采用形式化语言对系统功能进行严格规约描述,提高系统开发的可靠性.     

超形式空间自同伦等价群上自然映射的有限性

使用有理同化论的方法，给出一类超形式空间自同伦等价群映射的有限性质：（a）自然映射Aut（X^（n））→AutH^≤n（X^（n），Z）具有限核与有限上核；（b）自然映射AutX^（n＋1）→AutX^（n）具有有限上核．     

规范说的深层分析

长期以来,规范说一直是德、日等大陆法系国家关于证明责任分配的通说,对我国学术界产生了很大的影响,在立法中亦有体现.本文对其内容和规则进行了具体的阐述.但规范说偏重法律规定的外在形式,完全不考虑证明的难易及对权利救济的社会保护,影响了证明责任分配的公平、公正,引起了诸多批判,本文对此亦从理论和实例上进行了说明、探讨.     

利用RSA填充方案改进Kerberos认证协议

利用Coron、Naccache等人提出的加密签名通用的RSA填充方案对Kerberos认证协议进行改进。对改进后的协议,用BAN逻辑验证其满足Kerberos协议的基本安全目标,并对其效率和一些新的安全特性进行了分析。     

PRAPS：一个用于自动程序设计的问题表示系统

提出了使用领域知识与专家系统技术形成形式问题模型的方法，并在ＰＲＡＰＳ系统中得以实现。这一方法的应用，使用户仅以自然语言形式提出问题，经ＰＲＡＰＳ系统，最终形成描述问题的形式化模型，从而为自动设计解决问题的程序奠定了基础。     

基于高级Petri网的X.25/FR开放系统互连网关的描述与验证及实现

在构造 X.2 5 / FR互连网关时 ,采用 OSI有关协议。利用一种高级 Petri网(EPr/ TN)作为形式化的描述工具建立互连网关的系统模型 ,对网关中的协议转换和数据通信过程进行描述、分析和验证 ,并实际开发出了符合该模型的互连网关