通过表达式演算局部优化中间代码

常量合并，删除公共子表达式是中间代码优化时采用的有效技术，但在表达式间能进行的运算仅限于常量之间，极大地限制了可优化的范围，选择一类简单而基本的表达式及表达式运算，在正规化表示的基础上进行表达式的静态运算，尽可能地了化简要表达式，压缩代码代度并找出更锪公共子表达式，以达到更好的优化效果。     

用FPGA实现FIR数字滤波器的新方法

在介绍用FPGA设计FIR数字滤波器常用的正则有符号数字量（CSD）编码技术和分布式算法（DA）的基础上,提出了一种改进的实现方法.该方法根据滤波器系数的特点将滤波器分为两个部分,一部分采用CSD编码技术设计,一部分采用DA算法设计.通过Quartus2软件仿真,在Cyclone EPEC6Q240C8芯片上实现了多个FIR数字滤波器.实验结果表明：改进的实现方法在一般情况下更加节约芯片面积,且实现的FIR数字滤波器完全达到了性能要求.     

一种优化的可能性测度计算树逻辑检测模型

可能性测度计算树逻辑模型检测验证中存在诸多问题,例如低性能效率和高时间复杂度。针对上述问题,基于传统的模型检测标记算法,为满足高复杂性、大规模的公式标记检测,设计并实现了I-PM_CTL算法。其基本步骤如下:第一步,先利用相关可能性测度对逻辑树公式进行计算,预处理标识公共子表达式的唯一性;第二步,在充分确保模型检测空间平衡状态下设定公共子表达式与可能性测度计算树逻辑模型状态;第三步,实施验证,为可能性测度计算树逻辑公式以极大概率一次性实现验证提供了保证。经过模拟实验发现,这一种方法一方面在很大程度上减小了相关时间复杂度,另一方面还使验证性能有所提升。     

OFDM调制解调器的算法实现

介绍了利用流水线FFT设计的方法来实现OFDM调制解调.FFT处理器包括双口RAM、地址产生单元、蝶形单元及CSD陈列.该设计利用旋转因子对称性、简化的复数乘法和旋转因子CSD编码简化蝶形单元设计,并按照读-修改地址-写的顺序,利用双口RAM从一级向下一级来传送数据.     

基于CSD量化编码的FIR滤波器优化设计

目的 针对ADC设计中滤波器功耗过大,遗传算法收敛速度慢,以及遗传算法操作可能破坏CSD编码要求等问题,对FIR滤波器设计进行优化研究.方法 采用CSD(canonic signed digit)编码控制加法器数量,通过改进遗传算法交叉、变异等操作提升算法收敛速度,对FIR滤波器进行有限精度优化设计.结果 优化算法可在降低功耗的同时,可有效减小通带波纹.加快寻优速度.算法应用于级联滤波器设计,可使其通带纹波大部分抵消.结论 给出基于CSD编码的FIR滤波器优化设计方法,以及遗传算法收敛速度慢,交叉、变异破坏算法编码要求的简明处理方法.仿真结果表明优化算法是有效的.     

一种新的布尔规格测试用例生成算法

为提高布尔规格测试用例生成的效率,对常用的循环赋值方法进行了改进,将检测条件转换为类似合取范式(CNF)的表达式并对各子表达式进行了循环赋值.针对布尔表达式中文字否定错误(LNF)及文字引用错误(LRF)等2种类型的变异,该方法从语法树中发生变异的叶结点处进行回溯,将检测条件分解成子表达式,并分别对各子表达式进行循环从而生成其可满足赋值,最后将上述赋值组合形成测试用例.实验数据显示:该方法有效地减少了测试用例生成时所需的循环赋值次数,且测试用例生成时间的缩减与循环次数的减少呈近似线性关系;相对LNF,该方法对LRF时间的缩减更为明显.研究表明检测条件的分解循环能有效降低总循环次数,从而提高了测试用例的生成效率.     

基于MSD编码的FIR滤波器优化方法

提出一种将MSD编码与CSE(共同子表达式消去法)结合起来用以优化FIR滤波器的方法。首先介绍了MSD编码概念,给出生成MSD编码的通用方法,最后给出改进的CSE算法。相较于目前大多将CSD编码与CSE相结合的研究方法,笔者提出的方法可提供更多"共同子表达式",可减少更多的加法器数目。通过实例比较,笔者提出的优化方法可节省更多的硬件资源。     

一种基于FPGA的高效FIR滤波器的设计与实现

该文在介绍有限冲激响应(FIR)数字滤波器理论及常见实现方法的基础上,提出了一种基于FPGA的高效实现方案.该方案采用对称结构、加法和移位代替乘法运算、优化的CSD编码、流水线和级联技术等方面对传统的设计方法进行了改进,并借助FPGA滤波器芯片和Quartus Ⅱ软件、Matlab软件对该方案进行了仿真验证.仿真实验结果表明:此种FIR滤波器的实现方法运算速度快、实时性好、节省硬件资源,其性能优于传统的FIR滤波器设计方法.     

