空间约束的基于属性和角色的访问控制研究

传统的访问控制模型难以满足空间环境下的需求。本文提出了一个空间约束的基于属性和角色的空间数据访问控制模型（Spatial-ARBAC）,利用网络本体语言（OWL DL）对模型本体进行了描述并对空间约束进行了形式化定义。系统根据用户的属性和资源的属性动态分配角色,实现了细粒度的、灵活的空间约束的访问控制。并将其应用到GIS城市消防系统。     

OSI被管对象类的通用性定义

首先介绍了被管对象类定义的面向对象的方法，然后讨论了被管对象类的 Ｇ Ｄ Ｍ Ｏ 模板和定义的通用性原则，最后用所讲的方法定义了一个 Ｔ Ｍ Ｎ（ 电信管理网） 中的网络被管对象类。     

关于属性G-(g-)量子文法与属性量子自动机

为了提高量子文法的描述能力，较好地克服上下文有关文法的难点，引入了属性G－（g-）量子文法、（广义）属性量子自动化等概念，进而研究了它们之间的关系，即：对每一给定的属性G－（g-）量子文法， 都可以构造出一个广义属性量子自动机Q，使得它们所接受的语言集相等，反之亦然。从而达到了自动识别属性G－（g-）量子语言的目的。     

基于开放分布式处理的网络管理对象组织模型

对分布式网络管理系统中对象的抽象程度进行分类,提出了分布式网络管理的对象组织模型,把对象划分为任务对象、子任务对象和被管对象,应用开放式分布处理（ODP）的信息和计算视点进行描述,刻画了各类对象的基本特点,形式化地描述了对象间的约束关系,并给出了IDL接口描述,使得系统结构清晰,便于构建。     

XML在现代远程教育资源建设中的应用

信息提供者可以根据需要运用XML语言，自行定义标记及属性名，结构化地描述信息内容．其具有简单、开放、可扩充、灵活、自描述等特性，从而能够使不同来源的结构化的数据很容易的结合在一起，在远程教育资源建设中得到了广泛的应用．首先介绍XML语言的基本知识，然后对XML在现代远程教育资源建设中，资源的结构组织和管理方面的应用进行了分析．     

一种基于XML的CISL表示

针对入侵通用规范语言（CISL）描述入侵行为方式难以被人们所理解的问题，通过利用可扩展标记语言（XML）中的DTD（Document Type Define)对CISL词汇元素进行格式定义，给出了一种基于XML的CISL表示，从而提供一种查阅CISL数据的通用性方法，通过一个应用实例，详尽说明了基于XML的CISL表示的使用方法。     

基于本体论的工艺信息描述方法研究

依据本体论的概念论述了零件信息和制造资源信息的描述方法，给出了它们本体的定义方式。描述了零件本体和特征本体的属性，分析了各本体间和本体属性间的关系。以开发的CAPP系统为例，阐述了此描述方法在实际应用中体现出的特点。     

标准ML语言基本库

在所有的现代编程语言中，标准ML被公认为是属于最高级别的，由于其严密的语法定义，因此，被许多应用优先选择；另外由于其定义明确，因此可移植性很高。本书描述了标准的ML基本库，该基本库足够的丰富和有效支持这一通用语言的日常任务，书中提供了用于标准ML(SML)语言的基本类型及函数的集合，它们是由标准的ML定义(经修订的)[MTHM97]所描述的。     

主动节点和策略机制下的业务管理模型与实现

提出了业务基本组件的概念，基于主动节点和策略机制建立了业务管理模型．该模型以业务为被管对象，共享了管理策略定义和传播机制．网络管理工作站维护全局管理策略，被管节点配置主动代码运行环境，管理策略既可来自本地策略库，也可从网络管理工作站动态下载，从而使大量的管理任务可在本地节点完成，减轻了网络管理工作站的负担．原型系统实验表明，该模型可提高系统的应用性能．     

基于不确定语言信息的C-OWA和C-OWG算子及其应用

研究了不确定语言信息的集成问题，把连续的有序加权平均（C—OWA）算子和连续的有序加权几何（C-OWG）算子扩展到不确定语言环境之中。提出了一些新的不确定语言信息集成算子，如：加权的不确定语言偏差C-OWA（WULDC-OWA）算子和加权的不确定语言偏离C-OWG（WULDC-OWG）算子等，研究了它们的一些优良性质，如：齐次性、单调性等。分别给出了基于WULDC-OWA算子和基于WULC-OWG算子的不确定语言多属性决策方法，并且用实例对方法的求解过程进行了详细说明。     

Implementation of WPDL Conforming Workflow Model

Workflow process definition language (WPDL) facilitates the transfer of workflow process definitions between separate workflow products. However, much work is still needed to transfer the specific workflow model to a WPDL conforming model. CIMFlow is a workflow management system developed by the National CIMS Engineering Research Center. This paper discusses the methods by which the CIMFlow model conforms to the WPDL meta-model and the differences between the WPDL meta-model and the CIMFlow model. Some improvements are proposed for the WPDL specification. Finally, the mapping and translating methods between the entities and attributes are given for the two models. The proposed methods and improvements are valuable as a reference for other mapping applications and the WPDL specification.     

