系统安全结构理论及特性研究

为进一步完善系统安全学科体系,深入探究系统的安全结构特性及规律,基于安全系统工程学,结合系统论和安全原理,提出并分析系统安全结构的相关理论。通过对系统安全问题的致因分析及其安全结构的演变规律研究,提出常态、应变和失效3种结构的概念,并深入研究3种系统安全结构间的运动规律,建立事故、灾害演化与系统安全结构演变之间的关系的"三轨结构"模式。研究结果表明,系统安全结构理论完善了复杂系统的安全分析理论内容,弥补了安全系统科学中系统结构与系统安全问题关联的理论欠缺,针对复杂系统的安全问题研究提出新的思路和方法。

信息系统安全体系结构发展研究

在简要回顾信息系统安全体系结构(ISSA)发展历程的基础上重点分析了ISSA的定义、研究意义、研究主题和思路、ISSA学科性质及方法论等基本问题,探讨了未来进一步发展ISSA在理论、技术、实施、应用4个领域所面临的挑战和未来走向。最后在结论部分简要分析了ISSA的局限,并提出了"信息安全学科与系统科学在认识和理论(即基础科学)层次的融合是从根本上解决信息系统安全问题的主要趋势和有效途径"的观点。

Scalable single sign-on system

To address the scalability and identity federation problems of the traditional single sign-on system, the proposed scheme divides the security systems into different security domains. Each security domain has its own security servers and service providers, and there are trust relationships between different security domains for identity federation. The security server is responsible for authentication and authorization inside the domain, and offers identity federation capability for different domains. The security assertion markup language （SAML） assertion is used as security token in the system for authentication, authorization, and identity federation. The design of the proposed single sign-on process is based on web service security framework and multiple security domains, and the authorization is always deployed in the local area inside the service provider＇ s security domain, which enables web service clients, both inside and outside their security domains, to access the services in a simple, scalable, standard and secure way.

The Study of Farmland Information Management System based on Wireless Sensor Networks

To satisfy the need of good quality and high yield primary production,the farmland information management system based on wireless Sensor Network has been proposed.We give priority to analyzing the basic function of the system,building the systematic structure of applied system and network system,and implementing the energy control and safety design of system.The system can reduce manpower operation and the error of manual measuration in the course of practical production,reduce the cost of agricultural production,and realize automatization of agricultural production to the largest extent to provide an effective way to realize good quality and high yield primary production,which has an important realistic meaning.

Application of Automated Guided Vehicle (AGV) Based on Inductive Guidance for Newsprint Rolls Transportation System

The paper presents the development and performance of a kinematics control scheme for the AGV based on inductive guidance in transporting newsprint rolls. The required error is pre-computed using a kinematics model of the AGV taking into account the effect of various factors that contribute to improve tracking performance of the AGV. Simulation and experimental results illustrate that the kinematics model performs well and the results of various factors contribute to tracking performance of the AGV.

Credibility and Security of Weighing System for Large Structure Object

The weighing system designed for large structure object is mainly composed of three parts. The part of hydraulic system is made up of hydraulic cylinders, high pressure hydraulic hoses and electric pumps; the part of computer controlling system comprises pressure sensors, displacement sensors, data acquisitions, RS 485 network and the computer controlling model; the part of loading system is composed of the fulcrum structure and the concrete girder. The measurement principle and composition of the weighing system are discussed in this paper. Credibility and security of the weighing system are fully considered during the design phase. The hydraulic system is controlled by pilot operated check valves in case of the sudden loss of system pressure. The states of all gauges and RS485 network are monitored by computer controlling system functioning in different modules. When the system is running incorrectly, it will be switched to manual mode and give alarm. The finite element method is employed to analyze fulcrum structure so that the system has enough intensity to be lifted. Hence the reliability of the whole system is enhanced.

SDSA: A Framework of a Software-Defi ned Security Architecture

