Distributed Symbolic Bounded Property Checking

In this paper we describe an algorithm for distributed, BDD-based bounded property checking and its implementation in the verification tool SymC. The distributed algorithm verifies larger models and returns results faster than the sequential version.The core algorithm distributes partitions of the state set to computation nodes after reaching a threshold size. The nodes proceed with image computation on the nodes asynchronously. The main scalability problem of this scheme is the overlap of state set partitions. We present static and dynamic overlap reduction techniques.     

A collaborative platform for cognitive decision making in the Knowledge Society

Two key aspects of the Knowledge Society are the interconnection between the actors involved in the decision making processes and the importance of the human factor, particularly the citizen’s continuous learning and education. This paper presents a new module devoted to knowledge extraction and diffusion that has been incorporated into a previously developed decision making tool concerning the Internet and related with the multicriteria selection of a discrete number of alternatives (PRIOR-Web). Quantitative and qualitative procedures using data and text mining methods have been employed in the extraction of knowledge. Graphical visualisation tools have been incorporated in the diffusion stage of the methodological approach suggested when dealing with decision making in the Knowledge Society. The resulting collaborative platform is being used as the methodological support for the cognitive democracy known as e-cognocracy.     

水工混凝土结构裂缝成因挖掘的粗集方法研究

裂缝是水工混凝土结构常见病害之一,针对水工混凝土结构运行期的裂缝问题,应用粗集理论,结合实测资料,对裂缝产生的主要原因进行了系统地研究,提出了裂缝成因挖掘的粗集方法.     

神经网络在煤矿安全决策支持系统中的研究及应用

主要研究人工神经网络在煤矿安全决策支持系统中的应用。将BP网络用于瓦斯突出,解决了瓦斯突出判别困难、难以建立数学模型的难题,为煤矿瓦斯突出研究找到了一种新的建模和预测方法。     

加强企业统计工作的思考

企业统计是生产经营成果化、数量化的数字表现，是经济社会各项主要统计指标的源头数据之一。因此强化企业统计，加快统计信息网络建设，提高综合统计人员的素质，对企业的经营、对政府的宏观调控有着重要意义。     

带有区间约束的产品设计参数模糊推理法及其在继电器智能设计中的应用

在产品设计规则和计算式中,常存在一些只能在某一范围内取值的待定系数(设为a,且a∈[aL,aH]).a的取值通常受到多种因素的影响和约束,而这种约束往往带有模糊性.为此,首先根据设计规则中各种影响因素对a的模糊约束关系,分别构造两者的备择集以及备择集元素在其论域上的模糊集合,然后基于模糊综合决策方法来确定a.本方法剔除了以往在解决这一问题时,由人来决定a取值的主观性,适用于产品的智能化设计.     

贵冶VPSA制氧机作业率攻关与改造

阐述了江铜贵溪冶炼厂二期工程引进的一套3800m3/h真空变压吸附制氧机(简称VPSA)的基本原理、工艺特点,分析了实际运行过程中周期短、作业率低的主要原因,采取了相应的技术改造和维护措施。     

民间习俗与天然包装材料

天然包装材料,是人类对造物的实用功能性的基本追求.不同社会、不同环境、给人与人之间、民族与民族之间带来了明显的差异.它包括政治、经济、文化等因素的综合作用和制约,这种造物活动就使人们陷入一种复杂的境地并深受影响,从而使造物活动的目的和内涵变得更加复杂化.     

面向业务分析与预测的企业决策支持系统设计

为了提高企业决策自动化管理水平，运用先进的数据仓库和数据挖掘技术，采用请求响应方式以及规范化的接口结构，提出一个企业信息分析及决策系统的设计和解决方案。根据完善的智能化分析手段，有效的保证决策者的经验与决策支持系统的分析和预测能力相结合，并对企业管理者提供科学准确的分析预测和决策支持。系统可实时地为用户提供有效详细的分析数据，从而大大加快决策进程并有效提高准确性。     

对合肥市郊县绿化造林的一点看法

对合肥市郊县的绿化造林现状作了分析，提出了切实可行的措施。