基于角色访问控制的授权约束描述

提出了一个描述基于角色访问控制的授权约束的直观的形式化语言,证明了该授权约束描述语言在语义上与严格形式的一阶谓词逻辑RFOPL是等价的,并通过用该授权约束描述语言表示各种各样的授权约束来说明它的表现能力.     

细菌内毒素检查法超标结果的处理方法

 内毒素检测结果超过质量标准规定（OOS）的情况在日常检测中不可避免。通过风险因素分析法,结合大量实际工作经验,对产生OOS的原因进行了逐项分析和研究,包括质量标准与计算、实验操作、材料与仪器等因素。针对内毒素检查的特性,设计决策流程图确定验证OOS方案。确定了所有类型的风险因素产生原因和解决方法,建立了用于回顾细菌内毒素OOS的风险因素鱼骨图和用于验证OOS结果的决策流程图。按建立的方法进行验证处理OOS,能够使内毒素检测结果更加科学严谨。     

多Agent系统的形式化开放混合体系结构模型研究

为了有效建立并统一多Ａｇｅｎｔ系统（ＭＡＳ）的理论与方法体系,提供ＭＡＳ的有效设计与实现途径,重点讨论并建立了基于开放环境的ＭＡＳ形式化开放混合体系结构模型,首先,采用面向Ａｇｅｎｔ的程序设计（ＡＯＰ）风范并基于开放环境与组合技术,对Ａｇｅｎｔ的ＢＤＩ模型进行形式细化处理,引入开放混合结构模式的自治、交互Ａｇｅｎｔ形式定义,在此基础上给出开放环境下的自治、交互ＭＡＳ的形式化开放混合体系结构模型,并     

一种在万维网上显示Z规格说明的方法

万维网的普及和发展给软件工程师提供了交流和共享知识的场所。Ｚ是一种基于一阶谓词逻辑和集合论的形式规格说明语言,Ｚ语言用大量的数学符号和模式来构造规格说明,然而,当前的ＨＴＭＬ标准不支持在万维网上显示Ｚ规格说明所需的一些符号,此外如何在ＨＴＭＬ文件中表示模式框、公理框和类描述同样是困难的,本文实现了一种在万维网上显示Ｚ规格说明的解决方法,并给出了程序代码和实例。     

一种新的力—位混控机器人工作任务描述方法

影响力－位置混合控制和机器人人工业应用的主要障碍之一,在于其工作任务的描述复杂,对使用人员的要求比较高,本文提出了一种新的工作任务描述方法,该方法建立在机器人的微运动描述之上,使描述工作由获得控制参数变成分析微运动组成,大大降低了任务描述难度,可使操作者较方便地描述机器人的工作任务。     

关于科技名词订定的几个问题

简要论 了科技名词订定工作的重要意义,了进一步加强订定科技名词的权威性和约束力,订定科技名词要结合学科环境保持完整的系统性,订定科技名词应当遵循的几个重要原则以及大力开展有中国特色的科技名词学理论研究,提高科技名词统一与规范化工作水平等几个问题。     

页面置换算法的Z规格说明

虚拟存储系统中,如果使用段页式存储管理或者页式存储管理,当发生缺页,而主存中已没有空闲页架时,则需要选一页淘汰,进行页面置换.本文首先简要介绍先进先出算法(FIFO)和最近最少使用算法(LRU)的原理.接着对这两种算法用Z规格说明语言进行了比较详尽的描述.最后给出了一些操作模式的前置条件,并对系统中的一个定理进行了证明.     

程序的形式推导方法

阐述了形式推导方法的基本理论和基本思想.程序的形式推导方法是一种基于程序正确性证明理论的程序开发方法,它使得程序的开发与证明同时进行. 以实例说明了程序形式推导方法的使用.     

DEVS approximation of infiltration using genetic algorithm optimization of a fuzzy system

The infiltration process is generally described by a nonlinear differential equation, which can be solved by iteration methods such as a Newton-Raphson method. In this paper we propose a Discrete Event System Specification (DEVS) model for Green-Ampt infiltration. We show that this model can be approximated using Genetic Algorithm optimization of a fuzzy system. The fuzzy approximation is shown to be more accurate than the Taylor series approximation recently proposed.     

基于ASD S1000D标准的IETM制作研究

介绍了IETM(交互式电子技术手册)的基本概念和标准化的重要性,引入了制作IETM所使用的国际标准ASD S1000D,分析了S1000D标准的主要特点,给出了基于该标准的IETM系统制作流程与设计方案。