节水型社会建设与用水效率控制

在综合分析区域水资源特点、水资源承载能力、用水水平与效率及产业结构调整和水价等影响因素的基础上,提出了工业、农业和生活等方面的节水潜力.以提高水资源利用效率和效益为核心,根据我国不同地区的自然特点、水资源条件、经济社会发展和生态环境保护及其对水资源高效利用的要求,研究提出全国节水型社会建设的目标与任务,确定了不同区域用水效率控制红线,制定了全国节水战略与布局,提出了工业、农业和城镇生活等重点领域节水对策措施.按照量水而行、以水定发展的原则,因地制宜确定不同区域节水型社会建设的重点和方向.     

Trajectory linearization control for a miniature unmanned helicopter

Trajectory linearization control (TLC) approach is applied to design a nonlinear trajectory tracking controller for a miniature unmanned helicopter. The controller is based on nonlinear model derived from Newton-Euler equations, with collective and cyclic pitches being regarded as actual controls. Via model simplifications, the nonlinear helicopter model can be transformed into a cascaded form including four subsystems. Corresponding with the simplified cascaded structure, the proposed controller is constructed by synthesizing TLC designs for subsystems. Each of them includes designs of a pseudo-inversion and an error regulator. A summarized TLC algorithm for the unmanned helicopter is listed briefly after the detailed controller design process. Simulation results are provided to demonstrate performances of the closed-loop system.     

基于ISO9000质量管理体系的高校多媒体管理及服务系统设计

本文把高校的多媒体管理系统与ISO9000质量管理体系相结合,探讨了基于ISO9000质量管理体系的高校多媒体管理及服务系统的设计,主要包括两方面,一是把质量管理体系应用到服务教学方面,二是把质量管理体系应用到内部管理方面,而内部管理同时又是为了更好地服务教学,通过ISO9000质量管理体系二者可达到空前的统一.     

基于Web的法律咨询系统的设计与实现

针对法律案例多样化,且法律条文中通常都含有大量专业性很强的法律专用语,使得法律按照条文来分析自身面临了很大难题,本文研究了基于Web的法律信息服务平台的设计与实现,将冗杂无序的网上法律信息进行统一搜集和分类,并提供了大量案例供用户阅读,为用户提供更多有价值的法律信息.系统主要功能有:商务实务查询,相关信息查询,用户权限管理.案例及其类别管理,法律法规及其类别管理,简易论坛,案例搜索,法律法规查询,相似案例查找等.本系统的核心功能是相似案例查找和关键字搜索功能,常要利用Lucene进行切词处理.相似案例查找功能逆向运用了KNN算法的思想,在切词处理后,形成空间向量,利用空间向量计算来分析两案例的相似度,从而实现了相似案例查找.为了实现关键字搜索功能,利用Lucene实现了对数据库中的案例的全文动态索引处理,从而提高了搜索速度和搜索精度.     

An Efficient One-Arrow-Two-Hawks Strategy Achieves High Efficiency and Stable Batch Variance for Benzodifuran-based Polymer Solar Cells

With the development of organic solar cells (OSCs), the high-performance and stable batch variance are becoming a new challenge for designing polymer donors. To obtain high photovoltaic performance, adopting polymers with high molecular weight as donors is an ordinary strategy. However, the high molecular weight need to subtly control the reaction time and state, inevitably caused batch-to-batch variations. Herein, a strategy of steric effect is applied to benzodifuran (BDF)-based polymer by introducing different positions of Cl atom, producing two polymers PBDFCl-1 and PBDFCl-2. The more twisted side chains conformation not only achieve the control of moderate molecular weight for PBDFCl-2, but also easily form molecular stacking through adopting BDF unit and maintain sufficient polymeric crystallinity. Due to the optimized stacking mode and good blend miscibility, PBDFCl-2-based device exhibitsa more elegant power conversion efficiency (PCE) of 17.00% compared to PBDFCl-1-based device. This is the highest efficiency record for BDF-based binary OSCs. Meanwhile, the PCE device variation of the different molecular weights for PBDFCl-2 is little, indicating the reduction of the batch variation. Therefore, smartly using steric effect of Cl atom in strong crystalline BDF unit can form efficient molecular stacking regulations and realize the coordination of high-performance and stable batch variance.     

Tough Transient Ionic Junctions Printed with Ionic Microgels

Emerging soft ionotronics better match the human body mechanically and electrically compared to conventional rigid electronics. They hold great potential for human-machine interfaces, wearable and implantable devices, and soft machines. Among various ionotronic devices, ionic junctions play critical roles in rectifying currents as electrical p–n junctions. Existing ionic junctions, however, are limited in electrical and mechanical performance, and are difficult to fabricate and degrade. Herein, the design, fabrication, and characterization of tough transient ionic junctions fabricated via 3D ionic microgel printing is reported. The 3D printing method demonstrates excellent printability and allows one to fabricate ionic junctions of various configurations with high fidelity. By combining ionic microgels, degradable networks, and highly charged biopolymers, the ionic junctions feature high stretchability (stretch limit 27), high fracture energy (>1000 Jm⁻²), excellent electrical performance (current rectification ratio >100), and transient stability (degrade in 1 week). A variety of ionotronic devices, including ionic diodes, ionic bipolar junction transistors, ionic full-wave rectifiers, and ionic touchpads are further demonstrated. This study merges ionotronics, 3D printing, and degradable hydrogels, and will motivate the future development of high-performance transient ionotronics.     

