极小(C_4,K_5;11)-平面图

若n阶平面图G的任一子图都不与H_1同构,且G的任一子图都不与H_2同构,则G称为(H_1,H_2;n)-平面图;平面Ramsey数指不存在(H_1,H_2;n)-平面图的最小n。本文利用对称性及反证等方法,得到了所有的极小(C_4,K_5;11)-平面图,有助于证明平面Ramsey数。     

且群机器人队形控制的人工力矩法

为了得到一种一般性的队形控制方法,首先给出了一种新的队形表示图：吸引线段式主．从队形图和组群机器人的系统模型．然后基于上述成果和文中定义的两种人工力矩：主吸引矩和从吸弓l矩,提出了一种新的队形控制方法：人工力矩法．文中介绍了该方法的基本原理,并给出了机器人运动控制器的数学模型．最后运用Liapunov稳定性定理证明了系统的稳定性并给出了仿真．理论和仿真结果表明,给出的队形表示图和队形控制方法是可行且有效的．     

面向下一代互联网的可扩展路由器体系结构——MPFS

随着以IPv6为核心的下一代互联网的发展，现有路由器体系结构在性能、复杂性、扩展能力和节能等方面存在许多难以克服的问题，特别是随着网络规模的扩展，如何实现大容量lPv6FIB（forwarding in formationbase）线速查找是下一代高性能路由器设计面临的重大挑战．文中提出一种与目前分布转发集中交换结构不同的新型路由器体系结构——MPFS（massive parallelforwarding and switching）．MPFS基于FIS（forward in ginswitching）思想，将网络处理器嵌入到可扩展多级交换网络中，通过流水和分布并行方式实现转发．与MPP（massive parallel processing）一样，MPFS通过互连大量简单同构的FSN（forwarding and switching node）实现可扩展的转发和交换．重点研究了MPFS中IPv6 FIB查表问题，提出了将IPv6 FIB映射到多级FSN上的方法．模拟和计算表明基于现有DRAM器件和Tree Bitmap查找技术，MPFS可在40Gbps接口上实现包含1M个IPv6前缀的FIB的线速查找．最后提出了一种基于MPFS体系结构的吞吐率为160 Tbps的核心路由器实现方案．     

机构运动几何学的统一曲率理论

基于微分几何学方法导出了结构运动的瞬心线和瞬轴面及其不变量的表达式，并阐明了不变量的运动学意义，讨论了平面运动，球面运动和空间运动连杆上点的轨迹及空间运动连杆上直线的轨迹的不变量性质，建立了由平面到空间在形式上和内容上统一的机构运动几何学曲率理论。     

极小(C_4,K_4;7)-平面图

若平面图G没有与H1同构的子图,且G没有与H2同构的子图,则G称为(H1,H2)-平面图.(H1,H2;n)-平面图表示n阶的(H1,H2)-平面图。若G是(H1,H2;n)-平面图,去掉G的任意一条边,都不再是(H1,H2;n)-平面图,则G称为极小(H1,H2;n)-平面图.本文给出了所有的极小(C4,K4;7)-平面图,有助于证明PR(C4,K8)。     

一种可重构模块机器人中心构形的选择方法

可重构模块机器人具有多种构形以适应不同环境和任务的要求，构形的多变增加了构形研究的难度．在可重构模块机器人的众多构形中，中心构形作为可重构模块机器人的首选构形或基准构形，对系统的实际应用有重要参考价值．文中提出了一种在所有构形中选择一个中心构形的方法．根据构形之间可以相互转化的拓扑特征，利用网络图中的基本思想和原理对可重构模块机器人的构形进行建模；相应定义了构形转换耗值矩阵和构形中心因子，根据最大构形中心因子可以对中心构形进行选择．以中国科学院沈阳自动化研究所研制的三模块可重构机器人AMOEBA-1为例，利用仿真计算的结果对机器人9种构形的中心因子进行计算和比较，验证了该方法的可行性．最后根据构形邻接数，给出了中心构形选择方法的应用举例．此方法还可以适用于其他可重构模块机器人系统中心构形的选择．     

