scholarly journals Trust, transforms, and control flow: A graph-theoretic method to verifying source and binary control flow equivalence

2021 ◽  
Author(s):  
Ryan Christopher Goluch
Keyword(s):  
Control Flow ◽  
Theoretic Method ◽  
Graph Theoretic ◽  
Flow Equivalence ◽  
Binary Control ◽  
And Control

Study on Novel Automatic Steel Bundling Machine Pneumatic Control System

2012 ◽  
Vol 490-495 ◽  
pp. 594-597
Author(s):  
Cheng Qun Li ◽  
Liang Gao
Keyword(s):  
Control System ◽  
Control Program ◽  
Control Flow ◽  
Pneumatic Control ◽  
The Core ◽  
New Type ◽  
Action Process ◽  
And Control

This paper introduces a new type of automatic steel bundling machine for bundling process, which includes a pneumatic action process, mainly do some researches on the pneumatic control system. The system chooses PLC as the core control component, puts forward the hardware of control system and control flow. Eventually we have been designed the control program.

scholarly journals A Detection Method for Abnormal Transactions in E-Commerce Based on Extended Data Flow Conformance Checking

2022 ◽  
Vol 2022 ◽  
pp. 1-14
Author(s):  
Yadi Wang ◽  
Wangyang Yu ◽  
Peng Teng ◽  
Guanjun Liu ◽  
Dongming Xiang
Keyword(s):  
Anomaly Detection ◽  
Business Processes ◽  
Data Flow ◽  
Detection Algorithm ◽  
Control Flow ◽  
Smart Devices ◽  
Integration Model ◽  
Whole Process ◽  
Mobile Transaction ◽  
And Control

With the development of smart devices and mobile communication technologies, e-commerce has spread over all aspects of life. Abnormal transaction detection is important in e-commerce since abnormal transactions can result in large losses. Additionally, integrating data flow and control flow is important in the research of process modeling and data analysis since it plays an important role in the correctness and security of business processes. This paper proposes a novel method of detecting abnormal transactions via an integration model of data and control flows. Our model, called Extended Data Petri net (DPNE), integrates the data interaction and behavior of the whole process from the user logging into the e-commerce platform to the end of the payment, which also covers the mobile transaction process. We analyse the structure of the model, design the anomaly detection algorithm of relevant data, and illustrate the rationality and effectiveness of the whole system model. Through a case study, it is proved that each part of the system can respond well, and the system can judge each activity of every mobile transaction. Finally, the anomaly detection results are obtained by some comprehensive analysis.

A Unified Software Reengineering Approach towards Model Driven Architecture Environment

2011 ◽  
pp. 55-100
Author(s):  
Bing Qiao ◽  
Hongji Yang ◽  
Alan O’Callaghan
Keyword(s):  
Control Flow ◽  
Point Of View ◽  
Software System ◽  
Model Driven Architecture ◽  
Unified Framework ◽  
Software Reengineering ◽  
Model Driven ◽  
Incremental Development ◽  
Flow Graphs ◽  
And Control

When developing a software system, there are a number of principles, paradigms, and tools available to choose from. For a specific platform or programming language, a standard way can usually be found to archive the ultimate system; for example, a combination of an incremental development process, object-oriented analysis and design, and a well supported CASE (Computer-Aided Software Engineering) tool. Regardless of the technology to be adopted, the final outcome of the software development is always a working software system. However, when it comes to software reengineering, there is rather less consensus on either approaches or outcomes. Shall we use black-box or white-box reverse engineering for program understanding? Shall we produce data and control flow graphs, or some kind of formal specifications as the output of analysis? Each of these techniques has its pros and cons of tackling various software reengineering problems, and none of them on its own suffices to a whole reengineering project. A proper integration of various techniques capable of solving a specific issue could be an effective way to unravel a complicated software system. This kind of integration has to be done from an architectural point of view. One of the most exciting outcomes of recent efforts on software architecture is the Object Management Group’s (OMG) Model-Driven Architecture (MDA). MDA provides a unified framework for developing middleware-based modern distributed systems, and also a definite goal for software reengineering. This chapter presents a unified software reengineering methodology based on Model-Driven Architecture, which consists of a framework, a process, and related techniques.

scholarly journals Quantum networks: topology and spectral characterization

2018 ◽  
Vol 182 ◽  
pp. 02014
Author(s):  
Vesna Berec
Keyword(s):  
Quantum Information Processing ◽  
Theoretic Approach ◽  
Quantum State Transfer ◽  
Complexity Measures ◽  
Quantum Networks ◽  
Graph Theoretic ◽  
Topological Features ◽  
State Transfer ◽  
Quantum Complexity ◽  
And Control

To utilize a scalable quantum network and perform a quantum state transfer within distant arbitrary nodes, coherence and control of the dynamics of couplings between the information units must be achieved as a prerequisite ingredient for quantum information processing within a hierarchical structure. Graph theoretic approach provides a powerful tool for the characterization of quantum networks with non-trivial clustering properties. By encoding the topological features of the underlying quantum graphs, relations between the quantum complexity measures are presented revealing the intricate links between a quantum and a classical networks dynamics.

scholarly journals Line of Sight and Image Motion Compensation for Step and Stare Imaging System

2020 ◽  
Vol 10 (20) ◽  
pp. 7119
Author(s):  
Jihong Xiu ◽  
Pu Huang ◽  
Jun Li ◽  
Hongwen Zhang ◽  
Youyi Li
Keyword(s):  
High Resolution ◽  
Motion Compensation ◽  
Imaging System ◽  
Control Flow ◽  
Image Motion ◽  
Line Of Sight ◽  
Pointing Accuracy ◽  
High Resolution Images ◽  
Pointing Control ◽  
And Control

In recent years, applications such as marine search and rescue, border patrol, etc. require electro-optical equipment to have both high resolution and precise geographic positioning abilities. The step and stare working based on a composite control system is a preferred solution. This paper proposed a step and stare system composed of two single-axis fast steering mirrors and a two-axis gimbal. The fast steering mirrors (FSMs) realize image motion compensation and the gimbal completes pointing control. The working principle and the working mode of the system are described first. According to the imaging optical path, the algorithm and control flow of the line of sight (LOS) and image motion compensation are developed. The proposed method is verified through ground imaging and flight tests. Under the condition of flight, the pointing accuracy of the target can be controlled within 15 m. The proposed algorithm can achieve effective motion compensation and get high-resolution images. This achieves high resolution and accurate LOS simultaneously.

Sign in / Sign up

Export Citation Format

Share Document