NP问题的3轮零知识证明系统的存在性

研究NP问题的3轮零知识证明的存在性.O.Goldreich与H.Krawczyk在1996年证明BBP以外的语言不存在（欺骗概率可忽略的）3轮黑箱模拟零知识协议,但是否存在3轮非黑箱模拟零知识证明仍然是一个尚未解决的问题.采用一种新的交互证明模式,在标准的DDH假设下,对图的3着色问题构造了一个3轮零知识证明.由于对零知识性的证明采用了一种特殊的方法,文中的协议实际上是非黑箱模拟意义下的零知识证明,从而证明了在DDH假设下,所有的NP语言都有3轮零知识证明系统.     

使用广义奇—超位Ⅱ的一阶定理证明

证明了使用奇－超位Ⅱ的证明系统是不完备的，造成这种不完备性的原因是忽略了幂等规则的使用，通过定义一阶多项式与零的超位，适当地拓广了奇－超位Ⅱ的定义，给出了一个使用这种拓广了的奇－超位Ⅱ的完备了证明系统，此外，这一证明系统也是余式方法的改进，它的完备性实质上也说明了使用语义策略的余式方法是完备的。     

常规隐信道下可证明安全隐写术的有效构造方法

隐写术是在看起来无害媒体中隐藏信息的科学.文中为了解决在常规隐信道下可证明安全隐写术的有效构造问题,在不依赖于任何采样假设的前提下,提供了一种基于计算不可区分的安全隐写术构造.文中结果表明,隐信道采样器中影射函数的不可区分性是安全隐写系统抵抗自适应选择隐文攻击的必要条件.在此基础上,完整地证明了l(-1+5-2)—安全隐写系统能在-1伪随机函数和-2无偏采样函数下有效地被构造,其中,-1和-2是任意两个可忽略错误,l是多项式的隐文长度.更为重要的,文中的研究不依赖于密码系统的密文伪随机性假设和完美采样假设,因此,我们的结果对于安全隐写系统的构造和隐写分析都具有现实意义.     

零维三角型系统带重数的实解隔离

现有的隔离零维多项式系统实解的算法都不计算解的重数.文中用一种自然的方式定义了零维三角型多项式系统解的重数并证明了该定义与经典的局部(相交)重数的定义等价.使用该定义,给出了一个完备有效的算法计算零维三角型多项式系统的实解隔离及实解重数.文中的算法基于代数数系数多项式的无平方因子分解和区间算术.文中还给出了一些算例.     

切换耗散Hamilton系统的稳定性研究

研究切换耗散Hamilton系统在任意切换路径下的稳定问题. 在一合理的假设下, 证明了： 切换耗散Hamilton系统所有子模型的Hamilton函数可用作多重Lyapunov函数. 在此基础上, 根据耗散Hamilton系统的结构特性, 进一步证明了： 切换耗散Hamilton系统的状态P范数随时间增大而趋于零, 并给出了在任意切换路径下的切换耗散Hamilton系统渐近稳定的两个充分条件. 然后, 将得到的新结果运用到一般自治非线性切换系统中, 得到了系统渐近稳定的两个有用推论. 最后, 应用得到的新结果研究了两个例子并给出了数值仿真, 仿真结果验证了该结果的正确性和实用性.     

面向复杂产品系统创新的知识管理系统模型研究

复杂产品系统创新具有多主体知识联盟共同开发和制造,设计高密集性、产品复杂性、生产不确定性的特点.知识管理系统有利于复杂产品系统创新中知识的共享、利用和扩散.在知识管理系统模型研究成果的基础上,构建了基于过程导向的知识链与创新流相结合,以实现知识战略为目标,技术、文化、组织体系为支撑的知识管理系统.明确知识管理战略、把知识管理融入创新流程、创建知识共享文化和激励机制、运行并不断改进系统等策略有利于KMS的实施.     

知识推理的一个模型

