基于时限BLP模型的XML文档访问控制研究

针对IEBLP模型中客体安全等级在整个寿命周期中固定不变的不足,提出了一种添加了时间限制元素的TBLP模型,主要在主客体安全标签中加入了时间限制元素,并对其安全公理进行了相对应的改进.最后,利用XACML实现了TBLP模型对XML文档的强制访问控制.     

Data Security Model for Cloud Computing

From the perspective of data security, which has always been an important aspect of quality of service, cloud computing focuses a new challenging security threats. Therefore, a data security model must solve the most challenges of cloud computing security. The proposed data security model provides a single default gateway as a platform. It used to secure sensitive user data across multiple public and private cloud applications, including Salesforce, Chatter, Gmail, and Amazon Web Services, without influencing functionality or performance. Default gateway platform encrypts sensitive data automatically in a real time before sending to the cloud storage without breaking cloud application. It did not effect on user functionality and visibility. If an unauthorized person gets data from cloud storage, he only sees encrypted data. If authorized person accesses successfully in his cloud, the data is decrypted in real time for your use. The default gateway platform must contain strong and fast encryption algorithm, file integrity, malware detection, firewall, tokenization and more. This paper interested about authentication, stronger and faster encryption algorithm, and file integrity.     

Stabilization of One‐Dimensional Schrödinger Equation with Variable Coefficient under Delayed Boundary Output Feedback

This article considers stabilization of a one‐dimensional Schrödinger equation with variable coefficient and boundary observation which suffers from an arbitrary given time delay. We design an observer and predictor to stabilize the system. The state is estimated in the time span where the observation is available, and also predicted in the time interval where the observation is not available. It is shown that the estimated state feedback stabilizes the system exponentially. A numerical simulation is presented to illustrate the effect of the stabilizing controller.     

Dynamic Output Feedback Consensualization of Uncertain Swarm Systems with Time Delays

Consensus analysis and design problems of high‐dimensional discrete‐time swarm systems in directed networks with time delays and uncertainties are dealt with by using output information. Two subspaces are introduced, namely a consensus subspace and a complement consensus subspace. By projecting the state of a swarm system onto the two subspaces, a necessary and sufficient condition for consensus is presented, and based on different influences of time delays and uncertainties, an explicit expression of the consensus function is given which is very important in applications of swarm systems. A method to determine gain matrices of consensus protocols is proposed. Numerical simulations are presented to demonstrate theoretical results.     

Robust Saturated PI Joint Velocity Control for Robot Manipulators

It is well known that many industrial manipulators use an embedded linear proportional‐integral (PI) joint velocity controller to guarantee motion control through proper velocity commands. However, although this control scheme has been very successful in practice, not much attention has been paid to designing new PI velocity control structures. The problem of analyzing a saturated PI velocity joint velocity controller is addressed in this paper. By using the theory of singularly perturbed systems, the closed‐loop system is studied. The robot dynamics assumed in this paper take into account bounded time–varying disturbances which may include the friction at the joints. An experimental study in a planar two degrees‐of‐freedom direct‐drive robot is also presented, confirming the advantage of the new saturated PI joint velocity controller.     

On Detectability and Observability of Discrete‐Time Stochastic Markov Jump Systems with State‐Dependent Noise

This paper mainly studies the notions of detectability and observability for discrete‐time stochastic Markov jump systems with state‐dependent noise. Two concepts, called “W‐detectability” and “W‐observability,” for such systems are introduced, and are shown to coincide with the other concepts on detectability and observability reported recently in literature. Moreover, some criteria and interesting properties for both W‐detectability and W‐observability are obtained.     

Explicit Solution for a Class of Discrete‐Time Algebraic Riccati Equations

In the present paper we obtain an explicit closed‐form solution for the discrete‐time algebraic Riccati equation (DTARE) with vanishing state weight, whenever the unstable eigenvalues are distinct. We discuss links to current algorithmic solutions and observe that the AREs in such a class solve on one hand the infimal signal‐to‐noise ratio (SNR) problem, whilst on the other hand, in their dual form they solve a Kalman filter problem. We then extend the main result to an example case of the optimal linear quadratic regulator gain. We relax some of the assumptions behind the main result and conclude with possible future directions for the present work.     

Bounded Consensus Algorithms for Multi‐Agent Systems in Directed Networks

In this paper, the consensus problem is investigated via bounded controls for the multi‐agent systems with or without communication. Based on the nested saturation method, the saturated control laws are designed to solve the consensus problem. Under the designed saturated control laws, the transient performance of the closed‐loop system can be improved by tuning the saturation level. First of all, asymptotical consensus algorithms with bounded control inputs are proposed for the multi‐agent systems with or without communication delays. Under these consensus algorithms, the states’ consensus can be achieved asymptotically. Then, based on a kind of novel nonlinear saturation functions, bounded finite‐time consensus algorithms are further developed. It is shown that the states’ consensus can be achieved in finite time. Finally, two examples are given to verify the efficiency of the proposed methods.     

Quantized H∞ Control for Networked Systems with Communication Constraints

The problem of quantized H_∞ control for networked control systems (NCSs) subject to time‐varying delay and multiple packet dropouts is investigated in this paper. Both the control input and the measurement output signals are quantized before being transmitted and the quantized errors are described as sector bound uncertainties. The measurement channel and the control channel packet dropouts are considered simultaneously, and the stochastic variables satisfying Bernoulli random binary distribution are utilized to model the random multiple packet dropouts. Sufficient conditions for the existence of an observer‐based controller are established to ensure the exponential mean‐square stablility of the closed‐loop system and achieve the optimal H_∞ disturbance attenuation level. By using a globally convergent algorithm involving convex optimization, the nonconvex feasibility can be solved successfully. Finally, a numerical example is given to illustrate the effectiveness and applicability of the proposed method.     

基于利用回归分析法预报上下游相关洪峰水位

根据实际工作需要,为克服采用传统手段利用上下游洪峰水位相关图法来进行洪水预报所带来的不精确性和任意性,笔者利用数学函数方程和回归分析计算软件,使用excel的图形功能,先绘制样本数据散点图,然后在图上添加趋势线,确定了回归方程类型。根据回归方程类型进行了方程系数率定分析,最终推求出预报黑龙江乌云站洪峰水位和洪峰传播时间的数学回归方程,经实例拟合验证,方程计算结果通过检验,基本满足实际应用要求。