多数据库系统中局部代理技术研究

提出了在多数据库系统中使用局部代理技术的方法 ,并且详细介绍了自行研制的多数据库 Panorama系统中的局部代理设计     

单片机多红红外通信系统的设计与实现

本文提出了一种利用软件方法实现单片机多机红外通信的设计方案。该方案减少了通信系统的硬件复杂性,降低了成本,提高了通信的灵活性。文中介绍介绍了方案的设计思想,包括硬件设计原理、信息格式的设计与差错控制的实现、信息答应机制以及软件核心框架等,同时指明了设计的应用前景。实践证明,效果比较理想。     

A Computer Vision Method for 3D Reconstruction of Curves-Marked Free-Form Surfaces

Visual method is now broadly used in reverse engineering for 3D reconstruction. The traditional computer vision methods are feature-based, i.e., they require that the objects must reveal features owing to geometry or textures. For textureless free-form surfaces, dense feature points are added artificially. In this paper, a new method is put forward combining computer vision with CAGD. The surface is subdivided into N-side Gregory patches using marked curves, and a stereo algorithm is used to reconstruct the curves. Then, the cross boundary tangent vector is computed through reflectance analysis. At last, the whole surface can be reconstructed by jointing these patches with 1Gcontinuity.     

Delphi的N-Tier数据库的设计与实现

通过对二层和三层及NTier数据库的结构特点进行比较,论述了传统的二层C/S结构数据库的缺点,简述了三层C/S结构和NTier结构数据库的优点及结构特征。详细讨论了Delphi的NTier结构数据库的具体实现方法。     

虚拟环境下面向装配的设计系统的研究

虚拟环境下面向装配的设计,是一种集成虚拟现实技术和装配性评价的交叉学科研究,文中提出了一个虚拟环境下面 向装配的设计系统VirDFA(Virtual Design For Assembly)的体系结构,首先描述了虚拟人工实时拆卸的过程,着重研究在实现虚拟人工拆卸过程中,需要解决的装配体物性建模、虚拟环境下装配约束的动态管理及装配序列/路径的自动记录等关键技术,其次,从面向产品结构和装配工艺过程两方面的再设计角度,构建了装配性评价体系,提出了定量的装配效率模型和装配复杂度指标模型。并从装配成本的角度来评价产品的装配性优劣,为产品和装配工艺规划的再设计提供了依据。     

并行环境下广义装配设计的集成框架

提出了以装配建模和变量设计为核心,以装配规划与仿真,装配分析和公差分析与综合等为支撑的广义装配设计的集成框架,该框架能在并行工程的环境下对产品设计进行信息集成和设计过程集成,形成自上而下的,各支撑系统模块间相互依存,相互评价的设计循环,从而提高产品的一次设计成功率。     

基于模式化知识和人工神经网络的智能设计系统框架研究

阐述了将神经网络和模式识别引入智能设计系统的模型－集成转换模型,在该模型中,对智能系统与设计的实现系统的结合进行了探讨,提出了数值编译器与反编译器、图形／编码转换器等将神经网络引入设计系统来的工具和方法。     

面向产品族的建模技术研究

文中针对大规模定制生产中的快速变型设计要求,研究了产品族模型的组成和表达方法,提出了产品族建模中的关键技术;建立了一个适合于产品族建模的信息环境。     

On the implication problem for cardinality constraints and functional dependencies

In database design, integrity constraints are used to express database semantics. They specify the way by that the elements of a database are associated to each other. The implication problem asks whether a given set of constraints entails further constraints. In this paper, we study the finite implication problem for cardinality constraints. Our main result is a complete characterization of closed sets of cardinality constraints. Similar results are obtained for constraint sets containing cardinality constraints, but also key and functional dependencies. Moreover, we construct Armstrong databases for these constraint sets, which are of special interest for example-based deduction in database design.