H2／O2可燃系统着火时间的极值和临界特性研究及应用

提出了P-T图上反映可爆平面着火时间分布特征的极小值L曲线、极大值H曲线和临界值C曲线，其与临界爆炸曲线一起，使得人们对P-T图上任一状态点能否爆炸以及爆炸过程实现的快慢能够获得全面了解．这3条曲线可以用1．2k1=ks[Ms]，（k11/k10＋1）k1=ks[Ms]和2k1=ks[Ms]来描述，从而为这些表达式赋予了物理解释，同时也为建立这3条曲线提供了新的途径．基于着火时间的等值线图，用热爆炸理论阐述了爆炸临界曲线具有“Z”字形．进一步，基于着火时间预测平板混合层超燃过程的点火距离，得到了合理的结果．     

联合状态差分检测方法及其在超宽带无线通信系统中的应用

首先提出差分编码器输入输出联合状态的概念，并设计出一种递归的网格图化简方法，实现了最大似然意义下的多符号联合差分检测．随后在此基础上，对衰落信道提出一种迭代检测结构，并将其应用于超宽带无线通信系统．仿真表明，在单位符号检测复杂度不变的前提下，检测性能可任意逼近多符号非相干差分检测的理论极限，并可有效地应用于实际通信系统中．同时它为各种类似的无记忆噪声中有限状态Markov过程的状态序列估计问题提供了一种新的解决方法．     

ICA和镜头分割结合的盲视频水印方案

视频数字水印是解决数字视频版权问题的主要方法．提出一种独立分量分析（independent component analysis，ICA）和镜头分割相结合的盲视频水印方案，它先通过全局直方图比较的方法将视频进行分段，然后对这些段进行ICA分解，在得到的主独立分量帧中采用SWE（single watermark embedding）方案嵌入版权信息．该方案利用视频序列镜头分割的方法，从内容上对视频进行定位，提高水印方案对于时间不同步的鲁棒性；通过在主独立分量帧中嵌入水印增强了方案对于视频内部共谋攻击的鲁棒性；采用SWE方案，实现盲检测．实验结果表明这个方案对于常见的基于帧的和基于视频的处理都有很好的鲁棒性；能够实现盲检测；对于时间不同步和视频内部的共谋攻击有较好的鲁棒性．     

基于密集采样成像算法的全芯片可制造性检查技术

分辨率增强技术(Resolution Enhancement Technology，RET)在集成电路制造中的应用使得光刻用掩模图形日趋复杂，而掩模制造成本和制备时间也随之增加．由于光刻工艺包含了一系列复杂的物理和化学过程，分辨率增强技术本身很难保证其输出结果的正确性，因此在制造之前，利用计算机对已经过处理的版图作可制造性验证变得十分必要．文中介绍了光刻建模、成像模拟和问题区域查找的算法，回顾和比较了当今流行的post-RET验证方法，并阐述了基于密集采样成像算法(Dense Silicon Imaging，DSI)的可制造性验证的必要性．并在密集采样成像算法的各个关键步骤提出了新的加速算法．在新算法的帮助之下，以往由于计算量太大而被认为不实用的基于密集采样成像的可制造性检查得到了实现．文章的最后部分给出了密集采样成像算法在实际中应用的例子和实验结果．     

两步EFOP参数估计的递推算法

经验频域最优参数（EFOP）估计方法是基于时域估计和频域估计的一种系统辨识方法．其优点在于能够降低噪声影响，对小样本数据的随机系统具有较好的辨识效果．利用松弛算法而建立的两步EFOP方法，可适用于ARMA和Box-Jenkins等模型．文中对受干扰的随机系统，推导出两步EFOP方法的递推算法．对新的递推算法进行了仿真，并利用实验结果分析和验证了该算法的有效性．     

一种高定位精度的安全JPEG图像认证水印算法

