Checking Framework Research Articles

RETRACTED: Applications of internet of things (IOT) to improve the stability of a grid connected power system using interline power flow controller

Abstract Using Internet of Things (IoT) technology in the clever network is an essential method to fast active the information of control Grid-system. Also, the grid system is valuable aimed at the compelling administration of the power framework foundation. This paper deals with a logical approach to design an Interline Power Flow Controller (IPFC) for a grid-connected several-line power scheme to improve the scheme strength and to improve the congestion management in a grid by considering the power flow among the multi-line, IPFC goes to a sequence of paying flexible alternating current transmission system (FACTS) device and it takes the capability toward control the power stream in multi-line transfer organizations.. The Distributed Interline Power Flow Controller involves the series and shunt converters in different transmission lines that are between related utilizing a run of the DC connector. In the transmission line, is the IPFC considered for the compensation and control of power flow in a multi-line transmission system. Every converter can give plan reactive compensation off its line also with the frequency. As the converters can exchange dynamic power through their essential DC interface, it can similarly give a frequency of the current. The highest objective is to improve the power flow in transmission lines and also to maintain the system stability at the buses, and it is achieved by developing an IPFC controller along with genetic algorithm. A Simulink model of an Interline Power Flow Controller based several-machine framework alongside genetic algorithm is developed, and its outcomes were compared with the conventional scheme for tuning the proposed controller to confirm their effectiveness and robustness. It also explains the optimization technique in multi-machine power system with an IPFC using GA. Concentrated on the normal for the development and improvement of the brilliant matrix, this paper presented the use of IoT in web-based checking framework of grid-connected power system using IOT.

Efficiency and safety increases after the implementation of a multi-institutional automated plan check tool at our institution.

PurposeThe plan check tool (PCT) is the result of a multi‐institutional collaboration to jointly develop a flexible automated plan checking framework designed with the versatility to be shared across collaborating facilities while supporting the individual differences between practices. We analyze the effect that PCT has had on the efficiency and effectiveness of initial chart checks at our institution.Methods and MaterialsData on errors identified during initial chart checks were acquired during two time periods: before the introduction of PCT in the clinic (6/24/2015 to 7/31/2015, 187 checks) and post‐clinical release (4/14/2016 to 5/2/2016, 186 checks). During each time period, human plan checkers were asked to record all issues that they either manually detected or that were detected by PCT as well as the amount of time, less breaks, or interruptions, it took to check each plan.ResultsAfter the clinical release of PCT, there was a statistically significant decrease in the number of issues recorded by the human plan checkers both related to checks explicitly performed by PCT (13 vs 50, P < 0.001) and in issues identified overall (127 vs 200, P < 0.001). The mean and medium time for a plan check decreased by 20%.ConclusionsThe use of a multi‐institutional, configurable, automated plan checking tool has resulted in both substantial gains in efficiency and moving error detection to earlier points in the planning process, decreasing their likelihood that they reach the patient. The sizeable startup effort needed to create this tool from scratch was mitigated by the sharing, and subsequent co‐development, of software code from a peer institution.

Bridge Health Monitoring Using IoT

A remote sensor framework has been proposed and tried in the spot of forty five sensors of three kinds among the sensors utilized widely in suspension scaffolds to demonstrate the suitability of remote sensor organize in real usage to take into consideration the expansion or supplanting of a sensor easily. In conclusion, the remote sensor arrange based extension wellbeing checking framework proposed in this is created as an application that is proposed to guarantee all inclusive appropriateness and intended to augment the simplicity of remote sensor arrange.

Implementation of Water Grade Inspection System using Multiple Sensors

