Model checking has become a promising technique for verifying software and hardware designs; it has been routinely used in hardware verification, and a number of case studies and industrial applications show its effectiveness in software verification as well. Nevertheless, most existing model checkers are specialized for limited aspects of a system, where each of them requires a certain level o...

A novel collision avoidance sensor with possible application in satellite navigation is presented. Passive radiometric detection of colliding objects is used, offering the advantage that it does not interfere with satellite communication or guidance systems. Operation in the millimetre-wave band allows the possibility of full scale integration of front-end detection circuitry with the back-end ...

The purpose of this paper is to design a guidance and control system and evaluate the performance of a sample surface‑to‑surface flying object based on preset guidance with a new prospective. In this study, the main presented idea is usage of unique property of governor differential equations in order to design and develop a controlled system. Thereupon a set of system output variables have bee...

The daily life of a common man revolves around various forms of appliances/gadgets he uses throughout the day such as a mobile phone, laptop, printer, microwave oven, washing machine, etc. Although these appliances/gadgets are taken by most of the people for granted, the problem occurs when any of these things do not work as they are expected to. Getting them to the repair shops for every small...

The desire to enhance the attractiveness of public transit services constitutes a factor of development as well as innovation in this field. Such a motivation is typically aimed at improving the performance of systems while holding costs under control. Against this backdrop, we have analyzed a docking assistance device installed on conventional articulated buses and placed into operation in two...

with the adoption of the new islamic penal code, the electronic monitoring was entered iranian criminal justice system, while in the system of other countries, have the older history. comprising more than five decades of history in america and adopted in thirty different countries act. in the new islamic penal code, implementation of electronic surveillance, as many of these institutions are su...

currently, nondestructive quality evaluation of various agricultural products are being developed and used. in this study, application of an electronic nose system for the quality assessment of kiwifruit (abbot variety) is used. electronic nose system coupled with artificial neural network (ann) and principal component analysis (pca) techniques was able to classify unripe, half-ripe, ripe, over...

the monitoring and controlling of environmental pollutions are very important in biological and industrial processes, and a great interest is growing with the development of suitable gas–sensitive materials and hazardous chemical removal devices. in this work, the highly parameterized, empirical exchange–correlation functional m06–2x were employed to investigate the electronic sensitivity of pe...

This paper presents an electronic travel aid for blind people to navigate safely and quickly, an obstacle detection system using UVC camera based visual navigation has been considered. The proposed system detects the obstacles up to 300 cm via sonar and sends feedback in form of beep sound to inform the person about its location. In addition to this, an UVC webcam is connected to 32 bit ARM mic...

The U.S. Food and Drug Administration (FDA) is in the process of preparing a draft Guidance for Industry document on the statistical aspects of carcinogenicity studies of pharmaceuticals for public comment. The purpose of the document is to provide statistical guidance for the design of carcinogenicity experiments, methods of statistical analysis of study data, interpretation of study results, ...