摘要:提出一个生成中国画风格水动画的方法.首先检测手工绘制国画水波的位置,然后利用自回归模型合成这些水波形状.合成的水波用基于图像方法来绘制以使水波与手工绘制国画风格一致.最后,将水波放在手工绘制的国画环境中运动起来构成动画.所附图例展示该方法能够获取手工绘制水波样本的统计特性而生成富有变化的非真实感水动画序列.

摘要:通常大多数三维参数化CAD系统都只用平面和球面作为最基本的作图工具,这在某种程度上限制了三维参数化CAD系统的作图范围.通过引进一类新的作图工具,使得三维参数化CAD系统的作图范围得到扩大. 同时证明了一个三维几何图形可以用平面、球面和圆锥曲面构造出来的充分必要条件是这个三维几何图形可以用一个三角化的次数小于9的代数方程组来描述.通过引进圆锥曲面作为新的作图工具,著名的三维Appolonius作图问题可以被完全求解.

摘要:提出了区间B样条曲线的降阶问题,并给出了两种不同的降阶方法:整体降阶法与分段降阶法.给出了两个实例来说明算法,并比较了两种算法的优劣.实验结果表明,无论对均匀区间B样条曲线还是非均匀区间B样条曲线,分段降阶方法比整体降阶方法都更有效,而且能得到更紧的降阶区间B样条曲线.

摘要:光照是真实感图形绘制和许多图像应用中的一个非常重要的因素.提出了一种完全基于图像的方法来反映光照变化在绘制对图像时的影响.所提出的方法不是直接去估计对象反射模型中的参数,或是去拟合BRDF函数,而是用奇异值分解(SVD)来拟合Lambertian 对象在光照和几何朝向变化情况下的所有图像集合.其中,光线方向的解析表达可以由样本图像、基图像以及已知类对象的图像集导出,对象在新的光线方向下的图像可通过适当地线性组合基图像而有效地绘出.另外,利用对SVD系数的线性插值可以生成反映对象几何朝向和光线变化的连续变形

摘要:在计算机辅助几何设计(CAGD)中,曲面曲线的凸性是一种重要的特性.旨在解决多项式的正性和凸性问题.凸性可以通过正性来解决.通过推广经典的Sturm定理,得到一种多项式正性的算法.由此提出了任意阶多项式为正的一个充要条件,也提出了一个实用的算法,从而可以只用此多项式的系数来表示得到的充要条件.

摘要:纤维缠绕模式在计算机辅助纤维缠绕中起着关键的作用,然而对于非轴对称纤维缠绕设计,目前还没有稳定、可靠的模式设计方法.另外,如何有效地处理纤维路径设计中产生的大量数据也是非轴对称纤维缠绕的一大难题.给出了用于弯管的纤维缠绕模式和一种被称为节点存储法的新的数据处理方法.

摘要:给出了用双三次多项式逼近椭球的一种简明方法.逼近椭圆的误差为273×10^-6,逼近椭球的误差为545×10^-6

摘要:使用能量攻击对MARS 和Rijndael进行了深入分析.结果表明:对于256,192和128比特密钥的MARS算法,能量攻击的复杂度平均分别为2²⁸⁸,2¹⁶⁸ 和 2116.对于256,192和128比特密钥的Rijndael算法,能量攻击的复杂度平均分别为2¹³¹,2⁹⁹和267.虽然攻击的复杂度实际上无法达到,但是此攻击方法大大降低了MARS 和Rijndae的密钥规模.

摘要:介绍了一种新的基于受限汉语的数据库自然语言接口NLCQI(natural language (Chinese) query interface)的系统模型及设计框架.给出系统实现中具有特色的多栈结构的中间语言以及以关联路径搜索方法实现的中间语言向SQL转换的策略.实验表明,该系统采用的非过程化汉语查询句表达方式较自然,对汉语句型的理解、处理能力有较大的改进.