Water is very crucial for healthy living. A large portion of the irresistible maladies are because of tainted water which prompts a huge number of contaminants consistently. Water quality testing is imperative since it recognizes contaminants and counteracts water-borne ailments. There is necessity to build up Water quality checking framework to confirm whether the measured water quality is reasonable for expected use. Basically, water quality observing ensures that water is safe and meets nearby and global water norms. Different water sampling techniques and technology to determine the level and amount of chemicals present in water can be used for water quality testing. Water utilized for human and animal use must be tested for safety. Along with household water, recreational and agricultural water also needs to be tested. In this paper, an IoT based water grade inspection system is proposed, in which water quality in terms of Turbidity and Temperature is measured with the help of sensors. NodeMCU ESP8266 board is used here. It has a built in onboard Wi-Fi module that facilitates to send alert message when the turbidity and temperature of water exceeds threshold values. The alert notifications are obtained in ESP Notify app.

Plant Disease Detection using Internet of Thing (IoT)

This paper presents the idea of internet of things (IOT) innovation to percept data, and talks about the job of the IOT innovation in farming infection and bug nuisance control, which incorporates rural ailment and bug checking framework, gathering sickness and creepy crawly bother data utilizing sensor hubs, information preparing and mining, etc. A malady and bug irritation control framework dependent on IOT is proposed, which comprised of three levels and three frameworks. The framework can give another approach to get to horticultural data for the farm. In this paper a computerized framework has been created to decide if the plant is ordinary or infected. The typical development of the plants, yield and nature of horticultural items is truly influenced by plant illness. This paper attempt to build up a robotized framework that identifies the nearness of disease in the plants. A mechanized ailment recognition framework is created utilizing sensors like temperature, moistness and shading dependent on variety in plant leaf wellbeing condition. The qualities dependent on temperature, mugginess and shading parameters are utilized to distinguish nearness of plant sickness.

Iot Based Water Quality Monitoring System using Machine Learning

In the present occasions, because of urbanization and contamination, it has gotten important to screen and assess the nature of water arriving at our homes. Guaranteeing safe inventory of drinking water has become a major test for the cutting edge progress. In this desk work, we present a structure and improvement of a minimal effort framework for continuous checking of the water quality (WQ) in IoT (web of things). The framework comprise of a few sensors are accustomed to guesstimatingsomatic and element limitations of the water. The parameters like temperature, PH, turbidity, conductivity, broke up oxygen of the water can be estimated. The deliberate qualities from the sensors can be prepared by the center controller. The RBPI B+ (RBPI) model can be consumed as a center controller. At last, the instrument facts can be understood on web utilizing distributed computing. Here the information's are handled utilizing AI calculation it sense the water condition if the WQis great it open the entryway divider else it shuts the door divider. This whole procedure happens naturally without human mediation therefore spare an opportunity to contract with the circumstance physically. The uniqueness of our proposed research is to get the water observing framework with high recurrence, high portability, and low controlled.

Non Invasive Measurement of Hemoglobin using Optical Sensor

Hemoglobin (hb) concentration is a basic parameter in the human blood, the absense of which causes anemia. The proposed work stays away from the superfluous wastage of blood while estimating hb concentration which could have serious impact on a anemic patient. There are fundamentally two classifications to be specific, invasive and non-invasive methods.In the invasive method blood sample is collected by hurtful needle stick. After that the collected blood sample is sent to a laboratory for examination. Then the results are announced back to the docter later which possibly leads to analysis and treatement delay. A non-invasive technique permits torment free online patient checking framework with least danger of infection. An optical non-invasive system is introduced for Hb focus. In this anew advanced system, retention of light by oxygenated and deoxygenated hemoglobin is estimated at two wavelengths 660nm and 940nm. The specific wavelength of light is acquired from red and IR LED. The absorption coefficient of blood differs at various wavelength this reality is utilized to compute concentration of the hemoglobin.

Real Time Activity Logger: a User Activity Detection System

