Modeling And Verification Of Scene Of C3+Ato System Based On Timed Automata, Zhenhai Zhang, Yao Jie

Journal of System Simulation

Abstract: The C3+ATO system is in the experimental stage in our country and has the characteristics of high automation degree and high safety requirement at present. In order to confirm whether the specific function of the high-speed railway C3+ATO system meets the corresponding technical specification under the specific scene, a formal modeling and verification method based on the timed automata is proposed. The station automatic departure scene is selected as the modeling object. The functional requirements of C3+ATO system specification are extracted and the timed automata model of the scene is established. The message sequence chart of the corresponding process …

Study On Virtual And Real Entity Configuration Of Army Units Lvc Tactical Training, Gao Ang, Zhiming Dong, Qisheng Guo, Guohui Zhang

Journal of System Simulation

Abstract: Aiming at the problem that “real soldiers” in the LVC system cannot observe “virtual soldiers” and cannot completely meet the army's tactical training needs, the research on the configuration under the condition of limited interaction between virtual and real entities is carried out. Taking equipment is as the node, taking the interaction between the equipment that conforms to the objective facts of combat as the edge. An undirected graph description example of a virtual-real node interaction is build. All the complete subgraphs in the undirected graph are all the configuration modes of virtual and real entities, under which any …

Side Channel Attack Counter Measure Using A Moving Target Architecture, Jithin Joseph

Electrical and Computer Engineering ETDs

A novel countermeasure to side-channel power analysis attacks called Side-channel Power analysis Resistance for Encryption Algorithms using DPR or SPREAD is investigated in this thesis. The countermeasure leverages a strategy that is best characterized as a moving target architecture. Modern field programmable gate arrays (FPGA) architectures provide support for dynamic partial reconfiguration (DPR), a feature that allows real-time reconfiguration of the programmable logic (PL). The moving target architecture proposed in this work leverages DPR to implement a power analysis countermeasure to side-channel attacks, the most common of which are referred to as differential power analysis (DPA) and correlation power analysis …

Artificial Intelligence-Driven Remaining Useful Life Prediction Of A Machinery-A Review, Dvij Barot, Honey Sharma, Mahika Yadav, Pooja Kamat

Library Philosophy and Practice (e-journal)

The Remaining Useful Life of a machine is very useful statistical information for the operator and manufacturer. It provides a very clear perspective to the user how long the machine can be operated and if any faults are detected how can they be prevented and ultimately increase the Remaining Useful Life. If the operators are aware of the forthcoming issues of the machine the downtime caused in the inspection, part delivery and eventually replacing parts is significantly reduced.

The paper presents a study on the remaining useful life of machinery as it is an emerging technique, starting from the year …

Visible-To-Thermal Transfer Learning For Facial Landmark Detection, Domenick D. Poster, Shuowen Hu, Nathan J. Short, Benjamin S. Riggan, Nasser M. Nasrabadi

Department of Electrical and Computer Engineering: Faculty Publications

There has been increasing interest in face recognition in the thermal infrared spectrum. A critical step in this process is face landmark detection. However, landmark detection in the thermal spectrum presents a unique set of challenges compared to in the visible spectrum: inherently lower spatial resolution due to longer wavelength, differences in phenomenology, and limited availability of labeled thermal face imagery for algorithm development and training. Thermal infrared imaging does have the advantage of being able to passively acquire facial heat signatures without the need for active or ambient illumination in low light and nighttime environments. In such scenarios, thermal …

Machine Learning Meets Internet Of Things: From Theory To Practice, Bharath Sudharsan, Pankesh Patel

Publications

Standalone execution of problem-solving Artificial Intelligence (AI) on IoT devices produces a higher level of autonomy and privacy. This is because the sensitive user data collected by the devices need not be transmitted to the cloud for inference. The chipsets used to design IoT devices are resource-constrained due to their limited memory footprint, fewer computation cores, and low clock speeds. These limitations constrain one from deploying and executing complex problem-solving AI (usually an ML model) on IoT devices. Since there is a high potential for building intelligent IoT devices, in this tutorial, we teach researchers and developers; (i) How to …

A Systematic Review Of Urban Navigation Systems For Visually Impaired People, Fatmaelzahraa Eltaher Ph.D, Ayman Taha, Jane Courtney, Susan Mckeever