分析讨论了现有的JPEG图像认证水印算法存在的定位精度低和安全性差等问题，并实现了对现有认证水印算法的两种伪造攻击．在此基础上，提出了一种高定位精度的安全JPEG图像认证水印算法，推导给出了该算法在一般区域篡改和拼贴攻击下的篡改检测概率和虚警概率，该算法对每个图像块固定选取4个中频系数嵌入水印并利用剩余的DCT系数生成4比特水印信息，然后基于不同密钥分别选取每比特水印信息嵌入的图像块，使得每个图像块的4位水印随机嵌入在不同图像块对应的中频系数中，认证时根据图像块提取出的4比特水印信息并结合其九邻域判定该图像块内容是否被篡改．理论分析和实验结果表明：该算法不仅具有精确的篡改定位精度，而且具有很高的安全性和抵抗拼贴攻击的能力。     

基于干扰动态性建模的MHWN多路径路由协议

作为无线网络实现普适性的有效架构,多跳无线网络（MHWN）逐渐成为一个研究热点．但MHWN固有的媒质开放性、多跳性,干扰威胁也更加严峻．如何实现干扰条件下的可靠组网,成为MHWN研究的棘手课题．传统的方法多是基于干扰存在二元性来实现路由的优化选择,但这忽略了实际无线网络中,干扰往往是动态的．为此,本文提出了一种基于干扰动态性建模并融合多路径的路由算法．协议通过网络干扰动态性检测,利用干扰活跃度值获取遭受干扰最小路径,从而可有效提高网络抗干扰能力并极大降低源重路由次数．文中对协议的实现方法给出了详细的阐述,并基于网络仿真软件NS2对协议进行了较全面仿真比较,结果表明该方法相比已有协议不仅具有更好的路由抗干扰性能,同时在多业务流的冲突碰撞中也有很好路由优化能力．     

结构随机响应计算的一种数值方法

摘要应用降维数值积分和C型Gram．Charlier级数展开方法，基于有限元理论讨论了随机结构响应概率分布的计算问题．首先依据正交多项式权函数与随机变量概率密度函数的关系，给出了随机响应统计矩计算的降维数值积分公式；进而应用C型Gram—Charlier级数逼近获得了随机响应的概率密度函数；提出了基于有限元方法求取结构随机响应概率分布的计算流程．数值算例中介绍了平面十杆桁架结构最大位移的概率分布、由随机参数表征的某型车架固有频率计算和弯管结构随机VonMises应力分析问题，所得结果同蒙特卡罗数值模拟结果进行了对比验证．结果表明：文中计算流程能够获得较为准确的随机响应概率分布，特别是对概率分布尾部的估计精度达到10^-44-10^-3数量级，为机械结构安全性分析与设计打下基础；同时，算法的计算效率较高，与传统的数值模拟方法相比通常能够节约计算资源消耗两个数量级以上；第三，算法流程实现简单，不需要计算结构响应对基本随机参数的梯度和二阶灵敏度信息，也不需要对结构有限元矩阵的修改，因此可以充分发挥现有成熟有限元程序的优点，在个人计算机上实现工程随机问题的分析与计算．     

基于中间件的软件系统特征交互问题在线检测与消除

作为主流的Intemet软件系统运行支撑平台，中间件必须支持越来越丰富的交互模式．交互的多样和复杂以及Intemet开放、动态、多变等特点导致非预期交互产生的几率逐渐增加．这些非预期的交互可能导致服务降级，功能损失，甚至系统崩溃等严重后果．文中从电信领域特征交互问题的角度研究Intemet软件中的非预期交互问题，并提出了一个基于中间件的在线检测与消除方法．首先，对中间件使能的系统交互进行分类，与电信系统进行多角度的比较，并分析了4个实例，从而论证了Intemet软件特征交互问题的存在并考察其与电信系统特征交互问题的异同．随后，提出了以运行时软件体系结构为核心的在线检测和消除方法．该方法在J2EE环境中得以实现并成功解决了4个实例．     