With the size of the enterprise network is growing, more and more computer terminals, internal information leakage and security threats emerging security incidents and daily management to bring a lot of pressure. Business users need a tracking system to address these security issues.A technique and framework for checking and following the exercises of a client of a PC. Affiliations are set up between the conditions of certain PC framework parameters and explicit exercises. The present movement of the client is then definite by the framework dependent on the present condition of the PC framework. As the condition of the PC framework changes, changes in the client's action are checked and followed. The exercises are followed related to time in order to record the time spent on every movement.Through this project we are developing the understanding of the working and the basics of the Linux operating system. We are analysing the need of monitoring the system and solving the issues related to security, unauthorised access and other threats. Through this tool we are trying to address these issues.

Efficient Low Power Intelligent Health Care Monitoring System using IOT

The present paper presents wellbeing checking framework for patients. In every one of the cases existences of individual behind the patient in current days are hard to screen, even in the medicinal services focus it might have the shot of possibility to happen uneven things in basic conditions. Keeping in mind the end goal to evade this issue this frame work will fare the well and effectively exchange data of patient to relatives, as well even the patient was not in the premises of healing facility. Data of the patient can be sent to relatives and alarms them by sending message. By utilizing this framework we can get GPS information of the patient, thereof we can rapidly get involves in basic circumstances. We can locate the patient fall discovery by the status of patient and can have an eye without being there with persistent. The major factor that play important role in wearables is power consumption, the least power drowning model has been developed in this system. And the controller runs Real Time Operating System (RTOS) to execute tasks almost at the same time. The cloud service used here is the amazon IoT, and there is a chance to analyze the data with machine learning models to predict the future abnormal situations.

Identifying Rumour Source from Social Activity Streams

Gossipy tidbits are snippets of data or a story that has not been checked. What this implies, is that the individual recounting the story does not know for certain in the event that it is valid or not. Bits of gossip assume a major job in this day and age of web where emergency contact only one post or article. Regular daily existences are lost and economies endure top dogs due to these gossipy tidbits being far reaching by individuals without confirming. Microblog stages have been to a great degree mainstream in the enormous information period because of its constant dissemination of data. We exhibit RING, a constant rising abnormality checking framework over microblog content streams. RING incorporates our endeavors on both developing inconsistency observing examination and framework explore. From the oddity observing point of view, RING proposes a diagram expository methodology with the end goal that RING can recognize developing abnormalities at a prior stage contrasted with the current methods. In our project, we tried to improve the process of Detecting the trending events and their sources by many characteristics like Duration of the anomaly, size of the text, and time. We analysed the spiking anomaly and its source by making use of RING in a little advance manner. The changes made in the system produced positive results which are better to identify the sources in terms of time and space complexity.

Pattern Classification using Three Axis Accelerometer and Magnetic Sensor Toothbrush

The idea of savvy toothbrush, fit for observing brushing movement, introduction through the hold pivot, amid tooth brushing was recommended in our past investigation. In this investigation, we depict a tooth brushing design order calculation utilizing three-pivot accelerometer and three-hub attractive sensor. We have discovered that wrong tooth brushing design indicated explicit moving examples. So as to follow the position and introduction of toothbrush in a mouth, we have to know outright organize data of toothbrush. By applying tilt-repaid azimuth (heading) figuring calculation, which is commonly utilized in little telemetries gadgets, we could discover the tendency and introduction data of toothbrush. To evaluate the plausibility of the proposed calculation, 8 brushing examples were performed by 6 individual solid subjects. The proposed calculation demonstrated the discovery proportion of 98%. This investigation demonstrated that the proposed checking framework was imagined to help dental consideration faculty in patient training and guidance in oral cleanliness with respect to brushing style

A modular framework for verifying versatile distributed systems

