Stability of a class of switched stochastic nonlinear systems under asynchronous switching

The stability of a class of switched stochastic nonlinear retarded systems with asynchronous switching controller is investigated. By constructing a virtual switching signal and using the average dwell time approach incorporated with Razumikhin-type theorem, the sufficient criteria for pth moment exponential stability and global asymptotic stability in probability are given. It is shown that the stability of the asynchronous stochastic systems can be guaranteed provided that the average dwell time is sufficiently large and the mismatched time between the controller and the systems is sufficiently small. This result is then applied to a class of switched stochastic nonlinear delay systems where the controller is designed with both state and switching delays. A numerical example illustrates the effectiveness of the obtained results.     

含砷氰化尾矿回填利用污染控制技术试验研究

针对某黄金生产企业含砷氰化尾矿污染特征,开展了搅拌洗涤法、臭氧氧化法、酸化溶砷法、铁盐固砷法等多种无害化方法联合处理试验研究,旨在将该含砷氰化尾矿处理至满足氰渣规范回填利用污染控制要求。结果表明：该含砷氰化尾矿回填利用污染控制技术工艺为压滤调浆搅拌洗涤+臭氧氧化+酸化溶砷+铁盐固砷,最佳参数为原矿浆压滤后加水调浆,矿浆浓度40%,臭氧投加量0.66 g/L,酸化溶砷pH值3、曝气量0.1 m³/h、反应时间2 h,铁盐固砷七水合硫酸亚铁投加量20.0 g/L、反应时间1 h。研究结果为该黄金生产企业含砷氰化尾矿回填利用提供了技术支撑。     

Association-Based Active Access Control models with balanced scalability and flexibility

In existing Active Access Control (AAC) models, the scalability and flexibility of security policy specification should be well balanced, especially: (1) authorizations to plenty of tasks should be simplified; (2) team workflows should be enabled; (3) fine-grained constraints should be enforced. To address this issue, a family of Association-Based Active Access Control (ABAAC) models is proposed. In the minimal model ABAAC₀, users are assigned to roles while permissions are assigned to task-role associations. In a workflow case, to execute such an association some users assigned to its component role will be allocated. The association's assigned permissions can be performed by them during the task is running in the case. In ABAAC₁, a generalized association is employed to extract common authorizations from multiple associations. In ABAAC₂, a fine-grained separation of duty (SoD) is enforced among associations. In the maximal model ABAAC₃, all these features are integrated, and similar constraints can be specified more concisely. Using a software workflow, case validation is performed. Comparison with a representative association based AAC model and the most scalable AAC model so far indicates that: (1) enough scalability is achieved; (2) without decomposition of a task, different permissions can be authorized to multiple roles in it; (3) separation of more fine-grained duties than roles and tasks can be enforced.     

管材超声波分层缺陷检测中盲区的构成探析

管材超声波分层检测作为控制产品质量的关键步骤,必须引起相关从业人员的重视,特别是要重点分析分层缺陷检测中盲区的构成原因和分布特征。只有这样,才能切实保证检测结果的准确性,更好地控制管材质量。通过对超声波分层缺陷检测的重要性进行阐释,分析了其中盲区的构成和分布等问题。     

"互联网+"背景下电气专业实践课程"金课"的建设

在"互联网+"背景之下,以"学科竞赛"为手段,打造电气专业的实践课程"金课".文章以"电动车智能充电桩"为例,从选题背景、方案设计、方案实施、竞赛过程遇到的困难、赛后感悟等方面介绍了该项目参与"全国大学生节能减排社会实践与科技竞赛"的参赛过程.     

基于SSH框架的高校餐费管理系统设计与实现

为提高高校餐费管理的效率,实现智能化管理,提出一种基于SSH框架的餐费管理解决方案.介绍了系统的总体框架、业务流程和主要功能模块的设计,对系统开发中的关键技术SSH框架进行了研究,并实现了软件的研制.实践证明,采用SSH框架设计模式,可以将系统进行很好的分工,使系统层次结构更加清晰,降低模块之间耦合性,简化编程,提高软件开发效率,同时提高系统的性能和可维护性.     

