无接触供电系统原边恒流技术的研究

无接触供电技术克服了传统供电技术的不足,因其灵活、安全、可靠等优点在物流自动化领域有着广泛的应用前景。分析了系统原边恒流对拾电器稳定输出的作用,介绍了常见的恒流策略,提出了LCL补偿拓扑结合移相PWM控制的方式,通过LCL补偿拓扑实现原边恒流和滤波效果,通过移相PWM控制实现对原边电流的调节,实现输出功率的优化,并进行了仿真验证。     

统一指挥22省市警方联动摧毁赌博网络

近日,由公安部统筹,北京警方主侦,全国其他21个省市公安机关统一开展行动。北京警方打掉7个“PK拾”网络赌博团伙,斩断了全国“PK拾”赌博软件研发、赌博软件贩卖、网络组织参赌产业链条。其他21省市公安机关陆续打掉“PK拾”网络赌博团伙61个,抓获涉案嫌疑人200余名,有效摧毁了全国“PK拾”赌博网络。     

微震定位系统中拾震器布阵研究

对微震监测中拾震器阵列进行科学有效的布置是保证微震定位系统能有效运行的一个关键条件,设计了4种拾震器阵列布设方案,使煤矿中微震定位监测系统运行得更加科学有效.首先建立复杂地质模型,利用微变网格射线追踪正演模拟出微震源起震到拾震器阵列接收信号的过程,然后在施加随机扰动的情况下,利用粒子群-神经网络算法(PSO-BP)反演推算出震源位置,最后通过震源位置的误差来分析各个布阵方案的特点,同时分析了阵列中拾震器数量的合理值.研究结果表明,在微震监测系统中拾震器利用率最高的情况下,可以给出准确、合理、有效的拾震器布阵方案.     

基于小波分析的雷声信号特征提取

地下拾音报警系统以其隐蔽性强、监控范围广等优点受到文物保护部门的关注。给出了一种基于小波变换,利用能量等价关系构造特征空间的方法,可以有效地识别雷声信号,降低雷声造成的误报率,从而有效地改进了地下拾音报警系统的性能。     

校园违规低功耗恶性电器检测方法研究与仿真

研究校园违规电器准确检测问题.当前的智能电器功耗较低,大规模的接人低功耗的违规电器,使得各种用电器的电流、电压波形信号的相位差变化较小.传统电器智能检测算法是基于电流、电压波形信号突变进行违规电器检测的,一旦电流、电压波形信号的相位差变化较小,会导致校园违规电器检测准确率降低.为保障用电安全,提出了一种电流相位卡尔曼周期变化的校园违规电器检测方法.利用卡尔曼去噪处理方法去除检测信号中的噪声,建立校园违规电器电流、电压小周期平均检测数学模型,运用周期平均的方法完成检测.实验证明,提出方法能够避免相位变化较小缺陷,提高了校园违规电器检测的准确率.     

电器恶性负载识别方法研究与仿真

研究电器恶性负载准确识别问题.由于电力负载具有一定能力,超过负载能力引起系统不安全,产生恶性负载.由于不同恶性负载电器的电阻功率存在差异较大,单个功率的跳变将造成电器阻性负载功率综合系数不准.传统算法是根据恶性负载电气阻性负载功率综合系数进行恶性负载识别的,一旦电器阻性负载功率综合系数不准,引起综合负载系数波动将造成恶性负载识别准确率降低.为解决上述问题,提出了一种利用周期性离散变换算法的电器恶性负载识别方法.通过等值功率动态平衡方法判断电器是否处于恶性负载状态,从而实现电器恶性负载识别.实验证明,改进算法能够避免由于接入电器功率过低造成的电器阻性负载功率综合系数不准的缺陷,提高了电器恶性负载识别的准确率.     

读者推荐软件

小巧就是好软件名称:拾色机推荐人:刁永璋如果你从事主页设计或者其它平面设计,一定会经常参考一些素材颜色的 RGB值,或者想知道别人使用了哪种RGB值,拾色机能帮助你解决这些问题。它是一款小巧的绿色软件,体积只有24KB大小,用来查看颜色的RGB值非常     

