-
32671.Lukasiewiczn值命题逻辑系统中公式的一般真度和形式推演结论的不可靠度估计
[计算机、通信和其他电子设备制造业] [2014-05-15]
在Lukasiewicz n值命题逻辑系统中引入命题公式的一般真度概念并讨论其性质,说明一般真度满足Kolmogorov公理.在形式推演中,引进公式的不可靠度和前提的必要度概念,证明在Lukasiewicz n值逻辑系统中,一个有效推理的结论的不可靠度不超过各前提的不可靠度与其必要度的乘积之和.通过不可靠度在全体公式集上建立逻辑伪距离空间,证明逻辑伪距离空间中没有孤立点,利用逻辑伪距离在全体公式集F(S)中提出两种不同形式的近似推理模式.
关键词：Lukasiewiczn值逻辑系统；真度；不可靠度；真值状态；伪距离；近似推理
-
32672.基于SMP机群的层次化并行编程技术的研究
[计算机、通信和其他电子设备制造业] [2014-05-15]
针对多核SMP机群的体系结构特点,讨论了MPI+ OpenMP混合并行程序设计技术.提出了一种多层次化混合设计新方法.设计了N-body问题的多层次化并行算法,并在曙光5000A机群上与传统的混合算法作了性能方面的比较.结果表明,该层次化混合并行算法具有更好的扩展性和加速比.
关键词：SMP机群；层次化；混合编程；性能分析
-
32673.MQ编码算法优化及高速VLSI结构设计与实现
[计算机、通信和其他电子设备制造业] [2014-05-15]
传统的JPEG2000MQ编码器串行编码效率低下,同时现有的多上下文并行编码的MQ编码器占用资源过大.本文对MQ编码算法中的运算流程,索引值和概率估计值的求解函数,条件交换和重归一化算法等四个方面进行了优化,减弱了上下文之间的依赖性,简化了条件交换和重归一化算法的复杂度.依据该算法,本文提出了一种高速的MQ编码器VLSI结构,实验结果表明,本文提出的MQ编码器VLSI结构能够工作在532.91MHz,吞吐率为532.91Msymbols/sec,相比Dyer提出的Brute force with modified结构,工作频率提高1倍,吞吐量提高近27％,且面积仅为其四分之一.
关键词：MQ编码器；JPEG2000；流水
-
32674.引入微分控制思想的辅助GPS载波跟踪环路设计
[计算机、通信和其他电子设备制造业] [2014-05-15]
载波信号跟踪环路制约着GPS接收机的工作性能,针对其易受高动态和弱信号等环境干扰的缺陷,提出一种引入微分控制思想、应用SINS辅助接收机载波跟踪环路的设计方法.剖析应用于载波跟踪的相位锁定环(Phase Locked Loop,PLL),并将其近似为PI控制模型；在验证辅助信息引入时环路系统稳定的基础上,增加类微分控制项,利用SINS的输出和时钟误差信息估算的多普勒频率作为跟踪环路的中心频率,辅助PLL实现载波信号跟踪；仿真结果表明提出方法能够有效地缩短跟踪环路带宽,缓解热噪声和动态应力之间的矛盾,进而改善载波环路的频率响应和跟踪误差.
关键词：信号跟踪；多普勒频移；PLL；微分控制
-
32675.QSynth-TopK:一个支持TopK查询的质量敏感的自动服务组合系统
[计算机、通信和其他电子设备制造业] [2014-05-15]
质量敏感的自动服务组合旨在根据用户的输入输出请求和服务质量约束,从海量的Web服务中快速搜索满足要求的最优组合方案,能够有效应用于服务组合辅助建模、正确性校验等领域.为了向用户提供更多的组合方案,以满足多样化的应用需求,并消除由于集中选择最优方案所带来的性能瓶颈隐患,我们在QSynth系统的基础上开发了一个支持top k查询的系统——QSynth-TopK.该系统通过对最优组合方案中的服务进行迭代地替换,实现全局服务质量的有序递减,以得到组合质量排名前k个的服务组合方案.理论证明该算法具有可靠的精确性,实验证明系统在大规模服务集上有着良好的、稳定的运行效率.
关键词：自动服务组合；服务质量；topk；图搜索
-
32676.计量逻辑中真度的均值表示形式及应用
[计算机、通信和其他电子设备制造业] [2014-05-15]
命题真度是计量逻辑学中的基础概念.本文对真度的性质和计算方法进行了再研究.首先给出了计量逻辑中真度定义的均值表示形式；其次利用真度定义的均值表示形式推广了连接有限值逻辑系统和连续值逻辑系统中真度理论的极限定理,并得到了真度的对称性定理；最后在n-值命题逻辑系统和连续值命题逻辑系统中给出了析取规范型命题和合取规范型命题的真度的计算公式.
关键词：计量逻辑；真度；均值表示；极限定理；对称性定理；规范型；计算公式
-
32677.一种在电子出版中融合固定版面与流式信息的方法
[计算机、通信和其他电子设备制造业] [2014-05-15]
随着硬件条件的提高和网络技术的发展,特别移动终端的快速发展,电子文档的使用环境日趋多样化,但相关技术却面临着更大的挑战.这是因为固定版面与流式信息之间存在本质的矛盾,难以进行融合、协同工作.虽然人们尝试了一些方法来解决这个问题,但是效果都不甚理想.我们在研究现有技术的基础上,提出了一种新的基于版面块的文档模型,并赋予其固定版面的特性与必要的流式信息,以适应多样化的终端环境,能够解决电子文档出版中的固定版面与流式信息融合的问题.实现效果说明,本文提出的文档模型在实际使用中具有很大的潜力.
关键词：文档处理；固定版式；流式文档；电子出版
-
32678.大规模真实感雪景实时渲染
[计算机、通信和其他电子设备制造业] [2014-05-15]
本文提出一种大规模真实感雪景实时渲染方法.首先建立雪花模型及其在降雪过程中的运动模型；其次将风的运动速度分为平均风速与随机风速,简化了风场计算,通过Perlin噪声生成了随机风,并将计算结果存储在3D纹理中,减轻粒子系统的计算负荷；第三,建立积雪与融化模型,实现雪的积累和融化的模拟；最后建立基于CPU的粒子系统,提高粒子系统的渲染效率.仿真结果表明本文的方法适合大规模雪景实时渲染,并已成功应用于某直升机模拟器中.
关键词：雪景模拟；风场模型；粒子系统；实时渲染
-
32679.一种ISAR二维压缩感知成像的运动补偿方法
[计算机、通信和其他电子设备制造业] [2014-05-15]
通过发射一组具有随机脉冲重复间隔(PRI)的线性调频信号,并对经过去斜率(Deramp)处理的回波信号随机下采样,可以得到目标的二维随机观测回波数据.本文通过分析该类回波信号的模型和信号的稀疏性,针对ISAR(Inverse Synthetic Aperture Radar)二维压缩感知成像技术提出了一种运动补偿算法.实测数据处理结果表明,本文提出的算法可以有效地针对ISAR二维随机观测回波数据实现运动补偿.
关键词：ISAR；二维压缩感知；运动补偿；距离对准；相位补偿
-
32680.基于亚稳态的QDI逻辑随机路径切换方法研究
[计算机、通信和其他电子设备制造业] [2014-05-15]
基于QDI异步逻辑与四相双轨协议相结合时数据路径平衡的特性,能够实现双轨编码输入点的随机切换,从而达到各数据路径的平均功耗平衡,消除数据与功耗之间关联的目的.然而,现有的利用多路复用器实现数据路径随机切换的方法存在抗攻击弱点,削弱了系统的抗能量分析攻击能力.为此,我们提出了基于亚稳态的QDI随机路径切换方法:采用两级切换结构,利用亚稳态发生器和亚稳态滤波器,实现数据路径组和数据路径的随机切换.仿真结果表明,基于亚稳态的QDI随机路径切换方法具有良好的功耗平衡特性,能够很好的抵消由于寄生电容和负载电容差异造成的旁路信息泄露,从而极大地提高系统的安全性.
关键词：能量分析攻击；QDI逻辑；亚稳态；随机路径切换
027-87841330