摘要:合成操作是Petri网系统建模中一种重要的自底向上建模方法,而在Petri网系统的合成研究中,一些好性质,如活性、无死锁性、可回复性等的保持性,是一个重要的研究问题.研究了Petri网系统同步合成操作活性与无死锁性的保持性.与以往研究工作不同,基于路径的并发合成用并发语言的方法,提出并证明了同步合成Petri网系统的一个并发语言关系式.该语言关系式可用于判定同步合成Petri网系统的活性与无死锁性,同时给出了同步合成Petri网系统活性与无死锁性的充要条件.最后提出一些条件,在这些条件下,同步合成Petri网系统有活与无死锁的保持性质.

摘要:Monad程序的核心是一组Monad定义.Monad定义分为MAP型和BIND型.如果在Monad库中已有所需要的Monad定义型,则可以直接使用,而不需要重新构造;否则,需要重新构造.但如果在Monad程序设计环境中增加从一类Monad构造另一类Monad的自动生成器,那么既方便了用户也扩充了1倍原有的Monad库.鉴于这种思想,用支持Monad程序设计的高阶函数语言Haskell实现了一个Monad的自动生成系统.另外,用户构造Monad不仅要花费较多的时间,而且写出的Monad多态函数往往不满足Monad所需满足的几条公理,因此,从这方面也可以看出,从一种类型的Monad自动产生另一种类型的Monad的重要意义.

摘要:二分离散化是决策树生成中处理连续属性最常用的方法,对于连续属性较多的问题,生成的决策树庞大,知识表示难以理解.针对两类分类问题,提出一种基于属性变换的多区间离散化方法--RCAT,该方法首先将连续属性转化为某类别的概率属性,此概率属性的二分法结果对应于原连续属性的多区间划分,然后对这些区间的边缘进行优化,获得原连续属性的信息熵增益,最后采用悲观剪枝与无损合并剪枝技术对RCAT决策树进行简化.对多个领域的数据集进行实验,结果表明:对比二分离散化,RCAT算法的执行效率高,生成的决策树在保持分类精度的同时,树的规模小,可理解性强.

摘要:支持向量机(support vector machine,简称SVM)是一种基于结构风险最小化原理的学习技术,也是一种新的具有很好泛化性能的回归方法,提出了实现回归支持向量机的一种改进的SMO(sequential minimal optimization)算法,给出了两变量子优化问题的解析解,设计了新的工作集选择方法和停止条件,仿真实例说明,所提出的SMO算法比原始SMO算法具有更快的运算速度.

摘要:提出了一种基于联合概率似然得分和概率似然比得分进行语音识别确认的方法,计算搜索路径得分过程中同时考虑概率似然比得分,在给出系统最终识别结果的同时给出置信度水平.实验结果表明,该方法在大大降低识别系统误警率的同时,基本保持识别正确率不变.

摘要:1996年,Mambo等人提出了代理签名概念.但是,代理签名仅能提供授权的认证而不能提供保密性.Chan和Wei提出一个门限代理签密方案(记为Chan-Wei方案),扩展了代理签名的概念.指出他们的方案不满足强不可伪造性、强不可否认性和强识别性.基于Chan-Wei方案,提出一个能够克服Chan-Wei方案缺点的不可否认门限代理签密方案.给出方案的完备性证明和安全性分析.此外,与Chan-Wei方案相比,所提出的方案能够确切地发现哪些代理人提供假子密钥或篡改子密钥.

摘要:串空间模型和CSP方法是当前最著名的分析认证协议的形式化方法.通过一个具体的认证协议例子,比较两种方法的不同特点.

摘要:NAT-PT(network address translation + protocol translation)允许IPv6节点与IPv4节点之间进行通信.NAPT-PT则通过一定的映射方法以充分复用注册地址的所有端口,应用NAPT-PT模型,每个注册V4地址最多可建立63K从V6节点到V4节点的TCP会话和UDP会话.然而,对于从V4节点到V6节点的会话,每个注册IP地址只能映射到一个V6地址.当地址池中的地址耗尽时,V4节点不能再访问其他V6节点.ENAT-PT (enhanced NAT-PT)模型是对NAT-PT的改进.其主要思想是同时使用源地址、目的地址、源端口、目的端口来识别一个会话.ENAT-PT模型可通过一个注册地址同时建立大量从V4节点到V6节点的会话,在实际应用中对解决IPv4地址短缺问题具有重要意义.

摘要:移动性管理是LEO(低轨卫星(low earth orbit))卫星网络通信系统中的一个重要问题.提出了LEO网络中一种改进的基于移动的位置更新和寻呼方案.在这种方法中我们引入了"元小区"概念,它由两个相邻波束组成.首先阐述了基于"元小区"模型的位置管理策略,然后推导了基于移动的动态位置管理的数学模型,并利用该模型分别计算了LEO网络中单位呼叫的位置更新和寻呼代价.通过元小区方案和普通小区的在各种网络参数环境下的性能比较证明了"元小区"方法的有效性和健壮性.最后为了进一步减小"元小区"方法中的寻呼代价,提出了强制更新策略,它强制移动终端在穿越两颗卫星覆盖区的边界时进行位置更新操作.

