支持软件开发的可执行定义方法

本文分析了软件开发过程中的可执行定义方法及其与软件开发的关系,并将作者提出的可招待定义方法论ＭＨＳＣ与现有方法论进行比较,论文表明可执行定义将在软件系统从定义开发到系统实现的进化式过程中起着关键的作用,有积极的研究意义。     

论中国当代油画创作的模糊热

模糊是开放的、流动的,在不确定中彰显着一种若隐若现、含而不露的过度美。模糊与清晰是相对的,清晰地表现物象自然是西方油画的传统。模糊性绘画在油画领域里面伴随着拥有几百年的发展历程的写实清晰性绘画一同发展,我们往往只能在负空间中才能寻找到它的身影,其陪衬作用是显而易见的。人们习惯于清晰的作品,一目了然容易受到观众的青睐。模糊性绘画常常处于被忽视的地位,这与开放的时代背景要求多元的文化需求是相悖的。没有模糊何来清晰,一切清晰都是相对的清晰。随着社会的发展,纷繁复杂的社会要求决定了模糊性绘画在当代社会文化发展中同样具有现实意义。     

空间对象数据库的网格索引机制

本文提出了针对空间对象的一种新的索引机制，称为网格索引。Ｌｄｅｘ基于空间对象的位置及其分布，是一种高效实用的空间索引方法。文章全面地讨论了它的查找、插入、删除和修改算法及实现技术。     

基于面向对象空间数据库的空间对象模型设计及其存储策略的探讨

分析空间信息的结构和面向对象数据库技术的基础上，着重讨论了如何利用面向对象数据库的技术来对空间信息进行存储，展现了利用面向对象设计建立空间信息结构模型的先进性，并针对空间信息的结构提出了在面向对象空间数据库的存储策略。一方面为面向对象空间数据库的设计与建立提供参考，另一方面，通过借鉴相对成熟的面向对象技术，为空间信息的存储管理提供了思路和策略。     

空间数据库接口技术的研究

空间数据库接口技术是开发地理信息系统平台的关键技术之一。本文讨论了该项技术和一个编程实例。该实例基于Oracle OCI访问Oracle Spatial,部分实现了对空间数据的操作,从而实现在Oracle OCI基础上用C语言封装的空间数据库接口。     

基于ORDBMS的Spatial数据管理的实现

随着地理信息系统的发展,如何有效地实现空间数据的存储和管理已经成为GIS中急待解决的问题。对象关系数据库,主要是Oracle数据库通过其Spatial组件,对空间数据的存储和管理提供了较为完备的支持。DataManager作为组件式GIS——SmartGIS的数据组织与管理组件,探讨了如何实现空间数据在对象关系数据库存储与管理。     

On Some Vagaries of Vagueness and Information

The presence of vagueness in scientific theories (in particular, to those related to and connected with the management of information) is briefly analyzed. We consider, firstly, the problem whether vague predicates can be adequately represented by existing formal theories. A negative answer to this question produces, as a by-product, the suggestion that a good semantics for fuzzy sets can be offered by the notion of distance from idealized items. Secondly, some questions connected with the adequacy of theories of information to the multifaceted informal notion of information suggest to afford this problem within an enlarged dynamical setting.     

结合物体先验和空域约束的室内空域布局推理

对结构化室内场景的空域布局结构进行估计是计算机视觉领域的研究热点之一.然而,对于内部堆放了众多杂乱物体的室内场景,现有的大多数方法容易受到各种物体遮挡的影响而无法对这一类场景的布局结构进行准确推理.为此,本文方法充分考虑了房间和物体之间的几何和语义关联性,参数化地对房间和内部物体的三维体积分别进行描述,并且提出利用多种高层图像语义来获取物体的先验信息.此外,还在此基础上加入了空域排他性和空域位置等多种空域约束,进而在改进室内场景空域布局估计的同时为物体的识别和定位提供关键信息.本文方法不仅具有较低的求解复杂度,而且通过试验表明相比于现有的经典方法在杂乱的室内场景中能够取得更为鲁棒的空域布局推理结果.     

粗糙集中若干新的模糊度计算公式

依据模糊集的模糊度和贴近度的公理化定义,基于粗糙集的模糊度和贴近度的基本概念,进一步研究粗糙集的模糊性度量方法,给出了文[3]中模糊度公式的等价形式;同时讨论了粗糙集中由贴近度诱导的模糊度,给出了粗糙集中若干新的模糊度计算公式。     

软件构造过程中的对象规范和实现*

