FIR滤波器设计的半无穷维二次优化方法

Parks-McClellan方法是FR滤波器设计中常用的设计方法。这种方法基于最小最大误差判据，使得设计的滤波器响应与期望滤波器响应之间的最大误差最小化，但是忽略了误差能量。该文基于半无穷维二次优化（SDO）技术给出一个设计FIR数字滤波器的新方法。该方法把FIR滤波器设计问题转化为SIQO模型．在峰值误差满足给定指标的条件下，使得设计滤波器与理想滤波器之问的误差能量最小化。与ParksMcCellan方法相比，该文方法在牺牲较少的最大阻带增益的情况下极大地降低了阻带误差能量。设计实例证实了该方法的有效性。     

Formal Verification under Unknown Constraints

We present a formal method of verifying designs with unknown constraints (e, g. , black boxes) using Boolean satisfiability (SAT). This method is based on a new encoding scheme of unknown constraints, and solves the corresponding conjunctive normal form (CNF) formulas. Furthermore, this method can avoid the potential memory explosion, which the binary decision diagram (BI)I)) based techniques maybe suffer from, thus it has the capacity of verifying large designs. Experimental results demonstrate the efficiency and feasibility of the proposed method.     

企业应成为先进技术的决策主体——北京光学仪器厂开展CAD／CAM和CIMS工程

北京光学仪器厂(BOIF)建于1962年,至今已有36年历史,主要生产经营用于工程测量和施工测量的传统型的和光电子型的大地测量仪器。1980年北光厂在国内首先实行经济体制改革试点,企业开始进入市场经济,初步成为自负盈亏、自我改造、自我积累、自我发展的市场竞争主体。改革开放18年来,企业经济效益每年以22.3%速度持续稳定     

AutoCAD系统的使用和优化

文章介绍了一些关于AutoCAD系统的使用和优化的技巧。     

一种改进的多级逻辑优化算法

基于变换化简法,提出了一种改进的适用于局部逻辑网络优化的多级逻辑优化算法,通过计算逻辑网络中门或连线处的可观测性无关项,可迅速得到最大允许函数集,从而节省了计算时间,并且提高了原算法的适用性。实验结果表明,改进后的算法可用于大规模集成电路的设计。     

可测试性设计中的功耗优化技术

降低测试期间的功耗是当前学术界和工业界新出现的一个研究领域。在可测试性设计中进行功耗优化的主要原因是数字系统在测试方式的功耗比在系统正常工作方式高很多。测试期间功耗引发成本增加，可靠性降低，成品率下降。首先介绍低功耗测试技术中的基本概念和功耗建模方法，分析测试过程中功耗升高的原因，对已有的几种主要的降低测试功耗方法进行详细分析，最后给出一种高性能微处理器的真速低功耗测试方法。     

CAD／CAM并行集成系统的研究

随着ＣＩＭＳ的发展，并行工程已成为当今机械工程领域的研究热点，ＣＡＤ／ＣＡＭ集成是实现ＣＩＭＳ的基础和关键。介绍了基于并行工程思想的ＣＡＤ／ＣＡＭ集成系统，并详细地分析了实现集成系统的关键技术。     

程序正确性证明中逻辑公式的可满足性

采用Herbrand定理及归结原理证明在程序证明中遇到的逻辑公式是可满足的。并给出了相应的算法;同时讨论了已知循环程序中循环不变式的求解方法。     

CAD／CAPP／CAM与MRPⅡ的集成技术研究与实现

制造业实施CIMS时，关键在于使设计自动化系统与生产管理自动化系统进行信息集成（这两个系统的典型代表是CAD／CAPP／CAM与MRPⅡ），它已成为CIMS实施的技术难点，针对这个难点技术，使用PDM作为集成平台，利用CORBA技术对这两个系统进行集成研究，获得了在CAD系统Solidwork和PDM软件SmarTeam上的实现方法。     

面向制造业的CIMS应用集成平台

介绍了计算机集成制造系统应用集成平台的产生背景和基本概念.给出了CIMS应用集成平台的定义、基本特性和功能需求.重点介绍了制造业CIMS应用集成平台的系统体系结构、功能、软件开发环境和设计开发方法.所设计和开发的集成平台以多种服务和集成工具的方式为企业的CIMS应用提供了有力的支持,为实现制造业企业CIMS的快速实施提供了良好的应用开发、集成和运行环境.     

基于BDD的Grover算法仿真

为了解决仿真量子计算过程中复杂性随量子比特数的增加呈指数级递增的问题,采用二项决策图(BDD)表示矩阵算子仿真Grover提出的量子搜索算法.BDD利用矩阵算子在量子计算过程中呈现出的结构化特性,可以高效地压缩存储空间并实现在压缩数据结构上直接进行矩阵的各种运算.利用改进的BDD实现了仿真过程需要的各种矩阵运算,用C++编写的程序对Grover算法的实例进行仿真,最后从多个角度对违反直观的实验结果进行了分析,阐述了量子算法的内在并行性.     

用递归BDD(二元决策图)技术分析因果图

