一个简单的Web日志挖掘系统

在分析Ｗｅｂ日志挖掘的困难及对策的基础上,给出了一个简单的Ｗｅｂ日志挖掘系统（ＳＷＬＭＳ）的体系结构,具体介绍了ＳＷＬＭＳ中日志的预处理过程,包括数据净倾、用户识别、会话识别、路径补充的主要任务及其实现,并着重介绍了预处理之后的序列模式识别过程和算法,包括最大向前路径的识别和频繁遍历路径的发现,并给出了实验结果。     

基于内容过滤的反垃圾邮件系统的设计与实现

垃圾邮件日益蔓延,引起全世界的广泛关注.研究基于内容过滤的反垃圾邮件技术,主要包括基于规则评分和基于概率统计的方法,并进行系统的设计和实现.最后,在实验中通过采用K次交叉验证的方法,得到系统的评价指标,并证明了系统的有效性.     

基于凸多面体剖分的并行碰撞检测算法

针对传统的碰撞检测算法对于复杂多面体之间的碰撞检测时间过长的缺陷，提出并证明了一种凸多面体的剖分算法，该算法能将复杂的凸多面体剖分为简单四面体，利用基于MPI(Message Passing Interface)并行处理的方法来提高碰撞检测的实时性．给出了基于凸多面体剖分的并行碰撞检测算法与常规算法的比较结果，证明了所提出算法的优越性．     

基于Internet的动态数据服务技术研究

阐述了利用Ｉｎｔｅｒｎｅｔ上数据提供节点向普通用户提供动态数据的服务，论述了通过ＪａｖａＡｐｐｌｅｔ获得动态数据和将静态数据转化为动态数据的两种方法，提出了基于浏览器的工作模型和两级工作模型，并比较了这些方法和模型的优缺点     

图形对象及图形编辑器的设计与实现

在对硬编码模型，基于组伯模型和面向对象模型进行比较的基础上，给出了面向对象的数据可视化系统的形式描述。并结合工程实例，阐述了图形对象及图形编辑器的关键技术和实现方法。     

Rigorous Modeling of Real-time System Based on UML and PVS

Rigorous modeling could improve the correctness and reduce cost in embedded real-time system development for models could be verified. Tools are needed for rigorous modeling of embedded real-time system. UML is an industrial standard modeling language which provides a powerful expressi-veness, intuitive and easy to use interface to model. UML is widely accepted by software developer. However, for lack of precisely defined semantics, especially on the dynamic diagrams, UML model is hard to be verified. PVS is a general formal method which provides a high-order logic specification language and integrated with model checking and theorem proving tools. Combining the widely used UML with PVS, this paper provides a novel modeling and verification approach for embedded real-time system. In this approach, we provide 1) a timed extended UML statechart for modeling dynamic behavior of an embedded real-time system; 2) an approach to capture timed automata based semantics from timed statechart; and 3) an algorithm to generate a finite state model expressed in PVS specification for model checking. The benefits of our approach include flexible and friendly in modeling, extendable in formalization and verification content, and better performance. Time constraints are modeled and verified and its a highlight of this paper.     

基于信任逻辑的PKI互通信任模型形式化

为了准确描述公钥基础设施(PKI)互通信任模型的语义,提出一种能推理主体信念和信任关系的形式逻辑,并用该逻辑形式化地分析了3个重要的PKI通信任模型.结果表明,这种逻辑能准确表达PKI互通信任模型的语义,揭示模型的优点和弱点,为验证PKI通模型是否满足特定需求提供了一种有效的形式化方法.     

Distributed genetic algorithm for optimal planar arrays of aperture synthesis telescope

Sparse arrays of telescopes have a limited (u, v)-plane coverage. In this paper, an optimization method for designing planar arrays of an aperture synthesis telescope is proposed that is based on distributed genetic algorithm. This distributed genetic algorithm is implemented on a network of workstations using community communication model. Such an aperture synthesis system performs with imperfection of (u, v) components caused by deviations and(or) some missing baselines. With the maximum (u, v)-plane coverage of this rotation-optimized array, the image of the source reconstructed by inverse Fourier transform is satisfactory.     

程序结构分析器生成系统的设计与实现

介绍了一个程序结构分析器生成系统的设计与实现．描述了系统设计的主要思想，探讨分析器的统一输入、输出、语法分析界面和标志符作用域机制的设计，并在软件复用等方面作了一些有益尝试     

基于统一建模语言的分布式企业信息系统软件体系结构 …

讨论了分布式企业信息系统软件体系结构建模的基本问题和统一建模语言的体系结构建模特性,在此基础上提出了基于ＵＭＬ的分布式企业信息系统软件体系结构模型ＵＤＥＳＡＭ。ＵＤＥＳＡＭ由组件,连接件,接口件和约束组成,采用ＵＭＬ的一个子集作为体系结构建模语言,用例视图,逻辑视图,构件视图和配置视图是表示ＵＤＥＳＡＭ的４个视图。给出了基于ＵＤＥＳＡＭ的软件开发过程和以体系结构为中心,以面向对象为指导思想,基于构