摘要:Internet上的可靠多播具有很大的应用前景,但是同时也面临着挑战,主要是因为Internet的异构性以及IP Multicast仍不能广域内得以实现.提出了一种应用层语义可靠的自适应多播体系结构(application semantics reliable multicast,简称ASRM).ASRM不以IP Multicast为基础,而是采用一种混合IP单播和多播的方法来实现多点数据通信.ASRM采用一种简单、自然,且具有更好的伸缩性的方法来命名多播会话,并可以在转发过程中,根据变换模型、变换规则和

摘要:缺乏特征模型的有效性维护功能已经成为目前特征造型系统存在的一个严重而亟待解决的问题.在对特征有效性条件进行深入分析的基础上,提出了一个基于扩展属性邻接图(extended attributed adjacency graph,简称EAAG)的特征有效性表示方法,特别是提出了基于局部特征识别的特征有效性维护新方法.该方法不仅能够自动判别特征的有效性是否被破坏,而且能确定导致特征无效的原因和遭破坏后特征的状态,从而能够根据用户的意图自动维持特征模型的有效性.

摘要:针对传统单种群进化类算法(conventional evolutionary algorithms,简称CEAs)求解基因连锁问题的不足,基于生物界共同进化机制提出求解NK基因连锁问题的合作式共同进化算法(Coevolutionary algorithm,简称CoEA),探讨其子种群的合作方式与个体适应值的计算方法,并从数学上分析该算法的性能,指出共同进化算法中高于平均适应值模式的递增指数高于传统单种群进化算法.仿真结果证实了理论分析.结果表明,共同进化算法比传统单种群进化算法对求解基因连锁问题的效力和效

摘要:建立了一个面向最小特权管理的修改BLP安全模型.该模型引入了角色管理、域隔离、隐蔽通道限制、病毒防护等概念,并实际应用于自主开发的安全操作系统SecLinux中.

摘要:传统的手工建筑工程量统计方法不仅费时而且容易出错,利用计算机自动完成工程量统计工作则可以很好地解决这一问题.介绍了一个基于规则的建筑结构图自动识别系统(automatic interpretation of structure drawings,简称AISD).该系统以矢量化后的电子图档为基础,通过总结建筑工程图结构特征及绘图规则,自动分析图中的各种图形元素、符号以及其关系,理解各种部件信息,并加以综合,以获取正确的建筑工程钢筋用量.通过对工程图的特征进行详细的研究,总结出一套基于规则的适应不同类型工程图

摘要:提出一种多媒体通信机制--服务质量受控型管道,作为基于服务质量的平台层点对点多媒体通信抽象,以支持分布式多媒体应用的描述与开发.给出了服务质量受控型管道的形式定义,详细讨论了其工作过程.该抽象已经成功地应用于分布式多媒体信息点播系统和分布式多媒体信息系统等.实践表明,服务质量受控型管道既可以直接支持点对点多媒体通信,也可以作为多媒体组通信抽象的基础.