摘要:组播是面向组接收者的首选网络通信技术,其重要性随着Internet的发展日益突出.组管理协议IGMP不提供成员接入控制.为了保护通信机密性,安全组播使用仅为认证组成员所知的会话加密密钥(SEK)来加密业务数据.每当组成员关系发生变化时,都应动态更新SEK,密钥分配也就成为安全组播研究的关键问题.在设计密钥分配算法时,通信开销、存储开销、抗冲击性和计算开销被认为是4个重要因素.提出了一种利用多项式展开的组密钥分配方案,其特点是不使用传统加密和解密.分析表明,其在小型组播中可获得较好的性能.将基于多项式展开的该算法与逻辑密钥层次结合,又提出了一种PE-LKH方案,在保留通信开销随组规模呈对数增长的同时,其计算复杂度有效降低,可适用于大规模动态群组.

摘要:现今Internet中的交换机/路由器面临着高交换速率和提供QoS保证的双重挑战.前者要求交换机/路由器的缓冲存储器尽可能地以链路速率工作,后者要求交换机能够完全模仿OQ(output queuing)交换机的行为.而目前的CIOQ(combined input-output queuing)设计方案需要交换机内部加速2倍.提出了采用并行技术的重端口交换机(duplicated ports switch,简称DPS)设计方案.该方案可以使交换机工作于输入链路的速率且其行为与OQ交换机的行为等价,并证明了为完全模仿OQ交换机行为,端口重数为2是充分必要的.

摘要:在分布式Web服务系统的研究中,基于内容的调度策略日益受到关注.但是,基于内容的请求调度带来的额外开销使得调度节点成为系统的瓶颈,限制了系统规模.为了实现系统的容错和扩展,集中讨论了分布式调度策略的设计问题,并针对难于分布的面向缓存调度策略设计了相应的分布式调度算法DWARD(distributed workload-aware request distribution).基于LINUX IP协议栈的系统测试表明,DWARD算法可以在适当调整的情况下获得良好的性能.

摘要:虚拟内窥镜可用来对人体内部管腔结构进行无损检测,在医疗诊断及手术上有着重要意义.要想快速准确地进行虚拟内窥漫游,一个首要的步骤是要先提取出模型的中心线以指导视点的移动.提出了一种基于Hessian矩阵的中心路径提取算法.在距离变换的基础上,先利用Hessian矩阵的几何意义找出中心线的大致形状作为初始路径;然后进行可视性检测以确定最终的路径点,可视球的半径通过Hessian矩阵的特征值自适应地确定;最后用最短路径生成算法得到模型的中心路径.实验结果表明了该算法的有效性.

摘要:带有复杂型曲线插值约束的细分曲面的生成,是计算机图形学及几何造型技术等领域所关心的一个问题.鉴于此,提出了一种高效的可以插值三次NURBS曲线的细分曲面生成方法.只需在被插值曲线的控制多边形两侧构造具有对称性质的四边形,构成对称网格带;证明了对该对称网格带应用Sederberg等人提出的非均匀Catmull-Clark细分规则以后,它将收敛于这条被插值曲线.因此,含有这种对称网格带的多面体网格的细分极限曲面即为满足曲线插值约束的细分曲面.应用该方法,既可以插值单条NURBS曲线,也可以插值由多条NURBS曲线组成的曲线网格.因此,该方法广泛适用于产品外形和图形软件设计.

摘要:在参数化CAD设计中,设计者常常遇到判断一个参数化模型是欠、过和完整约束的问题.针对这个问题,提出了一个判断参数化模型的欠、过和完整约束性的图论算法.该算法不仅能够给出判断,同时还能够对欠和过约束的情形进行定位,即能够给出欠和过约束发生的具体位置.这给设计者在设计过程中提供了很大的方便.

摘要:面部表情的分析与识别,不但在社会生活中具有普遍意义,而且在计算机的情感计算方面也起着有重要作用.关于表情运动特征的分析,有根据人脸面部几何结构特征的变化来分析的,有根据特征脸的概念定义的"表情空间"来分析的,也有从特征点跟踪的方法或运动模板的角度来分析的.基于人脸面部物理-几何结构模型,提取面部表情特征区域,通过动态图像序列中的光流估计,计算其运动场,进而计算特征流向量,把一组图像序列的运动向量组成运动特征序列,对表情的运动进行分析.该系统作为一个智能体应用到多功能感知机中,作为视频通道输入的一部分来理解人类的体势语言信息.

摘要:对CAGD中常见的多项式曲线和有理多项式曲线的导矢的界提出了新的估计公式.基于这些公式,对参数曲线的逐点绘制法进行了研究,提出了新的插值规则,较好地解决了以往绘制算法中出现的重复绘制问题和不连续性问题.这些结果可以明显地提高曲线造型、求交、逼近、显示和绘制的效率.