基于知识网格的数据挖掘

工业、科学、商务等领域的数据通常分布在不同的地方,需要在不同的地点对其进行分布式维护,只有使用计算功能超强的分布式、并行处理系统才能分析这些领域所产生的超大规模数据集。网格为分布式知识发现应用中的计算提供了有效支持。为了在网格上进行数据挖掘的开发,本文提供了一个称之为知识网格的系统,讨论如何应用知识网格设计实施数据挖掘应用,并说明如何搜索网格资源、编制软件和数据组件,以及数据挖掘应用在网格上的执行过程。

基于Petri网的RBAC策略验证的研究

本文为 RBAC模型提出了一个基于着色 Petri网的策略规格说明和分析的架构 .Petri网能够捕获基数、责任分离等约束 ,而且能对优先和依赖约束进行说明 .使用 Petri网的可达到性分析技术对 RBAC策略进行正确性验证 .

UML与SDL结合使用的研究

在本文中我们探索如何将统一建模语言 (U ML)与由国际电信联盟 (ITU)标准化了的规格与描述语言 (SDL)结合在一起使用 .在研究中 ,我们发现 SDL用户可以从 UML中获得益处 ,同样 U ML用户也可以利用 SDL的优点 .特别是对于实时系统的开发 ,我们应当用 UML 进行系统的需求分析 ,使用 SDL

一个高效的电子商务谈判支持架构

本文提供了一个通信管理与文档管理相结合的全新架构,能对谈判的各方面提供有效的支持。虽然模型主要强调对谈判的有效“支持”,但这个谈判的概念模型为设计自动或半自动电子谈判系统提供了思想基础。

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

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

AUML与PETRI网结合使用的研究

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

基于UML和Petri网的用户界面原型的研究

1 引言众所周知,概要是理解需求和分析人机交互最有效的方法。一个典型的基于概要的需求工程有两个主要的任务。一是生成描述系统行为的概要规格说明;二是用户通过仿真和原型开发来验证概要的有效性。如果没有支持这项工作的自动工具,这仍然是一件费时乏味的工作。在开发早期的阶段,快速原型开发非常有效,因而得到了普及和广泛的使用。最近,虽然用户界面原型开发工具都有了很大的改进(如UI builders和UI管理系统),但用户界面的开发仍然是一个费时的工作,因为必须建立每一个UI对象,并准确地安置它们,而且每一个对话规格说明还要通过编程(如UIbuilders)或专门的语言(如UI管理系统)加上去。本文为需求工程提供一种基于统一建模语言(UML)和着色Petri网的用户界面开发方法。它是一个交互式过程,分四步进行。

会计教育中知识结构评估的研究

众所周知,知识结构是各个专业领域的专业技能的决定因素。知识结构评估是教师了解学生的知识结构是否朝着合适的方向发展、鉴别学习或培训是否有效的方法。然而这种评估很少被应用到会计教学之中。本文探索了一种评估技术,即路径查找技术,能将它容易地应用到会计教学实践中,评估学生的知识结构,并提供了在会计教育中应用该技术的实际案例。结果说明该技术的评估结果能够反映会计教学情况。

半结构化数据库中的交互式查询和搜索

文章提供了对半结构数据库进行交互查询、搜索的新模型。论述了有效关键字的搜索、查询结果的结构化总结和对逆向指针支持的重要性，并针对这些技术问题给出了初步解决方案。

电子谈判媒体的设计与实施的研究

在网上电子市场要对电子谈判提供有效支持是非常重要的需求,然而目前对电子谈判媒体设计的研究很少。本文构建了电子谈判媒体进行设计与实施模型。在此模型下,能够在概念级上对谈判方案进行设计,能对电子谈判的过程和特性进行形式化描述,确保各谈判伙伴对谈判相关的问题作相同的理解;能够对谈判方案的设计与选择提供足够的支持,能将可重用的谈判支持组件与具体的设计结合在一起。

数据流复杂查询处理的研究

在连续的数据流上提供查询的应答对很多应用环境来说是一个极为重要的需求。本文主要探索了如何使用有限的内存在数据流上进行聚集SQL查询,以获得近似的结果。使用随机草图技术,计算非常小的数据流草图,以获得聚集查询的近似结果,并保证误差能在一定的范围之内。并讨论了在草图方法中如何利用已有的直方图统计信息来提高应答的质量。其关键的思想就是对属性域进行智能化的划分,分解草图化问题,确保所获得查询的结果具有合适的近似精度。不论从理论还是实验上都可以证明草图提供的聚集查询结果比传统的直方图更有效、更精确。

UML与SDL结合使用的研究

1引言 在介绍如何将SDL与UML结合在一起使用之前,让我们先来回顾一下UML和SDL各自的适应范围.它们性能上的差异在于它们在工程应用中的不同的阶段.UML的非形式化的自然特性使其成为一种性能优越的建模语言,它应用完全的面向对象的分析(OOA)方法.然而对于实施,UML却不能胜任,通常要用传统的程序设计语言如C++/Java来完成,而SDL的形式化定义使得它取代传统的程序设计语言有了可能.

交互式数据清理系统的研究

当今数据清理方案需要反复进行数据质量分析以查找错误,为修复它们而进行的转换需要运行很长的时间。用户需要忍受长时间的等待,而且经常需要撰写复杂的转换脚本。我们所探讨的交互式数据清理系统,它能紧密地将转换和偏差检测集成在一起,只要发现偏差,用户就可以交互式地使用简单的图表操作、实例描述逐渐建立一个转换,无需书写复杂的程序或忍受很长的延时。

试论企业级数据传输体系结构

本文讨论了最终用户对决策支持应用的关键要求，并详细论述了健壮的企业级数据传输体系结构。它能够跟踪最终用户的要求，每个组成部分都具有优良的性能。该系统应用程序很少或不需要维护，在新数据资源增加时，具很好的可扩展性。并且支持复杂的过滤条件，健壮得足以支持特殊临界数据的传输，并支持基于传统关系数据库的ＳＱＬ。

谈判代理开发典型案例的研究

本文通过两个典型案例说明一个灵活有效的谈判代理开发方法。使用状态图和可废止逻辑规则说明谈判策略,将其动态地插入到一个集状态解释器和可废止逻辑推理引擎于一体的代理壳中,就可以获得所需要的自动谈判代理。由于状态图和可废止逻辑有很强的适应性,当应用环境发生变化时,只需调整其标准和规则的集合。

万维网数据的交互式查询和搜索

在本文中提供了对半结构数据库进行交互查询、搜索的新模型。论述了有效关键字的搜索、查询结果的结构化总结和对逆向指针支持的重要性,并针对这些技术问题给出了初步的解决方案。

室内多载波CDMA系统在深度衰落环境下的能量受控均衡策略

多载波CDMA(MC-CDMA)是将多载波调制OFDM与DS-CDMA结合起来的多址访问技术。如何从接收到的信号恢复出发送信号,涉及到频率分集接收和均衡。本文提出的能量受控均衡技术,在多用户的环境下能较好地恢复扩频码的正交性且避免信道深度衰落的影响,而且,实验表明该方法对于不同的信道状况均能很好适应。

试论企业信息安全的开放式标准解决方案

本文讨论了企业信息安全解决方案。从身份验证和存取控制、消息发布和工作流、电子商务、安全管理和任务控制管理、开发启用安全性的应用等五个方面论述企业网络的安全体系结构。