Articles

Blind and Visually impaired people (BVIP) face a range of practical difficulties when undertaking outdoor journeys as pedestrians. Over the past decade, a variety of assistive devices have been researched and developed to help BVIP navigate more safely and independently. In~addition, research in overlapping domains are addressing the problem of automatic environment interpretation using computer vision and machine learning, particularly deep learning, approaches. Our aim in this article is to present a comprehensive review of research directly in, or relevant to, assistive outdoor navigation for BVIP. We breakdown the navigation area into a series of navigation phases and tasks. We …

Lecture 08: Partial Eigen Decomposition Of Large Symmetric Matrices Via Thick-Restart Lanczos With Explicit External Deflation And Its Communication-Avoiding Variant, Zhaojun Bai

Mathematical Sciences Spring Lecture Series

There are continual and compelling needs for computing many eigenpairs of very large Hermitian matrix in physical simulations and data analysis. Though the Lanczos method is effective for computing a few eigenvalues, it can be expensive for computing a large number of eigenvalues. To improve the performance of the Lanczos method, in this talk, we will present a combination of explicit external deflation (EED) with an s-step variant of thick-restart Lanczos (s-step TRLan). The s-step Lanczos method can achieve an order of s reduction in data movement while the EED enables to compute eigenpairs in batches along with a number …

Recent Trends In Cloud Computing And Edge Computing, Sonali Deshpande, Nilima Kulkarni

Library Philosophy and Practice (e-journal)

Background: This study aims to analyze the work done in domain of cloud computing and edge computing using artificial intelligence from 2015 to 2021. Recent research shows the bibliometric methods are useful for such kind of analysis. Thus in this paper analysis is carried out using the bibliometric methods.

Methods: different articles on edge computing and edge intelligence were retrieved using one of the most popular database- Scopus. The research articles are considered between 2015 to 2021. Scopus analyzer is used for getting some analysis results such as documents by year, source, country and so on. VOSviewer Version 1.6.16 is …

Effective Gamification Within Educational Virtual Reality Environments, Adrian Pilkington

Honors Program: Senior Projects (Public)

With the advent and now widespread use of mobile phones and computers in educational settings, exploring effective and new ways of using technology in the classroom is important for educating the next generation of students. Innovative technology, like Virtual Reality, has started being discussed and researched for its potential benefits in educational settings. This paper presents a brief history of VR, game theory, and examines two VR educational games from the University of Nebraska-Lincoln College of Nursing’s (UNMC) Senior Design teams. The two games will be used to replace lecture-style classes and to go out and educate the community. We …

Second Version On A Centralized Approach To Reducing Burnouts In The It Industry Using Work Pattern Monitoring Using Artificial Intelligence Using Mongodb Atlas And Python, Sasibhushan Rao Chanthati

Harrisburg University Other Works

Industry burnout is interlinked with cultural, individual, physical, or emotional exhaustion, and social factors, the resolution of which requires the technology-driven trends in the workplace and the technologies such as work pattern monitoring and Artificial Intelligence that can deal with large amounts of data. Industries face a gigantic problem i.e., employee burnout which can charge a firm loss in numerous hours and thousands of dollars every year. The more advanced companies use work pattern monitoring using Artificial Intelligence to make their employees work more professionally. In this research my attempts to understand the development and leadership, on the effects of …

Lecture 00: Opening Remarks: 46th Spring Lecture Series, Tulin Kaman

Mathematical Sciences Spring Lecture Series

Opening remarks for the 46th Annual Mathematical Sciences Spring Lecture Series at the University of Arkansas, Fayetteville.

Vlsi Implementation Of A Cost-Efficient Loeffler-Dct Algorithm With Recursive Cordic For Dct-Based Encoder, Rih-Lung Chung, Chen-Wei Chen, Chiung-An Chen, Patricia Angela R. Abu, Shih-Lun Chen

Department of Information Systems & Computer Science Faculty Publications