The fact that the security facilities within a system are closely coupled and the security facilities between systems are unconnected results in an isolated protection structure for systems, and gives rise to a serious challenge to system security integrations and system controls. Also, the need for diversified services and flexible extensions of network security asks for more considerations and contribu?tions from the perspective of software engineering in the process of designing and constructing security systems. Based on the essence of the virtualization technique and the idea of software-defined networks, we in this paper propose a novel software-defi ned security architecture for systems. By abstracting the traditional security facilities and techniques, the proposed security architecture provides a new, simple, effective, and programmable framework in which security operations and security controls can be decoupled, and thereby reduces the software module sizes, decreases the intensity of software deve?lopments, and improves the security extensibility of systems.

Trust Model Based on Structured Protection for High Level Security System

In order to ensure the security of information systems, it's essential to make sure that system behaviors are trusted. By analyzing threats that exist in executing procedures, a trust model based on structured protection is proposed. We consider that functional components, system actions and message flows between components are three key factors of information systems. Structured protection requirements on components, connections and action parameters are also provided. Four trusted properties of the model are deducted through formal analysis, and trusted system behavior is defined based on these properties. Furthermore, decision theorem of trusted system behavior is proved. The developed prototype system indicates the model is practical. It is a general theory model built on logic deduction and independent on specific environment and the behaviors of the system designed and implemented following the model are trusted.

Safety architecture of internet based multi-robot teleoperation system

Safety subsystem is one of the important parts in robot teleoperation system. In this paper, a safety architecture of safety subsystem in Internet based multi-operator-multi-robot (MOMR) teleoperation system is presented. The subsystem is divided into three layers in its logic architecture: interactive monitor layer, collaborative control layer and real-time control layer. The safety problems and the related strategy are clarified by detailed analysis of each layer and relationship among the layers. So we can obtain a high performance MOMR teleoperation system with multi-layer safety architecture.

Improving Reliability of Communication in RS-485 Design

Three aspects of RS 485 application, which affect the reliability of communication of data system are analyzed and discussed. In network configuration, it presents the optimal configuration for the bus of RS 485, the better rule for derivative line and the choice for termination. In hardware design, it presents three parts of driver’s peripheral circuit. In control software design, it presents a method of using 75176’s DE line to control the driver.

Investigation of Structural System Safety

In order to investigate the behavior of buildings and engineering structures during earthquakes, based on the data of seismic observation devices mounted on constructions with typical characteristics, results of investigating the change of mechanical properties of building structural system over time and the results of examination of structural rigidity and safety change over time, depending on the dynamic characteristics of the building, determined by experimental investigations made at intervals are mentioned in this article. In addition, evaluation of earthquake acceleration acting on structures due to earthquake-induced damage characteristics of buildings and engineering constructions which are made earthquake resistant is also included here.

Research on IPv6 Transition Evolvement and Security Architecture of Smart Distribution Grid Data Communication System

Smart distribution grid needs data communication systems as a support to complete their important functions. The smart distribution grid of the data and information are increasingly adopting internet protocol and Ethernet technology. The IP addresses are more and more important for the smart distribution grid equipment. The current IPv4 protocol occupies a dominant position; therefore, the challenges of the evolution to IPv6 and network security are faced by data communication systems of the smart distribution grid. The importance of data communications network and its main bearer of business were described. The data communications network from IPv4 to IPv6 evolution of the five processes and four stages of the transition were analyzed. The smart distribution grid data communications network security and types of their offensive and defensive were discussed. And the data communications network security architecture was established. It covers three dimensions, the security level, the communications network security engineering and the communications network security management. The security architecture safeguards the evolution to IPv6 for the smart distribution grid data communication systems.

铜铟镓硒光伏建筑安全性研究

通过分析光伏建筑一体化中光伏幕墙集成系统的组成,针对CIGS光伏组件对光伏幕墙结构系统、光伏幕墙电气系统和光伏幕墙消防系统3个方面的安全性能和风险进行了研究。

Containment Control for First-Order Multi-Agent Systems with Time-Varying Delays and Uncertain Topologies

Containment control of first-order multi-agent systems with uncertain topologies and communication timedelays is studied. Suppose system topologies are dynamically changed, a containment control algorithm with time-varying delays is presented. The stability of the control algorithm is studied under the assumption that communication topologies are jointly-connected, and constraint condition of distributed containment control for delayed multi-agent systems is derived with the aid of Lyapunov–Krasovskii function. Simulation results are provided to prove the correctness and effectiveness of the conclusion.