Applied Mechanics and Materials Vols. 513-517

Abstract: A triple-level-cell (TLC) STT-RAM architecture was proposed basing on parallel MLC MTJ and serial MLC MTJ. A TLC STT-RAM cell can store three bit which will offer higher capacity density compared with SLC STT-RAM. The write process is also analyzed that it contains three types of basic states transitions. Through mapping soft, medium and hard domains to three individual cache lines, the access to soft lines can perform as accessing SLC STT-RAM-based cache. The amount of three-step operations is also much reduced. .

Abstract: This paper is concerned with the problem of delay-dependent asymptotic stability criterion for recurrent neural networks with time-varying delays. A new Lyapunov functional is introduced by considering the information of neuron activation functions adequately. By using the improved delay-partitioning method and reciprocally convex approach, a less conservative stability criterion is obtained in terms of linear matrix inequalities (LMIs). A numerical example is finally given to illustrate the effectiveness of the derived method.

Abstract: Object-Z, an extension to formal specification language Z, is good for describing large scale Object-Oriented software specification. While Object-Z has found application in a number of areas, its utility is limited by its inability to specify continuous variables and real-time constraints. Linear temporal logic can describe real-time system, but it can not deal with time variables well and also can not describe formal specification modularly. This paper extends linear temporal logic with clocks (LTLC) and presents an approach to adding linear temporal logic with clocks to Object-Z. Extended Object-Z with LTLC, a modular formal specification language, is a minimum extension of the syntax and semantics of Object-Z. The main advantage of this extension lies in that it is convenient to describe and verify the complex real-time software specification.

Abstract: These days, Web services, which are based on XML and consist of several XML-related technologies, have been emerging as a promising technology, and it seems that Web services may be used in the field of network management. In this paper, we examine Web services as a XML-based approach to network management. Since Web services are a Service-Oriented Architecture (SOA) more than just a set of technologies, it could be used in XML-based network management, not only at the technology level, but also at the architecture level, which has many remarkable advantages and may be more effective in network management along with the concepts of Peer-to-Peer and Point-to-Point, in order to make a better use of its capability. Correspondingly, two models are presented to further demonstrate the potential of Web services in XML-based network management. Some implementation issues for the model at the architecture level are also demonstrated in this paper.

Abstract: Design patterns is a good method to solve software crisis and realize the software reuse. It is usually combined with the Unified Modeling Language (UML) to establish the system framework. And Observer pattern is high frequently used in actual modeling. So this paper presents formalization of the Observer pattern based on refinement Calculus of Object Systems (rCOS), this research describes formal semantics of the patterns UML class diagram and sequence diagram and guarantee the characteristics and properties of the pattern at the same time in order to use system model accurately which involved Observer pattern.

Abstract: In order to eliminate the security threats faced by the information systems of large organizations which usually involve multiple autonomous domains, this paper introduces an architecture of access control collaboration, which takes a distributed authoritative domain as the leading core of the unified cross-domain access control. Through applying the ABAC model in the authoritative domain, the global strategies formulated by the authoritative domain can be compatible with those local strategies of each autonomous domain. The global strategies are designed to be described by a group of authoritative attributes, which are limited in quantity but adequate to generalize all the subjects within the global scope. For system realization, a rule-based dynamic mechanism of attributes conversion is used to automatically generate the information of authoritative attributes. The cross-domain access control method in this paper can be directly applied to typical large organizations, such as government, military and large enterprises.

Abstract: In order to improve the cap detection efficiency, reduce cost, this paper puts forward a kind of beverage bottle cap detection algorithm based on pixel, the algorithm according to find out the edge line on midperpendicular, left and right edges, and highlight the bottleneck to judge the cap of the four kinds of four steps. In practice, the system monitoring accuracy above 99%, experiments prove that algorithm has a good practicability.

Abstract: A distributed data acquisition system based on multi-computer communication among Single-chip Microcomputers is proposed in this paper. The AT89S52 is used as the control core, and multi-computer communication is realized by bus RS485. The hardware construction of the system is introduced. Circuits of each module including the microcomputer, temperature sensor, communication interface and voice alarming are designed. Process of multi-computer communication is described. Programs of master serial transmission and slave serial receiving are written and compiled. Experiments are conducted on temperature measure and acquisition. The results show that a satisfied effectiveness is obtained. A reliable performance can be achieved.

Abstract: To eliminate hidden trouble of personnel positioning system, making services more accurate, timely and comprehensive for tunnel workers and managers on the ground, on the basis of original personnel positioning system, "secondary development" was applied on mobile terminal based on Android. Client and server software of tunnel personnel positioning system was designed as well as video, photo uploading and other functions were perfected. The original passive positioning was replaced by active positioning. Experiments in this paper have shown that this system has the advantages of safe, friendly interface and fully functional.

Abstract: According to the requirements of steel billet quality evaluation system application, this paper proposed a system design based on Android mobile terminal, and discussed the Android in the billet quality judging systems mobile terminals development and application combining to Android System features. The paper introduced the whole Android frame and the judging system framework, followed by the mobile terminal system requirements analysis, system design, function module analysis and application interface design. Finally the design used Java language to develop the system in Eclipse, achieved Android data acquisition applications and mobile information management applications.