WSN is often deployed in unattended or even hostile environments. Therefore, providing security in WSN is a major requirement for acceptance and deployment of WSN. Furthermore, establishing trust in a clustered enviro...
详细信息
WSN is often deployed in unattended or even hostile environments. Therefore, providing security in WSN is a major requirement for acceptance and deployment of WSN. Furthermore, establishing trust in a clustered environment can provide numerous advantages. We proposed a light-weight trust model which considers data aggregation and communication failure due to wireless channels. It computes retransmission rate to get success, failed and uncertain value, and details the data in parameters to depend against attacks. With comparing our model with LDTS and Model using Trust Matrix, we conclude that our model has implemented a trade-offbetween detection rate and communication consumption.
The PADS (Process Algebra for Demand and Supply) framework is an approach to model resource demand and supply for the formal analysis of hierarchical scheduling. Inspired by the demand relation in PADS, we propose a w...
详细信息
Internet of Things (IoT) or Cyber-Physical Systems (CPS) is a new trend of real-time systems in the area of information technology. This paper introduces a spatiotemporal consistence language for real-time systems (Sh...
详细信息
Internet of Things (IoT) or Cyber-Physical Systems (CPS) is a new trend of real-time systems in the area of information technology. This paper introduces a spatiotemporal consistence language for real-time systems (Sh...
详细信息
Internet of Things (IoT) or Cyber-Physical Systems (CPS) is a new trend of real-time systems in the area of information technology. This paper introduces a spatiotemporal consistence language for real-time systems (Shortly, STeC). The consistence requires that a process do its tasks at the required location or time. Thus, this language provides a location-triggered specification for real-time systems. The interaction between real-time agents deals with agent2agent communications. STeC looks like an extension of precess algebra CSP. But, the execution-time of actions and status of agents are stressed. Two kinds of interrupts time and interaction break are considered. Following the Dijkstra's guard style, nondeterministic choice phase guarded by communications is introduced. After setting up the syntax, its operational semantics is introduced. As an example, the railroad crossing problem is specified in terms of this language STeC.
作者：
CALVERT, TERODRIGUEZ, FASLEBZAK, JSThomas E. Calvert
P.E.: is a senior project engineer with the Propulsion and Auxiliary Systems Department David Taylor Research Center Annapolis Md. His interests include application of computers to all aspects of engineering with particular emphasis on utilization of small computers. Mr. Calvert is a licensed professional engineer in Maryland. He received a BSEE from Drexel University in 1969 and since that time has completed a number of graduate courses related to machinery acoustics. Francisco A. Rodriguez:is an engineer with the Propulsion and Auxiliary Systems Department
David Taylor Research Center. He was formerly with the Computer-Aided Design/Interactive Graphics Group of the Division of Engineering and Weapons U.S. Naval Academy. His interests include interfacing the computer aided design to the computer aided manufacturing along with related software and hardware development. Mr. Rodriguez received a BSEEfrom the University of Virginia in 1968. James S. Slebzak:is a mechanical engineering technician with the Propulsion and Auxiliary Systems Department
David Taylor Research Center. He received his machinists papers in 1971 after serving his apprenticeship at David Taylor Research Center. He continued his education and became the senior numerical control programmer at the Annapolis Laboratory. He completed his mechanical technology degree from Anne Arundel Community College in 1986. His interests are in the application of numerically controlled manufacturing techniques to prototype machinery components.
The machine shop at the Annapolis Laboratory of the David Taylor researchcenter (DTRC) provides model making and prototype support to a large variety of naval ship related engineering projects. In order to meet these...
详细信息
The machine shop at the Annapolis Laboratory of the David Taylor researchcenter (DTRC) provides model making and prototype support to a large variety of naval ship related engineering projects. In order to meet these challenging requirements, computer aided design/computer aided manufacturing (CAD/CAM) techniques are being used to produce “one of a kind” prototypes or very low volume production parts. The use of computer aides in these cases is to facilitate the accurate manufacture of a difficult part, rather than to improve manufacturing efficiencies. In addition, the approach provides the flexibility required to support research and development projects. Several examples of prototype shipboard components manufactured using CAD/CAM techniques are presented in this paper. The hardware and software that facilitated these projects are discussed. The examples described have met the requirements to produce a wide variety of prototype shipboard machinery components quickly and accurately.
暂无评论