软件发生瞬时故障时，可能会导致处理器状态改变，致使程序执行出现数据错误或者控制流错误。目前已有许多软件、硬件以及混合的解决方案，主要的方法是重复计算和检查副本的一致性。但是，生成正确的容错代码十分困难，而且几乎没有关于证明这些技术的正确性的研究。类型化汇编语言（TAL）是一种标准的程序安全性证明的方式。本文概述了一种面向瞬时故障的软硬结合的容错方法，以及对该方法的形式化方法，包括容错类型化汇编语言、类型系统和容错定理。形式化的目的是为了验证，只有通过验证的程序代码才是类型安全的。本文只简单介绍了程序的形式化方法。
上传时间： 2014-01-15
上传用户：dudu1210004
虚拟机自省（Virtual Machine Introspection，VMI）技术充分利用虚拟机管理器的较高权限，可以实现在单独的虚拟机中部署安全工具对目标虚拟机进行监测，为进行各种安全研究工作提供了很好的解决途径，从而随着虚拟化技术的发展成为一种应用趋势。基于为更深入的理解和更好的应用VMI技术提供参考作用的目的，本文对VMI技术进行了分析研究。采用分析总结的方法，提出了VMI的概念，分析其实现原理和实现方式；详细地分析总结了VMI技术在不同领域的研究进展，通过对不同研究成果根据实现方式进行交叉分析比较，得出不同研究成果对应的4种实现方式；分析了VMI技术面临的语义鸿沟问题；最后对VMI技术研究进行总结和展望。
上传时间： 2014-08-21
上传用户：jkhjkh1982
基于傅里叶计算全息技术，结合菲涅尔双随机相位加密系统，提出了一种数字图像加密方法。该方法以傅里叶计算全息图记录菲涅尔衍射双随机相位加密图像，傅里叶计算全息加密图像隐藏了原图像大小尺度信息，而且再现多个图像，必须针对加密图像共轭方可解密，提高了图像加密的安全性，并且解决了普通方法加密图像难存储的问题，作为原始明文的拥有者，两个随机相位板，应用波长，两次菲涅尔衍射的距离都可作为解密密钥。
上传时间： 2013-10-23
上传用户：YYRR
工控技术
上传时间： 2013-12-26
上传用户：lifangyuan12
数字水印作为一种防护技术，在数字产品的保护认证方面越发显得重要，成为当前计算机领域研究的热点问题之一。提出了一种在空域采用分块重复嵌入水印信息和HVS相结合的水印技术。实验结果说明，分块技术在空域的使用提高了水印的嵌入强度和降低计算复杂度，该算法在抵抗旋转、裁剪、缩放方面等有较强能力；水印算法与HVS技术的有效性相结合，数字水印具有很好的掩蔽性。
上传时间： 2013-10-23
上传用户：qwerasdf
摘要: 介绍了时钟分相技术并讨论了时钟分相技术在高速数字电路设计中的作用。 关键词: 时钟分相技术; 应用 中图分类号: TN 79 文献标识码:A 文章编号: 025820934 (2000) 0620437203 时钟是高速数字电路设计的关键技术之一, 系统时钟的性能好坏, 直接影响了整个电路的 性能。尤其现代电子系统对性能的越来越高的要求, 迫使我们集中更多的注意力在更高频率、 更高精度的时钟设计上面。但随着系统时钟频率的升高。我们的系统设计将面临一系列的问 题。 1) 时钟的快速电平切换将给电路带来的串扰(Crosstalk) 和其他的噪声。 2) 高速的时钟对电路板的设计提出了更高的要求: 我们应引入传输线(T ransm ission L ine) 模型, 并在信号的匹配上有更多的考虑。 3) 在系统时钟高于100MHz 的情况下, 应使用高速芯片来达到所需的速度, 如ECL 芯 片, 但这种芯片一般功耗很大, 再加上匹配电阻增加的功耗, 使整个系统所需要的电流增大, 发 热量增多, 对系统的稳定性和集成度有不利的影响。 4) 高频时钟相应的电磁辐射(EM I) 比较严重。 所以在高速数字系统设计中对高频时钟信号的处理应格外慎重, 尽量减少电路中高频信 号的成分, 这里介绍一种很好的解决方法, 即利用时钟分相技术, 以低频的时钟实现高频的处 理。 1 时钟分相技术 我们知道, 时钟信号的一个周期按相位来分, 可以分为360°。所谓时钟分相技术, 就是把 时钟周期的多个相位都加以利用, 以达到更高的时间分辨。在通常的设计中, 我们只用到时钟 的上升沿(0 相位) , 如果把时钟的下降沿(180°相位) 也加以利用, 系统的时间分辨能力就可以 提高一倍(如图1a 所示)。同理, 将时钟分为4 个相位(0°、90°、180°和270°) , 系统的时间分辨就 可以提高为原来的4 倍(如图1b 所示)。 以前也有人尝试过用专门的延迟线或逻辑门延时来达到时钟分相的目的。用这种方法产生的相位差不够准确, 而且引起的时间偏移(Skew ) 和抖动 (J itters) 比较大, 无法实现高精度的时间分辨。 近年来半导体技术的发展, 使高质量的分相功能在一 片芯片内实现成为可能, 如AMCC 公司的S4405, CY2 PRESS 公司的CY9901 和CY9911, 都是性能优异的时钟 芯片。这些芯片的出现, 大大促进了时钟分相技术在实际电 路中的应用。我们在这方面作了一些尝试性的工作: 要获得 良好的时间性能, 必须确保分相时钟的Skew 和J itters 都 比较小。因此在我们的设计中, 通常用一个低频、高精度的 晶体作为时钟源, 将这个低频时钟通过一个锁相环(PLL ) , 获得一个较高频率的、比较纯净的时钟, 对这个时钟进行分相, 就可获得高稳定、低抖动的分 相时钟。 这部分电路在实际运用中获得了很好的效果。下面以应用的实例加以说明。2 应用实例 2. 1 应用在接入网中 在通讯系统中, 由于要减少传输 上的硬件开销, 一般以串行模式传输 图3 时钟分为4 个相位 数据, 与其同步的时钟信号并不传输。 但本地接收到数据时, 为了准确地获取 数据, 必须得到数据时钟, 即要获取与数 据同步的时钟信号。在接入网中, 数据传 输的结构如图2 所示。 数据以68MBös 的速率传输, 即每 个bit 占有14. 7ns 的宽度, 在每个数据 帧的开头有一个用于同步检测的头部信息。我们要找到与它同步性好的时钟信号, 一般时间 分辨应该达到1ö4 的时钟周期。即14. 7ö 4≈ 3. 7ns, 这就是说, 系统时钟频率应在300MHz 以 上, 在这种频率下, 我们必须使用ECL inp s 芯片(ECL inp s 是ECL 芯片系列中速度最快的, 其 典型门延迟为340p s) , 如前所述, 这样对整个系统设计带来很多的困扰。 我们在这里使用锁相环和时钟分相技术, 将一个16MHz 晶振作为时钟源, 经过锁相环 89429 升频得到68MHz 的时钟, 再经过分相芯片AMCCS4405 分成4 个相位, 如图3 所示。 我们只要从4 个相位的68MHz 时钟中选择出与数据同步性最好的一个。选择的依据是: 在每个数据帧的头部(HEAD) 都有一个8bit 的KWD (KeyWord) (如图1 所示) , 我们分别用 这4 个相位的时钟去锁存数据, 如果经某个时钟锁存后的数据在这个指定位置最先检测出这 个KWD, 就认为下一相位的时钟与数据的同步性最好(相关)。 根据这个判别原理, 我们设计了图4 所示的时钟分相选择电路。 在板上通过锁相环89429 和分相芯片S4405 获得我们所要的68MHz 4 相时钟: 用这4 个 时钟分别将输入数据进行移位, 将移位的数据与KWD 作比较, 若至少有7bit 符合, 则认为检 出了KWD。将4 路相关器的结果经过优先判选控制逻辑, 即可输出同步性最好的时钟。这里, 我们运用AMCC 公司生产的 S4405 芯片, 对68MHz 的时钟进行了4 分 相, 成功地实现了同步时钟的获取, 这部分 电路目前已实际地应用在某通讯系统的接 入网中。 2. 2 高速数据采集系统中的应用 高速、高精度的模拟- 数字变换 (ADC) 一直是高速数据采集系统的关键部 分。高速的ADC 价格昂贵, 而且系统设计 难度很高。以前就有人考虑使用多个低速 图5 分相技术应用于采集系统 ADC 和时钟分相, 用以替代高速的ADC, 但由 于时钟分相电路产生的相位不准确, 时钟的 J itters 和Skew 比较大(如前述) , 容易产生较 大的孔径晃动(Aperture J itters) , 无法达到很 好的时间分辨。 现在使用时钟分相芯片, 我们可以把分相 技术应用在高速数据采集系统中: 以4 分相后 图6 分相技术提高系统的数据采集率 的80MHz 采样时钟分别作为ADC 的 转换时钟, 对模拟信号进行采样, 如图5 所示。 在每一采集通道中, 输入信号经过 缓冲、调理, 送入ADC 进行模数转换, 采集到的数据写入存储器(M EM )。各个 采集通道采集的是同一信号, 不过采样 点依次相差90°相位。通过存储器中的数 据重组, 可以使系统时钟为80MHz 的采 集系统达到320MHz 数据采集率(如图6 所示)。 3 总结 灵活地运用时钟分相技术, 可以有效地用低频时钟实现相当于高频时钟的时间性能, 并 避免了高速数字电路设计中一些问题, 降低了系统设计的难度。
上传时间： 2013-12-17
上传用户：xg262122
中望CAD2010体验版正式发布。作为中望公司的最新年度力作，在继承以往版本优势的基础上，中望CAD2010融入了以“安全漏洞抓取、内存池优化、位图和矢量图混合处理”等多项可以极大提高软件稳定性和效率的中望正在申请全球专利的独创技术，新增了众多实用的新功能，在整体性能上实现了巨大的飞跃，主要体现在以下几方面： 大图纸处理能力的提升 文字所见即所得、消隐打印等新功能 二次开发接口更加成熟 一、大图纸处理能力的提升 中望CAD2010版采用了更先进的内存管理以及压缩技术，采用了一些新的优化算法，使得中望CAD常用命令执行效率和资源占用情况得到进一步的提高，特别是在低内存配置下大图纸的处理能力，大大减少了图纸内存资源占用量，提升了大图纸处理速度。主要体现在： 大图纸内存占用量显著下降，平均下降约30%，地形图类图纸则平均下降50%； 实体缩放和平移，zoom\pan\redraw更加顺畅； 保存速度更快、数据更安全，保存速度平均有40%的提升。 二、新增功能 1、文字所见即所得 文字编辑器有多处改进，文字编辑时显示的样式为最后在图面上的样式，达到了所见即所得的效果。文字编辑器新加入段落设置，可进行制表位、缩进、段落对齐方式、段落间距和段落行距等项目的调整。另外，在文字编辑器内可直接改变文字倾斜、高度、宽度等特征。 2、消隐打印 中望CAD2010版本支持二维和三维对象的消隐打印，在打印对象时消除隐藏线，不考虑其在屏幕上的显示方式。此次消隐打印功能主要体现在以下两个方面： （一）、平台相关命令和功能的调整 视口的“属性”：增加“着色打印”选项（“线框”和“消隐”两种着色打印项） 选择视口后，右键菜单支持“着色打印”项（ “线框”和“隐藏”两种模式） 命令mview增加了“着色打印”功能项，可以方便用户设置视口的“着色打印属性”（线框和消隐两种模式） 打印”对话框调整：在布局空间，激活“打印”对话框，以前的“消隐打印”选项显示为“隐藏图纸空间对象”。 页面设置管理器启动的“打印设置”对话框调整：图纸空间中，通过页面设置管理器激活的“打印设置”对话框，以前的“消隐打印”选项显示为“隐藏图纸空间对象” （二）、消隐打印使用方法的调整 模型空间： 可通过“打印”或“页面设置管理器”打开的“打印设置”对话框中的“消隐打印”选项来控制模型空间的对象是否消隐打印，同时包含消隐打印预览，若勾选“消隐打印”按钮，模型空间的对象将被消隐打印出来。 布局空间： 若要在布局空间消隐打印对象，分为两种情况： 1) 布局空间视口外的对象是否消隐，直接取决于“打印设置”对话框中“隐藏图纸空间对象”按钮是否被勾选； ２）布局空间视口中的对象是否消隐，取决于视口本身的属性，即“着色打印”特性选项，必须确保该选项为“消隐”才可消隐打印或预览 3、图层状态管理器 可以创建多个命名图层状态，以保存图层的状态列表，用户可以通过选择图层状态来表现图纸的不同显示效果。这种图层状态可以输出供其它图纸使用，也可以输入其它保存的图层状态设置。 4、文字定点缩放 能够依据文字位置的特征点，如中心，左下等，作为基准点，对多行文字或单行文字进行缩放，同时不改变基准点位置。 5、Splinedit新功能 全面支持样条曲线的编辑，主要体现在SPLINEDIT命令行提示中，如下： 拟合数据(F)/闭合样条(C)/移动(M) 顶点(V)/精度(R)/反向(E)/撤消(U)/<退出(X)>: 拟合数据： 增加(A)/闭合(C)/删除数据(D)/移动(M)/清理(P)/切线(T)/<退出(X)>: 增加、删除数据：通过增加、删除样条曲线的拟合点来控制样条曲线的拟合程度。 移动：通过移动指定的拟合点控制样条曲线的拟合数据 闭合/打开：控制样条曲线是否闭合。 清理：清除样条曲线的拟合数据，从而使命令提示信息变为不包含拟合数据的情形。 切线：修改样条曲线的起点和端点切向。 闭合样条：将打开的样条曲线闭合。若选择的样条曲线为闭合的，该选项为“打开”，将闭合的样条曲线打开。 移动：可用来移动样条曲线的控制点到新的位置。 精度：可通过添加控制点、提高阶数或权值的方式更为精密的控制样条曲线的定义。 反向：调整样条曲线的方向为反向。 6、捕捉和栅格功能增强 7、支持文件搜索路径 关于激活注册：打开CAD界面，找到左上面的“帮助”，激活产品-复制申请码-再打开你解压到CAD包找到keygen.exe（也就是注册机，有的在是“Key”文件里，如果没有可以到网上下载），输入申请码--点击确定，就中间那个键--得到数据 应该是五组-复制再回到上面激活码页面，粘贴激活码确定就ok ！复制(粘贴)的时候用 ctrl +c（v），用鼠标右键没用！ 如果打开安装CAD就得注册才能运行的，那方法也跟上边的差不多！ 其实你在网上一般是找不到激活码的，因为各个申请码不一样，所以别人的激活码到你那基本上没用，只能用相应的方法得到激活码，这方法也就要你自己去试了，我原来也不会装CAD，但现在一般3分钟就装好了，只要知道怎么说了就快了，一般软件都是一样的装法，不会装可以到网上找资料！有时求人不如求已，自己算比在网上等着别人给你算快多了
上传时间： 2013-11-18
上传用户：段璇琮*
【摘要】电力直流系统是变电站安全运行的基础，随着变电站数字化、智能化程度的不断提高，对站用电源的管理也提出了新的、更高的要求。而管理的的基础，就是设备能准确、高速的反应当前设备的电压、电流、开关状态等信息。做到设备不死机，不停机，干扰不误报等。随着微电子技术、计算机和通讯技术的飞速发展，新器件的研制、生产周期的日益缩短。为了满足工业自动化，新技术、新器件不断应用到新产品中。模拟量采集包括直流电压和电流。开关量采集包括开关的分合，继电器的投入切除等。
上传时间： 2013-11-02
上传用户：阳光少年2016
AL-BNR系列变压器中性点接地电阻柜 中性点经电阻接地可有效限制间歇弧光接地过电压、降低系统操作过电压、消除系统谐振过电压、方便配置单相接地故障保护、可在短时间内有效切除故障线路。从而降低系统设备的绝缘水平，延迟系统设备的使用寿命，提高系统运行的安全可靠性。 保定市奥兰电气设备有限公司拥有一流的研发队伍和精良的专用设备，专注于配电系统中性点接地保护系列产品、继电保护装置、过电压保护装置的研发、生产、销售。公司所开发的系列AL-BNR变压器中性点接地电阻柜是6-35KV配电网中变压器中性点接地保护专用成套设备，目前已广泛应用于以电缆线路为主的城市配电网、大型工业企业、工厂、机场、港口、地铁等重要电力用户配电网以及发电厂厂用电系统。 产品采用优质进口不锈钢或国产不锈钢电热金属材料，具有电导率高、温度系数高、耐腐蚀、耐高温、抗氧化能力强、抗拉强度高及阻值稳定等优良特点，产品运行安全可靠。 中压配电系统中，如果变压器为三角形接法，则需加装Z型接地变压器，以便为系统人为引出中性点，以加装中性点接地电阻。 1、针对性强，保护到位 AL-BNR变压器中性点接地电阻柜适用于系统中性点采用小电阻或中电阻接地的场合。此时，电网出现单相接地故障时需立即跳闸切除故障线路。当电网出现单相接地时，接地电阻向接地点提供附加阻性电流，使接地电流呈阻容性质，从而保证产生的过电压不超过2.6倍的相电压。 2、结构紧凑，便于安装 AL-BNR变压器中性点接地电阻柜将零散的Z型接地变压器（如系统无中性点引出则需加装）、电阻器、电流互感器、测量仪表、接地保护输出端子等电器设备整体组合在一个封闭金属柜内，而且可以选配隔离开关、避雷器，成套供货，安全可靠性高，布置清晰整齐，便于安装调试及操作维护。 3、选材考究，充分保证产品质量 AL-BNR变压器中性点接地电阻柜内的接地变压器为优质干式变压器，其一次绕组为“Z”形接线；电阻器采用不锈钢镍铬合金（Cr20Ni80）材料制成，导电率高、通流能力强、耐高温、最高使用温度可达1600℃；温度系数≤ -0.045% /℃、阻值稳定、耐腐蚀、防燃防爆、可靠性高。用合金材料组成的电阻全部采用电阻单元，以 多个单元采用亚弧焊接而成框架式结构，电阻单元采用耐高温绝缘子（高分子）支撑连接。根据不同的客户要求我公司可提供进口电阻器。 4、监测功能齐全，并提供模拟量输出 AL-BNR变压器中性点接地电阻柜可加装智能监控装置，可监测电阻柜正常运行状态下中性点不平衡电流、电阻片、电阻柜内的温度，也可以监测发生单相接地故障瞬间的电流以及记录接地动作次数，并预留通讯接口，可将检测、记录的信息传递至主控室，使运行人员在第一时间内得到信息。 5、技术力量雄厚，服务周到 我公司为专业生产厂家，技术力量雄厚，售前的技术交流咨询可随时到位。售后的安装技术指导可按用户要求及时进行
上传时间： 2014-12-24
上传用户：shinesyh
前言城市中低压配电网是电力系统的重要组成部分，是城市建设的重要基础设施。为满足城市建设、经济发展和人民生活用电的需要，指导全国城市中低压配电网改造工作，使之达到安全可靠、技术先进、经济合理的要求，根据原能源部司局电供［1991］131号文和原能源部电力司提出的《关于加强城市中低压配电网改造的若干意见》，由全国电力系统城市供电专业工作网负责，在广泛征求意见的基础上，总结了北京、上海、长沙、南京、沈阳、广州、武汉、福州、重庆、昆明、乌鲁木齐、辽阳、包头供电局(电业局)城市中低压配电网改造方面的经验，由北京供电局具体起草了本技术导则。本标准由电力工业部安全监察及生产协调司提出并归口。本标准由全国电力系统城市供电专业工作网、北京供电局起草。本标准主要起草人：宁岐、陈光华、关诚、伍秋熹、牛益民。
上传时间： 2013-10-28
上传用户：水口鸿胜电器
