Fault handling in large water networks with online dictionary learning

Fault detection and isolation in water distribution networks is an active topic due to the nonlinearities of flow propagation and recent increases in data availability due to sensor deployment. Here, we propose an efficient two-step data driven alternative: first, we perform sensor placement taking the network topology into account; second, we use incoming sensor data to build a network model through online dictionary learning. Online learning is fast and allows tackling large networks as it processes small batches of signals at a time. This brings the benefit of continuous integration of new data into the existing network model, either in the beginning for training or in production when new data samples are gathered. The proposed algorithms show good performance in our simulations on both small and large-scale networks.     

一种北斗联合低轨星座的导航增强方法研究

单纯依靠北斗导航系统提供定位导航授时服务,存在卫星信号落地功率低、易受遮蔽和阻断的不足。针对此问题,研究了一种北斗联合低轨星座实现导航增强的系统架构;提出了一种新的适应严重遮蔽或干扰条件下,基于到达时间(TOA)和到达频率(FOA)联合观测的定位解算算法;对高中低轨混合星座条件下的覆盖特性和精度衰减因子进行了仿真分析。分析结果表明,用户可见星数平均增加了64.2%,位置精度衰减因子(PDOP)平均改善了28.7%。研究结果可为下一代北斗的论证设计与研制建设提供参考借鉴。     

Model checking temporal knowledge and commitments in multi-agent systems using reduction

Though modeling and verifying Multi-Agent Systems (MASs) have long been under study, there are still challenges when many different aspects need to be considered simultaneously. In fact, various frameworks have been carried out for modeling and verifying MASs with respect to knowledge and social commitments independently. However, considering them under the same framework still needs further investigation, particularly from the verification perspective. In this article, we present a new technique for model checking the logic of knowledge and commitments (CTLKC⁺). The proposed technique is fully-automatic and reduction-based in which we transform the problem of model checking CTLKC⁺ into the problem of model checking an existing logic of action called ARCTL. Concretely, we construct a set of transformation rules to formally reduce the CTLKC⁺ model into an ARCTL model and CTLKC⁺ formulae into ARCTL formulae to get benefit from the extended version of NuSMV symbolic model checker of ARCTL. Compared to a recent approach that reduces the problem of model checking CTLKC⁺ to another logic of action called GCTL¹, our technique has better scalability and efficiency. We also analyze the complexity of the proposed model checking technique. The results of this analysis reveal that the complexity of our reduction-based procedure is PSPACE-complete for local concurrent programs with respect to the size of these programs and the length of the formula being checked. From the time perspective, we prove that the complexity of the proposed approach is P-complete with regard to the size of the model and length of the formula, which makes it efficient. Finally, we implement our model checking approach on top of extended NuSMV and report verification results for the verification of the NetBill protocol, taken from business domain, against some desirable properties. The obtained results show the effectiveness of our model checking approach when the system scales up.     

黑龙江省节水增粮行动(2012—2015年)实施方案

文章通过对黑龙江省高效节水现状,存在问题的分析,结合黑龙江省高效节水发展的支撑能力,阐述黑龙江省节水增粮目标、任务及总体布局,为黑龙江省2012—2015年节水增粮实施提供依据。     

Diffuse color patterning using blended electrochromic polymers for proof‐of‐concept adaptive camouflage plaques

A study using three different pairs of electrochromic polymers (ECPs) synthesized onto plaques by means of a modified vapor phase polymerization (VPP) technique is presented. Restriction of the respective polymerization times, allowed both faster and slower polymerizing monomers to be controlled, and produced blended plaques with visually diffuse interfaces. The ECPs within the blended plaques retain their individual electrochromic behavior and when encapsulated into an electrochromic device, show outstanding optical switching performance with little degradation evident over 10,000 cycles, coupled with a switching time of the order of 1 second. Blends also allow multiple diffuse color changes within an electrochromic device, due to the difference in oxidation potentials of the individual ECPs, making them candidates for adaptive camouflage use. © 2015 Wiley Periodicals, Inc. J. Appl. Polym. Sci. 2015 , 132, 42158.     

核算前移在冶炼企业优化成本控制中的应用

针对国际黄金价格的走低,黄金冶炼企业如何在激烈的市场竞争中寻求更大的利润空间,优化成本控制显得尤为重要。以某冶炼厂为例,阐述核算前移在优化企业成本控制中的应用,以达到降本增效的目的,实现企业利润的最大化。     

Controllability and observability of multi-agent systems with heterogeneous and switching topologies

ABSTRACT

This paper focuses on controllability and observability of multi-agent systems with heterogeneous and switching topologies, where the first- and the second-order information interaction topologies are different and switching. First, based on the controllable state set, a controllability criterion is obtained in terms of the controllability matrix corresponding to the switching sequence. Next, by virtue of the subspace sequence, two necessary and sufficient algebraic conditions are established for controllability in terms of the system matrices corresponding to all the possible topologies. Furthermore, controllability is considered from the graphic perspective. It is proved that the system is controllable if the union graph of all the possible topologies is controllable. With respect to observability, two sufficient and necessary conditions are derived by taking advantage of the system matrices and the corresponding invariant subspace, respectively. Finally, some simulation examples are worked out to illustrate the theoretical results.     

A review on some classes of algebraic systems

ABSTRACT

In this paper, we review some algebraic control system. Precisely, linear and bilinear systems on Euclidean spaces and invariant and linear systems on Lie groups. The fourth classes of systems have a common issue: to any class, there exists an associated subgroup. From this object, we survey the controllability property. Especially, from those coming from our contribution to the theory.     

倾斜摄影测量技术在古建筑测绘中的运用研究——以郴州市汝城县朱氏宗祠建筑测绘为例

为测试倾斜摄影测量技术路线,并通过实际项目的应用,解决传统古建筑建模过程中存在的时间成本高、难以还原复杂场景等问题。按照倾斜摄影技术的技术路线,进行朱氏宗祠建筑测绘试验,并通过基于altizure软件建立三维模型来展现倾斜摄影测量技术流程。验证无人机倾斜摄影应用于古建筑三维建模的可行性和可操作性。     

云冈矿采空区自然发火综合治理技术实践

针对云冈矿12#煤层8820、8822采空区出现CO泄漏事件,采用粉煤灰填充,构筑木板墙充填粉煤灰,配以墙体周边注马丽散堵漏;采用灌浆泵进行地面黄土灌浆,实施采空区灭火。通过对采空区自然发火进行综合治理,取得了良好效果,消除了自然发火隐患。