基于可编程hash函数的短签名

数字签名中的短签名由于其签名长度的优势，特别适用于通信带宽受限的场合．现有的短签名方案大多是随机预言模型下可证明安全的，但是随机预言模型通常被认为过于理想化，现实中没有一种hash函数能够模拟随机预言模型，而少数标准模型下可证安全的短签名方案，一般被认为是低效的或者基于强困难假设，即攻击者被给于一定数量的随机的已解决问题实例，要求去解决一个它自己选择的实例．可编程hash函数fprogrammablehashflmctions，PHF）是一种能模拟随机预言的某些可编程特性的特殊hash函数．可编程hash函数可嵌入到签名的基本构造中，产生标准模型下的短签名．本文利用可编程hash函数设计了一个基于因子分解假设的短签名方案．它具有的优点是：1）签名长度短，只需要一个群上的元素和一个小整数；2）签名和验证计算量小，不需要在签名过程中进行生成素数的运算；3）不需要嵌入变色龙hash函数便可实现标准模型下可证明安全．     

一种计算圆形限制性三体问题周期轨道的新方法

周期轨道是理解圆形限制性三体问题动力系统的关键,在深空探测实践中具有重要的应用价值,现有的周期轨道计算方法通常需要以高阶近似解析解作为迭代初值,计算过程复杂且能得到的周期轨道种类较少．本文利用圆形限制性三体问题的对称性,通过构造相空间内的一类流函数,将位于对称平面上的状态再次映射到该对称面上,得到了计算周期轨道的构造流函数方法,该方法不需要以近似解析解作为迭代初值,也不需要计算状态转移矩阵,从而便于编程实现,其优点是不受圆形限制性三体问题非线性的影响,并可以系统地计算一大类具有x-z平面对称性的周期轨道．作为箅例,在平面情况下计算了Lyapunov轨道等周期轨道,并进一步将构造流函数方法与微分校正方法结合,设计了能在不同共振频率上跳转的共振引力加速轨道,最后,在三维空间情况下计算了晕轨道和多种三维周期轨道,证明了该方法的有效性．     

Mecanum三轮多向行走系统结构与运动原理

常规Mecanum轮一般用于组成四轮全方位系统。将三个完全相同的常规Mecnum轮放置在等边三角形的三个顶点，能构成一种具有实用价值的多向行走系统。该系统不需转向轮或转向机构，仪利用3个轮子旋转速度大小和旋向组合实现平面上一个绕车身中心的定轴旋转、三个沿车身三角形对角线的直线运动。并给出了该系统的结构图，分析了系统实现上述运动的运动学原理。     

一种基于TTCN-3的协议测试系统及其扩展研究

用户要求下一代互联网是一个更大、更安全、更快、更及时、更方便、更可管理的网络．为下一代互联网服务的协议测试技术需要适应这些测试需求．文中重点研究了协议测试中的测试集描述法和测试实现技术．选取了TTCN-3作为测试集描述法,并针对协议鲁棒性测试需求进行了语法和语义扩展．开发了基于TTCN-3的协议集成测试系统PITSv3,并对其进行了鲁棒性测试扩展实现．最后通过两个实际的测试应用,体现出PITSv3是一个具有通用性、标准性、可扩展性特点的分布式测试平台．     

考虑工艺参数变化的安全时钟布线算法

在超深亚微米（VDSM）工艺下，由光刻工艺带来的光学邻近效应不可忽略，时钟偏差受到光学邻近效应等工艺参数变化的影响非常严重。提出了一种带缓冲器插入的安全时钟布线算法，来防止因光学邻近造成线宽变化对时钟系统的影响。该算法提出了“分支敏感因子”（BSF）的概念，通过构造特殊的树型拓扑结构和布线过程中的缓冲器插入等操作，达到总体布线长度和偏差灵敏度的平衡．实验结果表明，算法可以得到一个抗光学邻近效应工艺参数变化的可靠时钟布线树，时钟偏差被有效地控制在合理范围之内。