摘要:过程具有长生命周期、分布式结构、异构等特性.为适应不可预料的环境变化,过程还需要不断地演化.提出一种过程实例的演化方法以控制对过程实例的改变.它可以检查并保证演化前后的过程实例具备"基于目标的行为一致性",从而避免用户对过程的盲目修改.目标作为行为一致的标准,需要分析演化后的过程实例来保证它可以完成目标.通过用Büchi自动机描述过程实例和其目标的语义,一个过程实例是否能够完成其目标是可判定的.

摘要:绍了主动网络安全系统的假设模型和威胁模型.基于上述模型和主动网络的安全需要提出了一种安全系统结构模型.该安全模型包括授权、认证、完整性检查和加密等.使用加密和数字签名方法来保护主动网络报文的完整性,使用授权和政策来阻止非法访问以及主动节点的资源请求和行为.

摘要:为提高文本分类的精度,Schapire和Singer尝试了一个用Boosting来组合仅有一个划分的简单决策树(Stumps)的方法.其基学习器的划分是由某个特定词项是否在待分类文档中出现决定的.这样的基学习器明显太弱,造成最后组合成的Boosting分类器精度不够理想,而且需要的迭代次数很大,因而效率很低.针对这个问题,提出由文档中所有词项来决定基学习器划分以增强基学习器分类能力的方法.它把以VSM表示的文档与类代表向量之间的相似度和某特定阈值的大小关系作为基学习器划分的标准.同时,为提高算法的收敛速度,在类代表向量的计算过程中动态引入Boosting分配给各学习样本的权重.实验结果表明,这种方法提高了用Boosting组合Stump分类器进行文本分类的性能(精度和效率),而且问题规模越大,效果越明显.

摘要:对广义Legendre序列线性复杂度的分布进行了估计,发现绝大多数广义Legendre序列有大的线性复杂度.给出了一个方法以得到具有大线性复杂度的广义Legendre序列.

摘要:提出了一个柔性的形式化过程建模语言FLEX.它具有丰富的语义、易用性、灵活性、可扩充性、可重用性和分布性,是一个可分析、可执行、演化的过程建模语言.建模语言不仅提供了高度抽象的描述方法以便于一般用户使用,还允许用户通过重用的方式自定义多种抽象级别的语言元素来扩充语言的描述能力.因此,FLEX语言可以支持不同层次和需求的过程建模.

摘要:聚类是数据挖掘中研究的重要问题之一.聚类分析就是把数据集分成簇,以使得簇内数据尽量相似,簇间数据尽量不同.不同的聚类方法采用不同的相似测度和技术.从以下3个角度分析现有流行聚类算法: (1)聚类尺度; (2)算法框架; (3)簇的表示.在此基础上,分析了一些综合或概括了一些其他方法的算法.由于分析从3个角度进行,所提出的方法能够涵盖,并区分绝大多数现有聚类算法.所做的工作是自调节聚类方法以及聚类基准测试研究的基础.

摘要:由于提交处理的复杂性,分布式实时事务很难满足其截止期.提出了一种新的提交协议A2SC(主动的双空间提交),它适合于分布式实时事务提交处理的需要.分析了由于数据冲突访问而形成的各种依赖关系.当处于准备状态的事务和处于提交状态的事务发生数据冲突访问时,A2SC允许处于执行状态的事务在一种控制的方式下乐观地访问锁住的数据.当处于准备状态的事务夭折时,仅仅只有其夭折依赖集中的事务夭折.进一步提出了"没有结果的运行"的观念.当一个事务发现它是没有结果的允许时,它将主动夭折.进行了广泛的模拟实验比较A2SC和其它协议比如基准协议、PROMPT和DDCR的性能.模拟结果表明A2SC在最小化错过截止期的事务数方面较成功,因此A2SC适合于高性能分布式实时事务.

摘要:近年来,移动计算吸引着越来越多的注意力.适应性移动计算系统要求大范围的事件组合,这些事件包括逻辑事件、时间事件和暂时事件等.致力于组合事件和组合反应的设计和实现,考虑了事件流、时间事件和不同操作符等情况.组合事件的检测由一种新的扩展自动机??单向队列自动机来有效地支持,详细定义和讨论了单向队列自动机,并具体描述了使用它来检测组合事件的机制和所使用的数据结构.