Stealthy switching attacks on sensors against state estimation in cyber-physical systems

This article focuses on designing sensor attacks to deteriorate the state estimation in cyber-physical systems. The scenario that the malicious attack signals can be injected into different but limited number of sensor communication channels is considered. The state estimation error variations and innovation variations are adopted to measure attack performance and attack stealthiness, respectively. A switching attack strategy is proposed, under which the estimation error variations are driven to the predesigned target value and the norm of innovation variations remains at a small level. The switching attack design problem is formulated as a discrete switched optimal control problem which can be solved by dynamic programming, while the computational burden is heavy. To overcome this difficulty, by using pruning technique to remove the redundant matrices generated in dynamic programming, the quadratic optimization problem becomes numerically tractable. In this way, the suboptimal attack signal sequence and switching sequence can be acquired. Finally, a simulation example is provided to illustrate the effectiveness of the proposed attack strategy.     

IoT设备程序同源性智能检测技术综述

IoT设备与各行业的深度融合方兴日盛,使得IoT程序快速开发的需求不断增长。开发者习惯于集成第三方库或常用代码。不幸的是,若这些代码中隐藏着潜在的漏洞,那他们也会被扩散到不同的程序中,为其大规模扩散创造了条件。这也是造成近年来IoT设备群体性安全事件频发的重要原因之一。为了降低危害,发现具备相似漏洞的程序并进行相关的处置是一个有效的方法。同源性分析作为挖掘程序间关联关系的重要手段之一,可高效地实现程序漏洞的智能溯源取证。结合机器学习和深度学习技术,它表现出解决大规模程序安全性检测的巨大潜力。然而,IoT设备的软硬件特点仍使得该技术的使用面临挑战。当前已有诸多方案在IoT设备程序的同源性智能检测方面取得了进展。因此,本文将系统性回顾近年来相关技术研究的成果,将他们分为相似性分析和创作者归属技术。首先,我们介绍了两种方式的数据来源。接着,检测过程中涉及的特征选择、特征表示以及相对应的检测方法也被依次介绍。进一步的,本文不仅比较和总结了方案的特点和局限性,还对他们在不同类型IoT设备程序的适配性进行了对比分析。最后,文章针对IoT程序分析提出了一些研究建议。作者希望本综述可为研究者阐明这些工作的核心技术点,并为他们在IoT设备上的进一步应用提供启发。     

Critical Relation Path Aggregation-Based Industrial Control Component Exploitable Vulnerability Reasoning

With the growing discovery of exposed vulnerabilities in the Industrial Control Components (ICCs), identification of the exploitable ones is urgent for Industrial Control System (ICS) administrators to proactively forecast potential threats. However, it is not a trivial task due to the complexity of the multi-source heterogeneous data and the lack of automatic analysis methods. To address these challenges, we propose an exploitability reasoning method based on the ICC-Vulnerability Knowledge Graph (KG) in which relation paths contain abundant potential evidence to support the reasoning. The reasoning task in this work refers to determining whether a specific relation is valid between an attacker entity and a possible exploitable vulnerability entity with the help of a collective of the critical paths. The proposed method consists of three primary building blocks: KG construction, relation path representation, and query relation reasoning. A security-oriented ontology combines exploit modeling, which provides a guideline for the integration of the scattered knowledge while constructing the KG. We emphasize the role of the aggregation of the attention mechanism in representation learning and ultimate reasoning. In order to acquire a high-quality representation, the entity and relation embeddings take advantage of their local structure and related semantics. Some critical paths are assigned corresponding attentive weights and then they are aggregated for the determination of the query relation validity. In particular, similarity calculation is introduced into a critical path selection algorithm, which improves search and reasoning performance. Meanwhile, the proposed algorithm avoids redundant paths between the given pairs of entities. Experimental results show that the proposed method outperforms the state-of-the-art ones in the aspects of embedding quality and query relation reasoning accuracy.     

基于VXI总线的噪声测试系统设计与应用

武器发射时产生的脉冲噪声对人员和仪器会造成很大的危害,因此噪声测试在武器勤务性能考核巾具有重要意义,针对脉冲噪声信号特性,开发了一套基于VXI总线的噪声测试系统;详细介绍了系统硬件结构设计、基于LabWindows/CVI虚拟仪器开发平台的软件设计和系统功能;设计的系统具有存储容量大、采样率高和软件功能强等特点,能够用于各种武器单发或连发射击时的噪声测试,也可以用于武器非行驶状态下的稳态噪声测试;通过在试验中的应用,表明本系统操作简便,工作可靠.