反省的对象中间件—理论与方法研究

1 引言现代软件系统必须能快速灵活地适应需求变化,换言之,系统要有灵活性和可重构性。同样,对中间件也如此。以往的研究表明,反省(Reflection)已被公认为是增加语言或系统灵活性与开放性的一种重要技术。近年来它开始向分布系统延伸,一些成果已初步证明了反省对提高分布系统,特别是中间件的灵活性是     

下一代的Web技术

一、概述在Internet中Web已经占据了主导地位,Web技术的发展变化完全引导着Internet的发展变化。Web技术的体系结构主要是基于HTML和HTTP协议,这两个核心协议的设计所面向的最基础的应用也只是从文档的传输与表示。随着Web迅速地普及,基于Web的应用逐步延伸到一些复杂的应用和计算,一些传统的分布式计算和面向对象技术也试图迁移到     

CPN原理及其在人工智能中的应用

Petri网理论是由联邦德国的Carl Adam Petri于１９９２年在其博士论文中提出的一种建模方法。最初的网理论称为条件／事件网（ＣＥ－nets).在随后的几年中,人们对新的网模型、网的基本概念有分析方法等进行了大量的研究。其中最有影响的是位置／变迁网（PT－nets),PT-nets后来命名为Petri网（Petri Net)。这些早期的网模型在理论上都归结为基本网（EN－nets)。这些早期的网模型在理论上都归结为基本网（EN－nets)。研究者通过对PT－nets进行了扩展,在风中增加了变迁的优先级、时间延迟、全程变量等一些概念以满足解决实际应用建模的具体要求,并在此基础上形成了比CE－nets和PT－nets更加通过化的高级网（High-level Nets)理论。最早的高级网是谓词／变迁网（PrT-nets),此后又产生了广义随机Petri网（GSPN）、着色Petri网（CPN）等较有影响的建模方法。CPN是由丹麦的Jensen Kurt于1981年在Petri网基础上定义的一种高级网系统。CPN理论不仅在描述系统静态模型方面进行了完备的形式化定义,例如支持在网模型中标记（token)的类型定义、模型的全程时钟、建立分层子模型等,而且对系统模拟的动态行为的仿真分析也具有形式化定义和描述。此外在Linux、Solaris和MacOS等多种平台上都有CPN的建模分析工具。利用CPN的建模工具,可以建立描述系统的CPN静态模型,还可以对系统模型的动态行为进行仿真,分析系统的分布、并发、同步异步等特性,以及建立系统模型的状态空间并分析系统模型中的活性问题、可达性问题等。     

移动分布式系统——技术现状和发展

系统地分析了移动分布式系统的技术、研究工作及关键问题的现状，在介绍基本概念和移动网络环境特性的基础上，按照研究层次、应用类型和关键问题等不同角度，对研究工作进行了深入的分析，并详细讨论了移动分布式系统的研究现状。随后，列举了一些有代表性的系统和相应技术特点。文章最后指出了移动分布式系统的研究发展方向。     

一种基于模板匹配的复杂心音定位方法

对心音的定位分割是心音处理的重要步骤之一。对于先心病患者的心音,由于受到严重的心脏杂音干扰,很难通过常规的包络或能量提取方法定位分割。根据心音特征提出一种模板匹配算法以对复杂的病理心音定位分割。该方法首先通过相关度检测和STFT变换生成第一、第二心音模板,采用该模板对模板化后的病理心音进行匹配,最后对匹配结果通过矫正算法分割定位。通过对标准心音数据库中68例实测数据和自采的57例数据分析,对于正常心音,该算法分割定位准确度达90%以上,对于先心病患者心音达到约78%,有效提高了定位准确度。     

基于OIL和RDFS的语义化Web逻辑扩展

1 引言 Web的发展使得Internet能够迅速地普及.通过Web人们可以得到各种各样的服务。随着新的应用不断加入到Web应用,Web的发展面临着应用标准不兼容、语义定义不严格、有效性和结构化缺乏等大量问题。这些问题使得针对Web资源难以进行机器自动查询、检索。Web上现有的信息完全是非结构化或半结构化的信息,即使通过CGI从数据库中得到了结构化的数据,插入到Web页面中也失去了其原有的语义属性。要使得Web能够象数据库管理系统甚至知识库系统一样支持诸如描述、搜索、管理、交换和更新等准确的处理,就需要处理Web的元信息,把元信息以某种方式结构化。     

基于粒子群优化的无线Mesh网络信道分配算法

多信道多天线（MCMR）广泛被用于提升无线Mesh网络的性能,但现有信道分配算法存在两方面问题:算法的时间太长和空间复杂度过高,无法获得全局最优解;算法可扩展性差,无法适用于大规模的网络。为解决上述问题,该文借鉴粒子群优化算法在收敛快、开销小等方面的优势,以建模无线Mesh网络中的信道分配问题。通过网络信息的交换和干扰模型的定义,以最小化适应度函数为优化目标,以天线、可用信道数量、信号干扰等为约束条件,设计并实现了基于粒子群优化的信道分配算法（PSOCA）。仿真实验表明了算法的可行性,且与同类算法相比,该算法在网络吞吐量和丢包率两个方面具有明显的改善。     

Web服务组合事务处理及基于细胞膜演算的正确性分析

事务处理是Web服务及其组合服务能否得到广泛应用的关键技术之一.本文分析总结了现有的事务处理模型,针对Web服务组合环境下的异构性、自治性和动态性,提出了一个基于组合Web服务的事务处理模型wS-CTM,并基于细胞膜演算对模型的正确性进行了验证.     

回归系数的t-k类估计

在线性回归中,当设计矩阵的列向量间存在复共线性时,回归系数的最小二乘估计的性质显著变坏.为了消除或减弱复共线性对参数估计的影响,以获得更高精度的参数估计,在均方误差矩阵意义下,提出了回归系数的一类新的估计,即t-k类估计,它是对最小二乘估计的改进,是一种新的压缩有偏估计.并且与最小二乘(LS)估计、岭估计和主成分估计进行比较,给出了在均方误差矩阵意义下,t-k类估计优于这些估计的充要条件以及这些条件的检验方法.     

基于状态树的(t,n)门限密钥托管方案

由于采用了基于状态树的(t,n)秘密共享算法,因此该方案具有计算量小,效率高的特性。不仅有效地解决了“一次监听,永久监听”问题,而且在监听阶段,监听机构能够确切地知道门限密钥托管方案中哪些托管代理伪造或篡改子密钥。同时,在各托管代理中有一个或几个托管代理不愿合作或无法合作时,监听机构仍能很容易地重构出会话密钥。