符号模拟

符号模拟将模拟验证从布尔值扩展到符号领域，是集成电路验证行业中的重要分支。符号方法将符号值加到待验证电路的基本输入端，依次计算每个结点的布尔函数，直到在电路的输出端得到由这些初始符号变量组成的布尔表达式，并判断其是否具有所期望的特征。该文介绍了符号模拟的发展过程、基本技术及其所面临的BDD爆炸问题，并对消除该问题的两种技术：近似值法和参数方法，进行了讨论。介绍了具有一定自动机处理能力的符号轨迹评价方法。     

MATLAB在复杂电路分析中的应用研究

《电路理论》是电类专业非常重要的专业基础课，其中，线性含源一端口的戴维南定理及正弦稳态电路的分析计算是大家普遍反映难于理解的内容。本文以《电路理论》中典型的直流电阻电路和含有复数运算的正弦稳态电路的分析计算为例．详述了如何分别运用MATLAB语言编程的方法和直接利用MATLAB的可视化的仿真环境SIMULINK设计模块图的方法来对复杂电路进行仿真分析和计算。结论表明，应用这两种方法可以使复杂电路的仿真分析和计算变得非常快捷、方便，从而为电路分析提供了一个有效的辅助工具。     

对分法轴角编码器的实现新方法

本文基于十六线的多线旋转变压器作为传感器，对于对分法轴角编码器进行了研究，并提出了一种新的实现轴角前几位（符号位）编码的技术方法。这种方法以数字电路代替大部分模拟电路，减少了控制的复杂度，从而提高了电路的可靠性及测量的准确度。     

一种新的符号求解机器人逆运动学的分离变量法

本文提出一种新的分离变量法，在ＰＡＵＬ分离变量法失败的情况下，它能从位置方程组中递推地分离出可解析求解的简单三角／代数方程。该方法是ＰＡＵＬ方法的又一补充。     

基于dom4j转换XML为XHTML页面的方法

跨库检索系统的SRU接口返回的检索结果是XML文件流。IE浏览器可以解析该文件流,根据XSLT文件,自动转换为XHTML文件流,显示检索结果。但是,Firefox,Google Chrome浏览器却无法解析这个XML文件流,它们显示的是非标准格式的文本文字,用户无法查看检索结果。为了使这些浏览器能正常显示检索结果,采用dom4j的应用开发接口,应用XSLT文件,把XML文件流转换为XHTML文件流,从而使检索结果能在Firefox,Google Chrome浏览器上正常显示。     

基于dom4j转换XML为XHTML页面的方法

跨库检索系统的SRU接口返回的检索结果是XML文件流。IE浏览器可以解析该文件流,根据XSLT文件,自动转换为XHTML文件流,显示检索结果。但是,Firefox,Google Chrome浏览器却无法解析这个XML文件流,它们显示的是非标准格式的文本文字,用户无法查看检索结果。为了使这些浏览器能正常显示检索结果,采用dom4j的应用开发接口,应用XSLT文件,把XML文件流转换为XHTML文件流,从而使检索结果能在Firefox,Google Chrome浏览器上正常显示。     

基于名称解析的矢栅一体化岩性符号绘制方法

在分析岩石命名规则和岩性符号常规设计方法的基础上，本文提出了基于名称解析的矢栅一体化岩性符号绘制方法及其实现流程。该方法是集成了矢量组合方式和栅格填充方式优点而避开其各自缺点的绘制方法。它在具有较高执行效率的前提下，既实现了较好的绘图效果，又自动支持新岩性符号的绘制。     

一个面向测试产生的数字电路描述语言CDL

数字电路硬件描述语言是自动电路设计及自动电路划分不可缺少的工具，在计算机辅助电路测试，计算机辅助电路分析等领域有广泛的应用，本文介绍了一个门级的数字电路硬件描述语言ＣＤＬ及其编译器的实现过程。一个ＣＤＬ语言源程序成对一块电路板组件的逻辑功能和物理位置的描述，而ＣＤＬ语言编译器把ＣＤＬ语言源程序转换成一组面向测试产生的拓扑数据结构表示。     

用Verilog语言实现蓝牙系统中的加密技术

蓝牙（Bluetooth）技术是一种大家熟知的无线联网技术，是全球电信和电子技术发展的焦点，也是目前无线个域网（WPAN）应用的主流技术。但是蓝牙技术的安全问题目前还具有很多争议。本文用Verilog对蓝牙加密技术中的核心加密电路进行了描述，在经过EDA软件的仿真、综合和验证之后，在FPGA上进行了实现。结果表明，实现后的电路芯片具有较快的运算速度。     

模拟电路符号法可测度分析的改进

可测度是电路测试和故障诊断中一个重要概念,是测试节点选择的一个量化指标;使用符号分析的方法进行电路可测度计算;为了解决当诊断方程分母多项式的最高项系数不等于1时,符号法不能应用的问题,提出了一种原始诊断方程变换的新方法,利用符号法计算变换后诊断方程的可测度;电路实例分析表明,改进后的方法可以处理任意形式的电路诊断方程,计算中避免了误差的引入,具有计算简单、结果准确的特点。     

链路容量分配的最小最大原则并分组优化算法