新印刷机电器的维修分析

在印刷生产过程中,印刷机电器发生故障是常有的事。印刷机电器一旦发生故障,就会给生产造成严重的影响。如何排除电器故障并采取有效的措施进行维修是目前广大企业急需解决的一个问题。本篇文章主要分析了印刷机电器出现故障时的具体维修措施。     

电器的电子控制

本期是想让初学者体验一下电器的电子控制手法。这里所说的电器是指只要通过电流就能工作的装置,例如电灯、电热器及马达等。这些电器只要借助手动开关就可以使它们工作或停止。假若用电子电路代替这种开关,还可以完成更复杂的功能。就是说用“有智能”的电0子电路去控制电器,就成为“有智能”的电器了。     

苏宁电器考虑去掉“电器”两字

传统电器连锁商苏宁电器正在考虑去掉“电器”两字以图业务扩张。3月4日,记者从苏宁电器证实,苏宁电器董事长张近东在参加全国“两会”期间对外透露．苏宁电器考虑把“电器”两个宇去掉,苏宁的目标是要做“沃尔玛＋亚马逊”。苏宁今年大力度投入苏宁电子商务渠道苏宁易购,根据规划,2012年,苏宁易购整体销售规模将增长4至5倍,     

元计算环境中任务调度的深入分析

文章主要对元计算环境中任务调度进行了深入分析与研究。先概述了元计算系统对于科学领域的贡献,分析了元计算环境的特点;然后对元计算环境中的调度算法进行了分类说明,并对几种典型的调度算法行了具体的分析,评价了其特点与不足之处;最后分析了新兴的元计算环境—校园级元计算环境面临的挑战,借鉴各种调度算法,提出了与之相适应的任务调度策略,对其可行性进行了分析,并简要概括了其创新性。     

基于粘贴模型的两类全排问题的DNA算法

基于粘贴模型的巨大并行性,分别给出了线性全排列和圆周全排列问题的粘贴DNA算法;分析了两类问题的DNA算法的不同之处;通过一个实例给出了实验操作步骤,并对生化实验进行了模拟,得出了正确的结果,从而证明了算法的可行性。最后,对算法的操作复杂度进行了分析。     

Experiments with a program timing tool based on source-level timingschema

Analytic methods are employed at the source-language level, using formal timing schema that include control costs, handle interferences such as interrupts, and produce guaranteed best- and worst-case bounds. The timing tool computes the deterministic execution times for programs that are written in a subset of C and run on a bare machine. Two versions of the tool were written, using two granularity extremes for the atomic elements of the timing schema. All overview of the tool is given, timing schema and code prediction are discussed, and machine analysis and timing tool design are examined. Experimental and validation results are reported. It was found that all the predicted times are consistent, and most are safe. Some predictions are fairly tight, while others are a little loose. There are clear technical reasons that explain the differences between measured and predicted times, and technical solutions that should minimize these differences within the timing schema framework are seen     

基于Horn逻辑扩展模型的安全协议反例的自动构造

根据安全协议的Horn逻辑扩展模型和相应的安全协议验证方法,提出了自动构造不满足安全性质的安全协议反例的求解策略,并给出了重要定理的证明,设计了一系列自动构造协议攻击的构造算法,并在基于函数式编程语言Objective Caml开发的安全协议验证工具SPVT中实现了这些算法,给出了主要算法的优化方法,详细分析了主要算法的时间复杂度,从理论上证明了算法是线性时间算法.最后,用SPVT对一些典型的安全协议进行了验证,得到了不安全协议的反例,并对反例进行了分析.得到的反例非常方便于阅读,与Alice-Bob标记非常接近,从而使任何领域的专家都可以用这种形式化的方法检查安全协议是否存在真实的反例.     

扰动模糊有限转换状态机

引入了扰动模糊有限转换状态机和扰动模糊有限状态机的（强）同态的概念,研究了它们的相关性质。给出了[Σ]的元素构成所有长度有限的词集上的两种同余关系,讨论商结构问题,证明了相应的所有等价类构成具有单位元的有限半群,并且这两个有限半群是同态的。给出了[Q]上容许关系及强同态的核的概念,研究了它们的相关性质。     

