检索结果-内蒙古大学图书馆

IEEE World engineering Education Conference (EDUNINE)

作者： Jorge Ortega-Moody Kouroush Jenab Saeid Moslehpour Lizeth Del Carmen Molina Acosta Edward Jhohan Marin Garcia José Neftalí Torres Marin School of Engineering Embry-Riddle Aeronautical FL USA Dept. of Engineering Sciences Morehead State University KY USA Dept. of Electrical and Computer Engineering University of Hartford CT USA Dept.of Electronic Engineering Universidad del Valle Cartago Colombia

ISBN: (数字)9798331542788

ISBN: (纸本)9798331542795

Artificial Intelligence (AI) is a transformative technology with significant potential in the field of education. However, its integration into educational systems has sparked debates over its benefits and drawbacks. This paper employs a SWOT (Strengths, Weaknesses, Opportunities, Threats) analysis to explore the implications of AI in education. The analysis identifies AI’s ability to personalize learning, improve efficiency, and expand access to education as key strengths. Conversely, weaknesses include the risks of dependency, ethical concerns, and inaccuracies. Opportunities lie in the advancement of adaptive learning systems and the development of ethical guidelines. Threats include potential misuse, equity challenges, and resistance to adoption. This study provides insights into the responsible implementation of AI in education and outlines strategies to maximize its benefits while addressing its challenges.

关键词： Ethics Adaptive learning Prevention and mitigation Education Collaboration Transforms Strategic planning Stakeholders Artificial intelligence Guidelines

来源：评论

学校读者我要写书评

暂无评论

A modeling and simulation framework for UAVs utilizing 4G-LTE cellular networks

引用

International Journal of Modeling, Simulation, and Scientific Computing 2018年第5期9卷 108-139页

作者： Shafagh Jafer Stephen Jones Ashok Vardhan Raja Department of Electrical ComputerSoftwareand Systems Engineering Embry-Riddle Aeronautical UniversityDaytona Beach32114 FLUSA

Only a small amount of work has been published on the topic of exploiting existing Long-Term Evolution-Advanced(LTE)cellular communication network infrastructure for Unmanned Aerial Vehicles(UAV)data *** paper documents a modeling and simulation(m&s)framework that has been developed utilizing the powerful OMNeT++simulation tool for assessing the feasibility and effectiveness of this prospect in various UAV *** multiple scenarios,we have studied the data rate requirements for communications between small and medium-sized UAVs and base *** this framework,we have shown that the data rate requirements for the links are within the data throughput achieved by LTE *** developed framework implements a propagation model endorsed by the 3GPP LTE project team and also accurately models the high mobility of *** framework is highly configurable and extensible and boasts of automatic aggregation of results and chart *** outcomes of this research may be utilized by industry for rapidly deploying highly mobile,low-cost UAVs in a wide range of applications and scenarios.

关键词： Unmanned air vehicle communication UAV Data Link OMNET++ 4GLTE modeling and simulation.

来源：评论

学校读者我要写书评

暂无评论

Integrated system design for vertical takeoff-landing of small unmanned aerial vehicles

Integrated system design for vertical takeoff-landing of sma...

引用

2018 systems and Information engineering Design Symposium, SIEDS 2018

作者： Rau, James V. Babiceanu, Radu F. Master of Science in Systems Engineering Embry-Riddle Aeronautical University United States Systems Engineering Department of Electrical Computer Software and Systems Engineering Embry-Riddle Aeronautical University United States

ISBN: (纸本)9781538663431