面向对象的软件构造过程中的一个关键技术是对象的描述．本文介绍的ADL语言就是用于描述软件对象的基本特征．一个ADL对象定义分为两部分：其一是对象规范,它在抽象数据域上描述对象的语义特征,用逻辑公式规定对象的状态和行为约束．另一是对象体,它由开发者选用相应的某种实现语言和算法给出对象规范的具体实现,同时给出从抽象数据到具体数据的映射关系．     

空间对象的几何表示

1 引言空间推理是指利用空间理论和人工智能技术对空间对象建模、描述和表示,并据此对空间对象间的空间关系进行的定性或定量的分析和处理过程。目前,空间推理被广泛应用于地理信息系统、机器人导航、高级视觉、自然语言理解、工程设计和物理位置的常识推理等,是人工智能领域的一个研究热点。     

Fuzzy spatial constraints and ranked partitioned sampling approach for multiple object tracking

While particle filters are now widely used for object tracking in videos, the case of multiple object tracking still raises a number of issues. Among them, a first, and very important, problem concerns the exponential increase of the number of particles with the number of objects to be tracked, that can make some practical applications intractable. To achieve good tracking performances, we propose to use a Partitioned Sampling method in the estimation process with an additional feature about the ordering sequence in which the objects are processed. We call it Ranked Partitioned Sampling, where the optimal order in which objects should be processed and tracked is estimated jointly with the object state. Another essential point concerns the modeling of possible interactions between objects. As another contribution, we propose to represent these interactions within a formal framework relying on fuzzy sets theory. This allows us to easily model spatial constraints between objects, in a general and formal way. The association of these two contributions was tested on typical videos exhibiting difficult situations such as partial or total occlusions, and appearance or disappearance of objects. We show the benefit of using conjointly these two contributions, in comparison to classical approaches, through multiple object tracking and articulated object tracking experiments on real video sequences. The results show that our approach provides less tracking errors than those obtained with the classical Partitioned Sampling method, without the need for increasing the number of particles.     

ON THE MEASURE OF FUZZINESS AND NEGATION Part I: Membership in the Unit Interval

We investigate the meaning of the concept of fuzziness. It is suggested that fuzziness can be related to the lack of distinction between a set and its negation. Using fuzzy subsets with grades of membership in the unit interval, measures of fuzziness are suggested. First, a class of measures based on metric distances is used to derive numeric measures of fuzziness of a fuzzy set. Finally, the concept of compatibility is used to develop linguistic measures of fuzziness.     

Residual-based specification of a hidden random field included in a hierarchical spatial model

A method for specifying a hidden random field (HRF) included in a hierarchical spatial model is proposed. In hierarchical models of interest the first stage describes, conditional on a realization of the HRF, a response variable which is observable on a continuous spatial domain; the second stage models the HRF which reflects unobserved spatial heterogeneity. The question which is investigated is how can the HRF be modeled, i.e. specified. The method developed to address this question is based on residuals obtained when the base model, i.e. the hierarchical model in which the HRF is assumed constant, is fitted to data. It is shown that the residuals are linked with the HRF, and the link is used to specify the HRF. The method is applied to simulated data in order to assess its performance, and then to real data on radionuclide concentrations on Rongelap Island.     

基于云模型的网络计划建模方法

项目建设过程中的不确定性因素对预测项目完工时间有较大影响,项目中的不确定性主要是随机性和模糊性.将云模型以及云运算引入到网络计划建模方法中,提出基于云模型的网络计划建模方法,可以将随机性和模糊性结合起来处理;这种基于云模型的网络计划建模方法,比传统的方法更真实地反映了项目的不确定性,能够提供更多有价值的信息.使用基于云模型的网络计划建模方法来计算整个项目完工的时间,充分考虑了项目建设过程中的不确定性,更加符合工程实际.     

ITSS运行维护服务标准综述

介绍了ITSS运行维护部分已颁布的3项标准(GB/T 28827.1、GB/T 28827.2和GB/T 28827.3)的适用范围以及运行维护服务的能力模型、交付规范和应急响应过程。这3项标准的颁布标志着"信息技术服务"将作为国家标准的一个系列,从此得以固化;同时,ITSS也将会是国内IT服务行业最重要的标准。     

面向对象数据库中的次序关系

本文从一个实例着手说明了对象库中对象的次序 系对迭代消息传递的重要性，从而论证了对象合不能作为对象库的基苯聚集结构。     

基于固定网格划分和面向类对象的四分树空间索引机制

本文针对地理信息系统中的空间对象形态的不同规则性和空间查询区域的不规则性。提出了一种基于固定网格划分的四分树空间索引机制。