公共游憩空间分类与属性研究

文章针对不同使用者，从多重角度对中国的城市公共游憩空间进行整体的分析、研究和总结，对城市游憩空间的类型和功能属性进行初步的探讨，在此基础上提出了“城市公共游憩空间分类系统”，将城市公共游憩空间分为2个服务组，11主类，37干类和38支类。     

PDMS在石化装置埋地给排水管道设计中的开发应用

介绍了在石油化工装置设计过程中,如何利用三维设计软件PDMS实现给埋地排水管道的三维设计,讲述从数据库创建到三维建模,再到使用PML语言对其出图程序、材料报表模块进行二次开发,解决埋地给排水管道常见的错、漏、碰、缺问题,从而提高埋地给排水管道的设计效率和设计质量。     

下射灯在室内照明中的应用

本文通过对下射灯的研究，阐述了下射灯的特点、发展情况和结构形式，并着重探讨了下射灯的种类及其在室内照明中的应用。     

THE CATEGORY THEORY OF TIME SYSTEMS

In this paper we show a categorical treatment of general time systems using the categorization method presented in our previous paper. Various concepts about general time systems are categorized in the unified framework. Some category theoretical tools for the investigation of such time systems are presented. Using those tools some basic properties of time systems are explored in our framework. In particular, a conceptual equivalence between the causality and the state space representability is proved in the categorical terms. These results show that our method can be a universal tool for a categorization and a categorical treatment of mathematically defined general systems.     

基于概念基元的句群情景框架抽取研究

句群的构成要素是领域、情景和背景,领域是核心.领域关联的情景框架主要依据领域句类知识库的描述,从句群语句的语义块中抽取.本文介绍了在语言概念空间中对句群情景框架的概念符号描述,通过匹配整合句群情景框架中语义块的概念约束和句类分析结果中的语义块,给出了从自然语言空间的句群中抽取情景框架要素的方法,并根据实验结果总结了句群情景框架抽取中需要加强和完善的地方.     

偶图范畴的规范描述

范畴论是抽象地处理数学结构以及结构之间联系的一门数学理论。以范畴论为数学基础的偶图,为普适信息系统提供一个设计、模拟和分析的平台。然而偶图的范畴理论缺少规范的描述,一些概念术语的定义甚至有错误的地方。改进了偶图基本签名的定义,校正了位置图并置运算的定义,揭示了预范畴、范畴、s-范畴、对称偏幺半范畴之间的联系,给出了构造偶图范畴的算法,以便进一步研究偶图理论及其应用。     

Trellis Processes : A Compact Representation for Runs of Concurrent Systems

The unfolding of a concurrent system represents in a compact manner all possible runs of this system. Unfoldings are used in many applications, ranging from model-checking (offline) to failure diagnosis (on-line). Their factorization properties form the basis of modular/distributed algorithms to achieve these tasks. The trellis structure proposed here is an alternate and more compact representation for the trajectory set of a concurrent system. In this structure, time is unfolded, but not the conflict relations. Trellis nets are the generalization to concurrent systems of the usual notion of trellis for an automaton. As for unfoldings, factorization properties are evidenced on trellises, which makes these more compact structures a possible candidate for distributed model checking or diagnosis algorithms. As an example, we show how trellises can be used for diagnosis purposes in a distributed observation setting.

报警信息聚合研究

入侵检测系统的诸多不完善的因素制约了入侵检测的发展,入侵检测一直也成为人们研究的一个重点,而报警信息聚合可以有效地减少报警数量,提高网络预警能力,对入侵检测系统有着十分重大的意义.首先将报警分成四大类,再判定不同类别中报警信息的关系,进行聚合,最后根据不同的属性找出各报警信息的关联关系.     

目标语义概率模型在类目标识别和地物场景分析中的算法研究

基于文本分析统计模型提出了图像类目标的语义概率模型,并且将这种概率模型应用于目标识别和复杂场景下的地物分析.首先将图像表示成多个特征局部区域的集合,然后根据目标语义概率模型得到图像、特征局部和目标语义之间的概率关系,通过计算后验概率可以实现目标语义类别的识别.目标概率模型通过EM算法获得模型估计参数.实验结果显示,在识别复杂背景中的目标达到了很好的效果.场景分析中根据图像中各局部区域与目标语义的概率分布可以实现场景中感兴趣区域的标注,实验结果说明此方法有可行性.