搜索结果: 31-45 共查到“知识库 可计算性理论”相关记录62条 . 查询时间(2.192 秒)
基于Cosserat理论的头发动态模拟
Cosserat理论 头发建模 离散 欧拉方程
font style='font-size:12px;'>
2010/8/31
针对基于弹性杆理论的超螺旋模型中对动力学方程的求解影响头发模拟实时性的问题，采用Cosserat弹性杆理论对头发建模，引入角速度变量，并加入头发运动平衡的固有约束，得到改进的拉格朗日动力学运动方程;然后，将头发单体离散化，用角速度和四元数作为状态变量简化动力学方程，用半显式的欧拉方程加速方程的执行，大大降低了系统的运行时间，提高了模拟的速度，在满足实时性要求的同时提高了头发模拟的真实度。
随着大量基因表达数据的涌现，把海量的数据划分成数量相对较少的组，有助于提取对生理学和医药学等有价值的生物信息。基因分类技术能够很好地处理和分析这些基因数据。提出了一种应用于基因分类的模糊最小二乘支持向量机方法，通过设置模糊隶属度改变分类中样本的贡献属性。该方法不仅考虑了样本与类中心点的距离关系，还充分考虑样本与样本之间的关系，减弱噪声或野值样本对分类的影响。采用美国威斯康星乳腺癌数据和皮马印第安人...
针对OFDMA系统的下行链路，提出了一种面向不同业务的低复杂度资源分配算法。方案基于上行链路分配的思想，先进行用户功率和子载波数的确定；然后引入基于用户信道状态、速率要求和延时约束的优先级函数。在子载波的分配中，根据优先级函数分配子载波以满足各类业务的具体要求。仿真结果表明，该算法能够充分利用多用户分集增益，在相同的通信服务质量条件下，算法提高了系统性能，降低了计算复杂度，具有现实意义。
智能天线中高速射频切换技术研究
空分复用 智能天线 三维电磁场仿真
font style='font-size:12px;'>
2009/12/10
主要针对基于智能天线的高速射频切换技术展开了讨论。通过对一个应用系统的研究与探讨，提出了高速射频切换系统的功能设计方法，并对该系统的关键指标进行了分析，最后通过三维电磁场仿真实现了该切换系统并对其性能进行了验证。
投影时序逻辑的公理系统与形式验证
投影时序逻辑 公理系统 形式化方法
font style='font-size:12px;'>
2009/12/9
为了采用定理证明的方法对并发及交互式系统进行验证，提出了一阶投影时序逻辑的公理系统．利用投影时序逻辑既可描述待验证系统性质和规范，又可描述其实现模型的特点，在同一投影时序逻辑框架可以方便地对待验证系统进行建模和性质描述，并使用公理系统完成系统性质的证明．最后通过一个实例来展示投影时序逻辑及公理系统在系统验证中的应用．
HPMR在并行矩阵计算中的应用
高性能MapReduce 并行编程 数值计算 LU分解
font style='font-size:12px;'>
2010/4/23
为了解决传统并行编程难度大、效率低的问题，提出一种基于MapReduce模型的并行编程方法，在高性能MapReduce平台上实现矩阵并行LU分解。实验结果表明，相比传统并行编程模型，MapReduce模型并行程序可较好满足高性能数值计算需求，其编程简洁性和可读性能有效提升并行编程效率。
IBM超级计算机运算突破每秒1千万亿次
IBM 超级计算机 运算 每秒1千万亿次
font style='font-size:12px;'>
2009/11/27
IBM研制的“Roadrunner”超级计算机将落户新墨西哥州的美国洛斯阿拉莫斯国家实验室，并且将依靠计算速度继续保持IBM领先的竞争地位。IBM官员表示，这个庞大的超级计算机将成为全球速度最快的高性能计算机。
千万亿次计算：趋势与需求
千万亿次计算 趋势 需求
font style='font-size:12px;'>
2009/11/27
千万亿次计算给计算科学带来了新的机遇，千万亿次模拟与分析手段的应用将 加速科学与工程中的探索。本文将介绍国外千万亿次计算的进展、主要应用和 需要重点考虑的问题，同时还将介绍几个典型的千万亿次应用以及适于大规模 计算的应用模型，并分析科学院可能的千万亿次计算需求。
应当重视高性能计算的应用和基础性研究
高性能计算 应用 基础性研究
font style='font-size:12px;'>
2009/11/27
2008年11月1日，在江苏无锡召开的中国2008高性能计算学会年会上，公布了2008 年中国高性能计算机性能TOP100排行榜。上榜的第一名是由中国科学院计算技术研究 所和曙光公司研制的曙光5000A，排名第二的是联想公司研制的深腾7000，在11月17日 公布的世界超级计算机TOP500中分别位于第10名和第19名。它们都是在国家863计划支 持下研制的，其投入运行必将对我国高性能计算的应用起...
基于粒子滤波和Mean-shift的跟踪算法
粒子滤波 Mean-shift算法 目标跟踪
font style='font-size:12px;'>
2010/3/4
粒子滤波作为一种基于贝叶斯估计的算法，在处理非线性运动目标跟踪问题上具有特殊的优势。基于此，提出一种基于粒子滤波和Mean-shift的混合跟踪算法(KMSEPF)。KMSEPF算法对一般的Mean-shift和粒子滤波混合算法进行改进。结果证明，KMSEPF算法与混合算法MSEPF相比，在计算效率提高的同时，跟踪准确性和处理遮挡的能力没有下降。
针对传统的本体形式化过程中从一个本体层次空间跳转到另一个本体层次空间存在的问题，将粒度计算思想引入本体建模领域，利用属性粒度商空间理论构建本体形式化模型，定义模型的各个部分，在此基础上对基于属性粒度商空间的本体形式化模型进行检验，验证该模型可以较好地满足本体层次之间的跳转及推理关系。
大本体的分块与映射方法研究
大本体 聚类 块
font style='font-size:12px;'>
2009/8/13
在本体的映射研究中，现实本体或大本体之间的映射算法是研究的难点。该文提出一种针对大层次本体的映射方法。根据本体的结构和概念之间的语义距离，应用向量空间模式(VSM)将概念表示成多维空间中的点。在此基础上，应用聚类算法(CURD)对概念进行聚类，形成若干个语义上相对独立的块，在2个本体的块之间根据参考点建立映射关系。实验结果表明，该方法在测试数据集上能得到较好的映射结果。
二维阵列型可重构计算的层次型参数模型
可重构计算 设计空间搜索 层次型参数模型
font style='font-size:12px;'>
2009/8/6
建立可重构计算的高层次结构模型是可重构计算设计空间搜索的一项研究内容。该文提出一种适用于二维阵列型可重构计算的层次型参数模型。该模型分为顶层描述结构、功能模块描述结构、单元描述结构和功能描述结构4个层次。忽略具体结构细节，在较高的抽象层次描述可重构计算的结构特征。应用实例表明，该模型具有较好的灵活性和层次性，能够描述不同架构的二维阵列型可重构计算。
新的二元互素序列的迹表示和线性复杂度
流密码 Legendre序列 Jacobi序列 迹表示 线性复杂度
font style='font-size:12px;'>
2010/3/4
利用周期分别为奇素数p 和q的Legendre序列构造大量新的周期为 的二元序列，根据这些序列与Legendre序列在结构上的联系，给出它们的迹表示，依据E.L. Key方法得到其线性复杂度。结果表明该类序列具有良好的符号平衡性和线性复杂度性质，作为密钥流序列可抵抗Berlekamp-Massey算法的攻击。