网络系统中的公式表达方法研究

为了探讨网络系统中的公式表达，提出了一种基于XML(eXtensible Markup Language)的公式标记语言FML(Formula Markup Language)．首先分析了FML与网络系统的关系以及FML与MathML的联系和区别，阐述了、ML和MathML并不适合于网络上的传输应用，而且不能作为成熟的规范指导实际应用；然后描述了FML语法，阐述了用FML来表达公式的实现技术，提出了在网络系统中解析和再现FML的工具FML Viewer．探讨FML及其应用，对于XML的研究，具有一定的理论和应用价值．     

北大博士对双语语音实验研究的新突破

对北京大学近来的博士论文用声学语音学和实验语音学等方法研究双语语音的新进展进行了综合分析，重点对比满汉双语，确定了北京话的“轻音”和“儿化”；对比韩、汉元音、韵律特征确定了两语时长和声调高低的不同，为双语教学提供了权威的语音校正，从而突显了成果的适用价值。     

英汉广告文体的比较及其功能

经济全球化时代的广告语变得越来越重要。本文讨论英汉广告的主要句式、结构及其功能。通过英汉广告文体的对比分析，透视了英汉广告语体的特点，使我们更好地运用不同的语体传递所要传递的广告信息。     

论艺术语言和"立象以尽意"的关系

界定“艺术语言”、“意象”，解释“立象以尽意”的含义，论证“立象以尽意”是艺术语言的本体；艺术语言的创造过程是“立象以尽意”的过程，艺术语言的审美过程是析象悟意的过程。     

基于UML的武器装备体系需求描述

为克服用户和分析设计人员间的交流障碍,保证武器装备需求的正确性和可操作性,在给出武器装备体系需求分析过程的基础上,分析了利用UML对武器装备体系进行需求描述的方法和步骤。以海上目标监视与打击体系为例,给出利用UML中的用例图、类图、活动图、协作图对体系顶层需求进行描述的方法。结果表明利用UML进行需求描述可确定为满足需求所需的关键系统及其相互关系,描述过程完整、易于理解和操作。     

基于CBR的损伤评估系统研究

在基于案例的战场损伤评估研究中,提取了案例属性,进行了案例表示,确定了案例检索机制。在此基础上,描述了基于CBR的评估过程,采用统一建模语言进行了系统分析建模,并用ROSE工具进行描述。在建立了战场损伤评估案例库的基础上,开发了系统原型并进行了分析。分析表明,利用CBR思想来处理损伤评估领域问题是科学可行的,在此原型系统基础上可以开发损伤评估案例系统,实现正确、快速的损伤评估。     

共享合成Petri 网系统的活性保持性

讨论了能对资源共享问题进行建模的共享合成操作.重点研究共享合成Petri网系统的活性保持性,同时还讨论了在共享合成过程中系统的并发行为关系即并发语言关系.给出相应的语言关系式,它可用于判定合成系统的活性.进一步,给出了判定合成系统有活性的充分必要条件.最后,提出了合成系统保持子系统活性的条件.     

大学英语口语教学中的学习焦虑及对策

在大学英语口语教学中,许多同学不愿开口讲英语,其中焦虑是导致这一现象的一个重要原因。文章重点讨论焦虑原理,导致焦虑的原因及减轻焦虑的对策,旨在进一步提高大学英语口语教学的效果,提高学生学习英语的积极性。     

基于Matlab的虚拟现实技术在机器人足球中的应用

在机器人足球比赛中,传统方式是通过摄像头采集图像信息,在信息的传输过程会存在较大的时延问题.利用虚拟现实视觉临场感技术,可以解决时延问题,提高参赛机器人的控制精度.详细介绍了如何在Matlab和Simulink仿真环境中分别建立足球机器人的仿真模型,并对虚拟现实建模语言VRML以及VRML构造器--V-Realm Builer 2.0作了简单的阐述.     

基于UML的高校教育信息化评价系统的模型研究

随着当前网络技术的不断发展,高校教育信息化已显得越来越重要,建立适合教育信息化评价的指标体系已经刻不容缓. 建立系统的模型有助于建立全面的教育信息化评价体系,Rational Rose是一种可视化建模工具,可以用来先系统建模再编写代码,因此本系统采用Rational Rose进行系统建模,并取得较好成效. 通过该模型已经实现了完善的高校教育信息化评价体系.