Putting independent components together is a common design practice of distributed systems. Besides, there exists a wide range of interaction protocols that dictate how these components interact, which impacts their compatibility. However, the communication model itself always consists in a monolithic description of the rules and properties of the communication. In this paper, we propose a mechanized framework for the compatibility checking of compositions of peers where the interaction protocol can be fine tuned through assembly of basic properties on the communication. These include whether the communication is point-to-point, multicast or convergecast, which ordering-policies are to be applied, applicative priorities, bounds on the number of messages in transit, and so on. Among these properties, we focus on a generic description of multicast communication that encompasses point-to-point and one-to-all communication as special cases. The components that form the communication model are specified in TLA+, and a system, composed of a communication model and a specification of the behavior of the peers (also in TLA+ ), is checked with the TLA+ model checker. Eventually we provide theoretical views on the relations between ordering-policies through the lenses of multicast and convergecast communication.

VerifCar: a framework for modeling and model checking communicating autonomous vehicles

This paper presents a framework, called VerifCar, devoted to the validation of decision policies of communicating autonomous vehicles (CAVs). The approach focuses on the formal modeling of CAVs by means of timed automata, allowing a formal and exhaustive analysis of the behaviors of vehicles. VerifCar supports a parametric modeling of CAV systems as a network of timed automata tailored for verification and limiting the well-known state space explosion. As an illustration, VerifCar is applied to check robustness and efficiency, as well as to asses the impact of communication delays on the decision algorithms of CAVs, on well chosen case studies representing real-life critical situations.

An Innovative Secure Approach to Detect Clone Node Intruder in Homogeneous Wireless Sensor Network

Detection of a cloned node intruder in Homogenous Wireless Sensor Networks has many useful applications in terms that they can be deployed in war zones for detecting intruder (enemies) and uniquely identifies them which help in preventing any harmful situation they can create when they continue to exist inside the system. This intrusion detection system is used to identify the mismatched, malicious, non-orientable nodes and false committing nodes. This paper, proposes a novel hub clone location convention method with various tradeoffs of execution and arranged conditions. First depends on a conveyed hash table, by which a completely decentralized, key-based storing and checking framework is developed to get cloned hubs successfully. Second depends on dispersed recognition convention, named arbitrarily coordinated investigation, introduces great correspondence execution for thick sensor systems, by a probabilistic coordinated sending method alongside irregular starting bearing and fringe assurance. The reproduction comes about maintain the convention outline and demonstrate its effectiveness on correspondence overhead and attractive identification probability.

A Methodology for Automatic Formal Verification of Enterprise Architecture

For over a decade, IT-business alignment has been ranked as a top-priority management concern, but there is little research on practical ways to achieve the alignment. EA development is a continuous iterative process, which implicitly ensures the achievement of a specific IT-business alignment level. Therefore, it is necessary to formalize the requirements for architecture and be able to automatically verify them. The authors propose a new methodology for detecting logical contradictions in enterprise architecture models based on a model checking approach adopted in the context of business modeling. In such a methodology, they use ArchiMate standard for a conceptual enterprise architecture description language which is fully aligned with TOGAF. The authors also offer several important verification queries and demonstrate practical applicability of their approach using a software prototype of the modeling tool which exploits MIT Alloy Analyzer model checking framework integrated with AchiMate Archi workbench.

IOT based water level and quality monitoring system in overhead tanks

Water is most profitable and valuable source since it is the fundamental need of all the individuals. Now a day we are facing many issues regarding water wastage and quality monitoring in tanks. This paper proposes a proficient method to water level and quality observing in the overhead tanks to lessen the present water wastage and give better water quality. The venture is about overhead tank checking framework that is we screen the level of water in the overhead tank and furthermore we decide nature of water. Firstly, we have the issue of filling the tanks which are situated far, and for this we have executed a little hypothesis that we put level sensors in the tank, that level sensors detect the water level in the tank and sends us message about water level in the tank. Also, the second preferred standpoint is that really, we utilize different quality parameter sensors like pH and turbidity sensors to screen the water quality in the tank. In light of level of water, we can choose how much measure of water is required for specific area and give adequate measure of water as opposed to squandering water. The Raspberry Pi B+ is utilized as core controller. The composed framework applies to an IOT module for getting to sensor information from center controller to cloud. The sensor information can be seen on cloud. At last information will be assembled and through Wi-Fi information can be seen on versatile device through android app. Based on data in the app workers will be sent to clean the tank This proposed framework is a minimal effort, wireless, multi-sensor arrange for exact water monitoring in tanks.