Characterizing and optimizing TPC-C workloads on large-scale systems using SSD arrays在大规模系统上优化 TPC-C 评测程序

Transaction processing performance council benchmark C (TPC-C) is the de facto standard for evaluating the performance of high-end computers running on-line transaction processing applications. Differing from other standard benchmarks, the transaction processing performance council only defines specifications for the TPC-C benchmark, but does not provide any standard implementation for end-users. Due to the complexity of the TPC-C workload, it is a challenging task to obtain optimal performance for TPC-C evaluation on a large-scale high-end computer. In this paper, we designed and implemented a large-scale TPC-C evaluation system based on the latest TPC-C specification using solid-state drive (SSD) storage devices. By analyzing the characteristics of the TPC-C workload, we propose a series of system-level optimization methods to improve the TPC-C performance. First, we propose an approach based on SmallFile table space to organize the test data in a round-robin method on all of the disk array partitions; this can make full use of the underlying disk arrays. Second, we propose using a NOOP-based disk scheduling algorithm to reduce the utilization rate of processors and improve the average input/output service time. Third, to improve the system translation lookaside buffer hit rate and reduce the processor overhead, we take advantage of the huge page technique to manage a large amount of memory resources. Lastly, we propose a locality-aware interrupt mapping strategy based on the asymmetry characteristic of non-uniform memory access systems to improve the system performance. Using these optimization methods, we performed the TPC-C test on two large-scale high-end computers using SSD arrays. The experimental results show that our methods can effectively improve the TPC-C performance. For example, the performance of the TPC-C test on an Intel Westmere server reached 1.018 million transactions per minute.     

Parametric Stabilization of Quantized Interconnected Systems with Application to Coupled Inverted Pendulums

This paper studies the analysis of parametric stability and decentralized state feedback control of a kind of quantized interconnected systems. The output of each controller is quantized logarithmically before it is input to the subsystem, and the quantized density would affect the stability of the systems. First, a decentralized state feedback controller is designed for interconnected systems without quantization and the corresponding stable region is obtained. Second, for a given controller, the lower bound of the quantization density is evaluated from parameters of local controllers. Finally, the proposed method is applied to coupled inverted pendulums systems which can be viewed as quantized interconnected systems. The simulation results show that by using the proposed quantized controllers, the interconnected inverted pendulum systems are parametrically stabilized.     

Experimental study of a novel hybrid constructed wetland for water reuse and its application in Southern China

A new type of hybrid constructed wetland (CW), consisting of both vertical-baffled flow wetland (VBFW) and horizontal subsurface flow wetland (HSFW), has been deployed in Southern China to naturally accelerate the removal of organic matter and nitrogen. The hybrid CW system is characterised by a combination of continuous baffled flow vertical wetland and 'S' pattern horizontal subsurface flow wetland with natural aeration ditches to increase the concentration of dissolved oxygen in the HSFW bed. An internal circulatory system from the HSFW effluent back to the VBFW may optionally be operated to enhance the biological denitrification effect. Cyperus alternifolius is the main macrophyte in the wetland bed. The performance of the hybrid CW was studied with a pilot-scale system and three full-scale systems for municipal sewage treatment in Southern China. The results suggest that this new hybrid CW can achieve removal efficiencies of chemical oxygen demand, suspended solids, ammonia nitrogen, total nitrogen, and total phosphorus of better than 83.6, 95.0, 71.7, 64.5 and 68.1% respectively, with a specific wetland bed area of 0.70-0.93 m(2) PE(-1). The mean effluent concentrations of these parameters would meet the regulatory discharge limits for wastewater treatment systems (GB18918, 2002) and reuse in the context of agricultural irrigation solutions in China.     

Optimal models for single-period supply chain problems with fuzzy demand

The aim of this paper is to develop an optimal technique for dealing with the fuzziness aspect of demand uncertainties. Triangular fuzzy numbers are used to model external demand, and decision models in both non-coordination and coordination situations are constructed. It is shown that in the decision models there exists a unique solution that can be expressed analytically. Based on the closed form solutions for both models, the behaviors and relationships of both the manufacturer and the retailer are quantitatively analyzed, and a cooperative policy for the optimization of the whole supply chain is put forward.