引入了能描述操不同语言的多agent系统中知识推理的模态逻辑语言及其Kripke语义与Aumann语义 ,为其建立了完备的形式化演绎系统 ;并构造了多agent系统的逻辑的Institution .     

弱条件下随机梯度算法性能分析

在弱条件下,利用随机鞅理论详细研究了随机梯度辨识算法的收敛性能.分析表明,只要信息向量是持续激励的(或数据乘积矩矩阵条件数有界),过程噪声是零均值不相关的,那么参数估计一致收敛于真参数.这一结论并不要求一些文献中所作的苛刻假设成立,既没有假设噪声方差和高阶矩存在,又没有假设系统是平稳和各态遍历的,也没有假设强持续激励条件成立.这一贡献放松了随机梯度算法的收敛条件.噪声方差有界和无界时的仿真例子证明了提出的收敛结论.     

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

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

一类非线性奇异Hamilton系统的H_∞控制

文中研究了一类非线性奇异Hamilton系统的稳定性和H_∞控制问题.基于该系统的结构特征,首先应用严格系统等价理论将该系统等价地转化为非线性耗散Hamilton微分代数系统,接着在此耗散形式下,研究非线性奇异Hamilton系统的稳定性问题并设计它的H_∞控制器,最后给出一个非线性电路系统的仿真实例.     

