用UML与Petri网为智能代理建模

统一建模型语言（UML）已经成为软件系统的分析与设计的标准工具，但由它扩充而成的代理统一建模型语言（AUML）还没变成一个标准，目前的AUML规格说明还有很多的局限性，还不能胜任多代理系统的开发．Petri网是仿真、验证软件系统执行的正确性与有效性的形式化工具．本文主要分析当前AUML规格说明和Petri网概念．找出它们之间的结合点，提出用Petri网扩充AUML的方法．将其应用于多代理系统的开发，就能实施之前运用Petri网进行系统的正确性与有效性验证．     

基于模糊集的不确定时间的表示及时态关系

研究不确定时间具有广泛的应用.不确定时间常常表现出模糊性,该文用模糊集的方法研究不确定时间点、不确定时间区间的表示方法及其时态关系.     

一种新的基于粗糙集的值约简算法

对粗糙集（Rough Set)理论中属性约简和值约简算法进行了研究，提出了一种新的基于粗糙集的值约简算法，实验表明，该算法所得结果比目前通用的基于粗糙集的值约简算法更简化和有效，它可以应用到各种与值约简相关的实际问题中。     

MFDM:开放式可视化知识发现平台的设计与实现

MFDM是一个开放的可视化知识发现平台。知识发现是一个复杂的过程,需要高效规范的工程管理。MFDM知识发现平台在形式化模型的基础上,提供了可视化过程建模,模型管理等功能。论文阐述了MFDM的思想和基于组件和面向对象技术的系统设计和实现方案。     

基于数据挖掘和范例推理的智能分析决策支持技术综述

介绍了数据挖掘中的一些关键技术、人工智能基于范例推理、决策支持的主要理论及其发展,提出了范例推理、类比学习、规则推理之间的联系,详细探讨了数据挖掘技术、基于范例推理和决策支持理论集成的问题,最后对上述技术在预测领域的综合应用前景作了探讨。     

变频器在风机系统或泵控系统的应用

针对目前在城市交通隧道和楼宇通风空调系统应用较多的风机或泵控系统中,变频器调控过程普遍出现的调控不稳的现象,本文对其电气控制部分的安装调试过程进行了分析,使系统设备的组装运行达到了技术要求.     

基于核估计的电子商务协作过滤方法

论文对电子商务推荐技术进行了讨论,针对电子商务推荐技术存在的问题,提出了一种基于核估计的协作过滤方法,首先将推荐项的评分设定为其他人对推荐项评分的平均值,然后利用主成分分析进行降维,最后采用基于核估计的思想对推荐项进行预测评分。实验表明,该方法可以有效解决在用户评分数据极端稀疏情况下传统相似性度量方法存在的问题,大幅提高推荐系统的推荐质量。     

两株不同铁氧化细菌合成的沉淀差异性分析

通过ICP-AES、SEM、XRD和FTIR等方法，对不同铁氧化细菌在不同温度条件下所合成的赭黄色高铁沉淀进行了分析。结果表明：无论是嗜铁钩端螺旋菌DY菌株（Leptospirillum ferriphium），还是嗜酸氧化亚铁硫杆菌GF菌株（Acidithiobacillus ferrooxidans）合成的沉淀都是黄钾铁矾和黄铵铁矾的混合物；其中，GF合成的沉淀混合物中黄钾铁矾的含量比DY合成的黄钾铁矾约高出5．53％；而DY合成的沉淀中，黄铵铁矾的含量比GF合成的沉淀中的黄铵铁矾的含量约高出15．24％。     

龙羊峡水电站水准测量成果分析

一、概述龙羊峡水电站为监测坝体及坝址附近的垂直位移,布设了Ⅰ等精密水准网(图1),线路全长约12km,构成了多个环线。网中建有三组深埋式双金属标志,作为永久水准基点,分布存不同的高程面上。同时,这也是整个电站的高程监测基准。