专业图书馆外文期刊资源的开发与利用

对专业图书馆外文期刊资源利用现状进行了分析,从外文期刊工作人员的知识水平和服务质量不高、外文期刊馆藏不足、外文期刊资源的管理不够人性化以及读者自身原因等方面总结了影响外文期刊资源利用的原因,提出了有效开发外文期刊资源的方法。     

基于变精度粗糙集理论的网格自学习及预测

提出了网格自学习和预测系统体系架构,采用变精度粗糙集和不协调目标信息系统理论揭示有关网格应用属性、网格资源动态状况和网格应用性能之间关系的知识,并采用增量式知识约减算法确定重要属性.利用所发现的知识,可以预测应用的资源需求及其性能.数据实验证明对作业资源需求和运行时间的预测值与实际值的偏差不超过30%.     

模糊XML文档与模糊DTD相似性研究

在模糊XML数据管理中,模糊XML文档和模糊DTD的相似性是模糊XML数据整合、模糊XML文档聚类的关键步骤.为了研究模糊XML文档和模糊DTD的相似性,对模糊DTD树进行了规则变换,主要解决元素和属性的析取约束和基数约束问题,即由析取范式转化为合取范式,将元素或属性的重复次数确定化,然后利用树编辑距离算法对模糊XML文档树和转化后的模糊DTD树集合进行相似性对比.通过实验验证了所提方法的性能优势.     

从中西语言的差异追溯中西哲学的差异

汉语与西方文字的差异,即象形文字或表意文字与拼音文字的差异。这种差异的根子,在于由对待判断系词“是”而导致的两种不同的思想制度。透过西方文字的“being”,可以追溯到亚里七多德形而上学的“本体”和附属于本体的属性或形式的学说。化为形式逻辑,则是以同一律为基础的三大逻辑规则。Being不但是哲学与逻辑统一的基础,也是宗教、科学的基础,又是以主体一客体或文化一自然为代表的各种范畴一一对立的基础,总之,being标志着一种“垂直的逻辑”思维模式。汉语中的“是”从传统使用中就没有严格的形式逻辑意义上的系词效果,而是一种横向的类比思维,也就是把不一样的事物说成是一样的。在传统上称之为“兴”,即所谓“象征”。在效果上,汉语思维传统属于一种“横向的逻辑”思维传统,它模糊西方意义上的学科界限。     

Recent progress and application of materials life cycle assessment in China

Progress in Natural Science(Chinese/English version) was founded by National Natural Science Foundation of China in 1991.The initial issue was published bi-monthly with the name of Progress in Natural Science——Communication of State Key Laboratories of China.In 1998,the journal changed its name toProgress in Natural sciences.Later in 1999,the journal started to publish monthly.Beginning in 2004,the journal was co-sponsored by National Natural Science Foundation of China and the Chinese Academy of Science...     

相关生长关系与生态学研究中的尺度转换

生态学研究常常涉及不同的尺度, 而不同尺度之间生态属性的转换是生态学研究的一个难点,也是近年备受理论生态学界,尤其是植物生态学界重视的问题之一。相关生长理论及其应用的研究使一些生态属性的尺度转换成为可能。相关生长关系反映出生物身体大小 对其身体结构、生理过程等属性的影响;而种群和群落甚至更大尺度上的许多生态特征都可以从有限的个体特征中表现出来。因此,人们有可能应用这些定量的相关生长关系,解决生态学研究中可能出现的无法直接测量或表征的不同尺度的问题。本文就相关生长理论模型进 展及其在植物生态学中一些应用做一介绍。     

一种面向嵌入式装备控制系统的建模方法

为研究嵌入式系统面向装备控制领域的扩展技术,提出采用模型集成计算理论构建嵌入式装备控制系统的建模语言,针对控制子系统中的信号处理模块,分别从类图、视图、属性和约束四个方面定义该模块的元模型,并根据元模型修改相应的模型解释器,通过元模型解释器将元模型解释成图形化的建模语言,采用该建模语言搭建了两个信号处理应用程序的模型,并通过模型解释器将其解释成相应的应用程序。结果表明,采用该方法能够实现对领域应用的快速开发。     

随机网络计划系统的GASP IV模型及其模拟精度分析

本文讨论了随机网络计划系统的GASPⅣ模型和模拟精度分析,文中还提供了采用对偶抽样以缩减方差的方法与相应程序及其模拟结果。     

汉文-维吾尔文句子对齐模型的XML标记规范

近些年来,在语言信息处理研发、双语教学和对比研究以及双语词典编纂研究中,双语语料库的作用日益凸显出来.在双语语料库中,不仅要描述双语文本在句子一级的对齐信息,还要详细描述收入语料库中的双语文本的所有者、领域、时间等方面的属性信息.为便于数据交换和共享,所有语料文本均采用XML编码方式来描述信息.详细阐述了构建的汉文-维吾尔文平行语料库的对齐句子和一些属性信息的XML标记规范和XML标记算法的设计方法.