摘要:分布式乘法计算是安全多方计算中的重要部分,也是设计门限密码体制的基本协议.应用可验证秘密共享的方法,设计了两种不同情况下的整数环上多项相乘的鲁棒分布式乘法计算方案.其中并行不交互的鲁棒多项相乘的分布式乘法计算方案效率较高,且保持了不交互特性,而另一种方案却能达到最优弹性.

摘要:CA(certificate authority)是PKI中的关键设施.CA的私有密钥一旦泄露,该CA签发的所有证书就只能全部作废.保护在线服务CA的私钥也就成为一个非常重要的课题.不是从保护系统或检测入侵出发来保证CA的安全,而是确保当少数部件被攻击或占领后,CA系统的机密信息并没有暴露.通过将私钥分发给不同的部件,并保证任何一个在线的部件无法恢复CA的私钥,从而保护了CA私钥的保密性.

摘要:对于数据仓库中数据的物理存储组织,目前主要有关系和多维数组两种方式.这两种方式各有自己的优缺点,从提高联机分析处理(online analytical processing,简称OLAP)查询处理性能的角度出发,多维数组方式相对较优,目的主要是解决数据仓库的多维存储结构问题.针对当前多维数组存储组织方式存在的一些问题,提出了Cube(立方体)逻辑存储和物理存储的概念,首先将原多维数据空间划分为逻辑子空间,逻辑块再划分为多个物理块.在物理存储时充分考虑了多维数组的大容量和高稀疏度的问题,并采用新的多维数组的分布和压缩方法.这些概念和方法有效地解决了维内部层次结构的聚集操作和Cube操作的效率问题,显著提高了涉及维内部层次的聚集查询的响应速度,同时还解决了增量维护的效率问题.

摘要:主要研究基于网络的分布式综合集成研讨厅的软件体系结构.采用了一种扩展请求器-中介器-供应器的嵌套式客户/Agent/服务器计算模式;并利用该模式给出了一个基于Java的智能信息Agent构建的宏观经济决策研讨厅框架和工作机制;综合了Agent移动性与消息传递机制、算法与交互能力、多种类型Agent和多种设计模式.与通常的C/S与B/S模型相比,该系统具有更大的灵活性、更快的响应性能、对网络性能的低需求等特性.

摘要:为解决数字地球建设中海量地理空间信息的共建、共享、高效管理和增值使用问题,提出用于数字地球建设的空间信息分层共享模型及其各层共享解决方案.对历史和现有海量数据集层次的共享,结合国际Metadata研究,提出并实现了与WebGIS集成的遵循Z39.50协议的万维网Metadata管理原型系统,并以此为核心实现了空间数据交换中心原型系统.对将来空间数据项层次的数据共享和语义共享,结合OpenGIS标准和XML技术,提出地理空间信息标志语言GeoML(geospatial markup language),研究并设计了GeoML标准草案,实现了基于Web的GeoML原型系统.该成果用于国家"九五"重点科技攻关项目,取得了较好的攻关效果.

摘要:在组播获得广泛应用之前,必须解决拥塞控制问题.组播拥塞控制有两个重要的评价目标:可扩展性和TCP友好(TCP-friendly).围绕这两个评价目标,介绍组播拥塞控制的研究现状,从不同角度对组播拥塞控制算法进行分析,并讨论最近的组播拥塞控制协议,最后指出今后的研究方向.

摘要:鉴于传统径基函数网络(radial basis function network,简称RBFN)构造策略的不足,提出了基于偏最小二乘法(partial least squares,简称PLS)和遗传算法(genetic algorithms,简称GAs)的RBFN构造策略和一种更有效的径基宽度取值方法.在这个集成构造策略中,PLS克服了K-Means算法求取径基易陷入局部最优的弊病,并使合成径基比由正交算法获取的径基更具代表性;而所提出的径基宽度取值方法和GAs则为网络性能和结构的实质性改善与优化提供了保障.实验证实了基于PLS和GAs的RBFN构造策略及所提出的径基宽度取值方法的优越性、可靠性和有效性.