Energy Efficient for Web of Things Based on Reconfigurable Smart Quality Management Scheme

Since the powerful and productive arrangement of water quality observing (WQM) are basic usage for the issue of contaminated water all inclusive, with expanding in the advancement of Wireless Sensor Network (WSN) innovation in the Internet of Things (IoT) condition, ongoing water quality checking is remotely checked by methods for continuous information obtaining, transmission and handling. This paper exhibits a reconfigurable brilliant sensor interface gadget for water quality checking framework in an IoT situation. The brilliant WQM framework comprises of Field Programmable Gate Array (FPGA) outline board, sensors, Zigbee based remote correspondence module and (PC). The FPGA board is the center part of the proposed framework and it is customized in fast incorporated circuit equipment depiction dialect (VHDL) and C programming dialect utilizing Quartus II programming and Qsys instrument. The proposed WQM framework gathers the five parameters of water information, for example, water pH, water level, turbidity, carbon dioxide (CO2) on the surface of water and water temperature in parallel and progressively premise with fast from numerous distinctive sensor hubs.

A distributed approach to compliance monitoring of business process event streams

In recent years, the significant advantages brought to business processes by process mining account for its evolution as a major concern in both industrial and academic research. In particular, increasing attention has been turned to compliance monitoring as a way to identify when a sequence of events deviates from the expected behaviour. As we are entering the IoT era, an increasing variety of smart objects can be introduced in business processes (e.g., tags to track products in a plant, smartphones and badge swiping to draw the activities of customers and employees in a shopping centre, etc.). All these objects produce large volumes of log data in the form of streams, which need to be run-time analysed to extract further knowledge about the underlying business process and to identify unexpected, non-conforming events.Albeit rather straightforward on a small log file, compliance verification techniques may show poor performances when dealing with big data and streams, thus calling for scalable approaches.This work investigates the possibility of spreading the compliance monitoring task over a network of computing nodes, achieving the desired scalability. The monitor is realised through the existing SCIFF framework for compliance checking, which provides a high level logic-based language for expressing the properties to be monitored and nicely supports the partitioning of the monitoring task. The distributed computation is achieved through a MapReduce approach and the adoption of an existing general engine for large scale stream processing. Experimental results show the feasibility of the approach as well as the advantages in performance brought to the compliance monitoring task.

Static compliance checking beyond separation of duty constraints

In many application domains, processes often have to comply with business level rules and policies, called compliance constraint. Separation of duty requirement is one of such constraint, and enhancement measures are taken to make sure the business process is compliance with the constraints. Separation of duty Algebra is a high level policy designed to specify Separation of duty constraints, which can describe both quantification requirements and qualification requirements. In this article, we improve the high level description SoDA by involving task information. The improved specification expresses relations between user and task, describes bind of duty constraint beyond separation of duty. In order to make the high level policy act on concrete process, we proceed by constructing mapping rules to translate high level policies to low level constraints, which is representing by Description Logic. Then, we propose a framework for business process compliance checking. At last we give a case study to show the suitably of the method.

BUS LOCATION AND ROUTE SYSTEM USING INTERNET OF THINGS

The fundamental point of undertaking is to plan a remote correspondence based transport position checking framework which is much helpful in operation. It is imperative to diminish traveler holding up time at transport stop, when clean time dining areas are obscure to traveler or traveler new in the city. To conquer the issue of travelers, the transport area and course route framework have the capacity effortlessly recover data about transport. Global positioning system, additionally furnishing clients with the most limited strolling course to closest bus stop.