基于移动智能体技术的先进日志审计系统

在对比常规的交换机镜像数据包和通过Sniffer抓包间差异的基础上,提出一种新的利用Sniffer抓包及移动智能体技术实现的日志审计系统．移动智能体技术实现的关键技术主要包括：移动智能体服务设施的构建,移动智能体技术的相关协议的制定,移动智能体路由方案的选择,移动智能体的控制和容错策略设置．该系统具有实现效率高、安装容易、运行稳定可靠、可以有选择的预过滤网络数据包,并生成有价值的审计日志等特点,能够为审计后续工作效率提高提供较好的支持,增强网络系统的安全。     

RDFS表示本体建模语言OIL的一种方法

给出扩充RDF Schema使之能够表达完全的知识表示语言的方法. 通过为这种语言增加必要的表达能力和语义来完善RDF Schema, 使RDF Schema能够描述本体建模语言OIL. 进一步给出OIL原语的RDF Schema定义： 任何OIL本体都可以使用RDF语法表示, 从而使其具有OIL的推理支持和形式化语义. 这种扩充方法同样也适用于其他知识表示的形式化.     

语用学与语义学之再观

文章从历史发展的角度论述了语用学与语义学的产生.它们都是对语言意义的研究但所覆盖的层次不同,语用学可以说是对语义学的补充.正是因为语用学的出现,人们才找到了自然语言的逻辑.     

论整体语言能力的培养

传统的语言教学过分强调语言点的传授,重在教师讲,学生被动地接受,不利于学生整体语言能力的培养。我们从教学方式、教学内容,调和设置和学科间联系等角度进行探讨,以求提高学生综合运用语言的能力。     

16-bit和3 2-bit环境下 VB调用C动态链接库

论述了在Windows环境下,使用C语言建立16-bit和32-bit的动态链接库(DLL),以及在Visual Basic(VB)下调用的方法,并给出了实例,从而解决了通过调用DLL来完成vB中遇到的复杂运算.     

形式化面向对象方法与并发系统的建模

将统一建模语言（UML）的面向对象可视化技术与代数规范语言CafeOBJ的形式描述相结合,对冗余磁盘阵列（RAID）系统中的并发特性进行建模、分析和规范。提供了RAID系统的清晰结构,以此来弥补形式化规范语言的不足,规范软件设计过程,保证程序的正确性。     

外语课堂教学与思维方式

对语言运用来说,思维的性质就是对语言现象进行归类和概括,在教学中表现为模式是固定的,而且始终是对信息进行加工和处理的过程,这一点与外语课堂教学的行为非常相似,本文从这点出发,对外语课堂教学与思维方式进行了理论上的探讨。     

XML与Web数据集成及技术实现

由于HIML缺乏规范的数据表达能力,基于Web的数据集成往往很困难。要使存在于Web上的数量巨大的数据易于共享、处理,利用XML（eXtensible Markup Language）技术可以很好地实现,现有的XML技术包括XML解析器、文档对象模型、XSL等都可以很好地应用到各种平台下的Web应用程序中,从而实现异构数据集成。     

学生语言素质的一种模糊综合评判法

本文建立一个数学模型,给出学生语言素质的一种模糊综合评判方法,这种方法也适用于其他人群。模糊综合评判法与通常的评判法、测试评分法相比较,它更能客观地把握学生语言素质的真实水平。     

舞蹈在我国古代体育中的地位和作用

根据舞蹈对体育运动的起源和我国古代体育运动产生与发展的影响,论述了舞蹈艺术在我国古代体育运动中,从运动形式的产生与发展到运动目的与结果诸方面所发挥的重大作用,其演变与发展是我国古代体育运动在方法和形式上的重要载体之一。