自动信任协商中一种最小信任披露策略

自动信任协商是通过逐渐请求和披露数字证书在两个陌生实体间建立相互信任的方法。当前对自动信任协商协商策略的研究,往往存在很多问题。文章提出了一种基于期望因子的自动信任协商模型,该模型采用MCD策略,通过分析各信任证书的期望因子,当可能的协商存在时,它能披露和请求最小的信任证找到一条成功的协商路径,当协商不可能成功时,尽快的发现并终止它。它能保证在协商的过程中没有不相关的信任证被披露并且不需要暴露双方的访问控制策略,同时通过实验证了明MCD策略是完备的。     

A Polynomial Algorithm for Computing Elementary Siphons in a Class of Petri Nets

A set of elementary siphons plays a key role in the development of deadlock prevention policies for automated manufacturing systems. This paper addresses the computation problem for elementary siphons in a subclass of Petri nets which are basic systems of simple sequential processes with resources (BS³PR) and can model many automated manufacturing systems. An algorithm for enumerating elementary siphons is established by the one‐to‐one relationship between maximal perfect resource‐transition circuits (MPCs) and strict minimal siphons. A set of MPCs is first computed, followed by a set of elementary siphons in a BS³PR. The presented algorithm is proved to have polynomial‐time complexity. An example is used to illustrate the algorithm.     

Teleoperation to robotics at Langley Research Center

A popular conception of the evolution of remote manipulation is a progression from teleoperation to telerobotics and then to robotics. This is logical because in going from teleoperation to robotics there would appear to be a continuous decrease in manned workload, an increase in system complexity, and an increase in the amount of intelligence in the automated system. During the past 10 years NASA Langley Research Center (LaRC) has been involved in all three areas. The decision on which system is most suitable for a task depends not only on the task, but on the allocation of responsibility for intelligence or high level control. The operator may be responsible for all intelligence and control functions, they may be shared between the operator and the automated system, or they may be performed by an autonomous system. This paper discusses some of the experiences in each area in applications related to possible space tasks and some of the lessons learned.     

Adaptive model predictive inventory controller for multiproduct warehouse system

An inventory control system has been developed for a distribution system consisting of a single multiproduct warehouse serving a set of customers and purchasing products from multiple vendors. Purchase orders requesting multiple products are delivered to the warehouse in a process referred to as joint replenishment. The receipt of customer orders by the warehouse proceeds in order intervals and in order quantities that are subject to random fluctuations. The objective of warehouse operation is to minimize the total cost while maintaining inventory levels within the warehouse capacity by adjusting the purchase order intervals and quantities. An adaptive model predictive control algorithm is developed using a periodic square wave model to represent the material flows. The adaptive concept incorporates a stabilized minimum variance control-type input calculation coupled with input/output stream parameter predictions. The boundedness of the control output under the suggested algorithm is mathematically proven under the assumption that disturbances in the orders are bounded. The effectiveness of the scheme was demonstrated using simulations.     

变电站电气二次系统自动化设计分析

通过分析自动化变电站的特点,探讨了变电站电气二次系统的自动化设计,以期为变电站二次系统的设计人员提供参考。     

实时数据仓库中一种改进的数据流更新算法

为实现数据仓库中数据的高效集成,针对数据偏斜分布现象,提出一种改进的数据流更新算法EH-JOIN。该算法对传统散列连接方法进行改进,利用索引将部分频繁使用的主数据存储在内存中,解决了高速数据流下的磁盘频繁访问问题。实验结果表明,与MESHJOIN算法和R-MESHJOIN算法相比,EH-JOIN算法的服务速率在磁盘存储关系集保持适当大小时分别提高了96%和81%,在内存大小不同时提高了57%和48%。     

基于数据仓库的OLAP中的索引技术研究

数据仓库建立好后,需要对其充分高效地利用,OLAP联机分析处理就是一个很好的数据分析展现工具。人们对速度的追求是永无止境的,建立索引可以更快捷地响应用户的查询。索引的种类很多,相关研究表明位图索引既能节省空间,又能利用其进行的位运算而提高相应的查询速度,然而位图索引对字段基数较低的字段有比较好的效果,当遇到字段基数较高的字段时也会占据大量的空间,其效果不及B‐T ree索引,论文针对这种情况对位图索引进行了扩展,引入了标识符索引,并对其进行了比较讨论,最后提出可以根据维的各自特征建立不同的索引。     

基于数据仓库的法院信息决策支持系统的设计

为了加快法院信息化建设,为法院决策层提供决策信息支持,提出了一种基于数据仓库的法院信息决策支持系统的总体框架。在DSS系统设计过程中,采用了OLAP+DM+Web相结合的方式,重点介绍分析了多维数据模型的设计,数据仓库的构建,以及以可视化交互的决策支持,最后通过实例展示决策支持系统的设计分析过程。     

基于商业智能的小区日用水量预测模型研究

商业智能现在已广泛应用于各个领域,利用商业智能可以对趋势预测做出良好的支持,本文将其中一种常用商业智能的工具——数据仓库技术,应用于小区家庭的用水量预测研究。     

供水管网水质模型校核面临的问题及对策

为解决大规模供水管网系统水质模型校核的难题,分析经验校核与自动校核所面临的问题,提出遗传算法并行化、实测确定模型初始参数、模型参数的有效分组等相应的对策.从而减少模型校核的变量,提高遗传算法运行效率,有效缩短模型自动校核的寻优时间.