The need for style systems in ODA

Many advanced document systems provide a formatting mechanism called ‘style sheets’ Style sheets provide a great deal of flexibility in describing a document's format, and allow easy maintenance of different house styles for a collection of documents. In this paper, we describe the basics of general style sheet systems, argue that successful document interchange must include the exchange of style sheet information, and evaluate ODA's style mechanism against this requirement.     

Introducing Students to Professional Practice in Civil Engineering

This paper describes a module that was introduced into a civil engineering degree program with the help of professional engineers. The aim was to develop a bridge between the world of learning and professional practice by putting students in the role of consulting engineers working with industry to produce a feasible solution to a real inquiry from a client. The module is placed in context by comparing the goals of accredited civil engineering programs in the United Kingdom and America, by describing how it is linked to the degree program and by explaining the matrix developed to identify the skills the students needed to demonstrate their ability to practice as professional engineers. Details of the module are given with examples of student work and feedback.     

FODA — the formal specification of ODA document structures and its use as a basis for conformance testing

The Office Document Architecture (ODA) is an International Standard which is developed by TC 97/sc 18 of the International Organization for Standardization (ISO) in close collaboration with CCITT's Study Group VIII and with ECMA. This paper describes the current state of a formal specification of the ODA document structures by mathematical means and its use for conformance specification and conformance testing.     

基于Java点对点通信技术的DES密钥交换

介绍了使用Java的点对点通信技术,基于Diffie-Hellman规则,给出了IBM DES密钥交换的总体方案、算法和应用程序,详细说明了其中涉及的主要技术和方法,同时给出了在PC机上用二进制指数分解法实现大数模运算的算法分析和实现方案。     

由二氧化碳出发合成有机碳酸酯

对以二氧化碳为原料合成有机碳酸酯的环氧路线、酯交换和直接合成方法作了综合评述 ,认为直接合成是最佳的合成路线。碳酸酯的直接合成可在均相及多相催化体系中进行 ,负载金属、金属甲氧基化合物及碱均可作为催化剂。直接法研究的关键在于高性能催化剂的开发、由二氧化碳对金属 -氧键插入反应导致的催化循环的构筑及耦合反应的应用。     

高速公路立交安全影响区范围确定è

为了便于高速公路安全的分析及事故预测模型的建立,明确了高速公路"立交安全影响区"这一概念,分别以500 m和100 m为统计单元,研究立交桥两侧5 km范围内的事故发生水平.结果表明:以500 m为间隔划分单元是合适的,能满足实际的需要,通过比较立交中心桩号两侧1 km、2 km、3 km和4 km范围内、外的事故发生水平,确定了立交安全影响区的范围,并给出了理论上立交区的事故水平分布图.     

城市立体交叉方案的关联度评价模型

基于物元分析理论,在综合分析城市立体交叉设计方案多因素的基础上,通过建立多指标性能参数的综合评判物元模型来描述问题,提出了城市立体交叉设计方案的关联度评价模型,该模型将许多定性分析转化成定量分析,为城市立体交叉设计方案的选优提供了简单、实用的评价方法,为决策提供可靠依据。     

语义Web模糊规则的互换与实现

针对模糊规则语言f-SW-if-then-unless-RL不能与f-RIF框架中的模糊规则语言互换规则的问题,构建f-SW-if-then-unless-RL和 f-RIF之间的规则映射,设计并实现一个能够自动处理f-SW-if-then-unless-RL规则和在这2种语言间互换模糊规则的原型系统,命名为规则交换系统。实现的原型系统成为f-RIF互换框架的重要组成部分。     

基于交换机制的环境数据重用方法研究

综合自然环境建模与仿真是当前军事建模与仿真领域研究的热点与难点,而在不同应用领域里重用(SNE)数据则是发展趋势。首先,从综合环境数据层次入手,研究基于交换机制的数据重用方法的基本原理和处理过程;然后,通过具体分析SEDRIS(Synthetic Environmental Data Representation and Interchange Specification)来阐述上述方法的可行性与实用性;最后,根据SEDRIS应用上的不足,分析数据交换方法今后的发展方向,为建模与仿真领域的数据重用提供了一些新的思路和见解。     

基于安全的电子公文交换系统

文中提出了一种基于安全的电子公文交换系统，能够实现电子公文安全交换的要求，即公文的完整性，机密性，发收双方身份认证。系统具有长期的不可否认性安全服务，能够验证发文端已发送，收文端已签收的事件，并能在收发双方有争议或某方丢失语据时提出用于裁决的证据。