搜索结果: 106-120 共查到“可计算性理论”相关记录151条 . 查询时间(3.274 秒)
用最小二乘正交距离方法拟合双同心椭圆弧
椭圆拟合 几何拟合 非线性最小二乘
2010/8/27
提出一种带有同心条件的双椭圆弧拟合方法。该方法利用给定点到拟合椭圆弧的正交距离来衡量误差,建立关于误差的最小二乘方程 ,进而采用迭代方法求出描述双椭圆弧的八个参数。算法仿真实验研究了椭圆弧度、长短轴比率以及样本噪声对算法的影响 ,研究表明弧度越大、长短轴长度越接近、样本噪声越小 ,算法越稳定 ,参数估计越准确。该方法也可以推广应用于处理多个同心椭圆弧的拟合问题。
广义编辑距离的计算是一个NP-完全问题，在充分考虑了文档抄袭行为的特点之后提出一种基于广义编辑距离的单向的低计算复杂性的文档距离度量方法。首先，计算第一文档的各段落在第二文档全文中的近似串匹配距离之和，同时确定各段落在第二文档中的近似匹配子串（即原象串），然后根据这些原象串得到回退数和前跳数，最后将三者求和作为文档距离。该文档距离是一种广义编辑距离的近似值，能够在O（n2）时间内计算，并能充分反映...
安全两方比较大小是保密计算的一个特例和基本模块，在移动代码和电子商务安全中有重要应用。当前的解决方案存在较高计算和通信开销、比较数的范围有限等缺点。基于修改的ElGamal算法提出并证明了乘法、混合乘法、加法和减法同态加密系统。用同态加密系统双方共同构建一个双方都未知的保密函数，基于此保密函数和同态加密系统设计了半诚实模型下安全两方比较协议。证明、实例和与其他协议比较表明其具有安全性、公平性、低的...
一种构件通用属性的描述方法研究
构件属性 构件描述方法 构件库 刻面分类
2010/8/30
提出了一种将构件的通用属性和特殊属性分开描述及管理的构件通用属性描述方法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/8/31
Hex博奕Hex(n)是一种在六边形拼接的n×n棋盘上进行的二人博奕，博奕中二人轮流下红色和蓝色棋子，先构造出一条从一边连到对边的单色路者为胜者。Hex博奕中先手有必胜策略。设δ(n)为Hex(n)中先手能保证获胜所需的最少步数，Garikai Campbell通过研究其他对象间接地证明了δ(n)>n对任意n≥4成立。利用新的方法来分析对称性,给出了δ(n)>n一个直接而简单的证明，并在此基础上利...
基于Cosserat理论的头发动态模拟
Cosserat理论 头发建模 离散 欧拉方程
2010/8/31
针对基于弹性杆理论的超螺旋模型中对动力学方程的求解影响头发模拟实时性的问题，采用Cosserat弹性杆理论对头发建模，引入角速度变量，并加入头发运动平衡的固有约束，得到改进的拉格朗日动力学运动方程;然后，将头发单体离散化，用角速度和四元数作为状态变量简化动力学方程，用半显式的欧拉方程加速方程的执行，大大降低了系统的运行时间，提高了模拟的速度，在满足实时性要求的同时提高了头发模拟的真实度。
随着大量基因表达数据的涌现，把海量的数据划分成数量相对较少的组，有助于提取对生理学和医药学等有价值的生物信息。基因分类技术能够很好地处理和分析这些基因数据。提出了一种应用于基因分类的模糊最小二乘支持向量机方法，通过设置模糊隶属度改变分类中样本的贡献属性。该方法不仅考虑了样本与类中心点的距离关系，还充分考虑样本与样本之间的关系，减弱噪声或野值样本对分类的影响。采用美国威斯康星乳腺癌数据和皮马印第安人...
针对OFDMA系统的下行链路，提出了一种面向不同业务的低复杂度资源分配算法。方案基于上行链路分配的思想，先进行用户功率和子载波数的确定；然后引入基于用户信道状态、速率要求和延时约束的优先级函数。在子载波的分配中，根据优先级函数分配子载波以满足各类业务的具体要求。仿真结果表明，该算法能够充分利用多用户分集增益，在相同的通信服务质量条件下，算法提高了系统性能，降低了计算复杂度，具有现实意义。
智能天线中高速射频切换技术研究
空分复用 智能天线 三维电磁场仿真
2009/12/10
主要针对基于智能天线的高速射频切换技术展开了讨论。通过对一个应用系统的研究与探讨，提出了高速射频切换系统的功能设计方法，并对该系统的关键指标进行了分析，最后通过三维电磁场仿真实现了该切换系统并对其性能进行了验证。
投影时序逻辑的公理系统与形式验证
投影时序逻辑 公理系统 形式化方法
2009/12/9
为了采用定理证明的方法对并发及交互式系统进行验证，提出了一阶投影时序逻辑的公理系统．利用投影时序逻辑既可描述待验证系统性质和规范，又可描述其实现模型的特点，在同一投影时序逻辑框架可以方便地对待验证系统进行建模和性质描述，并使用公理系统完成系统性质的证明．最后通过一个实例来展示投影时序逻辑及公理系统在系统验证中的应用．
HPMR在并行矩阵计算中的应用
高性能MapReduce 并行编程 数值计算 LU分解
2010/4/23
为了解决传统并行编程难度大、效率低的问题，提出一种基于MapReduce模型的并行编程方法，在高性能MapReduce平台上实现矩阵并行LU分解。实验结果表明，相比传统并行编程模型，MapReduce模型并行程序可较好满足高性能数值计算需求，其编程简洁性和可读性能有效提升并行编程效率。