摘要：由于现有智能检修系统运行恢复时间长,故障检修准确率低。因此,研究基于远程无线通信的变电站运行故障智能检修系统。在系统硬件设计方面,采用双CPU方法,使用微处理器完成数据收发两端的控制。通过串口与单片机相连,进行实时的远程控制与报警;在软件设计方面,选择扩频技术进行无线通信链路信号传输,对干扰信号进行抑制,对变电站运行状态进行网络化监测。计算不同运行工况数据的平均路径进行,寻找故障点位置。根据气体成分和含量来判断故障的类型,判断变电站设备的运行状态。根据裂化程度判断变电站运行状态是否能够恢复到正常水平,进行周期维护与检修从而完成设计。测试结果表明,20次实验后,系统运行恢复时间均在0.35s之内,计算得到20组的故障检修准确率均为100%,可以得出,该文方法可以有效提升故障检修的准确率及工作效率。

摘要：土族生活的地区被誉为“彩虹的故乡”,这样的美称与土族颜色鲜艳的服饰密不可分,而土族服饰中最具民族特色的就是装饰在领口、袖口、腰带等部位的精美刺绣,青海土族刺绣是中华民族刺绣艺术的重要组成部分。土族刺绣纹样清晰、针法多变、颜色对比强烈,表现出了生活在青藏高原的土族人民热情奔放。

摘要：由于故障电流变化较小不易察觉,传统故障检测方法的精度较低。该背景下,提出基于注入法的变电站直流电源接地故障检测方法。通过纳秒级高压脉冲发生装置向变电站直流电源注入脉冲信号,以注入脉冲信号的响应电流信号的分担系数轨迹特征为选线判据,提取脉冲响应电流信号,确定其分担系数轨迹特征,从而进行接地故障选线,实现接地故障检测。实验结果表明,设计方法检测变电站直流电源接地故障的正确率为95.37%,证明该方法效果较好。

摘要：发式作为人体美的重要表现形式,常常被赋予一种原始审美情趣。西北地区出土的绘画和雕塑艺术,用比较简单、写实、笨拙的形式,在一定程度上反映了史前先民的发式所蕴含的精神气质及淳朴的原始宗教信仰,同时也说明了史前先民对美的追求并非有了丰厚的物质条件才萌生的。本文通过考古出土的实物及文献资料,考述西北地区新石器时代史前先民的发式习俗。

摘要：粮油工程设计中的标准应用国内贸易部科学研究院张成志标准，泛言即是一种规则和依据。标准化则追求的是整体的最佳化。标准和标准化工作是保证科学、技术和实践的先进性的一种条件。对粮油工程建设暨粮油工程设计而言，有关标准规范是保证建设水平、效益的重要规则和依据...

摘要：<正> 全面质量管理做为一种科学的、有效的管理方法在勘察设计单位广泛推行,是勘察设计改革的一个组成部分.我院做为全国粮食系统唯一的甲级工程设计单位,推行好全面质量管理(以下简称TQC),不仅对自身素质和竞争、生存能力的提高大有好处,而且对本系统设计单位总体推行TQC也有一定的示范作用.我院从1989年开始推行TQC。

摘要：云计算是一种通过网络以服务的方式向用户提供按需收费的计算资源的模式,目前企业逐渐将业务部署、数据处理转移到云计算平台上进行。因为可扩展性、性能等各方面需求,所以云平台部署在分布式系统上。由于分布式系统采用大量的商品机通过复杂的结构进行搭建,因此分布式系统中组件发生故障是无法避免的。为了提高分布式系统的可靠性,技术人员在开发分布式系统时为其设计了容错机制。为了保证容错机制在分布式系统发生故障时能真正有效地工作,故障注入是检验容错机制的方法之一,通过人为地向系统中注入特定的故障,观察系统的行为并检验容错机制是否正确工作。由于分布式系统的并发特性,传统软件测试方法无法对其进行完全测试,近年来越来越多地使用模型检测技术来对分布式系统进行验证。现有的模型检测技术注重对分布式系统的安全性属性和活性属性的检测,忽略了对容错机制尤其是活性属性容错机制的检测,所以如何验证系统的活性属性容错机制是目前面临的挑战。采用抽象模型检测方法会引入模型与实际系统不匹配的问题。同时,采用实现级模型检测方法会加剧模型检测中的状态空间爆炸问题。本文提出了一个实现级模型检测工具LTMC(Liveness Properties Fault Tolerance Model Checker),结合故障注入技术对分布式协议的安全性属性与活性属性及其容错机制进行验证。同时,基于分布式系统节点的角色,本文提出了一种对等约减策略PRP(Peer Reduction Policy)对LTMC需要搜索的状态空间进行约减,缓解了状态空间爆炸问题。此外,LTMC通过引入逻辑时钟机制,优先搜索那些更有实际价值的事件执行路径。LTMC能够有目标地在待验证系统运行的特定时刻注入特定的故障,而不依赖于随机故障注入策略;当待验证系统发生改变时,只需要简单地对工具进行轻微的修改;LTMC可以系统地发现分布式协议中指定类型的所有Bug。在本文最后,我们将LTMC应用到ZooKeeper和Cassandra的几个协议中,并与深度优先搜索作对比,可以发现LTMC有3.7~594.4倍的状态空间约减率。

摘要：在软件体系结构(softwarearchitecture,简称SA)设计中,复合构件是具有内部结构的构件,它可以对复杂的SA模型进行层次化的组织.尽管大多数体系结构描述语言都支持复合构件,但常见的SA模型分析与验证工具仅支持单层的SA模型作为输入,且目前的主流构件运行平台都不支持带有内部结构的复合构件模型.因此,有必要将多层的SA模型转化为单层的SA模型(即“单层化”).“单层化”的关键在于如何保证“单层化”前后SA模型的一致性.对该问题及其解决方案进行了系统而深入的研究,给出了SA模型一致性的形式化定义.在此基础上,提出了SA模型“单层化”的基本原则以及过程指南,并以一个构件化的邮件客户端为例,验证了该方法的可行性.

摘要：绘画和雕塑艺术在我国已有悠久的历史,其源可以追溯到史前的旧石器时代.史前先民运用绘画和雕塑等造塑艺术形式描绘了自己的形象,这可以从大量的考古出土文物资料中得到印证,虽然这些绘画和雕塑艺术品从技法上看都比较简单、写实、笨拙,但其外形不失人类本身的主要特征.本文通过一些出土的远古艺术品及史料,来审视一下史前先民的真实形象.

摘要：研究目的:天津铁路枢纽南仓特大桥38 m+62 m+38 m刚构连续梁是在正常的合龙温度下进行设计的,但由于拆迁等特殊情况的影响,本桥主跨合龙进入夏季,高温合龙不可避免。针对本桥介绍一下高温合龙的特殊处理措施和体会,给相关结构设计、施工提供一些借鉴和帮助。