对矢量图形的组合拆分算法及编程实现

组合拆分是编辑矢量图形不可缺少的操作，如保证图元的显示顺序不被打扰，以及保证整幅图形的显示效果是一个很关键的问题。利用面向对象的方法，通过设计适当的类，将图形元素对象化，并且设计了组合图元类CComboDraw，较好地实现了对图元对象的组合拆分操作。论述了在VC＋＋6．0环境下利用MFC类库对图元进行组合及拆分操作的算法和编程实现。另外，图形元素经组合或拆分操作后，图形的显示顺序（即图元的图层）会发生改变，为此又给出了图形的显示算法和编程实现。     

经济型逻辑分析仪的设计与实现

以AT89C51双CPU为核心设计了逻辑分析仪,包括数字信号发生模块、8路逻辑信号采集模块、8路波形显示和存储模块.实验结果证明该仪器运行可靠,可对数据信号进行采集、调整、处理、判断和显示,能完成数字系统的逻辑分析,是一种经济适用的测试仪器.     

固定极性Reed-Muller电路最佳延时极性搜索

为优化固定极性Reed-Muller(FPRM)电路延时,提出一种适合中小规模FPRM电路的最佳延时极性搜索算法.该算法利用代数法化简某一极性下的FPRM表达式,利用类Huffman算法估计该FPRM电路延时,根据中小规模集成电路的特点结合极性转换技术穷尽搜索延时最优的FPRM极性.对15个可编程逻辑阵列(PLA)格式MCNC Benchmark电路进行测试,结果表明:与其他2种FPRM表达式优化算法相比,与项数分别平均减少了24.3%和25%;与时序交互系统(SIS)优化后的电路相比,延时平均节省了22.2%.     

逻辑导引排序算法

提出一种整型数排序算法，它是通过逻辑向量对欲排序元素的分配和回收而实现排序过程，这种方法改善了排序的时间复杂度，并且用Ｃ语言编程序，与快速排序算法比较，运行结果表明了本算法性能优越。     

基于布尔逻辑的双序列比对协处理器的设计与实现

文章针对基因研究中的快速完成双序列比对工作的需要,设计了一种双序列比对协处理器。该协处理器通过USB接口与主机进行通信,采用基于布尔逻辑的比对算法完成双序列的比对。对碱基进行优化编码,使得用简单的门电路实现比对规则;使用流水寄存器,使得读碱基和序列比对并行工作,从而快速地完成具有显著相似性的DNA序列的比对。实验表明该协处理器具有结构简单、高效稳定、升级方便等特点。     

PROLOG逻辑程序设计的结构优化

以减少存储空间消耗为主要目标,讨论逻辑程序设计的结构优化,分析了程序基本结构及其优化方法,提出了一种强制失败－数据旁路结构,作为已有优化方法的补充。由此综合出一种全局结构优化模式,用于机器翻译试验工作,效果显著。     

一种全搜索块匹配算法的FPGA实现及其应用

研究一种全搜索块匹配的脉动阵列结构,将该结构的全搜索块匹配算法在赛林思Virtex-ⅡPro系列现场可编程逻辑门电路（简称FPGA）上综合并实现,给出在FPGA上实现该算法的面积使用和最高工作频率等结果.该结构可用于低码率的实时压缩应用,如MPEG-2. 其最大特点在于可以在运动距离的最大值范围内任意设定运动距离P值,同时搜索区域可以是长宽任意值的区域.     

樟脑磺酸的合成与拆分

樟脑粉与浓硫酸发生磺化反应得到消旋体樟脑磺酸,再经拆分得到左、右旋樟脑磺酸。单因素实验确定了合成樟脑磺酸的适宜工艺条件：樟脑粉、浓硫酸和乙酸酐物质的量之比为1.0：1.4：3.0,反应温度10℃,静置时间5 d,真空干燥得消旋体樟脑磺酸。以异丙醇为溶剂,采用某醇胺做拆分剂与消旋体樟脑磺酸发生中和反应得樟脑磺酸盐,经纯化分离得到左、右旋樟脑磺酸。通过熔点、旋光度、红外测定,表明合成物质即为目标产物。     

基于OBDD的描述逻辑SHOIQ判定算法研究与实现