粒子滤波算法综述

对粒子滤波算法的原理和应用进行综述．首先针对非线性非高斯系统的状态滤波问题．阐述粒子滤波的原理;然后在分析采样-重要性-重采样算法基础上．讨论粒子滤波算法存在的主要问题和改进手段;最后从概率密度函数的角度出发．将粒子滤波方法与其他非线性滤波算法进行比较．阐明了粒子滤波的适应性．给出了粒子滤波在一些研究领域中的应用．并展望了其未来发展方向．     

数字喷泉码及网络喷泉码的最新进展

数字喷泉码和网络编码都是提高网络传输效率的有效技术方法,两者的有机结合形成的网络喷泉码具有重要的理论意义和应用价值。本文首先对数字喷泉码的最新研究进展进行了综述,分别介绍了几类常见的数字喷泉码的相关研究工作;其次对当前网络喷泉码的研究现状进行了系统的总结,重点介绍了同构网络喷泉码、异构网络喷泉码和无线网络喷泉码的相关理论及其最新研究成果,并分析了研究中存在的问题;最后对网络喷泉码的相关理论及其应用的发展趋势进行了分析和展望。     

几种三层小波提升方案及其在图像压缩中的应用

1 引言小波理论在图像压缩中已有成功的应用。在小波压缩系统中,有两个因素是至关重要的:一是小波滤波器,二是压缩编码算法。随着小波变换进入JPEG2000,与小波变换相配套的零树编码算法写进MPEG-4,小波理论在图像压缩中也占有越来越重要的地位。基于提升算法的第二代小波变换也日益受到研究者的广泛关注。与第一代小波变换相比,提升算法具有快速、高效的优点,并且提升滤波器的设计可直接在空域中完成。第一代小波变换可通过因数分解转换为提升方案,例如著名的Cohen和     

多体系统动力学的常用积分器算法

本文将以单步法中的广义 α族积分器和多步法中的BDF族积分器为主要讨论对象,详细介绍大型多体系统动力学软件中常见类型的积分器的算法细节.每族积分器都给出了不止一套计算公式,而且其对应求解微分代数方程组(DAE)的index可以为1、2或者3.除此以外,本文还着重介绍了微分代数方程组的误差估计、变阶变步长策略等关键技术;并讨论了大型DAE问题求解过程中的初始条件分析、Jacobian矩阵复用等重要环节的算法实现;对于BDF积分器族,文中还详细描述了高阶格式的非绝对稳定性、速度变量的误差估计等瓶颈问题的解决方案.全文以多体系统动力学软件的积分器程序实现为目标,强调在满足给定精度的条件下,如何提高计算效率和保证仿真运行的鲁棒性.另外,本文也简要介绍了在某些应用场合中有很大潜力的显式积分器族.通过分析和比较,文中还将指出各种算法的优缺点以及可能的改进方向,希望能够为研究人员和程序开发者提供一定的参考.由于篇幅限制,本文只列出了几个标准的算例比较,作为文中内容的补充;并给出了几种积分器性能比较的一般性结论.文中几乎所有方法都经由作者程序实现、测试和比较,并且相关算法的实现细节也都已尽量列出,可以很容易地编程实现并应用到实际问题的求解中去.     

基于UG 的定型模工程图自动标注研究

针对定型模板块形状复杂不规则,内部孔特征多,尺寸标注工作量大且布局混乱等 问题,分析了定型模的结构特征,基于UG NX(Unigraphics NX)平台,开发了定型模工程图自动 标注系统。总结了定型模工程图标注需求,创建了工程图模板;基于特征提取,对定型模三维模 型自动转二维工程图时产生的冗余边线进行自动删除;基于提取的标注基准,对工程图中气孔、 水孔、定位键等特征的定位尺寸、定形尺寸进行了自动标注,并根据其位置,对工程图标注进行 合理布局。通过实例分析验证了该工程图自动标注系统的实用性。该研究简化了定型模工程图设 计流程,提高了其设计效率。