基于心理图式的知识挖掘与创新设计——以国庆彩车设计为例

为了提高设计创新效率,本研究基于心理图式提出了国庆彩车的设计程序与方法。研究按照浅层、中层和深层的次序递进,设计心理图式划分为“造型图式”“叙事与动作图式”以及“人物和情感图式”的基本类别,并提出了综合性、时态性、差异性和集体性四类基本属性。而后结合新中国成立70周年彩车设计,对不同心理图式的应用方法和属性进行了案例分析。本文所提出的方法在设计实践中得到了实证,具有一定的实用价值。     

结合RDF实现对XML文档的RBAC

文章提出了一种面向XML文档的基于XMLschema并结合RDF的访问控制模型,它实现了对XML文档的细粒度的安全访问控制,同时提供了对XML文档中associationsecurityobject的安全访问控制。     

像增强型夜视系统的图像信息传递

在分析了像增强夜视系统信息传递的基础上，指出像增强器输出端荧光屏至人眼的图像传递过程，构成了像增强夜视系统信息传递量的限制．提出了采用系统信息传递量作为夜视系统设计与评价的方法，利用这种方法可以发现在像增强器增益足以补偿光谱选道衰减的条件下，采用彩色像增强可以大幅度增加夜视系统传输的信息量．     

基于属性相关表的关系模式全部候选关键字求法

本文提出了属性相关表这样一种新的概念，定义了相应的运算并研究了它的有关性质及定理，在此基础上提出了用属性相关表求关系模式全部主属性的等级，并给出了用主属性来组合关系模式全部候选关键字的算法，上述算法的时间复杂度均为Ｏ（ｎ＾２）。     

Passive cooling in a low-energy office building

In office buildings, the use of passive cooling techniques combined with a reduced cooling load may result in a good thermal summer comfort and therefore save cooling energy consumption. This is shown in the low-energy office building ‘SD Worx’ in Kortrijk (Belgium), in which natural night ventilation and an earth-to-air heat exchanger are applied. In winter, the supply air is successively heated by the earth-to-air heat exchanger and the regenerative heat exchanger, which recovers the heat from the exhaust air. In summer, the earth-to-air heat exchanger cools the ventilation air by day. In addition, natural night ventilation cools down the exposed structure which has accumulated the heat of the previous day. In this article the overall thermal comfort in the office building is evaluated by means of measuring and simulation results. Measurements of summer 2002 are discussed and compared to simulations with a coupled thermal and ventilation simulation model TRNSYS-COMIS. The simulations are used to estimate the relative importance of the different techniques. The evaluation shows that passive cooling has an important impact on the thermal summer comfort in the building. Furthermore, natural night ventilation appears to be much more effective than an earth-to-air heat exchanger to improve comfort.     

A frame-based knowledge representation model and its mapping to nested relations

The first part of this paper introduces the basic constructs of a frame representation model and gives a formal definition for them. Subsequently the nested relational model (NF²) is described as an extension of the classical relational model to support relation-valued attributes. In the second part of this paper both models are compared with each other and a mapping of frame representation structures to NF² structures is specified. The structural similarities between frames and NF² relations are made clear and it is shown that their main difference is due to the type polymorphism introduced by the concept hierarchy of the frame model. This causes type collisions to occur in the strictly typed NF² model when frames are directly mapped to NF² structures. Two solutions to this problem are suggested and compared. The paper concludes with a reformulation of query operations of the frame model in terms of NF² algebra operations.     

CAD^2B—一个计算机辅助数据库设计系统

本文介绍了一个用Ｔｕｒｂｏ Ｃ语言在ＡＳＴ－２８６机器上实现的计算机辅助数据库设计系统ＣＡＤ＾２Ｂ。该系统提供了人机交互的环境，供设计者进行概念模型设计，并自动完成从概念模型逻辑模型的映射，创建满足规范化要求的关系表。该系统采用的概念模型是引入了事件和时间的扩展了的实体关系模型。该模型既能充分反映应用环境的静态和动态语义，又是向关系模式转化的基础。     

XML schema, tree logic and sheaves automata

XML documents may be roughly described as unranked, ordered trees and it is therefore natural to use tree automata to process or validate them. This idea has already been successfully applied in the context of Document Type Definition (DTD), the simplest standard for defining document validity, but additional work is needed to take into account XML Schema, a more advanced standard, for which regular tree automata are not satisfactory. In this paper, we introduce Sheaves Logic (SL), a new tree logic that extends the syntax of the – recursion-free fragment of – W3C XML Schema Definition Language (WXS). Then, we define a new class of automata for unranked trees that provides decision procedures for the basic questions about SL: model-checking; satisfiability; entailment. The same class of automata is also used to answer basic questions about WXS, including recursive schemas: decidability of type-checking documents; testing the emptiness of schemas; testing that a schema subsumes another one.This work was partially supported by the French government research grant ACI TRALALA and by IST Global Computing Profundis.     

灵活运用数据库设计理论

简介了关系模型、键、完整性规则、E-R模型、函数依赖、模式分解和关系模式的范式等数据库技术基础和规范化设计理论，从键和完整性规则的实现、数据冗余的特殊情况和字典设计等方面论述了在实际设计工作中如何灵活运用关系数据库设计理论。