Engineering Commons^™

Geohash-Based Rapid Query Method Of Regional Transactions In Blockchain For Internet Of Vehicles, Chang Zhou, Huimei Lu, Yong Xiang, Jingbang Wu, Feng Wang

Faculty and Student Publications

Many researchers have introduced blockchain into the Internet of Vehicles (IoV) to support trading or other authentication applications between vehicles. However, the traditional blockchain cannot well support the query of transactions that occur in a specified area which is important for vehicle users since they are bound to the geolocations. Therefore, the querying efficiency of the geolocation attribute of transactions is vital for blockchain-based applications. Existing work does not well handle the geolocation of vehicles in the blockchain, and thus the querying efficiency is questionable. In this paper, we design a rapid query method of regional transactions in blockchain for …

Fastklee: Faster Symbolic Execution Via Reducing Redundant Bound Checking Of Type-Safe Pointers, Haoxin Tu, Lingxiao Jiang, Xuhua Ding, He Jiang

Research Collection School Of Computing and Information Systems

Symbolic execution (SE) has been widely adopted for automatic program analysis and software testing. Many SE engines (e.g., KLEE or Angr) need to interpret certain Intermediate Representations (IR) of code during execution, which may be slow and costly. Although a plurality of studies proposed to accelerate SE, few of them consider optimizing the internal interpretation operations. In this paper, we propose FastKLEE, a faster SE engine that aims to speed up execution via reducing redundant bound checking of type-safe pointers during IR code interpretation. Specifically, in FastKLEE, a type inference system is first leveraged to classify pointer types (i.e., safe …

A Quality Metric For K-Means Clustering Based On Centroid Locations, Manoj Thulasidas

Research Collection School Of Computing and Information Systems

K-Means clustering algorithm does not offer a clear methodology to determine the appropriate number of clusters; it does not have a built-in mechanism for K selection. In this paper, we present a new metric for clustering quality and describe its use for K selection. The proposed metric, based on the locations of the centroids, as well as the desired properties of the clusters, is developed in two stages. In the initial stage, we take into account the full covariance matrix of the clustering variables, thereby making it mathematically similar to a reduced chi2. We then extend it to account for …

Integrating Kano Model With Data Mining Techniques To Enhance Customer Satisfaction, Khaled Abdulla Ali Al Rabaiei

Dissertations

The business world is becoming more competitive from time to time; therefore, businesses are forced to improve their strategies in every single aspect. So, determining the elements that contribute to the clients' contentment is one of the critical needs of businesses to develop successful products in the market. The Kano model is one of the models that help determine which features must be included in a product or service to improve customer satisfaction. The model focuses on highlighting the most relevant attributes of a product or service along with customers’ estimation of how these attributes can be used to predict …

Asking The Right Questions To Solve Algebraic Word Problems, Ege Yi̇ği̇t Çeli̇k, Zeynel Orulluoğlu, Ridvan Mertoğlu, Selma Teki̇r

Turkish Journal of Electrical Engineering and Computer Sciences

Word algebra problems are among challenging AI tasks as they combine natural language understanding with a formal equation system. Traditional approaches to the problem work with equation templates and frame the task as a template selection and number assignment to the selected template. The recent deep learning-based solutions exploit contextual language models like BERT and encode the natural language text to decode the corresponding equation system. The proposed approach is similar to the template-based methods as it works with a template and fills in the number slots. Nevertheless, it has contextual understanding because it adopts a question generation and answering …

Multi-Robot Symbolic Task And Motion Planning Leveraging Human Trust Models: Theory And Applications, Huanfei Zheng

All Dissertations

Multi-robot systems (MRS) can accomplish more complex tasks with two or more robots and have produced a broad set of applications. The presence of a human operator in an MRS can guarantee the safety of the task performing, but the human operators can be subject to heavier stress and cognitive workload in collaboration with the MRS than the single robot. It is significant for the MRS to have the provable correct task and motion planning solution for a complex task. That can reduce the human workload during supervising the task and improve the reliability of human-MRS collaboration. This dissertation relies …

Gesture Controlled Collaborative Robot Arm And Lab Kit, Abel A. Reyes, Skylar Reinhardt, Tony Wise, Nathir Rawashdeh, Sidike Paheding

Michigan Tech Publications, Part 1

In this paper, a mechatronics system was designed and implemented to include the subjects of artificial intelligence, control algorithms, robot servo motor control, and human-machine interface (HMI). The goal was to create an inexpensive, multi-functional robotics lab kit to promote students’ interest in STEM fields including computing and mechtronics. Industrial robotic systems have become vastly popular in manufacturing and other industries, and the demand for individuals with related skills is rapidly increasing. Robots can complete jobs that are dangerous, dull, or dirty for humans to perform. Recently, more and more collaborative robotic systems have been developed and implemented in the …

Operation Of A Controllable Force-Sensing Industrial Pneumatic Parallel Gripper System, Brian Piechocki, Chelsey Spitzner, Namratha Karanam, Travis Winter, Aleksandr Sergeyev, Mark Gauthier, Nathir Rawashdeh

Michigan Tech Publications, Part 1

As part of the advanced programmable logic controllers (PLC) course at Michigan Tech, this class project was performed on a mechatronics system gifted by Donald Engineering, a Michigan-based supplier of industrial automation systems and components. This paper explores the functionality and application of a force-programmable and sensing pneumatic parallel gripper system. Force sensing is a critical part of many systems in modern automation systems. Applications such as prosthetics, robotic surgery, or basic manufacturing systems may rely on the ability to properly read and control forces applied to an object. This work evaluates the basic operation of the pneumatic force-sensing gripper …

Event-Triggered Optimal Adaptive Control Of Partially Unknown Linear Continuous-Time Systems With State Delay, Rohollah Moghadam, Vignesh Narayanan, Sarangapani Jagannathan

Publications

This paper proposes an event-triggered optimal adaptive output feedback control design approach by utilizing integral reinforcement learning (IRL) for linear time-invariant systems with state delay and uncertain internal dynamics. In the proposed approach, the general optimal control problem is formulated into the game-theoretic framework by treating the event-triggering threshold and the optimal control policy as players. A cost function is defined and a value functional, which includes the delayed system output, is considered. First, by using the value functional and applying stationarity conditions using the Hamiltonian function, the output game delay algebraic Riccati equation (OGDARE) and optimal control policy are …

Mechatronics Bachelor Curriculum Development In Light Of Industry 4.0 Technology Needs: Contrasting Us And German University Curricula, Paniz Hazaveh, Aleksandr Sergeyev, Nathir Rawashdeh

Michigan Tech Publications, Part 1

This study compares Mechatronics bachelor curricula at universities in the United States of America and German universities. Mechatronics education is relatively new in the United States, but has been common in Germany for over a decade. With the multidisciplinary nature of technologies required by the 4’th industrial revolution, a.k.a. Industry 4.0, composing an appropriate Mechatronics curriculum becomes a challenge and an opportunity. This paper studies how Mechatronics education can address the future needs of industry, while building on a specific university’s strengths and industry links. We have also analyzed the new undergraduate Mechatronics program at Michigan Technological University (MTU) and …

A Smart Parallel Gripper Industrial Automation System For Measurement Of Gripped Work Piece Thickness, Erik Kocher, Chukwuemeka George Ochieze, Ahmat Oumar, Travis Winter, Aleksandr Sergeyev, Mark Gauthier, Nathir Rawashdeh

Michigan Tech Publications, Part 1

As part of the advanced programmable logic controllers (PLC) course at Michigan Tech, this class project is performed on a mechatronics system gifted by Donald Engineering, a Michigan-based supplier of industrial automation systems and components. This paper explores the functionality and ladder programming of the smart parallel gripper system to measure the width of components grasped with the gripper. In addition, details of the system’s components, operation, more advanced uses are discussed. On the automation line, this smart gripper can be used to measure the thickness of work pieces while handling them and classifying these as either acceptable, too large …

An Industrial Pneumatic And Servo Four-Axis Robotic Gripper System: Description And Unitronics Ladder Logic Programming, Zongguang Liu, Chrispin Johnston, Aleksi Leino, Travis Winter, Aleksandr Sergeyev, Mark Gauthier, Nathir Rawashdeh

Michigan Tech Publications, Part 1

As part of the advanced programmable logic controllers (PLC) course at Michigan Tech, this class project is performed on a mechatronics system gifted by Donald Engineering, a Michigan-based supplier of industrial automation systems and components. This paper explores the functionality and ladder programming of a four-axis robot enclosed in a cage with one side guarded by an optical fence. The robot has pneumatically actuated X-Y linear motion and a pneumatic gripper. Furthermore, the Z-axis motion and gripper wrist rotation are controlled by servo motors. A human machine interface (HMI) is also present, and it allows for easy manipulation and programming …

Preventing Variadic Function Attacks Through Argument Width Counting, Brennan Ward

USF Tampa Graduate Theses and Dissertations

Format String attacks, first noted in June 2000 [1], are a type of attack in which anadversary has control of the string argument (the format string) passed to a string format function (such as printf). Such control allows the attacker to read and write arbitrary program memory. To prevent these attacks, various methodologies have been proposed, each with their own costs and benefits. I present a novel solution to this problem through argument width counting, ensuring that such format functions cannot access stack memory beyond the space where arguments were placed. Additionally, I show how this approach can be expanded …

The Impact Of The Digital Maturity Level On Port Operations In Africa, Joyce Wanjiru Kaburu

World Maritime University Dissertations

No abstract provided.

Comparative Analysis Of Cloud-Based Server And Conventional Server Of Simulators For Marine Engineering, Jose Maria Razon Nalus

World Maritime University Dissertations

No abstract provided.

Digital Readiness Of Container Terminals For Digital Technology Adoption : A Case Study Of Vietnam, Anh Tuấn Vu

World Maritime University Dissertations

No abstract provided.

The Determination Of Port Automation Levels Using An Analytic Hierarchical Process : A Case Study For The Port Of Colombo, Waruna Lasantha De Silva Amarathunga

World Maritime University Dissertations

No abstract provided.

Device Free Indoor Localization Of Human Target Using Wifi Fingerprinting, Prasanga Neupane

LSU Master's Theses

Indoor localization of human objects has many important applications nowadays. Proposed here is a new device free approach where all the transceiver devices are fixed in an indoor environment so that the human target doesn't need to carry any transceiver device with them. This work proposes radio-frequency fingerprinting for the localization of human targets which makes this even more convenient as radio-frequency wireless signals can be easily acquired using an existing wireless network in an indoor environment. This work explores different avenues for optimal and effective placement of transmitter devices for better localization. In this work, an experimental environment is …

A Comparison Of Robotic Hand Thumb Designs, Ryon Miro

Journal of the South Carolina Academy of Science

No abstract provided.

An Evaluation Framework For Digital Image Forensics Tools, Zainab Khalid, Sana Qadir

Journal of Digital Forensics, Security and Law

The boom of digital cameras, photography, and social media has drastically changed how humans live their day-to-day, but this normalization is accompanied by malicious agents finding new ways to forge and tamper with images for unlawful monetary (or other) gains. Disinformation in the photographic media realm is an urgent threat. The availability of a myriad of image editing tools renders it almost impossible to differentiate between photo-realistic and original images. The tools available for image forensics require a standard framework against which they can be evaluated. Such a standard framework can aid in evaluating the suitability of an image forensics …

Searching For Oa Scholarly Content, Olga Koz

All Things Open

Academic search engines have become the number one resource to find scholarly resources. In contrast, search engines of academic databases, like Web of Science and Scopus, harvest research which is locked behind paywalls. Google Scholar and other academic search engines assist in finding open access content as well as the content of commercial databases. Dr. Olga Koz, Senior Research Support Librarian, will present academic search engines that enhance expert research on various academic subject matters.

Tutorial: Knowledge-Infused Learning For Autonomous Driving (Kl4ad), Ruwan Wickramarachchi, Cory Henson, Sebastian Monka, Daria Stepanova, Amit Sheth

Publications

Autonomous Driving (AD) is considered as a testbed for tackling many hard AI problems. Despite the recent advancements in the field, AD is still far from achieving full autonomy due to core technical problems inherent in AD. The emerging field of neuro-symbolic AI and the methods for knowledge-infused learning are showing exciting ways of leveraging external knowledge within machine/deep learning solutions, with the potential benefits for interpretability, explainability, robustness, and transferability. In this tutorial, we will examine the use of knowledge-infused learning for three core state-of-the-art technical achievements within the AD domain. With a collaborative team from both academia and …

Adaptive Multi-Scale Place Cell Representations And Replay For Spatial Navigation And Learning In Autonomous Robots, Pablo Scleidorovich

USF Tampa Graduate Theses and Dissertations

Place cells are one of the most widely studied neurons thought to play a vital role in spatial cognition. Extensive studies show that their activity in the rodent hippocampus is highly correlated with the animal’s spatial location, forming “place fields” of smaller sizes near the dorsal pole and larger sizes near the ventral pole. Despite advances, it is yet unclear how this multi-scale representation enables navigation in complex environments.

In this dissertation, we analyze the place cell representation from a computational point of view, evaluating how multi-scale place fields impact navigation in large and cluttered environments. The objectives are to …

Review On Ecological Construction Of Domestic High-Performance Parallel Application Software In Post Moore Era, Chunye Gong, Jie Liu, Weimin Bao, Dongmei Pan, Xinbiao Gan, Shengguo Li, Xuguang Chen, Tiaojie Xiao, Bo Yang, Ruibo Wang

Journal of System Simulation

Abstract: Domestic high performance computing (HPC) system is world-leading and the system chip architectures are in varied forms. The system operation relied on National Supercomputing Center has a good development trend. Several technical key points of domestic high-performance parallel application software are word-leading and the application supporting environment is developing fast. But industrial software and team building are facing huge challenges. In post Moore era, based on the progress of human civilization, it is necessary to promote the ecological development of parallel application software, and from the viewpoint of software products the industrial software must be aim foreign commercial software …

Research On Improved Feature Pyramid Algorithm Integrating Border Supervision Strategy, Hong Sun, Yuelan Ling, Yuxiang Zhang

Journal of System Simulation

Abstract: Aiming at the inaccurate boundary division in semantic segmentation and the existence of multi-scale targets, an improved feature pyramid algorithm fused with boundary supervision strategies is proposed. By fusing the boundary supervision strategy and the improved feature pyramid algorithm, the problems of inaccurate boundary division and the existence of multi-scale targets are sloved respectively, and an attention mechanism is added in the upsampling process to further improve the segmentation effect. The experimental results show that the algorithm can reach 58.69% and 78.59% MIOU (mean intersection over union) indicators on the Camvid and PASCAL VOC2012 data sets respectively, and has …

Real-Time Scheduling Method For Railway Passenger Station Operations Based On Digital Twin, Bisheng He, Peng Chen, Hongxiang Zhang, Gongyuan Lu, Chunhui Zhang

Journal of System Simulation

Abstract: To improve the operation scheduling of railway passenger stations and reduce the train delays, digital twin technology is used to establish a railway passenger station operation model. Through real-time data acquisition, based on the operation time prediction of random forest method, operation simulation and decision-making, a real-time scheduling method of railway passenger station operations based on digital twin is proposed, and applied in a real railway passenger station. The experimental results show that the method can effectively forecast and simulate the actual operation. Three kinds of digital twin scheduling rules have been used, which can reduce the delay time …

A Quantum Krill Herd Fusion Algorithm And Its Application, Zengxi Feng, Jintong Zhao, Shiyan Li, Yalong Yang, Haiyue Chen, Cong Zhang

Journal of System Simulation

Abstract: Aiming at the defects of krill herd algorithm and quantum evolutionary algorithm, a quantum krill herd fusion algorithm (QKH) is proposed. The algorithm uses double-chain real numbers to encode the krill position, which can speed up the convergence speed, and avoids the randomness and complexity of quantum observations. The dynamically adjusted quantum krill herd rotation phase update strategy improves the convergence accuracy, and the efficiency of determining the quantum rotation phase. The introduction of an improved quantum full interference crossover strategy can prevent the fusion algorithm from falling into a local optimum, and can improve the optimization efficienal. The …

Control Of Quadruped Robot Based On Impedance And Virtual Model, Chikun Gong, Xunwei Wu, Lipeng Yuan

Journal of System Simulation

Abstract: In order to improve the motion stability of quadruped robot, a control method based on impedance and virtual model is proposed. The force-based impedance control method is used to control the leg swing phase to realize the more accurate trajectory tracking and leg compliance control. The virtual model control method is used to control the support phase to realize the attitude control of the robot body and the stable walking of the quadruped robot. Combined with the lateral stride strategy and the yaw angle control strategy based on virtual model, a robot anti-lateral impact control method is proposed, which …

Adaptive Crowd Evacuation Simulation Model Based On Bounded Rationality Constraints, Liqiang Zhao, Mengqian Guo, Shuixiong Tang, Jinjin Tang

Journal of System Simulation

Abstract: To effectively improve the accuracy of evacuation simulation of a crowded environment, an adaptive crowd evacuation simulation model based on social force model and bounded rationality constraints is proposed. The desired direction and desired speed of the self-driving force that affects the pedestrian movement in the traditional social force model is improved. The adaptive calculation is used in the optimization of direction and speed of pedestrian in an obstacle avoidance situation. The rational route decision mechanism is proposed to describe the route selection behavior of pedestrians in a congested state more accurately. The results show that the proposed model …

Research On Modeling And Simulation Of Optimization Deployment For Cooperative Localization By Multiple Detection Sensors In Complex Environment, Gongguo Xu, Libing Cai, Peibing Du, Yu Liu

Journal of System Simulation

Abstract: Aiming at the difficulty of accurate cooperative localization by multi-sensor network in complex environment, an optimization deployment method is proposed. The GDOP evaluation index of target positioning accuracy is constructed based on PCRLB. The influence of undulating terrain, clutter jamming and illumination on sensor detection and positioning ability in complex environment is analyzed. An optimization deployment model of multi-sensor cooperative location is built and the intelligent optimization algorithm is used to quickly solve the model. Simulation results show that the proposed method can effectively improve the cooperative localization ability of multi-sensor network and can guide the multi-sensor cooperative …