关于Crypto''''05上的广播加密方案的一种盗版解码器

在Crypto’05上,Boneh等人提出了两个广播加密方案.他们的工作具有令人振奋的结果:用户的私钥以及广播的密文均为固定长度,与接收者的数目无关.在他们的文章中给出了一个开放性问题,也就是希望能够为他们的广播加密方案设计一个叛逆者追踪算法,并通过对该追踪算法和他们的广播加密方案进行结合,得到一个有效的追踪及撤销系统.文中对该开放性问题给予了否定的回答.具体地说,给出了一种方法,使得3个或3个以上的叛逆者可以合谋出一个针对他们的广播加密方案的盗版解密器,并且还证明了不可能存在追踪算法来找出这些叛逆者.我们的盗版解密器可以类似地应用于Lee等人在ISPEC’06上提出的广播加密方案.     

基于属性测度的辐射源识别方法研究

对辐射源识别问题进行了研究, 提出了一种采用属性测度理论对辐射源进行识别的新方法. 给出了对雷达侦察设备上报的辐射源参数数据进行属性识别的方法、步骤和多指标权系数的确定方法. 针对战场环境下多传感器系统获取的雷达辐射源信息具有时间上的冗余性, 文中又将该方法推广到多传感器系统. 将属性测度与D-S证据理论相结合, 利用文中给出的属性测度计算方法构造证据理论中的基本概率赋值函数. 最后以雷达辐射源用途识别和体制识别为例, 对单传感器和多传感器的情况分别进行计算机仿真实验, 结果验证了这一方法的正确性和有效性.     

基于边Laplacian一致性的多无人机编队控制方法

目前无人机技术发展迅速,其应用也逐步从军事领域扩展到民用领域,多智能体系统一致性理论的结果大大推进了多无人机编队控制的进展.本文考虑带速度、偏航角和高度3个回路的自动驾驶仪且纵向解耦和不确定性扰动的无人机模型,在非平衡拓扑下,给出了基于边Laplacian一致性的分布式编队控制算法.首先用反馈线性化方法对六模态非线性无人机模型进行预处理.其次将编队问题转变成一致性问题;然后基于边Laplacian方法,将一致性问题转化成稳定性问题.利用Backstepping设计系统李雅普诺夫函数,并给出了编队控制算法,通过李雅普诺夫稳定性理论,证明系统的收敛性,从而保证多无人机编队的实现.最后仿真验证系统受到不确定扰动时,仍有很好的鲁棒性,并能够按指定队形稳定飞行.     

基于知识发现创新技术的专家系统新构造

为解决“知识匮乏”这一专家系统中的瓶颈问题，提出了基于数据库与知识库协同机制的综合过程模型KD（D＆K）及其相关的创新技术，进而提出了基于知识发现的专家系统ESKD新构造．作为ESKD的核心知识获取构件KD（D＆K）由KDD＊和KDK＊两部分组成，对基于双库协同机制的KDD＊过程模型和基于双基融合机制的KDK＊过程模型分别做了介绍；给出了ESKD的总体框架；并讨论了ESKD的一些子系统和动态知识库系统；最后，在农业真实数据库上验证了ESKD的有效性和先进性．ESKD有望把专家系统推向新阶段．     

线性系统同时镇定中广义香槟问题的解

利用复分析理论，结合Blondel的方法，对线性系统同时镇定中著名的广义香槟问题给出理论上的解答，完整地回答了Patel等人文中的未解决问题，自然包含原香槟问题的解，结合杨路等人新近发展的不等式型定理机器证明理论，给出控制器的设计方法，得到的数值例子明显改进了已有文献中的结果．     

极大熵聚类算法的收敛性定理证明

有关极大熵聚类算法收敛性的研究是理论研究的一个热点问题,有的学者认为迭代序列的极限点有可能不是目标函数的严格局部极值点.针对这个问题,文中用科学计算软件对相关文献中给出的例子进行了实验,说明该例子并不能否定极大熵聚类算法收敛性定理.最后,从理论上给出了极大熵聚类算法收敛性定理的一个证明.     

一类动态多尺度系统的最优滤波

研究一类动态多尺度系统的最优滤波, 这类系统由具有不同分辨率的多个传感器独立观测, 而系统具有已知的动态系统模型约束. 假设传感器的信号采集带宽成倍递减, 相应的采样频率也成倍递减. 用Haar小波变换来拟合状态在各尺度空间的投影关系, 给出该类多尺度系统的离散模型, 并证明了其可以直接应用Kalman滤波的条件. 基于线性时不变系统, 研究了系统的可控可测性以及滤波的稳定性, 并给出了一个判定定理, 证明系统只要在最细尺度上可控可测, 则Kalman滤波是稳定的. 最后以匀速直线运动过程为例, 验证了所提建模与估计方法的有效性.     

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

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

P2P环境下的基于多种用户共享行为的防污染方案

P2P环境下的文件污染问题威胁着系统的安全性和可用性,甚至可能导致系统消亡.当前的信誉机制和基于文件特征等防污染方案存在未考虑多种用户共享行为、难以获得大量原始数据和版本发布初期恶意欺骗等问题.本文首次发现用户共享习惯差异性、用户特别长时间保留个别文件等多种用户共享行为,并分析其对防污染方案的影响.提出了基于多种用户共享行为的防污染模型,减弱了多种用户共享行为干扰和版本发布初期恶意欺骗等问题.设计了结构化P2P网络下低开销的实现机制,自动收集大量用户共享文件信息,解决了难以获取大量原始数据的问题.文中还给出了系统参数配置方案.基于真实系统运行日志的模拟实验证明该方案能够准确、快速地区分出虚假文件,降低虚假文件下载次数,保证接近100%的真实文件下载比例,有效抵抗文件污染的攻击.     

对“辐射热力学的新进展——辐射有效能 光量子等效温度 光量子熵常数”一文的讨论

陈则韶等人在"辐射热力学的新进展——辐射有效能光量子等效温度光量子熵常数"(中文版见中国科学E辑:技术科学,2009,39(4):609～617;英文版见Sci China Ser E-Tech Sci,2008,51(8):1096―1109)—文中,通过赋予单个光子以有效能和熵等宏观热力学参数,提出了光子等效温度和光子熵常数概念.本文证明若将这些概念及其推论用于宏观热力学系统,将得到违背宏观热力学定律的结论,说明光子等效温度和光子熵常数概念是错误的.