scholarly journals Formal and Executable Specification of Random Waypoint Mobility Model Using Timed Coloured Petri Nets for WMN

2014 ◽  
Vol 2014 ◽  
pp. 1-9 ◽  
Author(s):  
Naeem Akhtar Khan ◽  
Farooq Ahmad ◽  
Sher Afzal Khan
Keyword(s):  
Petri Nets ◽  
Formal Model ◽  
Formal Semantics ◽  
Cost Effective ◽  
Mobility Model ◽  
Mesh Network ◽  
Coloured Petri Nets ◽  
Border Effect ◽  
Cost Effective Alternative ◽  
Random Waypoint

The wireless mesh network (WMN) is an emerging and cost-effective alternative paradigm for the next generation wireless networks in many diverse applications. In the performance evaluation of routing protocol for the WMN, it is essential that it should be evaluated under realistic conditions. The usefulness of specific mobility protocol can be determined by selection of mobility model. This paper introduces a coloured Petri nets (CP-nets) based formal model for implementation, simulation, and analysis of most widely used random waypoint (RWP) mobility model for WMNs. The formal semantics of hierarchical timed CP-nets allow us to investigate the terminating behavior of the transitions using state space analysis techniques. The proposed implementation improves the RWP mobility model by removing the “border effect” and resolves the “speed decay” problem.

2D Color-Intensity Representation of Ultrasonic Thickness Gauge Measurements

2020 ◽  
pp. 1192-1198
Author(s):  
M.S. Mohammad ◽  
Tibebe Tesfaye ◽  
Kim Ki-Seong
Keyword(s):  
Cost Effective ◽  
The Other ◽  
Thickness Gauge ◽  
Color Intensity ◽  
Digital Readout ◽  
Flat Surfaces ◽  
Video Cameras ◽  
Wide Range ◽  
Cost Effective Alternative ◽  
Ultrasonic Thickness

Ultrasonic thickness gauges are easy to operate and reliable, and can be used to measure a wide range of thicknesses and inspect all engineering materials. Supplementing the simple ultrasonic thickness gauges that present results in either a digital readout or as an A-scan with systems that enable correlating the measured values to their positions on the inspected surface to produce a two-dimensional (2D) thickness representation can extend their benefits and provide a cost-effective alternative to expensive advanced C-scan machines. In previous work, the authors introduced a system for the positioning and mapping of the values measured by the ultrasonic thickness gauges and flaw detectors (Tesfaye et al. 2019). The system is an alternative to the systems that use mechanical scanners, encoders, and sophisticated UT machines. It used a camera to record the probe’s movement and a projected laser grid obtained by a laser pattern generator to locate the probe on the inspected surface. In this paper, a novel system is proposed to be applied to flat surfaces, in addition to overcoming the other limitations posed due to the use of the laser projection. The proposed system uses two video cameras, one to monitor the probe’s movement on the inspected surface and the other to capture the corresponding digital readout of the thickness gauge. The acquired images of the probe’s position and thickness gauge readout are processed to plot the measured data in a 2D color-coded map. The system is meant to be simpler and more effective than the previous development.

JS777

Alloy Digest ◽  
1980 ◽  
Vol 29 (11) ◽  
Keyword(s):  
Stainless Steel ◽  
Corrosion Resistance ◽  
Austenitic Stainless Steel ◽  
Cost Effective ◽  
Heat Treating ◽  
Steel Company ◽  
High Alloy ◽  
Cost Effective Alternative ◽  
Resistance To Stress ◽  
Nickel Base

Abstract JS777 is a high-alloy, fully austenitic stainless steel developed for applications where corrosive conditions are too severe for the standard grades of stainless steel. It also provides a cost-effective alternative to more expensive nickel-base and titanium-base alloys. It has relatively high resistance to stress-corrosion cracking and to intergranular corrosion. This datasheet provides information on composition, physical properties, hardness, elasticity, and tensile properties. It also includes information on corrosion resistance as well as forming, heat treating, machining, joining, and surface treatment. Filing Code: SS-377. Producer or source: Jessop Steel Company.

ANCORSTEEL 4300

Alloy Digest ◽  
2009 ◽  
Vol 58 (11) ◽  
Keyword(s):  
Fracture Toughness ◽  
Physical Properties ◽  
Tensile Properties ◽  
Cost Effective ◽  
Heat Treating ◽  
Effective Alternative ◽  
Powder Metal ◽  
Secondary Processing ◽  
Cost Effective Alternative

Abstract Ancorsteel 4300 alloy ferrous powder simulates wrought steel compositions and is a cost-effective alternative to alloys requiring secondary processing. This datasheet provides information on composition, physical properties, hardness, and tensile properties as well as fracture toughness. It also includes information on heat treating and powder metal forms. Filing Code: SA-611. Producer or source: Hoeganaes Corporation.

Sign in / Sign up

Export Citation Format

Share Document