相变存储器存储单元瞬态电流测量

介绍了相变存储单元瞬态电流的测量方法。根据相变存储器的工作特性,利用微弱电流取样电阻测量法,合理选择测量参数测得了相变存储单元的瞬态电流,电阻与电流关系特性曲线和动态电阻。并根据测量电路等效电路模型分析影响测量的因素,估算出电路中的分布电容。     

虚拟红外成像器件的模拟输出电路设计

虚拟红外成像器件是能输出红外图像数据源的器件,在调试图像采集系统的硬件和软件时能替代非制冷红外焦平面阵列。虚拟成像器件的输出具有很好的线性度和精度,可作为图像采集电路的标定器件。文设计了虚拟红外成像器件的模拟输出电路,根据UL03401性能参数,设计了信号调理电路,通过在FPGA上使用ROM中查表方式校正模拟端口输出误差,在实际应用中表现了良好的精确性。     

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

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

跳数加权DV-Hop定位算法

针对DV-Hop定位算法中距离估计误差对定位结果的影响,提出了一种信标节点优选方案和跳数加权DV-Hop定位算法。首先通过设定跳数阈值,保留跳数较少的信标节点,然后剔除近似在一条直线上的信标节点,完成信标节点优选,避免未知节点无法定位的情形。此外,利用Friis模型推导出距离估计误差与信号传播跳数之间的映射关系,采用传播跳数作为加权因子对定位结果进行了修正。仿真结果表明该算法降低了距离估计误差对定位精度的影响,提高了定位精度。     

P2P网络中的超级节点选取算法研究

P2P系统在构建覆盖网络时未考虑到与物理网络的结合,导致逻辑拓扑结构与物理拓扑结构严重不匹配问题,增加P2P相邻节点间的延迟。本文提出一种基于区域划分的超级节点选取机制,将P2P网络中的节点按照物理位置划分成若干区域,保证区域内节点在物理位置上是相近的。利用MATLAB进行仿真实验,仿真实验表明使用这种机制能降低半分布式P2P网络的信息检索延迟,有效地提高检索的效率,并且具有较好的可扩展性。     

双轴加速度传感器MXC62025JV在Windows ARM平台的搭建以及驱动的实现

加速度传感器在手机、PAD、防盗等多种电子设备产品中有着广泛的应用。目前绝大部分的加速度传感器都是搭建在Android或者IOS平台,很少处于Windows ARM平台,但Windows ARM平台是一个重要的平台,在Windows ARM平台这类驱动的相关研究的缺失,对于Windows ARM平台是一个很大的遗憾。本文以MEMSIC产品MXC62025JV为例,阐述双轴加速度传感器在Windows ARM嵌入式系统中的应用。     

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

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

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

基于本质安全型电源的原理及特点,提出了一种矿用隔爆兼本质安全型不间断直流稳压电源的设计方案,详细介绍了该电源主要电路的设计。该电源采用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.