Due to the advancements in autonomous units, more small unmanned aerial vehicles (sUAV's) are being utilized to accomplish commercial missions. Fixed wing, vertical takeoff-landing (FW-VTOL) sUAV's have been developed to provide similar flight performance characteristics in comparison to fixed wing or multi-copter sUAV's. The hybrid fixed-wing aircrafts offer significant usability and safety advantages over its rival systems. These aircrafts can be deployed in a slow and controlled manner off a vessel or in a small remote location. This is an alternative method that can be used instead of launching the aircraft using conventional high-speed long runways, nets or catapults. Unlike private aircrafts these small vehicles are not as strictly regulated, whether it is the certification of design or the pilot's flight hours and endorsements. A formalized safety system for FW-VTOL sUAV's must be integrated with all autonomous units in order to adhere to similar aircraft safety requirements. The proposed Integrated Flight Safety Plan (IFSP) has been modeled in a finite-state machine to consider all possible events of the unit during flight. These system conditions and criteria allow for the unit to react to internal failures and external changes, autonomously, and acutely control the outcome with bystander safety as a primary consideration. The formal verification and checking of the IFSP model can be tested using an abstract simulation. A predetermined mission replicate is repeatedly tested, based on approximate probabilistic events, to assess the effectiveness of the model adapting during flights that contain one or more system failures. © 2018 IEEE.

关键词： Fixed wings

来源：评论

学校读者我要写书评

暂无评论

A technique for using model checkers to teach formal specifications

A technique for using model checkers to teach formal specifi...

引用

21st Conference on software engineering Education and Training

作者： Salamah, Salamah Gates, Ann Q. Computer and Software Engineering Dept. Embry-Riddle Aeronautical University Computer Science Dept. University of Texas El Paso United States

ISBN: (纸本)9780769531441

The difficulty of writing, reading, and understanding formal specifications is one of the main obstacles in adopting formal verification techniques such as model checking and runtime verification. Introducing concepts in formal methods in an undergraduate program is essential for training a workforce that can develop and test high-assurance systems. This paper presents educational outcomes and outlines an instructive component that can be used in an undergraduate course to teach formal approaches and languages. The component uses a model checker and a specification tool to teach Linear Temporal Logic (LTL), a specification language that is widely used in a variety of verification tools. The paper also introduces a novel technique that analyzes LTL specifications by using the SPIN model checker to elucidate the behaviors accepted by the specifications.

关键词： Formal specification

来源：评论

学校读者我要写书评

暂无评论

ChallengeIt building the 21st century classroom economically

ChallengeIt building the 21st century classroom economically

引用

IEEE SoutheastCon 2015

作者： Touret, Christophe Jafer, Shafagh Electrical Computer Software and Systems Engineering Embry-Riddle Aeronautical University Daytona BeachFL United States

ISBN: (纸本)9781467373005

What if the boring classroom experience can become an immersive, effective and engaging game for both the student and instructor? What if a student could be motivated to accomplish more than just the learning requirements of a class? To make these things real, we propose ChallengeIt: a mobile application that allows students to compete with one another on challenges in their classrooms in a fun and interactive manner. The classroom can now be supplemented with a targeted 'game', where students can earn points by completing challenges, and having their instructors review those answers and award points. And students are free to use any medium or combination of media with which they prefer to respond to these challenges (text, PDF, photos, videos, etc.). This will make them able to always participate in the class (both at school and at home) in a way that makes them most comfortable. If the instructor so chooses, real-world problems could also be introduced into our solution, thereby allowing student efforts to be channeled into real-world solutions. In this paper we will introduce our ChallengeIt interactive game and cover the design and development details from a software engineering aspect. © 2015 IEEE.

关键词： Serious games

来源：评论

学校读者我要写书评

暂无评论

Egress modeling with cellular discrete event system

Egress modeling with cellular discrete event system

引用

IEEE SoutheastCon 2015

作者： Lawler, Ryan Jafer, Shafagh Electrical Computer Software and Systems Engineering Embry-Riddle Aeronautical University Daytona BeachFL United States

ISBN: (纸本)9781467373005

The Discrete-Event Modeling and Simulation (DEVS) formalism has been successfully used to model systems whose behavioral state changes based on trigger events. The purpose of this project is to explore the extension of DEVS beyond the modeling of event driven systems, focusing on the application of DEVS to changes in human behavior as driven by emergency events. The objective is to build a modeling and simulation framework for human behavior in emergencies that could easily be extended and built upon in the future. Here we introduce the development of a suite of Cell-DEVS models representing aspects of human behaviors, and the simulation and a detailed analysis of this suite of models. This suite of models explored random and controlled human behaviors, as well as implementing psychological conditions such as herd following. The end state is the development of a repository for these models to serve the DEVS community. © 2015 IEEE.

关键词： Discrete event simulation

来源：评论

学校读者我要写书评

暂无评论

Trustworthiness Requirements for Manufacturing Cyber-physical systems

引用

Procedia Manufacturing 2017年 11卷 973-981页

作者： Babiceanu, Radu F. Seker, Remzi Department of Electrical Computer Software and Systems Engineering Embry-Riddle Aeronautical University Daytona Beach 32114-3900 FL United States

Distributed manufacturing operations include cyber-physical systems vulnerable to cyber-attacks. Long time not considered a priority, cybersecurity jumped to the forefront of manufacturing concerns due to the need to network together legacy, newer equipment, and entire operation centers. This paper proposes trustworthiness solutions for integrated manufacturing physical-cyber worlds, where trustworthiness is defined to complement system dependability requirements with cybersecurity requirements, such that the resulting manufacturing cyber-physical system delivers services that can justifiably be trusted. Acknowledging the inevitability of cyber-attacks, the paper models the cybersecurity component using the resilient systems framework, where system resilience is viewed as preservation of a required state of cybersecurity. © 2017 The Authors

关键词： cyber-physical systems denial of service manufacturing cybersecurity system resilience trustworthiness requirements

来源：评论

学校读者我要写书评

暂无评论

Work in progress: The study buddy, a virtual tutorial agent

Work in progress: The study buddy, a virtual tutorial agent

引用

作者： Garfield, Keith Department of Electrical Computer Software and Systems Engineering Embry-Riddle Aeronautical University United States

来源：评论

学校读者我要写书评

暂无评论

A life-cycle engineering case study 3

A life-cycle engineering case study

引用

3rd International Conference on Society and Information Technologies, ICSIT 2012

作者： Hilburn, Thomas B. Towhidnejad, Massood Salamah, Salamah Department of Electrical Computer Software and Systems Engineering Embry-Riddle Aeronautical University Daytona BeachFL United States

ISBN: (纸本)9781936338580

For engineering degree programs, one of the primary objectives is to teach engineering practice in a course-by-course academic structure. Although engineering programs typically have a yearlong senior level design project to provide engineering development experience, it is still a challenge to provide students with the full life-cycle experience and expose them to all of the various dimensions of engineering practice. This paper advocates the development and use of a full life-cycle case study to address such a challenge. A software engineering case study, developed by the authors, and used in various courses and workshops, illustrates the nature, structure and value of this approach. The case study learning objectives emphasize development of engineering practice and acquiring team, problem solving, and analysis skills. The paper also describes how this life-cycle case study can be used throughout a software engineering curriculum.

关键词： Life cycle

来源：评论

学校读者我要写书评

暂无评论

Collaborative modeling, simulation, and visualization framework for airport emergency 4

Collaborative modeling, simulation, and visualization framew...

引用

4th International Defense and Homeland Security Simulation Workshop, DHSS 2014

作者： Jafer, Shafagh Department of Electrical Computer Software and Systems Engineering Embry-Riddle Aeronautical University Daytona BeachFL United States

ISBN: (纸本)9788897999355

Airport is a highly dynamic environment, turning emergencies into extensively costly and disruptive events with cascaded effects that will adversely affect the entire aviation system. Airports' management and safety divisions exercise precise and case-based procedures to accommodate any possible emergency scenarios. With this regards, airport emergencies have a number of challenges that require better and more adaptive way of addressing. Challenges such as lack of adaptive and customizable simulation-based decision support tools, infeasibility of conducting frequent physical emergency exercises, and the time-critical nature of emergencies in general raise an immediate need for a technology that collaboratively performs modeling, simulation, and visualization to guide first responders throughout the decision-making process. Here we propose a collaborative emergency modeling, simulation and analysis software system that provides an all-in-one simulation technology for enhancing emergency response at airports. © 2014 DIME UNIVERSITÀ DI GENOVA.

关键词： Airport security

来源：评论

学校读者我要写书评

暂无评论

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

建议与咨询 留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案： 新增检索档案 确定 取消

请选择收藏分类： 新增自定义分类 确定 取消

通借通还

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

请选择保存的检索档案：

请选择收藏分类：