Security and privacy are two prime barriers to adoption of the cloud computing. To address this problem on Infrastructure-as-a-Service model, a trusted cloud computing platform model has been proposed to provide a clo...
详细信息
It is important to recognize the base-NP in the field of natural language processing. At first, the paper defines Chinese base-NP from the linguistic standpoint) then a sequence labeling model and the formulation of t...
详细信息
Reliability is considered the core issues in face of server product at present;accelerated degradation testing is the significant method to assess the reliability & life of server. In this paper, after the stress ...
详细信息
Dimensionality reduction techniques have become an important issue concerns of hyper-spectral image processing and application A semi-supervised dimensionality reduction (SSDR) for classification of hyper-spectral ima...
详细信息
According to the function of intelligent traffic monitoring system and the problem that the load of the intelligent traffic server is big, the principle, programming methods and technical difficulties of IOCP(I/O Comp...
详细信息
The integration of Educational Management Information system (EMIS) and other information systems plays an increasingly important role in the construction of the university information systems. The article first class...
详细信息
Performance and security are two important aspects of the system development. Now we can not analysis them during the system development, but give remedy to them after the systemmodeling. Software performance enginee...
详细信息
At present, using the computer to imitate the complicated circumstance of Urban rail transit, to study the theory and methods of Urban rail transit operation and control, is really an economical, reliable and safe met...
详细信息
A modeling and verification methodology is presented for railway interlocking system which is regarded as a safety-critical system. The methodology utilizes UML (Unified modeling Language) to model the function requir...
详细信息
ISBN:
(纸本)9781424472369
A modeling and verification methodology is presented for railway interlocking system which is regarded as a safety-critical system. The methodology utilizes UML (Unified modeling Language) to model the function requirement and FSM (Finite State Machine) to verity the safety requirements of the specification. The device specifications of railway interlocking system are modeled with UML, and dynamic behaviors of the device and whole system are modeled with FSM, the safety specification is translated LTL (Linear Temporal Logic) and analyzed with NuSMV. We try to show the feasibility of improving the reliability and reducing revalidation efforts when designing and developing a decentralized railway signaling system.
The paper introduces the idea of data mining on the basis of analyzing sub-health status quo and existing defects. An influencing-factor-model of sub-health state has been established with the help of the Microsoft de...
详细信息
暂无评论