故障树是以系统最不希望发生的顶事件为目标,通过分析找出导致顶上事件发生的全部因素;在故障树分析中,二元决策图(简称BDD)是最有效的方法之一,由于故障树和因果图都是用图形表示因果关系,两者具有很多相似性,而BDD在故障树中有广泛的应用;通过研究表明:在一定条件下,故障树和因果图之间可以互相转化,因此可以分析BDD的原理,并将BDD技术用来分析因果图。     

改进BDD算法在故障诊断中的应用

【目的】为了在复杂系统中快速定位故障源。【方法】将因果图转化为二元决策图(Binary decision diagram,BDD),遍历BDD,求出引起故障发生的所有割集,并利用0-1编码的方式表示每一个割集,根据编码的长度确定割集的重要度。【结果】综合考虑结构重要度以及最小割集的发生概率,确定需要检测故障源的排序。【结论】该方法兼顾了结构重要度大的最小割集诊断优先性及发生概率大的最小割集诊断优先性,提高了诊断的准确性。     

水体中磺胺甲恶唑在BDD电极体系中的电化学氧化机理

以磺胺甲恶唑(SMX)为研究对象, 采用掺硼金刚石薄膜(BDD)电极电化学氧化法, 研究电流密度和电解质溶液对其降解效果的影响; 用循环伏安扫描和GC-MS测定中间产物, 提出SMX降解的机理。结果表明,BDD电化学氧化SMX的最佳电流密度为20 mA/cm², 最适电解质溶液为0.05 mol/L Na₂SO₄, 此外, 可在50分钟内实现100%的SMX去除, 且去除过程满足一级反应动力学方程。低电流密度下, SMX可发生直接电化学氧化,通过苯胺基失去电子生成二聚物; 高电流密度下, SMX以间接?OH氧化为主, 可能的降解途径有两条, 分别为?OH攻击导致S-N键断裂和?OH攻击杂环使得苯环开裂, 生成小分子羧酸, 最终矿化成CO₂, H₂O以及无机离子。     

基于SAT和BDD的频繁序列挖掘技术

【目的】研究模式挖掘领域中的频繁序列挖掘技术,由于序列模式挖掘存在指数级的搜索空间,且传统的SAT求解算法无法高效求解大规模数据集的缺点,因此研究符号表示和操作技术,用来避免冗余计算。【方法】提出基于SAT的频繁序列挖掘的符号OBDD算法,基于深度优先算法的思想,首先将频繁序列挖掘问题构建为SAT模型,其次对变量进行排序并将约束子句分类后分别描述为OBDD,利用OBDD的"与"操作得到满足SAT的所有频繁序列模式。【结果】实例结果表明,该方法准确可行。【结论】该方法能有效缩减搜索空间,提高求解效率。     

壳聚糖修饰金刚石电极在测定碘中的应用

采用共价键合法将壳聚糖修饰的掺硼金刚石薄膜电极作为工作电极,对底液pH为4．0的0．1mol／LKH2PO4溶液中的I^-进行了循环伏安以及阳极溶出法进行了检测．得到检测限为1．2×10^-7mol／L,线性范围为1．4×10^-6mol／L至3．1×10^-3mol／L,相关系数为0．988．实验结果表明：掺硼金刚石薄膜修饰电极检测灵敏,且电极再生性很好,使电极寿命更长,具有极好的应用前景．     

基于BDD的图表示及其算法

给出基于二元判决图BDD的无权图和有权图的符号化表示,同时给出该表示下的算法设计及实现,并以连通度算法和最短路径算法作为例子。     

AES算法的结构分析与优化实现种

描述了高级加密标准(Advanced Encryption Standard, AES)算法的各部分功能, 并分析了AES算法的结构及实现. 对算法单轮执行步骤进行了优化合并. 为降低解密算法的实现复杂度, 改变了解密算法的工作顺序, 使解密算法与加密算法具有相同的结构.     

AES算法的结构分析与优化实现

描述了高级加密标准(Advanced Encryption Stan dard, AES)算法的各部分功能, 并分析了AES算法的结构及实现. 对算法单轮执行步骤进行了优化合并. 为降低解密算法的实现复杂度, 改变了解密算法的工作顺序, 使解密算法与加密算法具有相同的结构.     

金刚石薄膜电极在离子水洗衣机中的应用研究

离子水洗衣机的电解装置一般采用金属氧化物涂层阳极(DSA——Dimensionally Stable Anode),本论文研究采用硼掺杂金刚石薄膜(BDD)电极做离子水洗衣机的电解阳极,通过分析其特性曲线,表征参数,并和DSA电解电极对比性能,同时做一些洗涤实验来验证其洗涤效果,以此来展现硼掺杂金刚石薄膜电极具有更加稳定和良好的电化学特性,所以更适合于用做离子水洗衣机的电解装置.此外,离子水洗衣机主要是把水电解成碱性离子水来洗涤衣物,BDD电极可以做到不用离子隔膜分离出碱性离子水就可以达到洗净衣物的效果.