本文人出了一种链路容量分配的新算法,应用此算法,不但可以得到与已工法的链路容量分配相同的结果,而且还可以被用户所接受,在尽量减少链路时延差异情况下,具有了小网络时延的链上发配结果,对于通信软件和优化计算机网络,具有一定的指导意义。     

BP神经网络在轨道电路分路不良预警中的应用

近年来,轨道电路分路不良已成为电务部门安全整治的严重问题之一。针对站内25Hz相敏轨道电路分路不良,建立预警指标体系,设计轨道电路分路不良BP神经网络预警模型,并进行故障危险性评价及预测预警。预警结果表明,采用BP神经网络进行轨道电路分路不良故障预警时,将预警指标进行数据的归一化处理后输入到已训练好的网络中,可以在较短的时间内得出可靠的预警结果。该预警方法较现场所采用的传统预警方法,即设置数条轨道电压警线判断分路不良发生与否而实现报警的方法效率高,对现场轨道电路故障维修具有一定的参考价值和指导意义。     

Non-volatile one-transistor-cell multiple-valued CAM with a digit-parallel-access scheme and its applications

A new high-density non-volatile multiple-valued content-addressable memory (CAM) is proposed for highly parallel search operations. Multiple-valued stored data correspond to the threshold voltage of a floating-gate MOS transistor, so that the cell circuit can be designed using only a single transistor. Since a single match line in a one-word circuit is used for performing a multi-input wired AND operation, the magnitude comparison result between multi-digit data can be obtained simultaneously. As a result, a one-word magnitude comparison with n digits can be performed by just n steps in spite of a single-transistor cell circuit and single-match-line architecture, which makes the peripheral circuit of a CAM cell array small. Moreover, typical applications clearly demonstrate that the proposed non-volatile CAM is useful as a hardware accelerator for a high-speed comparison.     

新型线圈发射器的电磁场仿真分析

电磁发射拥有许多化学发射不可比拟的优点,近年来受到各国的广泛关注。传统发射器需在线圈内部加装位置传感器,这使得线圈磁场分布不均且结构复杂。该文基于电磁感应原理,设计出了新型线圈发射器模型,该模型利用线圈外部的传感器来控制电路放电时间,克服了传统结构的缺陷。借助SIMPLORER和Maxwell仿真软件对发射器的主体电路和线圈磁场进行分析,得到了磁场中弹丸的静态和动态特性曲线。仿真结果验证了该新型发射器的作用机理,并得到了四级发射器模型的结构参数。该新型发射器可把30g弹丸加速到12.00m/s。结果表明该新型发射器结构简单、线圈内部磁场分布均匀,大大提高了模型的发射效率和系统的稳定性。     

基于修复技术的组合电路进化设计算法研究

提出基于修复技术的组合逻辑电路快速进化设计算法。该算法利用候选电路在进化的初始阶段适应度增加很快的现象,先进化出一个功能大致正确的电路;然后转入修复过程并对不正确的输出进行修正,最终设计出功能正确的电路。为了能对进化出的有错误的电路进行修复,专门设计出简单而规整的修复电路的构造方法。附加的修复电路与进化生成的对大部分输入都能输出正确结果的电路结合在一起,形成最终的功能完全正确的电路。该方法极大地减少进化所需的时间。     

一种用于线性稳压器的限流电路

介绍一种电路结构简单、限流保护功能可靠、可用于线性稳压电路的限流保护电路,在0.6μm CMOS工艺下流片,测量结果显示该限流电路可在驱动输出超过额定值(100mA)后,有效启动以保护电源芯片安全.     

基于Ansys有限元法的电涡流位移传感器分析

为了满足磁悬浮飞轮系统高精度的位置检测要求,必须进行传感器性能的分析与设计。从涡流传感器的原理出发,利用Ansys软件进行有限元建模仿真,得到涡流传感器的阻抗与检测距离的关系,从而可得到经过测量电路后的输出电压受位移变化的影响。按照线圈仿真模型和电路中各元件的参数制成实际的传感器线圈检测回路,实验结果与仿真结果的一致性表明:基于Ansys的有限元分析法对涡流传感器设计有重要指导意义。     

基于PSPICE和EWB的微弱电流/电压转换电路仿真

将微弱电流检测并转换为电压,是较为实用的电路。本文针对此,举例并分析讨论了一种简易实现的电路图,通过仿真软件给出仿真结果。     

不恢复余数阵列除法器的形式化描述和验证方法

本文使用重写技术对不恢复余数阵列除法器进行了形式化描述并结合归纳法对该除法器的正确性进行了验证,整个工作是建立在串行加法器的描述和验证基础上的。不恢复余数阵列除法器的运算和控制有一定的复杂度,适合用大规模集成电路实现。本文成功地用重写归纳法对它进行了描述和验证,说明重写归纳法在硬件电路正确性验证方面有广阔的应用前景。     

Periodic behavior of one-dimensional uniform threshold circuits

One-dimensional uniform circuits composed of McCulloch-Pitts elements are investigated with respect to their periodical behavior under periodic inputs. The complete results are listed in a table, and the methods of obtaining them are explained by means of illustrative examples. The main result is that in such a circuit the period of the state transition (and therefore that of the output) is not greater than six times the period of input sequence, regardless of the threshold element used, the number of elements in the circuit and the initial state configuration. This fact is a distinctive feature of the uniform threshold circuit, since an arbitrarily large period can be obtained by making a big nonuniform circuit.