因素空间理论与知识表示的数学框架（Ⅰ）──因素空间的公理化定义与描述架

系统地研究因素空间理论及其在知识表示中的应用。介绍因素空间理论的基本思想，修改了原有的因素空间的公理化定义，提出了表达概念的基本工具－－描述架，为建立知识表示的数学框架奠定了基础。     

基于通信顺序进程的计算机网络通信协议形式化描述

描述和设计计算机网络通信协议时，使用抽象的同步通信机制最为方便。但在实际中，使用异步通信机制将不可避免。基于霍尔的“通信顺序进程”和其他对通信协议描述与设计的理论研究结果，本文提出一个形式化方法，这个方法在不论使用何种实现通信机制的情况下都将保证通信协议的正确性     

明导EDA系统的开发与应用

应用MentorGraphicsEDA系统模拟仿真工具和VHDL语言的模拟、综合、优化工具，研究了智能化电子设计的模拟仿真及VHDL语言描述的电子设计的模拟、综合、优化问题。     

试论数字资源著录的元数据解决方案

数字信息时代的到来使快速发展中的数字图书馆面临着如何高效组织、管理数字化信息资源,同时为广大用户提供高水平服务的重大挑战.重点对采用DC元数据作为标准著录元数据集、采用RDF/XM L作为标准编码技术的数字信息著录方案作一研讨,以期促进我国早日实现数字信息著录、管理技术的标准化和统一化.     

细长受压杆的分岔特性研究

利用Lagrange描述法建立了受压细长杆因弯曲引起的轴向位移与横向位移之间的关系,并建立了由偏微分方程组描述的非线性动力学模型.通过对偏微分方程组的简化,得到了仅含三次非线性项的非线性动力学模型,并利用谱截断方法对此模型进行降阶.利用Lyapunov第一近似理论讨论了降阶模型的分岔特性.研究表明,受压细长杆在弯曲过程中Lagrange坐标的不变性为研究其动力学行为带来极大的便利,压杆的稳定性分析宜采用Lagrange描述法;当忽略杆由压缩引起轴向位移时,由弯曲引起的轴向位移与横向位移之间不存在耦合作用;当轴向压力小于某个值时,压杆只有直线一种平衡状态,且为稳定的;当大于这一值时,直线平衡状态失去稳定性而分支出两个稳定的非直线平衡状态,因而发生叉形分岔.     

形式语义描述方法研究进展与评价

程序设计语言形式语义描述技术在1990年代进入新一轮发展高潮,它对程序设计语言的设计和标准化,编译程序的设计和优化,程序推理,以及安全协议形式化描述、分析验证与设计等都有着重要的意义。但不同于成熟统一的形式化语法描述技术,语义的形式描述技术尚处于蓬勃发展和多种技术并存时期。首先回顾形式语义描述方法的研究发展史;然后通过实例介绍当前主要的语义形式描述方法;最后给出这些方法的评价标准和比较结果,并指出最有发展潜力的语义描述方法,以及将来的发展方向。     

14世纪鼠疫疑案

薄伽丘如是说 1348年,一场瘟疫蔓延到乔瓦尼·薄伽丘居住的城市佛罗伦萨(图1),当年37岁的薄伽丘亲眼目睹了这场劫乱,后来,他在描述瘟疫感染者的症状时写道:     

信息系统风险评估的数学方法

给出了现代网络信息系统风险域及其风险点的形式化数学描述，建立了风险估计模型，对不同域中的风险关联性作了探讨，为网络信息系统的安全性评估提供了可行的数学方法。     

银行信息化建设的过程、问题和对策

回顾了银行信息化建设的各个历史阶段,描述了在基层银行开展信息化建设的过程、取得的成就和存在的问题,提出了下一步银行信息化建设工作中应采取的对策.     

GLAV集成方法中的模式匹配研究

GLAV是一种新的集成方法,它能为信息集成系统的映射关系提供更具表现力的方式.映射表示源模式与全局模式之间的对应关系,主要研究了GLAV集成方法中产生映射规则的模式匹配方法.首先将SUDAI模型转换为模式树,然后基于树进行匹配.匹配包含语言学和结构匹配两个基本阶段,语言学匹配结合了术语关系和约束进行计算,结构匹配结合了类属性和上下文节点两个方面,并成功解决了模式规模差异带来的负面影响.计算的结果可以判断两个信息类是否是一个映射候选,经过验证后可确定它是否是一个合理的映射.最后定义了一个基本DTD来描述匹配的最终结果.