DXH-13.2/5便携式本质安全型电源

根据神华集团神东矿区的需求,设计了DXH-13.2/5便携式本质安全型电源,详细介绍了该电源的技术指标、结构组成及选型设计。实际应用表明,该电源可为煤矿井下便携式无源仪器仪表提供5 V本安电源,具有容量大、体积小、安全性高等特点。     

一种基于瞬时无功功率理论的谐波电流实时检测新算法

介绍了传统的基于瞬时无功功率理论的ip-iq谐波电流检测算法;针对谐波检测环节产生的时延问题,提出了一种基于传统的瞬时无功功率理论、通过增加预置补偿角来消除时延的谐波电流实时检测新算法。Matlab动态仿真结果表明,利用增加预置补偿角的新算法进行谐波检测补偿效果较好,补偿后的电流波形接近正弦波,实现了谐波的实时检测,验证了该算法的可行性和有效性。     

支持新型控制协议SIP的电力系统视频监控设计

针对电力系统视频监控工程的实际技术问题,采用嵌入式设备和基于网络分层的SIP管理架构,提出了一种支持新型控制协议SIP的电力系统视频监控设计,包括SIP的控制机制、基于SIP的监控系统结构、视频监控系统总体组成、硬件设计、软件设计和实验结论等;该系统的各成员之间可以通过组播或单播的方式进行交互,并在域内处理大量的信令信息和媒体流信息,具有扩展性、智能性、灵活性、自主性和互操作性等多种优良特性;经测试指标符合技术规范,实现了电力系统视频监控管理及控制的基本和扩展功能。     

北京数字信息设施使用者需求分析

在数字北京信息设施研究中,将"人种志"的研究方法引入设计中,通过对用户的行为观察和访谈,对人群进行分类,找到用户需求,从而有效地提出针对设计的问题。本文主要对数字北京信息设施使用者的需求进行调研,分析,分类,以及划分层次,从而帮助设计师从使用者的角度去思考设计,不仅可以从纷杂的现象中发现问题,也可以有层次,有步骤地解决问题。     

基于覆盖网络的海上信息栅格无线传输系统研究

文章在通信资源的形式化描述基础上,设计了一种信息栅格的传输体系,为一体化信息系统提供透明的传输服务。针对多重网络传输服务与网络性能的多样性,提出了一种基于作战任务的层次覆盖网络模型,以及实现网络负载均衡的QoS路由算法。     

一种多核Cache低功耗动态混合划分算法研究

随着片上集成核数的增多,片上Cache的面积也越来越大,同时消耗的能耗也越来越多.因此,面向低功耗的Cache划分方法不可避免地成为了Cache划分中需要考虑的一个重点.然而,目前的Cache划分算法主要是面向公平性、性能或者QoS的,很少考虑到功耗问题.面向低功耗的混合划分方法(LPHP)利用程序运行的局部性原理,将在L2 Cache中访问差异度较大的线程作为一个划分单位,通过私有和共享两种资源分配方式相结合来实施Cache划分,从而实现在运行同一个应用时,使用更少的Cache列,关闭剩余列,达到降低系统功耗的目的.LPHP通过减少在使用的Cache列来达到降低功耗的目的,符合当前多核发展低功耗的趋势.     

基于价值密度和截止期的网格作业调度算法

对商业网格中的作业调度问题进行研究,采用作业的到达时间、计算量、预算和截止期4个参数定义作业的优先级。在此基础上提出基于价值密度和相对截止期的网格作业调度算法,并对其进行仿真。仿真结果表明,该算法在实现价值率、按时完成作业数和加权作业按时完成率3个性能指标上优于现有算法,兼顾了消费者和服务者的利益。     

Generating asynchronous test cases from test purposes

Context

Input/output transition system (IOTS) models are commonly used when next input can arrive even before outputs are produced. The interaction between the tester and an implementation under test (IUT) is usually assumed to be synchronous. However, as the IUT can produce outputs at any moment, the tester should be prepared to accept all outputs from the IUT, or else be able to block (refuse) outputs of the implementation. Testing distributed, remote applications under the assumptions that communication is synchronous and actions can be blocked is unrealistic, since synchronous communication for such applications can only be achieved if special protocols are used. In this context, asynchronous tests can be more appropriate, reflecting the underlying test architecture which includes queues.

Objective

In this paper, we investigate the problem of constructing test cases for given test purposes and specification input/output transition systems, when the communication between the tester and the implementation under test is assumed to be asynchronous, performed via multiple queues.

Method

When issuing verdicts, asynchronous tests should take into account a distortion caused by the queues in the observed interactions. First, we investigate how the test purpose can be transformed to account for this distortion when there are a single input queue and a single output queue. Then, we consider a more general problem, when there may be multiple queues.

Results

We propose an algorithm which constructs a sound test case, by transforming the test purpose prior to composing it with the specification without queues.

Conclusion

The proposed algorithm mitigates the state explosion problem which usually occurs when queues are directly involved in the composition. Experimental results confirm the resulting state space reduction.     

网格访问控制与授权模型的设计与实现

访问控制和资源授权是网格系统中资源与用户的关系策略的集合,分析了访问控制与资源授权的设计原则,提出了一种基于禁止表和允许表的网格用户访问控制层次式AB4L访问控制模型.给出了该模型的形式化定义,叙述了基于Postgres数据库的资源访问控制模型和授权的实现方法,并从完备性、可扩展性、自主控制和安全性方面对该模型进行了性...     

基于加权网络模型的电网连锁故障分析

本文基于复杂网络理论提出了一种评估电网发生连锁故障的新方法,运用复杂网络理论来分析电网有助于从电网架构上研究连锁故障.首先,以输电线路和变压器的阻抗模值为边权构建了电网加权拓扑模型,并给出评价电网中心性的指标;其次,基于线路断开瞬间线路传输功率优先分配到邻近线路的原则,提出评估电网发生连锁故障的阈值模型;最后,以IEEE 118节点系统为例,通过计算反映其中心性的指标值,找出了IEEE 118节点系统的中心节点,验证了加权拓扑模型在反映节点中心性方面优于无权拓扑模型,与实际网路也更接近.在此基础上,针对四种攻击网络的典型模式,运用阈值模型计算该系统发生连锁故障的临界阈值,揭示了电网发生连锁故障的机理.