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.     

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

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

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

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

Synthesis and Characterization of Heteropoly Complexes of Indium with Metal－centred Undecatungstate Ligan

ＳｙｎｔｈｅｓｉｓａｎｄＣｈａｒａｃｔｅｒｉｚａｔｉｏｎｏｆＨｅｔｅｒｏｐｏｌｙＣｏｍｐｌｅｘｅｓｏｆＩｎｄｉｕｍｗｉｔｈＭｅｔａｌ－ｃｅｎｔｒｅｄＵｎｄｅｃａｔｕｎｇｓｔａｔｅＬｉｇａｎｄｓＷｕＱｉｎｇｙｉｎ（吴庆银）（ＬｉａｏｎｉｎｇＵｎｉｖｅｒ...     

铸铁件电弧冷焊熔合区白口组织的控制

进行了冷焊条件下控制铸铁件焊补区白口组织的试验．结果表明，采用Ｓｉ－Ｃａ－Ａｌ－Ｂｉ系合金粉层对焊补熔合区进行集中强石墨化孕育处理及焊前在缺陷表面形成Ｎｉ基合金粉末喷涂层，均可消除熔合区白口     

脉冲电化学光整加工的流场及间隙特性

通过系统的试验研究，分析了工作液流场分布、流量、加工间隙等工艺参数对加工质量的影响。研究结果表明：合理控制加工间隙和工作液流场分布，对保证加工表面的质量极为重要；在优选的工艺参数下，可快速获得优质表面。     

基于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.