基于模型修正技术的模拟集成电路几何规划优化方法

为了兼顾模拟集成电路设计优化的求解精度和计算效率,提出一种基于正项式模型修正技术的几何规划优化方法.首先将模拟集成电路的设计目标与约束简化为正项式模型,然后在采用几何规划方法迭代优化的过程中利用晶体管级SPICE仿真不断修正这一正项式模型.实例表明,与传统基于公式的优化方法和基于仿真的优化方法相比,该方法能够在尽量保证计算效率和全局最优解的前提下使优化精度满足晶体管级SPICE仿真的要求.     

基于统计阈值的Snort规则集动态产生的设计与实现

Snort作为开源的入侵检测系统,利用定义的静态规则集合实现对网络的入侵事件的检测。本文分析入侵检测系统的基本原理和模型,阐述Snort入侵检测系统部署到网络时,其静态规则集的配置方法,根据统计流量阈值和告警频率阈值动态产生动态规则集的方法,改进并提高了部署Snort应有的灵活性。     

基于DMT的1553B带宽扩展研究

由于传统的MIL-STD-1553B总线难以满足高速数据传输需求且更换现有总线代价过高,因此迫切需要在不影响现有基带通信的条件下升级1553B系统以提供高速通信接口。本文分析1553B的信道特性并据此选择频谱利用率高、抗频率选择性衰落的离散多音调制(DMT)作为扩展带宽的技术,基于离散多音调制,提出一个与现有通信相互兼容的扩展方案以显著提高传输速率,并对该方案涉及的关键技术进行介绍。     

数字证书在环保行业的应用分析

目前国家环保部正在开展的国家环境信息与统计能力建设项目中,采用数字证书为业务系统提供强身份认证服务。详细论述了数字证书在环保部的应用模式,指出了今后的工作方向,同时也指出了现有应用模式的不足之处。     

中置式高压电容器柜改进设计

分析了南屯煤矿白马河风井变电所高压电容器柜原设计方案存在的问题,并对其进行了改进设计:选用适用于容性负载的真空断路器;添加放电线圈,并将放电线圈与电容器直接并联,使放电线圈与电容器组成一个完整的放电回路;添加接地开关,接地开关既有机械闭锁又有电气联锁,操作方便,安全性高。实际应用表明,改进设计后的高压电容器柜功能更加完善,更加安全、可靠。     

矿用隔爆兼本质安全型不间断直流稳压电源的设计

基于本质安全型电源的原理及特点,提出了一种矿用隔爆兼本质安全型不间断直流稳压电源的设计方案,详细介绍了该电源主要电路的设计。该电源采用LM317可调稳压芯片实现稳压功能,具有使用方便、电路简单、变换效率高、成本低等优点。测试结果表明,该电源达到了本安标准,满足了安全型电气设备的需求。     

经食道心房调搏的放射性核素心血管造影

本文应用反符合电路剔除调搏脉冲干扰的方法,制成经食道心房调搏心电心音门电路触发装置,用于经食道心房调搏的核素心血管造影。参考Tzivoni标准,当逐级增加调搏心率至140次/min或亚极量心率后发现:冠心病人有调搏后EF降低;急性心肌梗塞病人EF减低更为明显,并呈室壁反向运动。因此,心房调搏核素心血管造影有助于冠心病,特别是心肌梗塞的诊断。     

CLP(ℜ) and some electrical engineering problems

The Constraint Logic Programming Scheme defines a class of languages designed for programming with constraints using a logic programming approach. These languages are soundly based on a unified framework of formal semantics. In particular, as an instance of this scheme with real arithmetic constraints, the CLP() language facilitates and encourages a concise and declarative style of programming for problems involving a mix of numeric and non-numeric computation.In this paper we illustrate the practical applicability of CLP() with examples of programs to solve electrical engineering problems. This field is particularly rich in problems that are complex and largely numeric, enabling us to demonstrate a number of the unique features of CLP(). A detailed look at some of the more important programming techniques highlights the ability of CLP() to support well-known, powerful techniques from constraint programming. Our thesis is that CLP() is an embodiment of these techniques in a language that is more general, elegant and versatile than the earlier languages, and yet is practical.An earlier version of this paper appeared in the proceedings of the 4th International Conference on Logic Programming, Melbourne, May 1987. Much of this work was carried out while the authors were at Monash University, Melbourne, Australia.     

Majority gates vs. general weighted threshold gates

In this paper we study small depth circuits that contain threshold gates (with or without weights) and parity gates. All circuits we consider are of polynomial size. We prove several results which complete the work on characterizing possible inclusions between many classes defined by small depth circuits. These results are the following:

一种新的修正恒模算法

阐述了恒模算法(CMA)、修正恒模算法(MCMA)和判决引导(DD)算法的基本原理。针对CMA和MCMA收敛速度慢,固定步长条件下收敛速度和剩余误差之间存在矛盾的缺陷,在分析CMA误差特性的基础上,利用DD算法误差函数的模值和判决器输出构造新的误差函数,提出了一种新的变步长MCMA。新算法在加快收敛速度的同时保持小的剩余误差。仿真结果表明,新算法比CMA和MCMA收敛速度快,均衡输出剩余码间干扰(ISI)小而且能克服相位偏移,具有很好的实用性。