基于FPGA的OFDM调制器的设计

提出了一种新的流水线FFT设计方法来实现OFDM调制解调:利用旋转因子对称性、简化的复数乘法和旋转因子CSD编码来简化蝶形单元设计,并按照读修改地址写的顺序,利用双口RAM从一级向下一级来传送数据.该方法实现蝶形运算不需要乘法器、不需要ROM来存储旋转因子,需要的RAM单元也比较少.最后用该方法在FPGA上实现8pt基2的DIFFFT处理器,实验证明该方法在硬件资源消耗上有很大的改善.     

融合构型查找表与邻接查找子表的改进MC方法

针对医学图像三维可视化中移动立方体面绘制算法（marching cubes,MC）执行速度慢、效率不高的问题,提出了融合构型查找表与邻接查找子表的改进MC方法。该方法通过显性构建邻接查找子表约束体元搜索路径,使面绘制时只处理有效体元,根据邻接查找子表特点设计堆栈结构实现搜索算法,不仅提高了算法访问效率,而且减少了临时存储空间。在可视化工具包(VTK）下用改进MC方法对人体脚、胸腔、头部的CT数据集进行三维重建实验,结果表明在不损失重建质量的前提下,重建过程中遍历立方体数目缩短95%左右,重建时间缩短20%左右,提高了MC方法的执行速度和重建效率。     

半胱亚磺酸脱羧酶在成年小鼠副性腺器官中的表达

采用RT-PCR、Western blot、免疫组织化学方法检测了CSD在小鼠副性腺器官中mRNA和蛋白水平的表达。结果显示,CSD在小鼠副性腺器官中都有mRNA和蛋白水平的表达。CSD主要定位于精囊腺的高柱状上皮细胞、前列腺的腺上皮细胞和尿道球腺的腺上皮细胞中。结果表明雄性副性腺器官可以通过CSD合成通路参与牛磺酸的合成。     

大悬挑屋盖脉动风模态力谱与位移谱

以风洞实验的脉动风压实测记录为基础 ,运用模态分析法研究了越南国家体育场大悬挑屋盖脉动风的模态力谱、模态位移自谱和互谱 ,互谱包括实部和虚部 ,分析了它们的特性和规律性 ,为屋盖模态位移、多模态和交叉项几何动位移影响的研究提供了必要的基础 ,也为在频域内进一步研究和提出抗风实用分析方法提供参考 .     

物理场在蔗糖结晶过程中的作用研究

利用工业结晶过程的粒数恒算原理进行分析后指出，制糖工业结晶过程中的晶体粒度分布明显受到过饱和精液物理场的影响。本论文通过一套可检测晶体生长速率和计算物理场的连续结晶系统证实了这一学术观点。由此可知，为了使得晶体群获得良好的粒度分布，就应该重视结晶设备中精液物理场的作用。     

4—N—甲基苯乙烯吡啶盐类的非线性光学效应的研究

利用剑桥晶体数据库（SCD）数据,用MOPAC半经验程序AMI方法计算了含非对称中心的4－N－甲基苯乙烯吡啶盐类晶体分子的二阶极化率,并用CSD提高的晶体结构数据计算了该类化合物阳离子的平面性,探讨了该类化合物取代基的性质和分子的平面性对分子二阶极化率的影响。     

A Support Vector Machine-based Evaluation Model of Customer Satisfaction Degree in Logistics

This paper pressnts a novel evaluation model of the customer satisfaction degree (CSD) in logistics based on support vector machine (SVM). Firstly, the relation between the suppliers and the customers is analyzed. Secondly, the evaluation index system and fuzzy quantitative methods are provided. Thirdly, the CSD evaluation system including eight indexes and three ranks rinsed on one-against-one mode of SVM is built. Last simulation experiment is presented to illustrate the theoretical results.     

基于CSD量化的数字滤波器的设计

数字滤波器在数字信号处理中占有举足轻重的地位。针对当前滤波器资源消耗大的问题，仔细研究了基于CSD（Canonic Signed-Digit)量化的滤波器设计方法，并对以往的CDS量化过程进行了改进，提出了一种降低滤波器运算量的改进方法，给出了设计基于CSD量化的滤波器的参考意见。仿真结果表明：改进后的算法对滤波器频率特性有一定改善，系统硬件实现时的存储资源也有所减少。     

用户满意度的模糊测评

传统的用户满意度的评价方法较难准确地表达用户满意程度的感受 .在确定了用户满意的测评项目及其重要程度的基础上 ,对传统的用户满意度的加权平均计算法加以改进 ,建立了用户满意度的单因素和多因素模糊测评模型 ,并进行了实例分析     

从控制传播图导出分层结构图

为了转换数据流图成为结构图,引入了一种新的图形工具即控制传播图(CSD)。控制传播图是介于数据流图和结构图之间的图形工具,是实现从数据流图到结构图转换的中间产物。本文着重讨论从控制传播图导出分层结构图的基本原则和方法。