摘要:基于镜头的分类和检索对于视频库的管理和查询非常重要.将"最近特征线"法(nearest feature line,简称NFL)用于镜头的分类和检索.将镜头中的代表帧看做是某个特征空间中的点,通过这些点间的连线表征该镜头的总体特征信息,然后计算查询图像和特征线的距离,以决定镜头与查询图像的相似度.为了更适于视频数据,对原来的NFL方法进行了改进,基于镜头内部内容活动程度对特征线进行限制.实验结果表明,改进的NFL方法比传统的NFL方法以及常用的聚类方法,如最近邻法(nearest neighbor,简称NN

摘要:为了满足Internet上各种网络应用的传输服务质量的需求,Internet工程任务组(IETF)先后提出了集成服务/资源预留模型(integrated service/resource reservation protocol,简称IntServ/RSVP)、区分服务模型(differentiated service,简称DiffServ)以及从流量工程角度提出的多协议标记交换(multi protocol label switching,简称MPLS).这些服务模型都需要一个与之相适应的QoS路由机制

摘要:传统人体动画技术计算量大,缺乏真实感,制作成本昂贵.为此,提出了一种基于紧身衣和相机定标的新的人体动画技术.将身穿紧身衣模特的运动拍摄成视频后,可在图像序列中自动跟踪人体关节信息,并建立透视投影下的三维人体运动骨架序列,最终通过自动生成BVH(biovision hierarchy)文件与当今流行的Poser, 3DMax等人体动画制作软件接口,将模特的运动信息赋予新的角色.该方法具有运动信息来源广泛、高效、制作成本低等特点,而且产生的人体运动非常真实.这不仅将动画师从枯燥的工作中解放出来,而且也可用于家

摘要:如何描述分布数组是基于网络数据并行计算的基本问题.从网络并行计算的一般需求出发,讨论了分布数组描述DAD(distributed array descriptor)的内容和结构,具体给出了p-HPF并行编译系统的DAD结构定义.针对分布数据的稀疏存储和紧凑存储模型,给出了数据在Block分布、Cyclic分布和Block_Cyclic(k)分布方式下,全局数组到局部数组转换的计算方法,这些方法已在p-HPF编译器中得到实现并证明了其有效性.最后讨论了分布数据描述的标准化对实现并行计算系统的可移植性和可重用

摘要:名字解析机制是移动Agent技术研究的重要课题.目前,多数基于域名系统的名字解析机制由于算法自身的复杂性限制,很难实现移动对象的应用级位置透明性访问.全局的、与位置无关的命名和名字解析极大地方便了移动Agent系统通信模型和导航模型的建立,具有良好的实用性.通过引入一种基于全局命名模式的名字解析机制,为移动Agent系统建立了一种全局统一的命名方法--UON(universal object naming),并从对象的注册、对象的移动和移动对象的访问3个方面给出了名字解析的具体实现过程和相关算法,从而有效

摘要:Internet同时面临着两个问题:更快的交换路由结构和引入服务质量(QoS)保证.每个问题都可以独立解决.高性能路由器可以用输入缓冲的交叉开关(crossbar)代替共享内存来获得更快的速度;QoS能够通过分组公平排队算法PFQ(packet fair queuing)来得到.然而到目前为止,这两个问题的解决还是互斥的--所有的分组公平排队算法研究都需要路由器采用输出排队或者集中式共享内存.基于输入输出结合排队CIOQ(combined input output queuing)结构,设计和实现了一种分

摘要:协调是分布组件系统中的基本问题之一.但是,协调问题至今仍未得到很好的解决.根据实际应用的要求,提出了Concerto协调模型.它以Petri网为数学理论基础,扩充了Petri网的语义,引入了控制缓存和数据缓存,分别反映了分布组件的控制依赖和数据依赖关系,统一了现有的控制驱动和数据驱动两类协调模型.对于Concerto模型的运行,提出了驱动模式、动作规则和Concerto引擎.驱动模式有4种:依赖操作时间的驱动、依赖最小时间的驱动、依赖最大时间的驱动和依赖平均时间的驱动.这些驱动模式在实时系统、流量控制和任

摘要:直线绘制是光栅图形学中一个最为基本的任务,加速传统直线绘制算法有着重要的实际意义.提出了一种新的直线绘制算法.与传统的直线绘制算法不同的是,该算法将直线直接表达成一串由0或1组成的位移码,并给出一个直线位移码的快速计算公式;在此基础上,通过对直线位移码周期性的分析,提出了一种新的自适应多步绘制算法.实验和理论分析表明,该算法能够大大减少生成直线的计算量,提高直线的绘制速度.

摘要:MAS中建立对手模型,并进行意图和规划识别是有效交互的必要条件.BDI是描述思维的有效手段,可用来建立通用的对手思维状态模型.当前对手模型的研究偏重于对单一行为结果的推断,不能充分表示并发多意图及其关系,也不利于实时地的为决策提供支持.提出的基于BDI建立通用对手Agent模型的算法改进了Anand S.Rao和Milind Tambe等人有代表性的研究成果.

摘要:提出了一个对不确定信息进行表示、推理和学习的统一框架.通过引入4-值认知结构刻画不确定性,提供了更强的度量能力和更高的推理效率,同时支持相关不确定信息的有效获取,从而更加接近实际应用的需要.

摘要:给出了一种基于边删除的多边形网格分辨率模型生成算法,通过递归地删除网格模型中的边,从而得到连续的简化模型.算法建立了可调加权控制函数来控制边的简化顺序.在模型简化的不同阶段,通过调节控制函数的权值执行不同的简化原则,使得视觉重要度低的边优先删除.此外,通过建立独立集,避免了模型的局部过度简化.算法用临近点插值模板,求取边简化生成的新点.实验结果表明,该算法可实现较理想的场景简化效果.

摘要:在对非封闭曲面、简单封闭曲面和多连通封闭曲面的特点进行分析之后,提出了一种多连通封闭曲面离散点集的3D三角划分算法.该算法无须对离散点集所对应的自由曲面进行分片,直接在3D空间根据曲面的形态变化向前逐层推进生成三角网格.算法同时还适用于非封闭曲面和简单封闭曲面两种情形.实验结果表明,该算法的划分效果优良,能够满足曲面重构的需要.

摘要:对于多种视频传输业务,传统的分层可分级性已不能很好地满足要求,编码器需要提供码率可分级性.采用改进的零树小波编码算法生成了高性能的嵌入式码流,实现了一个码率可分级视频编解码器.而在码率可分级编解码算法中,同一码流需要在较大的码率范围内保持编码效率.目前的解决方案在目标码率提高时,重建图像的质量得不到有效的改善.指出了码率可分级编码算法不仅要考虑误差扩散问题,还要考虑帧间依赖关系,并提出了一种新的算法.实验结果表明,该算法使同一码流能在多种码率下提供更好的重建图像的质量,而且所提算法可用于其他采用运动补偿算

摘要:提出了一种基于E-Chunk的多引擎机器翻译模型.该模型以中心语驱动的分析技术为基础,通过词汇相似特征计算E-Chunk的匹配代价,自底向上地完成最优E-Chunk覆盖的构造,并以E-Chunk为基本翻译单元完成机器翻译过程.初步的实验结果显示,该方法在面向领域文本的自动翻译方面是有效的.

摘要:采用最新提出的递进网格算法来解决虚拟内窥镜系统的关键问题.讨论了递进网格算法在数据结构、数据简化和漫游上的优点,接着分析了其在虚拟内窥镜系统中应用的特殊性,也提出了一些局限性.提出了改进的递进网格算法,并给出算法的实现和结果.改进的算法较好地解决了数据简化、基于LoD的漫游等核心问题.

摘要:提出了一种新的规划表示方法及规划知识图的概念.与目前规划识别领域广泛使用的Kautz方法相比,新的规划表示方法更加简便与直观.由于在规划知识图中增加了支持程度的概念,使得规划的识别可以随着收集到的新证据而合理地加以改变.所提出的基于规划知识图的规划识别算法把规划的识别问题转化为图搜索问题,因而其效率更高,但其识别结果与Kautz方法是一致的.

摘要:任务调度是影响工作站网络效率的关键因素之一.Fork-Join任务图可以代表很多并行结构,但其他已有调度Fork-Join任务图算法忽略了在非全互连工作站网络环境中通信之间不能并行执行的问题,有些效率高的算法又没有考虑节省处理器个数的问题.因此,专门针对该任务图,综合考虑调度长度、非并行通信和节省处理器个数问题,提出了一个基于任务复制的静态调度算法TSA_FJ.通过随机产生任务的执行时间和通信时间,生成了多个Fork-Join任务图,并且采用TSA_FJ算法和其他调度算法对生成的任务图进行调度.结果表明,

摘要:统一建模语言UML存在着面向对象建模的不足,例如,用多个模型表示系统,模型的一致性难以保证.UML的工作主要集中于面向对象的分析和设计阶段,在实现阶段并没有做过多的努力等等,给系统设计带来了不便.提出了在UML建模环境中引入对象过程图(object-process diagram,简称OPD),为多个模型的一致性提供了统一的标准,提高了程序文档的可理解性和可维护性,使得扩展后的UML具备从面向对象分析到程序设计的完全可视化的描述能力.

摘要:企业过程模型参数自动优化是一个多参数多目标的系统优化问题.采用线性加权法将其转换成多参数单目标问题的求解,提出基于计算机模拟的企业过程模型参数的自动寻优方法.它将传统的共轭梯度法FR(fletcher reeves)和禁忌搜索算法TS(tabu search)结合起来,采用FR法进行局部寻优,由TS法实现从当前局部最优点向全域范围内的更优区域转移,循环往复达到求出全域范围最优点的目的.改进了FR法与TS法,克服了各自的缺陷,并提出禁忌区域表的概念,从而加速寻优过程.它适用于任意多维曲面的多极值问题最优求解

摘要:提出了一类新的支撑矢量机核函数--坐标变换核.该类核函数是同维映射.理论证明和计算机仿真实验都表明了该类核的正确性和有效性.

摘要:FISH系统是一个用于支持先进应用(如GIS,EC,CIMS)的新一代分布式对象数据库系统.该系统采用了许多新颖技术,如DSVM(distributed shared virtual memory)、持久堆、页式对象、透明锁、紧凑提交等.重点介绍了该系统的总体结构和设计思想,特别是FISH系统在Windows NT上实现所涉及的底层技术,包括内存映射、共享内存、远程过程调用、多线索连接、页面故障处理等.基于OO7的性能测试表明,FISH系统在NT机群环境下取得了与在分布式UNIX环境下同样高的分布执行效率

摘要:针对进化神经网络中遗传算法收敛速度慢和容易早熟这两个难题,提出了一个启发性的变异算子.该算子采用了自适应的变异率和启发式的变异位的选择策略.在多代无进化时,通过提高变异率扩大搜索范围,同时减小变异量进行更细致的搜索.求解XOR问题的实验表明,该算法既具有很快的收敛速度又能自动维持群体的多样性.

摘要:指代消解是语篇机器理解中的重要一环.研究发现,由于表示语篇本身某一部分而非语篇内容的元指代现象普遍存在,语篇元指代消解也就成为困扰着语篇机器理解实现的困难之一.对语篇中的元指代现象进行了分析,提出句焦点的概念,并在句焦点集的基础上,用优先和过滤算法实现了元指代的消解.在使用自然语料的实验中表明,句焦点集的作用对于元指代机器消解有重要作用.它丰富了语篇分析和表述理论,对汉语语篇分析理解中寻找元指代关系,从而完成连贯语篇意义具有重要意义.

摘要:JAPS-II(Java automatic parallelizing system version 2)是一个Java源代码重构编译器,用来发现和实现串行Java程序中对象内和对象间的并行性.其目标体系结构为基于工作站网络环境的分布式存储器计算机系统.介绍了JAPS-II的体系结构和实现JAPS-II的关键技术,包括用于对象并行性分析的数据流分析技术、提高对象并行性和减少运行开销的优化技术以及类重构和代码生成技术.测试结果表明,JAPS-II能够有效地发现循环中和对象内、对象间的并行性,获得加速比.这

摘要:传统的概念设计方法由于缺乏真实感的交互手段,难以直观表达设计者的意图.基于虚拟原型的概念设计不仅能为设计者提供逼真的虚拟设计环境,而且充分体现了现代设计的成本低、周期短以及灵活性强等特点.针对概念设计的特点以及虚拟原型的特征分类,提出了基于虚拟原型的概念设计模型V-desModel,其核心是利用产品视图模型描述设计对象,将虚拟特征概念融入视图模型中,并采用可扩展"三维实体-约束图"来描述设计对象之间的约束关系.V-desModel模型能有效地支持基于虚拟原型的概念设计过程,较好地解决了概念设计中产品虚拟原

摘要:对可逆的线性变换进行了改造,使之成为整数到整数的变换.首先介绍了3类基本的整数可逆变换,在此基础上,通过对给定线性变换的矩阵分解,给出了一个可逆线性变换整型化的充要条件及其构造方法.该整型变换是可逆的,因此非常适合于无失真的数据处理,如语音或图像的无损压缩.

摘要:企业在面临电子商务的挑战中,越来越重视业务过程重组.建立一种合理的流程模型是成功开展BPR(business process re-engineering)的关键.这样的模型应该可以集成企业许多业务相关的信息并且是可被系统解释执行的.在参考WfMC(workflow management coalition)元模型基础上建立了一种基于ECA(event-condition-action)规则和活动分解的工作流模型.ECA规则反映活动之间的执行依赖关系,通过重写办法把ECA模型变为触发器形式的TA(trig

摘要:多维向量的索引技术是多媒体数据库系统中的关键技术之一.集中研究基于向量空间模型的动态索引结构,以解决在图像数据库系统中按内容快速检索图像的对象问题.在分析研究R-Tree和R*-Tree的基础上,提出了ER-Tree动态索引结构.该索引树用超球体划分多维向量空间,以有利于计算最近邻;吸取R*-Tree树的重插技术,以增强索引树对数据集整体特征的表达能力,从而提高检索效率;通过引入插入安全点和删除安全点概念,有效地提高建树的效率.同时,给出了基于该结构的特征向量插入算法.实验结果表明,所提出的索引结构建树的

摘要:提出的Java芯片操作系统是一个基于Java芯片系统的、针对嵌入式应用的面向对象操作系统.它由服务器、内核和转换层等3种组件构成.这些组件的抽象特征构成了其基本框架.特定组件继承了上述的特征,并进行特化.与经典操作系统相比,该操作系统更容易开发和维护,并具有更好的可伸缩性、代码的可重用性和可移植性.介绍了该操作系统的结构、运行模型以及实现技术,并与相关的工作进行了比较.

摘要:提出了一种基于序列的文本自动分类算法.该算法利用了文本中两个层次的语义相关性:句子(子模式)之间的相关性和句子内代表特定含义的关键词(概念节点)之间的相关性,这样就实现了对关键词的动态加权.对于不含有关键词的子模式,采用Markov模型来对其信号幅度进行估计,从而生成一个待分类文本的特征序列.在中文文本分类实验中,可以达到83%的BEP值.此外,该算法在实际系统中容易实现.

摘要:表格框线检测是表格识别的基础.现有的表格框线检测算法或者速度慢,或者鲁棒性差,而且没有充分利用表格框线之间的约束信息.提出了一种基于所定义的图像结构基元"有向单连通链"的自底向上表格框线检测算法.在此算法中,有向单连通链是一种黑像素游程序列,作为非常合适的矢量基元,在引入一定表格框线约束信息的条件下合并单连通链,有效地去除伪框线,补全断裂的框线,提高了算法的鲁棒性,可以准确而快速地提取表格框线.通过滤除噪声单连通链,加快单连通链的合并速度,算法速度提高了3~10倍,满足了实用要求.实验证明,该算法具有速度

摘要:零树小波编码器EZW和SPIHT是近年来最优秀的两个编码算法,不足之处在于其表示父子关系使用了较多的辅助位.基于形态学表示的编码器MRWD是另一成功的编码算法,其不足之处在于没有利用带间小波系数相似性.利用这些编码器的优点,并基于小波数据的形态学表示,开发了一个新的高效小波编码器.新的编码算法的主要特点在于充分利用了带内小波系数的聚类特性和带间小波系数的相似性以及幅值衰减性.最突出的特点是利用形态算子和带间相似性进行聚类预测,从而克服了前述3个编码器的不足.具体数值实验结果表明,该算法的编码效率优于上述3

摘要:针对障碍物检测问题中特殊的要求和特点,受原有的利用特征点匹配计算视差方法的启发,提出了一种全新的快速匹配检测障碍物的方法--表面方向法,可以描述平面的方向.与计算深度确定障碍物的方法不同,该算法根据物体表面基本与地面垂直这一特性来检测障碍物.

摘要:如何将n个独立任务调度到m台同型机上加工,使总完成时间最短,是一个复杂问题.通过分析Bound Fit预备算法的性质,结合MULTIFIT和Bound Fit提出QUICKFIT算法;对相同机器数和任务数,QUICKFIT能用比MULTIFIT和Bound Fit都少的迭代次数得到相同的总完成时间.实验结果表明,任务机器比越大,QUICKFIT算法的性能就越优于MULTIFIT和Bound Fit.绝大多数情况下,总完成时间等于MULTIFIT和Bound Fit中的最小者.该算法适用于大规模同型机调度.

摘要:提出了一种进行高分辨率SAR(synthetic aperture radar)图像阴影和目标检测的新思路.首先给出了基于等效视数模型的图像RCS(radar cross section)重构算法进行阴影检测,然后通过非线性积累,达到目标检测的目的.与CFAR(constant false alarm rate)检测相比,能够检测到阴影和更多感兴趣的目标.

摘要:通过对局部最优吸引域的分析,说明了种群隔离的作用.以局部演化的方式,实现了种群间分离与种群内自聚集,使多峰函数优化问题转化为单峰函数优化问题.结合在单峰函数优化中收敛速度较快的、基于空间划分的((+1)演化方法作为基本的演化操作,提出了种群按照吸引域自动分离与聚集的演化算法.最后给出了运算实验的结果.

摘要:针对目前工作流管理系统在描述能力和柔性上存在的严重不足,提出了一种基于协调理论和反馈机制的工作流建模方法.该方法扩展了传统活动网络模型,提出了新的建模机制,增加了请求、服务、协调、多实例化等新的建模元素.详细给出了扩展建模元素的实现机制和应用场景,同时还给出了两个模型实例.研究结果表明,与传统的活动网络模型相比,该建模方法在提高模型描述能力、降低模型复杂性、提高系统柔性及适应性方面有明显优点,对于设计开发高可靠性、柔性和适应性的工作流管理系统具有重要的应用价值.

摘要:通过引入与余差有关的代价函数,给出了一种高精度估计基础矩阵的线性算法--加权平移算法.首先将原始输入数据加权,计算加权后数据的重心坐标,将坐标原点平移到该重心坐标,再作归一化处理.然后用8点算法求出基础矩阵F阵的8个参数,实现了F阵的高精度估计.实验结果表明,此算法具有良好的鲁棒性,且余差和对极距离都小于其他线性算法,提高了基础矩阵的精度.

摘要:随着Internet流量的日益增加,依赖平均队列长度管理拥塞控制的RED(random early detection)队列管理算法有其内在的缺点,即使结合IETF(Internet engineering task force)明确的拥塞通知ECN(explicit congestion notification)也不能有效地阻止包丢失.在分析比较RED算法和BLUE算法的基础上,提出了一种加强的主动队列管理机制--EBLUE(enhanced BLUE),然后结合EBLUE研究了TCP的拥塞控制机制,

摘要:在多智能体交互的研究中,KQML(knowledge query manage language)通信模型是最具代表性的.通过对KQML通信模型的分析,为实现在知识水平上面向智能体编程所需的通信支持作了一定的阐述.首先,通过建立KQML状态模型和KQML通信的转换模型,分别针对同步和异步通信模型分析了其实现的必要条件.其次,对KQML模型在通信过程中将出现的死锁及资源匮乏问题,从KQML状态转换模型的角度分析了其产生的原因,并指出解决问题的根本途径.最后,指出KQML同步和异步通信的在多智能体交互中的优缺

摘要:研究了调节凸Bézier曲面、B-样条曲面及NURBS曲面(BBN曲面)一个控制点以后,曲面形状变化的规律.通过将BBN曲面分解成一张凸曲面与具有特殊形状曲面的叠加,建立了曲面变形前后一些几何量与变形位移量之间的数量关系,得到了凸BBN曲面失去凸性的充分条件和判据.相应的结果可应用于调节与控制BBN曲面形状的算法设计.

摘要:介绍了为曙光3000并行机开发的基于Java/CORBA的远程文件浏览器RFB(remote file browser)的设计与实现.在传统的并行机上,用户通过命令行接口对文件系统进行组织和管理,这给用户带来了诸多的不便.为此,设计并实现了一个具有图形用户界面的文件浏览器以支持用户对并行机文件系统的访问.RFB采用客户/服务器模式,实现了图形用户界面和对文件系统访问的分离.图形用户界面的实现采用Java语言及其图形工具包Swing,从而具有平台独立的特点,而客户/服务器之间的通信则采用当今流行的CORBA