描述逻辑是语义Web的逻辑基础,已成为当前计算机科学和人工智能研究的热点.鉴于描述逻辑SHOIQ的经典判定算法在处理大规模问题上的不足,以OBDD能很好处理大规模问题为基础,给出了一种基于OBDD的SHOIQ判定算法.该算法利用相关规则和技术将SHOIQ知识库转化为OBDD,在此基础上进行SHOIQ知识库的一致性判定....     

正整数的连续奇偶拆分

正整数n的一个拆分是指将n表示为一个或多个正整数的无序和。n的不同拆分方式数称为n的拆分数。给出了一个正整数n能拆分成连续奇数和连续偶数之和的充要条件,并求出了这两种拆分的拆分数。将其结果用于讨论不定方程x2-y2=n,给出了判断该方程解的存在性条件,以及解的个数的确定。证明了如果n能表示成连续奇数和连续偶数之和,则表示法唯一。     

基于再生核空间的语音信号的正交分解与实现算法

提出了一种在Hilbert空间W₂¹[a,b]中对语音信号进行正交分解的方法及其实现算法.利用Hilbert空间W₂¹[a,b]的再生核函数构造一组{φ_j^*(x)}₁ⁿ标准正交函数组,基于该函数组{φ_j^*(x)}₁ⁿ对语音信号实施正交分解,再根据W₂¹[a,b]中再生核函数的性质给出了计算正交分解系数的快速算法.该方法将离散的问题影射到连续函数空间中进行处理,同时将Hilbert空间中的内积计算问题转化为函数在离散点的取值问题.实验结果表明,该方法可用于语音信号重建与特征抽取.     

在热腔中实现Grover量子搜索算法

在热腔中,基于两原子的相互作用提出一个实现二量子比特Grover量子搜索算法的方案.在强经典场的作用下,取消了演化算符中依赖光子数的部分,因此方案不受热腔影响.该方案虽然简单但可能是扩展更为复杂的量子算法的重要步骤.     

硬件资源消耗少的IMDCT分解算法

提出一种新的改进离散余弦反变换(IMDCT)分解算法,把变换长度为N点的IMDCT分解为一对N/4点的Ⅳ-型离散余弦变换(DCT-IV/DCT-IV).该变换的实现可以共享部分资源,从而减少所需的硬件.与已有的一些IMDCT快速算法相比,新的分解算法计算效率提高了3倍;硬件实现减少了1个锁存器(20%),4个加法器(4...     

供应商选择的分布式搜索算法

针对模糊约束条件下的产品采购问题,建立了线性规划模型,目标函数为采购价值最大化,决策变量最优供应商对应的供应量.运用分布式搜索算法对模型进行求解,并将求解的过程用树型表示,对树进行分布式的全局搜索,在搜索过程中并行搜集所需的信息,然后并行处理.用仿真数值实例证明分布式搜索算法的可行性,并提高整体效率.     

禁忌搜索的单机总加权拖期最小化问题

总加权拖期最小化(SMTWT)的单机调度问题是一个NP难问题,特别是当问题规模较大时,其求解时间面临巨大的挑战。提出采用禁忌搜索(TS)算法进行求解。首先介绍了禁忌搜索算法的原理及影响其性能的关键因素,进而针对本问题设计了定制化的禁忌搜索算法。最后通过60组基准问题对算法的性能进行了测试。实验结果证明本算法可行且所得结果质量较高。     

基于Boole过程的并行逻辑模拟算法

在逻辑模拟中用波形作为电路状态的描述工具,通过对波形的计算和检查实现精确的模拟。在Boole过程模拟法的基础上,为了降低逻辑模拟计算的时间复杂度,提出了一种基于共享主存结构的借助加权活动元件队列来提高处理机利用率的并行逻辑模拟算法。该算法免除了以往耗时很多的电路划分过程,在一定程度上提高了并行加速比。     

一些命题逻辑的Groebner基算法

介绍了一种得到命题结论的新方法，即通过把逻辑命题的项转化成相应的多项式，然后计算Groebner基,从而得到命题的结论．     

一些命题逻辑的Groebner基算法

介绍了一种得到命题结论的新方法,即通过把逻辑命题的项转化成相应的多项式,然后计算Groebner基,从而得到命题的结论.     

基于双空间搜索的频繁项挖掘算法

频繁项的挖掘是关联规则挖掘的主要问题．针对挖掘频繁项的2种算法：Apriori算法和双空间搜索算法进行描述和分析．最后通过1组实验显示2个算法的比较结果．经实验分析表明：双空间搜索算法是可行的、高效的．