商务智能中数据分析代理(DAA)模式的研究与实践

在介绍了数据分析代理的概念后,提出了数据分析代理模式的体系结构,讨论了在不同类型企业中数据分析代理的具体应用模式企业内代理模式和企业外代理模式,对比分析了数据分析传统模式和代理模式二者之间特点,最后举例说明了数据分析代理模式在企业中的具体实践。

商业智能在银联业务分析系统中的应用研究

随着国内金融行业的逐步开放,中国银联也面临着跨国银行卡组织的激烈竞争，跨国银行卡组织拥有先进的IT技术和经营管理经验，和中国银联相比，具有很大竞争优势。银联为了积极面对跨国银行卡组织的挑战，成为一个知名品牌，必须加快信息化建设，转变经营观念，从传统的以业务为中心转移到以客户为中心，而商业智能技术——数据仓库和数据挖掘正是银联信息化建设的重要保障。 本文首先分析了银联的实际业务需求，结合银联的具体业务特点，设计与实现了银联的数据仓库系统，着重对数据仓库技术在银联中的应用现状进行了详细表述；该系统采用总线式的设计架构，有很好的一致性和可扩展性；系统采用维度建模方法进行数据仓库的逻辑设计，维度建模方法能很好地提高系统查询性能，在逻辑设计基础上本文也进行了数据仓库的物理设计。同时本文也详细介绍了数据仓库的重点部分——ETL系统的设计和实现，该ETL系统采用模块化的设计方法，采用元数据作为驱动方式，加强了调度管理和监控的功能，使该ETL工具更具智能性和更好的适应性。 本文在完成银联数据仓库系统建设的基础上，详细分析了银联业务系统要实现的OLAP分析目标，介绍了数据挖掘技术在银联客户分类中的应用，首次尝试在银联数据仓库系统中构建客户分类模型。在客户分类模型的构建中，我们首先采用聚类技术进行客户群分类，然后使用改进的SLIQ算法构建分类模型，本文对SLIQ算法中的符号型属性处理方法及其剪枝算法进行改进，并对结果进行对比分析，得到了一个较为合理的客户分类模型，取得了很好的应用效果，从而为银联数据仓库系统开发应用提供了可借鉴的操作思路。

Monostable-Bistable Transition Logic Element (MOBILE) Model for Single-Electron Transistors

The traditional monostable-bistable transition logic element (MOBILE) structure is usually composed of resonant tunneling diodes (RTD). This letter describes a new type MOBILE structure consisting of single-electron transistors (i.e. SET-MOBILE). The analytical model of single-electron transistors ( SET) has been considered three states (including an excited state) of the discrete quantum energy levels. The simulation results show negative differential conductance (NDC) characteristics in I-DS-V-DS curve. The SET-MOBILE utilizing NDC characteristics can successfully realize the basic logic functions as the RTD-MOBILE.

mobile agent system model based on servlet technology

A mobile agent system model based on the servlet technology is presented, the constitution and working process of the system are analyzed. The implementation of key parts of this model and the current development situation as well as the development trend of mobile agent technology are introduced. The mobile agent system model enhances its internal structure recognition and facilitates the system expansion and reformation. The remotely mobile agent control method by means of the protocol modification is presented.

cryptanalysis of the end-to-end security protocol for mobile communications with end-user identification/authentication

IEEE Computer Society

gcs-ma: a group communication system for mobile agents

Reliable messaging is a key component necessary for mobile agent systems. Current researches focus on reliable one-to-one message delivery to mobile agents. But how to implement a group communication system for mobile agents remains an open issue, which is a powerful block that facilitates the development of fault-tolerant mobile agent systems. In this paper, we propose a group communication system for mobile agents (GCS-MA), which includes totally ordered multicast and membership management functions. We divide a group of mobile agents into several agent clusters,and each agent cluster consists of all mobile agents residing in the same sub-network and is managed by a special module, named coordinator. Then, all coordinators form a ring-based overlay for interchanging messages between clusters. We present a token-based algorithm, an intra-cluster messaging algorithm and an inter-cluster migration algorithm to achieve atomicity and total ordering properties of multicast messages, by building a membership protocol on top of the clustering and failure detection mechanisms. Performance issues of the proposed system have been analysed through simulations. We also describe the application of the proposed system in the context of the service cooperation middleware (SCM) project.

Formalization and specification for controlling process modularity in mobile computing

新的计算模式，普适计算和全局计算，正在作为高度分布式和移动计算的计算模式展现出来。这篇论文探讨了在抽象层面上支持这些新型计算模式的适合的形式化基础，关注在进程移动单位上的控制, 以便在分布式与移动计算环境下更好地协调进程的移动性。 论文的第一部分概述了针对分布式、移动计算的现有进程演算模型中的进程移动单元，并且设计了一种在此方面更优、更具弹性的进程框架。为了表示这种进程框架，我们提出了一种新的、针对移动和分布式系统的进程演算,这种进程演算的优点是动态、弹性的控制进程的移动单元；具体的思路就是扩展π- calculus以及其支持分布式和移动性的变体。我们把这种新的演算叫做Modular π-calculus。我们通过这种演算的提出来说明进程框架提供了一种针对移动进程更为合适的协调机制以及编程模型，例如移动的代理和动态组件载入的支持。之后，我们通过讨论互模拟的几种提法来具体说明能够反映演算设计的进程描述的关键，之后我们讨论了它们的具体性质。 本文的第二部分提出了一个对进程模型的行为和性质进行推理的规约框架。首先，提出了一个对Modularπ-calculus中进程的系统性质进行规约的模态逻辑。为了更好的理解该逻辑，文中对由这个逻辑推出的进程等价的特征进行了研究，并且证明了该逻辑的区分能力介于互模拟和结构一致之间。接下来关于这个规约框架的自动化，本文针对该逻辑和Modular π-calculus的有限控制子集，提出了模型检测算法，并且给出了算法正确性的证明。同时文中贯穿了一些实际且直观的例子，以展现本文提出的一组框架即演算、逻辑和模型算法的有效性。