摘要:采用波分复用技术的全光网是目前宽带网络研究的方向之一,波长分配是其中主要的算法问题,具有重要的理论和应用价值.研究了具有任意固定波长转换器的环形光网上的波长分配问题.首先,提出了两个对环网上的请求集合预处理的算法,这两个算法可以将请求集合分解成一些连续的循环序列;然后,采用置换群来描述具有固定波长转换器的光环网,基于这种数学表示,提出了对环网上的波长信道进行分解的算法;基于这些算法,进一步提出了一个波长分配算法,该算法对于环形光网上的任意固定转换模式都能给出一个较好的波长分配方案.

摘要:发现无线通信环境中用户的移动模式是移动对象管理中的一个关键问题.提出一种快速挖掘该模式的算法SAM(split and merge),用来挖掘移动对象所产生有序数据集中潜在的移动模式,从而为移动对象管理提供服务.该算法将自底向上搜索和自顶向下过滤技术相结合,采用图存储压缩数据集方法,利用非频繁项集分解子图和频繁长模式过滤数据集相结合的技术,大大减少了迭代次数,降低了CPU时间.最后给出了算法性能比较和算法分析.结果表明,该算法是有效的.

摘要:讨论了基于随机Petri网的工作流系统的顺序、并行、选择、循环4种基本模型,并详细推导了这4种基本模型的性能等价公式.最后通过现实中的一个工作流实例来说明如何建立相应的随机Petri网模型,以及如何利用这些性能等价公式来计算工作流的性能参数.给出了定量分析工作流系统性能的通用方法,通过用这些等价公式不仅可以对复杂的系统进行性能等价化简,而且还可以得到性能参数的乘积解.

摘要:远程计算是指用户在本地计算机上通过互联网利用远程超级计算机上计算资源的技术.传统的远程计算方式是用户通过telnet协议登录到远程机器上完成各项任务.这种方式在高速、稳定的网络环境下效率是很高的.但是当网络条件比较差时,如在低带宽、不稳定的网络上,这种方式会严重影响用户的工作效率.提出并实现了一个远程虚拟计算环境,它所采用的计算方式可有效完成在低带宽、不稳定的网络环境下效率较低甚至无法完成的远程计算,其中使用了如检查点设置/恢复、压缩传送、目录树传送等技术以达到尽量减少网络流量的目的.实践证明,这在我国当前的网络条件下是一种高效的远程计算方法.

