搜索结果: 16-30 共查到“知识库 可计算性理论”相关记录61条 . 查询时间(3.977 秒)
基于口令的三方认证密钥交换协议
口令 公钥加密 密钥交换协议 可计算
2012/1/20
传统的三方认证密钥交换协议不具备前向安全性，难以抵抗不可察觉在线字典攻击。为此，研究简单三方口令认证密钥交换协议，分析其存在的安全漏洞并加以改进，提出一种基于口令的三方认证密钥交换协议。分析结果表明，与其他协议相比，该协议的执行效率和安全性较高。
静态完整性度量不能保护系统在运行过程中的完整性。为此，提出一种基于可信计算的动态完整性度量模型。在现有的完整性度量架构中引入虚拟化技术，有助于系统管理员掌握系统在运行过程中的完整性。在软件加载后，对运行中的进程行为进行监控，动态度量其完整性。分析结果表明，该模型能防止运行过程中恶意攻击破坏系统的完整性，从而提高系统安全性。
为进一步提高视频的编码效率，提出一种改进的位平面匹配(BPM)算法，通过调整阈值的选取方式，减少搜索次数，利用改进的运动矢量计算方法提高搜索准确性，提升图像质量。实验结果表明，与传统BPM算法相比，该算法能提高位平面的区分能力，增强运动估计效果。
为了对普适环境下的构件化应用提供支持，扩展传统的构件适配技术，在上下文感知中间件的基础上，提出支持上下文感知的构件适配模型CACAM和构件适配算法CACA，实现对环境、用户上下文的动态感知和重配置。实验结果表明，该模型能够有效地实现普适计算环境下基于上下文感知的构件适配。
背景值优化的GM(1,1)预测模型及应用
背景值 GM(1,1)模型 优化 预测
2011/6/9
针对GM(1,1)模型背景值存在的缺陷，在分析背景值误差产生原因的基础上，提出了新的背景值计算方法。该方法用非齐次指数函数模拟一次累加生成序列，根据原序列与一次累加生成序列的关系重构背景值计算公式，得到实际曲线在区间上的面积作为背景值。利用深圳市2007年10月9日和10日8:00~8:50的交通流数据验证，结果表明，与基于背景值优化的GM(1,1)模型相对比，新构建背景值的GM(1,1)模型的平...
Sequence alignment from the perspective of stochastic optimization: a survey
Sequence alignment stochastic optimization simulated annealing genetic algorithms particle swarm optimization ant colonyoptimization
2011/1/19
DNA and protein are the fundamental biological sequences. DNA is a fundamental molecule that plays a vital role in the processes of life. Proteins synthesized by DNA in a cell are the building blocks ...
用最小二乘正交距离方法拟合双同心椭圆弧
椭圆拟合 几何拟合 非线性最小二乘
2010/4/1
提出一种带有同心条件的双椭圆弧拟合方法。该方法利用给定点到拟合椭圆弧的正交距离来衡量误差,建立关于误差的最小二乘方程 ,进而采用迭代方法求出描述双椭圆弧的八个参数。算法仿真实验研究了椭圆弧度、长短轴比率以及样本噪声对算法的影响 ,研究表明弧度越大、长短轴长度越接近、样本噪声越小 ,算法越稳定 ,参数估计越准确。该方法也可以推广应用于处理多个同心椭圆弧的拟合问题。
广义编辑距离的计算是一个NP-完全问题，在充分考虑了文档抄袭行为的特点之后提出一种基于广义编辑距离的单向的低计算复杂性的文档距离度量方法。首先，计算第一文档的各段落在第二文档全文中的近似串匹配距离之和，同时确定各段落在第二文档中的近似匹配子串（即原象串），然后根据这些原象串得到回退数和前跳数，最后将三者求和作为文档距离。该文档距离是一种广义编辑距离的近似值，能够在O（n2）时间内计算，并能充分反映...
安全两方比较大小是保密计算的一个特例和基本模块，在移动代码和电子商务安全中有重要应用。当前的解决方案存在较高计算和通信开销、比较数的范围有限等缺点。基于修改的ElGamal算法提出并证明了乘法、混合乘法、加法和减法同态加密系统。用同态加密系统双方共同构建一个双方都未知的保密函数，基于此保密函数和同态加密系统设计了半诚实模型下安全两方比较协议。证明、实例和与其他协议比较表明其具有安全性、公平性、低的...
一种构件通用属性的描述方法研究
构件属性 构件描述方法 构件库 刻面分类
2010/3/1
提出了一种将构件的通用属性和特殊属性分开描述及管理的构件通用属性描述方法CGADM及其扩展机制，阐述了该描述方法的定义，分析了其特点。基于该描述方法设计实现了一个构件管理实验系统，证明了该描述方法具有良好的描述性能和扩展性能。
利用势为3的非均匀概率空间的无穷乘积，在£ukasiewicz三值命题逻辑中引入了公式的概率真度概念，证明了全体公式的概率真度值之集在[0，1]中没有孤立点；利用概率真度定义了概率相似度和伪距离，进而建立了概率逻辑度量空间，证明了该空间中没有孤立点，为三值命题的近似推理理论提供了一种可能的框架。
研究了[r→（t∧s）]≡[（r→t）∧（r→s）]，[r→（t∨s）]≡[（r→t）∨（r→s）]，[（p∧q）→r]≡[（p→r）∨（q→r）]，[（p∨q）→r]≡[（p→r）∧（q→r）]4个分配性方程，它们在模糊集理论中的形式分别是I（r，T1（t，s））=T2（I（r，t），I（r，s）），I（r，S1（t，s））=S2（I（r，t），I（r，s）），I（T1（p，q），r）=S1（I...
针对低信噪比条件下直接序列扩频码分多址(DS-CDMA)信号扩频序列盲估计的难题，提出了一个能对同步和异步的短码调制DS-CDMA信号的扩频序列进行盲估计的新方法。该方法在分析接收信号特征结构及其相关矩阵结构的基础上，首先估计出接收信号中一个用户信号的功率、特征扩频序列的失步点及序列本身，再用已经估计出来的特征信息对相关矩阵进行缩减，以消除该用户对剩余用户信号估计的影响。依此方法，逐次迭代，最后完...
关于Hex博弈最优获胜策略的一种新方法
Hex博弈 步数 最优策略
2010/2/1
Hex博奕Hex(n)是一种在六边形拼接的n×n棋盘上进行的二人博奕，博奕中二人轮流下红色和蓝色棋子，先构造出一条从一边连到对边的单色路者为胜者。Hex博奕中先手有必胜策略。设δ(n)为Hex(n)中先手能保证获胜所需的最少步数，Garikai Campbell通过研究其他对象间接地证明了δ(n)>n对任意n≥4成立。利用新的方法来分析对称性,给出了δ(n)>n一个直接而简单的证明，并在此基础上利...
基于Cosserat理论的头发动态模拟
Cosserat理论 头发建模 离散 欧拉方程
2010/2/1
针对基于弹性杆理论的超螺旋模型中对动力学方程的求解影响头发模拟实时性的问题，采用Cosserat弹性杆理论对头发建模，引入角速度变量，并加入头发运动平衡的固有约束，得到改进的拉格朗日动力学运动方程;然后，将头发单体离散化，用角速度和四元数作为状态变量简化动力学方程，用半显式的欧拉方程加速方程的执行，大大降低了系统的运行时间，提高了模拟的速度，在满足实时性要求的同时提高了头发模拟的真实度。