This paper presents a low-cost and high-quality; hardware-oriented; two-dimensional discrete cosine transform (2-D DCT) signal analyzer for image and video encoders. In order to reduce memory requirement and improve image quality; a novel Loeffler DCT based on a coordinate rotation digital computer (CORDIC) technique is proposed. In addition; the proposed algorithm is realized by a recursive CORDIC architecture instead of an unfolded CORDIC architecture with approximated scale factors. In the proposed design; a fully pipelined architecture is developed to efficiently increase operating frequency and throughput; and scale factors are implemented by using four hardware-sharing machines for complexity reduction. Thus; the …

The Exploration And Analysis Of Mancala From An Ai Perspective, Trevon J. Hunter

Honors Theses

Through the study of popular games such as Chess and Go, countless artificial intelligence (AI) research has been conducted in an attempt to create algorithms equipped for adversarial search problems. However, there are still a plethora of avenues that offer insight into further development. Mancala is traditionally a two-player board game that originated in the East and offers a unique opponent-based playing experience. This thesis not only attempts to create a competitive AI algorithm for mancala games by analyzing the performance of several different algorithms on this classic board game, but it also attempts to extract applications that may have …

Discourse On Digital Government And Regulation: A Bibliometric Analysis, Prakoso Bhairawa Putera, Amelya Gustina

Library Philosophy and Practice (e-journal)

This study aims to discuss digital government and regulation, analyzed through the bibliometric approach with the Scopus database for the last 20 years and visualized through the VOSviewer software version 1.6.16. The results indicate that the topic of e-government has become essentially prominent and has been the most discussed in the past two decades. Approximately 41.1% of digital government and regulation articles are classified under the subject area of 'Computer Science', continued by Social Sciences (18.3%), and Business, Management and Accounting (10.2%), with the majority of being 'All Open Access' (46%). The trend of publication in this field includes the …

Modern Methods Of Testing And Information Security Problems In Iot, Halim Khujamatov, Ernazar Reypnazarov, Amir Lazarev

Bulletin of TUIT: Management and Communication Technologies

This article analyzes the technology of the internet of things, ie its architecture, communication standards, threats to security and safety, methods and types of testing devices of the internet of things. In short, the architectures proposed by ITU-T and IWF, IEEE standards for Internet of Things, LPWAN standards, four levels of security (devices/gateways, network/transport, services and applications), components according to test methods, performance, loading, security, etc.

An-Drew: A Chatbot Application For Personalized Digital Expression, Jeffrey Huang

Computer Science and Engineering Senior Theses

COVID-19 and the resulting quarantine affected many people over the past year, impacting many people’s mental health. To make matters even worse, those most in need of assistance with managing their mental health are often the ones with least access to support. These populations would benefit from a way in which to express themselves and practice self-care that is accessible and enjoyable. Art therapy offers one such solution. In this paper, I used word recognition and connections to determine a person’s mood by reading their responses to An-drew’s questions. My experiment shows that this is an effective start to seeing …

Extracting Creative Procedural Knowledge From Photoshop Tutorials, Federico Madden

Computer Science and Engineering Senior Theses

For my senior design project, I created a web app that, given the text of an online Photoshop tutorial, uses a neural network to extract specific Photoshop actions (e.g. File - New or Layers - New Layer) that the tutorial either implicitly or explicitly instructs the reader to take. This neural network consists mainly of a BERT embedding layer followed by an LSTM module, with a linear multi-class, multi-label classification layer on top. The network achieved a macro average F1 score of 15.1% on tutorial sentence classification tasks.

Assistive Robotics And Their Uses During The Pandemic, Thomas Klassen, Jeremy Evert

Student Research

• “Assistive Robotics” defines any device that can sense, process sensory information, and perform actions that benefit people with disabilities.

• This form of technology can be used on a much higher scale with a greater number of uses.

• We have an opportunity to expand the usage of assistive robotics to help combat COVID-19.

An Inside Vs. Outside Classification System For Wi-Fi Iot Devices, Paul Gralla

Dartmouth College Undergraduate Theses

We are entering an era in which Smart Devices are increasingly integrated into our daily lives. Everyday objects are gaining computational power to interact with their environments and communicate with each other and the world via the Internet. While the integration of such devices offers many potential benefits to their users, it also gives rise to a unique set of challenges. One of those challenges is to detect whether a device belongs to one’s own ecosystem, or to a neighbor – or represents an unexpected adversary. An important part of determining whether a device is friend or adversary is to …