摘要:首先概括对象依赖、无冲突对象依赖集合、规范化对象模式森林和复杂对象模式规范化设计算法的基本概念和性质;然后给出并证明相应于无冲突对象依赖集合M的规范化对象模式森林F的性质:P(F)是惟一的、不可分解的规范化对象模式森林的路径集合;M<=>OD(F)<=>P(F);P(F)是无(环的.这对于面向对象信息系统的开发有一定的意义.

摘要:可视化编程环境的出现给人机界面的开发带来了巨大的变化,使人机界面的实现可以通过可视化操作,以"所见即所得"的方式进行定制,并在环境的支持下生成程序代码.这种变化给人机界面的面向对象设计提出了新的问题:既然界面的实现主要不是靠手工编程,那么在实现之前还要不要进行设计?面向对象的设计阶段建立的类图还有什么用?旨在对此问题作出回答.首先论述这种条件下的人机界面开发仍然需要设计,但设计策略应当改进.然后给出针对可视化编程环境的人机界面OOD(objected-oriented design)策略.该策略使设计工作大为简化,且更为有效、更适合基于可视化编程环境的人机界面开发.

摘要:用户行为分析是Web站点信息推荐中的重要方法,被广泛应用在该领域的诸多算法中.PageGather算法是其中有代表性的一种.旨在解决静态PageGather算法输入数据量过大、时间复杂度高的问题,使其更具实用性.通过引入渐进学习和分布的机制,给出了改进的算法PG+和PG++,并进行了实验分析.改进后,既保证了算法的等效性,又明显提高了效率.

摘要:随着互联网信息的增长,Web挖掘已经成为数据挖掘研究的热点之一.网页分类是通过学习大量的带有类别标注的训练样本来预测网页的类别,人工标注这些训练样本是相当繁琐的.网页聚类通过一定的相似性度量,将相关网页归并到一类.然而传统的聚类算法对解空间的搜索带有盲目性和缺乏语义特征.提出了两阶段的半监督文本学习策略.第1阶段,利用贝叶斯潜在语义模型来标注含有潜在类别主题词变量的网页的类别;第2阶段,利用简单贝叶斯模型,在第1阶段类别标注的基础上,通过EM(expectation maximization)算法对不含有潜在类别主题词变量的文档作类别标注.实验结果表明,该算法具有很高的精度和召回率.

摘要:在高速分组交换网络中,分组调度策略和算法的设计是一个关键问题.由于网络分组调度策略有着多方面性能的要求,如何同时满足多个性能目标是当前的研究难点.基于比例公平性原则,提出了一种分组网络中的比例公平调度策略(proportional fairness scheduling,简称PFS),该调度策略综合考虑了网络效率、用户QoS要求和系统公平性等多维目标,对该策略进行了详细的分析和论证.比例公平调度策略可以广泛应用于分组网络调度策略的设计研究和改进.

摘要:授权约束是基于角色的访问控制模型中一个非常重要的部分.已经有方法来对约束进行形式化的描述,但主要集中在有关约束的静态特性的描述上.提出一套形式化地描述时间特性的模型,使之能够描述带时间特性的授权约束.对已有的角色授权约束模型,即约束描述语言进行了深入研究,并进行了相应的扩展.这种扩展后的语言称为RCLT(role-based constraints language with time-character).同时,对RCLT的时间效率的优化以及在RCLT规则被违反时如何恢复合法状态的问题进行了形式化的讨论.RLCT语言被证明可以很好地表示出对授权约束的时间特性的需求,但在效率优化和状态恢复方面要找到实用、高效的通用算法还需要作进一步的工作,这也是将来研究工作的主要目标.

摘要:实现分布/并行系统容错的基础是单进程检查点设置和卷回恢复技术,而对活动文件信息进行保存和恢复则是这种技术的重要方面.提出一种虚拟文件操作策略,实现了对用户文件的检查点设置,有效地解决了发生故障时用户文件内容与进程全局状态的不一致的问题.该方法通过文件块式管理、检查点分布操作等技术,使得在空间开销、正常运行时间、恢复时间等性能指标上优于其他方法,并且具有对用户透明、可最大限度地保留已完成工作的特点.

摘要:在一个空间数据库中,空间数据总是以最细节的信息进行储存,以满足不同应用的需求.制图学中的制图综合就是为不同的应用生成恰当的细节层面.随着空间数据库应用的日益广泛,以及越来越多的基于Internet的空间应用的出现,对空间数据的有效自动综合成为一个紧要问题.深入探讨了当前这一领域存在的问题,提出一种面向数据库的概化处理技术,利用空间索引机制z-value进行扩展,并将其应用到空间数据的自动综合技术中,通过对空间数据库的设计和对空间操作的处理来实现一个有效的空间数据库自动综合系统.

摘要:数据挖掘融合了数据库技术、人工智能和统计学,是目前的研究热点.为了能够集成当前数据挖掘的主要技术并使它们协同工作,在进行数据挖掘基本算法研究的基础上研制开发了一个数据挖掘系统--Golden-Eye.系统实现了在数据挖掘研究中的一些最新成果,集成了泛化、数据清洗这两个数据准备操作以及关联规则发现、例外规则发现、时序模式发现、分类器构造、聚类分析等基本数据挖掘操作,并实现了对挖掘操作的基本管理和结果的图形化显示.整个框架设计充分体现了系统的完整性、协调性和高效性:自底向上将存储控制模块、数据预处理模块、挖掘操作模块、挖掘库管理模块有机地结合在一起,在底层实现了对包括中间结果在内的数据的统一管理,在上层为用户提供了可视化的界面.实验结果表明,该系统能够在大规模数据库上成功地完成用户所指定的数据挖掘操作.

摘要:随着软件复用实践的深入和软件构件库规模的扩大,对软件构件的表示与检索的研究正受到越来越多的重视.针对基于刻面描述的软件构件,结合模式分析中的树匹配思想,根据构件刻面描述的特点,提出了一种基于树包含(tree inclusion)的构件检索方法,并进行了理论上的分析与实验上的检验.实验结果证明了它的可行性与有效性.

摘要:时间管理是工作流管理软件系统的关键部分,也是工作流技术实施复杂企业应用的严重局限.开展时间管理研究,对于增强工作流管理软件系统的柔性、确保工作流计划的高效执行和提高企业的竞争力具有重要意义.时间管理的关键在于时间信息的有效建模.首先介绍了工作流管理系统的时间问题.其次,综述了时间建模与分析的研究现状,包括时间约束的建模、时序一致性验证与时间违反的处理.最后,基于对现有研究方法的分析与评价,指出了工作流系统时间管理的发展方向.时间管理的支持对于开发灵活性和实用性的工作流管理系统具有重要的指导意义.

摘要:提出一种播音员镜头自动检测算法.利用播音员镜头频繁出现的统计规律,基于自动聚类方法找出候选播音员镜头,然后根据播音员镜头出现的时空特征,用神经网络分类器对候选播音员镜头进行确认,从而实现对播音员镜头的检测.该算法是自动分析电视新闻节目内容的重要手段之一,对建立视频数据库索引是必不可少的.实验结果表明,该方法具有准确、快速的特点,可有效地应用于视频检索系统.

摘要:采用的低码率视频编码方法是以全局运动补偿和局部运动补偿为核心的混合编码方法.主要针对MPEG-4中原有算法计算量大、复杂度高的特点进行了编码系统优化,将这一编码方法实用化.该优化方法是针对占编码系统70%计算量的全局运动估计进行的,采用了基于运动特征的运动估计方法和鲁棒的目标函数,并在优化方法中引入了三级金字塔的分层计算.从对比实验结果来看,优化方法对不同运动类别视频的编码都是有效的,系统编码速度提高了3倍以上.目前,这项优化方法已经被MPEG-4视频编码优化小组采用.

摘要:提出了一种镜头内容分析方法及其在视频检索中的两个应用:镜头检索与场景结构提取.为了刻画一个镜头的内容变化,首先引入两个新的内容描述子:主色直方图和空间结构直方图.主色直方图能够捕捉那些持续时间最长的颜色,而这些颜色是这段视频所关注的对象或背景的主要颜色.从颜色块图提取的空间结构直方图是描述图像空间信息的一组特征.一个变化较大的镜头可以划分为几个内容一致的子镜头,两个镜头的相似性可以从对应子镜头的相似性计算得到.镜头相似性度量可以直接用于镜头检索,还可用于场景结构提取.另外,还提出分裂与合并力量竞争的场景结构提取方法.在大容量视频数据库上进行实验所得结果证实了该方法在镜头检索和场景提取的优异表现.

摘要:数据切片体现了数据立方体某方面的数据特征,当产生数据切片的数据立方体由于某种原因不可访问时,通过已知的多个数据切片尽可能地恢复数据立方体中的原始信息,有利于对数据的深入分析和理解.提出了一种基于数据切片重建数据立方体的方法,通过数据切片的连接生成多维细粒度空间,利用数据覆盖操作逐步细分每个数据切片所对应的多维空间,以逼近多维细粒度空间.提出了重建后数据立方体的可查询判据.该方法直接利用数据库中的基本操作来实现,高效地支持大数据量的应用环境.

摘要:音频的自动分类,尤其是语音和音乐的分类,是提取音频结构和内容语义的重要手段之一,它在基于内容的音频检索、视频的检索和摘要以及语音文档检索等领域都有重大的应用价值.由于隐马尔可夫模型能够很好地刻画音频信号的时间统计特性,因此,提出一种基于隐马尔可夫模型的音频分类算法,用于语音、音乐以及它们的混合声音的分类.实验结果表明,隐马尔可夫模型的音频分类性能较好,最优分类精度达到90.28%.

摘要:随着World Wide Web上数据量的日益庞大,现有的搜索引擎已经不能满足用户日益增长的需求.利用数据挖掘技术,提高搜索效率,实现了查询的用户化.首先提出了模糊概念图的模型来描述词语间的关系,然后在聚类过程中引入概念知识,提出了基于模糊概念图的文档聚类算法,通过分析用户的浏览行为发现兴趣模式.在上述技术的基础上,给出了一种用户化的智能搜索系统的实现策略,通过分析概念间的关系和用户的兴趣模式,评价超链/文档和查询的相关程度,从而帮助用户得到更准确的信息.

摘要:提出了一种具有中断时间代价的抢先调度问题(P|ptmn(δ)|C_max):在抢先调度中,一个任务发生一次中断,其总的执行时间会增加一个δ.该问题在工程任务分配、分布式计算和网络通信等实际问题中有着广泛的应用背景.证明了这是一个NP-hard问题,给出了一个时间复杂度为O(nlogn+m)的脱线近似算法LPT-Wrap,其近似比小于等于1.40825,并分析了P|ptmn(δ)|C_max的在线特性,给出一个线性时间复杂度的在线近似算法,其竞争比为2.

摘要:由于磁带库随机存取的性能很差,需要研究有效的随机I/O调度策略和算法以改善其在线存取的效率.对已有调度算法进行了分类、提炼和总结,利用仿真实验对静态调度、动态调度和基于复制的调度算法进行了深入研究,讨论了影响各种算法有效性的因素.针对已有算法在较重的负载条件下使系统性能急剧恶化的问题,还提出并研究了一种基于效益-代价均衡的调度算法.该算法引入效益-代价加权的概念,通过调节不同负载下的效益-代价加权比,极大地改善了已有算法在重负载下的有效性.该项研究为设计海量存储系统中的自适应调度算法提供了重要依据.

摘要:如何减少网络管理系统对网络带宽的占用是网络管理研究的难点之一.结合管理信息库(management information base,简称MIB)信息的收集策略直接影响着网管系统性能的特点,针对异构大型网络环境下多管理对象的信息收集问题,提出了一种从多个被管设备中提取有关MIB信息的新算法--组预取算法(group-prefetching algorithm,简称GPA).该算法能在不改变现有的网络管理协议的情况下,将多个分散的、在未来一段时间内的MIB对象的访问组合在一个预取组中进行访问,减少对管理对象的访问频度,从而可以较少地消耗所用的网络带宽和CPU资源,减小整个网络开销.

摘要:网络促进了信息的交流和数据的共享,人们正在研究和探索新的网络编程技术以使其更加有效地发挥作用.通过将执行代码从客户端传送至服务器的这种新的Client/Server程序执行思想已得到广大从事智能网络服务的研究和开发人员的认可,基于移动Agent的计算被视为该思想的一个代表.着眼于Agent的迁移机制的研究,为移动Agent设计了一个模块化结构模型,提出一种适合于Agent迁移过程实现和并发执行的调度方法,合理地运用模块复用的思想,减少了不必要的数据及代码迁移,缩短了移动Agent的平均执行时间.

摘要:在多agent环境中,协商是多agent系统能够成功运转的关键.根据参与协商agent的数目和协商问题的数目,多agent环境中的协商可以分为双边-单问题协商、双边-多问题协商、多边-单问题协商、多边-多问题协商.前3种协商是多边-多问题协商在不同维上的简化.利用协商-协商过程-协商线程的概念建立了一个多边-多问题协商模型MMN(multi-agent multi-issue negotiation).该模型通过提供一个灵活的协商协议支持多agent环境中的不同协商形式,并且支持agent在协商过程中的学习.

摘要:针对互操作所导致的异构系统间数据交换构造STEP模型映射算法,为基于不同STEP应用协议的CAx系统集成提出了一种方法论.首先对STEP/EXPRESS数据模型作出形式化定义,在此基础上提出了两种STEP模型映射技术--静态映射与动态映射,并阐述了基于EXPRESS-X的实现及其在开放式环境中的一种典型应用.提出了模型映射技术独立于具体系统,为异构系统提供透明的集成方式,从而降低了信息集成在系统开发中的开销.

摘要:Petri网是异步并发现象建模的重要工具,Petri网的硬件实现将为并行控制器的设计提供有效的途径.给出了几种Petri网系统的硬件实现方法,包括带抑制弧和允许弧的C/E系统、P/T系统、T-时延Petri网系统;给出了硬件实现中非纯网的处理方法.首先讨论实现各种Petri网的逻辑电路;然后用ABEL语言对逻辑电路进行描述;最后给出了一个用解释Petri网描述的服务系统的例子,说明如何使用硬件(CPLD)实现的方法.实验结果表明了上述方法的正确性.这对于离散事件动态系统控制器的设计,尤其是片上并行控制器、多处理器芯片的设计都具有十分重要的意义.

摘要:提出了一种平面移动对象的时空数据模型--OPH模型.在该模型中,平面移动对象由3种几何表示,即平面对象的观测几何O,目前存在的几何P以及平面移动对象的历史几何H.通过几何点集的差、并、交,研究并得出OPH的递归计算和更新策略.通过分析对象之间的空间拓扑关系和时间关系,得出两个平面移动对象在重叠时间区间上的时空拓扑关系.利用OPH模型,定义了平面移动对象的速度、方向、影响范围等空间方法;利用时空拓扑关系和空间方法,确定时空查询和空间触发事件.

摘要:面向任务流和资源流并行的业务过程,讨论了一类如何通过资源流控制任务流的工作流建模问题.在时间Petri网的基础上提出了一种称作资源/任务网(R/T-net)的工作流概念模型,并给出了基于R/T-net的工作流建模过程.设置在任务模型中的资源依赖和资源期望可以有效地实现资源流对任务流的控制,而其中的资源点火规则和资源路由规则可以灵活地实现资源的协调、同步、分配和传递,因此,比仅用时间属性刻画任务转移的时间Petri网模型更符合诸如办公、制造、物流运输等业务过程.

摘要:在分布式主动对象的基础上给出了在一个World Wide Web上实现的全局工作流系统.首先根据Internet应用环境的特点与要求,对主动数据库中的ECA模型进行了时间和空间上的扩充,从而解决了主动对象在分布式环境下的时域和空域相关问题.其次,采用任务层次分解的方法建立起主动对象控制的工作流管理模型.最后,在相关模型和分布事件通信模式的基础上,给出了World Wide Web上的基于主动对象的全局工作流系统结构及其应用.

摘要:基于内容的图像检索是一种典型的相似检索问题,对于尺度空间上的图像相似匹配问题,一般认为距离计算费用很高.因此,需要建立有效的索引结构,以减少每个查询中的距离计算次数.为此,基于数据空间的"优化划分",并且使用"代表点",以层次结构方式划分数据,提出了一种新的基于距离的相似索引结构opt-树及其变种(-树.为了更有效地支持基于内容的图像检索,在(-树索引结构中采用了"(-最优化划分"和"(-对称冗余存储"策略,以提高相似检索的效率.详细讨论了这种索引结构的建立与检索等问题,并给出了相应的算法.实验结果显示了这种索引技术的有效性.

摘要:工作流合理性的验证是目前工作流研究领域尚未得到很好解决的一个问题,许多工作流管理系统都缺乏有效的方法和工具来保证工作流的合理性.从事件平衡的角度推导了合理工作流所具备的必要条件,提出工作流执行历史的事件平衡定理,并把事件平衡的计算引入工作流模型,用以分析模型中是否存在可能破坏工作流合理性的结构.这种分析方法不受具体工作流模型的限制,适用范围广,而且具有多项式时间的计算复杂度.

摘要:针对嵌入式数据库系统的实时性和高可预见性,提出了基于功能替代的事务模型.该模型改善了实时事务对动态实时环境的应变能力.由于受功能替代性的影响,事务调度分为内部调度和外部调度,提高了系统的成功率.研究了实时事务的可调度性分析,并给出了相应的内部调度策略,最后作出模拟性能分析.

摘要:基于时序Petri网对我国现行网上静态和动态证券交易系统进行了模拟、形式描述及功能正确性验证.应用时序逻辑推理规则,从形式上严格证明了证券交易系统需求规范及其时序Petri网模型动态行为的一致性.结果表明,时序Petri网能够清楚而简单地描述事件间的因果关系和时序关系以及并发系统中某些与时间有关的重要性质,如最终性和公平性.因此,时序Petri网可作为并发系统形式化描述和分析的有力工具.

摘要:针对电话网智能管理系统中动态路由方案的实现,研究了采用Tabu搜索算法解决路由方案的问题.对Tabu搜索算法作了改进,使得它可以用来解决电话网的电路自动调度问题,并且得到了较好的结果.改进后的Tabu算法与遗传算法相比,能够在较短的时间内计算得到全局优化的路由方案.该算法正在广东省电话网智能管理系统中所使用.

摘要:RMTP(reliable multicast transport protocol)是一种通过修复服务器(repair server)本地恢复来提供可靠性的组播协议.对改进的RMTP协议的时延性能进行建模分析.推导了数据包自发送主机发出到成功地被一个随机选择的接收主机接收之间的平均时延公式.分析表明,随着丢失率的增长,RMTP的时延性能恶化点将迅速下降;随着每个修复服务器下连接尾链路数量的增加,RMTP的时延性能恶化点也将下降.但是,随着尾链路总数量的增加而保持每个修复服务器连接的尾链路数量不变,RMTP的时延性能的变化很小.仿真结果较好地验证了分析的有效性.

摘要:针对分布式环境下可抽取观察循环的不规则串行程序循环的动态依赖关系分析问题,提出了一个基于观察/执行模型的动态分析算法.其贡献是:(1) 算法可并行执行于分布式系统;(2) 直接分析具有拷入和最后赋值操作的循环;(3) 给出了循环的并行化方法;(4) 并不要求循环是完全可并行的,对某些部分可并行循环,也支持其并行执行.理论分析和实验表明,在处理器数量适当的情况下,循环可以并行时,可以获得很好的加速比;不能并行时,对串行执行增加的开销也是小的.从而为分布式环境下开发更多的循环并行性提供了一种新的手段.

摘要:详细介绍了在Linux环境下基于规则的分布式网络入侵检测系统NetNumen.同现有的网络入侵检测系统相比,NetNumen将异常检测(检测包到达频度的异常)和特征检测(检测特定攻击和攻击工具的固有特征)有机地结合起来,对DoS(denial of service),DdoS(distributed denial of service)攻击的检测效果较现有方法有明显的改善.

摘要:为了抵抗自适应选择信息攻击,提高签名生成效率,提出一种基于强RSA假设的签名方案.该方案与RSA算法的不同在于:它采用固定参数为指数底,明文信息的散列值为幂的指数函数;而RSA算法采用明文信息散列值为底,固定参数为幂的指数函数.在实现技巧上,可采用预先计算技术提高实现效率.此外,还选用陷门散列函数对基本签名方案进行改进,这个改进方案为签名算法提供散列陷门,其优点体现在,如果把签名过程分为"离线"和"在线"两部分,则签名者利用陷门,可显著提高"在线"的效率.可以证明,在强RSA假设下,此方案对自适应选择信息攻击是安全的.实验结果表明,该签名方案效率较高.

摘要:在视频服务器中,由于网络I/O带宽比磁盘I/O带宽相对丰富而未得到研究者的重视,但当服务达到一定的规模、网络输出成为瓶颈时,在多网络I/O情况下,网络输出的量化计算则不可避免.着重探讨了视频服务器在多网络I/O并行输出的情况下,如何进行最大输出调度的问题,给出了3个调度算法及相应的接纳计算公式,特别是一个带缓冲的优化调度模型.实验结果显示,调度模型及规划性能是优越而有效的.该项工作对视频服务器的调度设计、资源的有效配置具有指导作用.