The proceedings contain 15 papers. The topics discussed include: handling fault detection latencies in automata-based scheduling for embedded control software;a mixed approach to rigorous development of controldesign...
ISBN:
(纸本)9781479915651
The proceedings contain 15 papers. The topics discussed include: handling fault detection latencies in automata-based scheduling for embedded control software;a mixed approach to rigorous development of controldesigns;characterizing feedback signal drop patterns in formal verification of networked controlsystems;scalable model-checking for precise end-to-end latency computation;improving approximate reachability by dynamic interleavings of projections-based algorithms;robust fixed order controller design by a mixed randomized/deterministic method;systems modeling, analysis and control (SMAC) toolbox: an insight into the robustness analysis library;sequential randomized algorithms for sampled convex optimization;online failure diagnosis of stochastic discrete event systems;NLcontrol: symbolic package for study of nonlinear controlsystems;PolyRMPC: a new Matlab toolbox to robustify predictive controllers under unstructured and structured uncertainties;and free computer-aidedcontrolsystemdesign (cacsd) tools for GNU octave.
Jointly sponsored by ACM and ieee, the International conference on computer-aideddesign (ICCAD) is a premier forum to explore new challenges, present leading-edge innovative solutions, and identify emerging technolog...
详细信息
The COVID-19 pandemic has transformed nursing education worldwide. Due to the globally applied restrictions of interpersonal interactions, many educational institutions transitioned from traditional to computer-aided ...
详细信息
The COVID-19 pandemic has transformed nursing education worldwide. Due to the globally applied restrictions of interpersonal interactions, many educational institutions transitioned from traditional to computer-aided nursing education pedagogies. However, an obligatory change, this digital transformation in nursing education, has been deemed promising by students and academics, yet raising concerns about the effectiveness of innovative nursing pedagogies. Hence, this systematic literature review aims to investigate the state of the art of computer-aided nursing pedagogies in the post-COVID-19 era and provide recommendations for further research investigation. Specifically, it utilises a mixed methods approach to examine (1) the evolution of computer-aided nursing pedagogies before and after COVID-19;(2) their effectiveness against traditional methods in terms of knowledge, skills acquisition and self-efficiency;and (3) nursing students' experiences and opinions when exposed to computer-aided nursing education pedagogies. For this purpose, several databases (PubMed, MEDLINE, CINAHL Complete, Academic Search Elite, ieee, ACM, Scopus, ERIC and Cochrane Library (controlled trial requests) were searched, initially retrieving 802 articles published between 2013-2023. After removing duplicates, exclusion criteria and assessment for eligibility, the number of articles assessed for eligibility was reduced to 78 conducted in 20 different countries. The articles comprised quantitative research (n=37), including Randomised control Trials (n=14) and Quasi-experimental studies (n=23), and qualitative research (n=41) including observational studies (n=14), mixed-methods methodological design (n=15), pilot studies (n=7) and conference papers (n=5). Moreover, this SLR utilised the Joanna Briggs Institute (JBI) methodological approach for conducting a mixed-methods systematic review (MMSR) and provided a narrative synthesis of all studies. The results of this mixed-methods SLR sugges
Chang'e-3 was successfully launched at 01:30 on December 2, 2013 and arrived at the lunar orbit on December 6th. In this paper, the soft landing of Chang'e-3 is roughly analyzed by establishing an energy balan...
详细信息
This study examines the impact of game patches on player and viewer counts in esports, specifically focusing on DotA 2 from 2013 to 2024. Patches, essential for maintaining game balance and introducing new content, al...
详细信息
In this paper, a hard real time and optimized multi-level 3D MRI volume voxel-based Fractional Order Darwinian Particle Swarm Optimization (FODPSO) Segmentation algorithm system has been developed. It is an improved h...
详细信息
This paper presents the analysis of a multifunctional single phase multi stage grid connected photovoltaic system. Concentrates on the topology study of the photovoltaic module integrated converter's in the power ...
详细信息
Chang'e-3 was successfully launched at 01:30 on December 2, 2013 and arrived at the lunar orbit on December 6th. In this paper, the soft landing of Chang'e-3 is roughly analyzed by establishing an energy balan...
详细信息
ISBN:
(数字)9798350380958
ISBN:
(纸本)9798350380965
Chang'e-3 was successfully launched at 01:30 on December 2, 2013 and arrived at the lunar orbit on December 6th. In this paper, the soft landing of Chang'e-3 is roughly analyzed by establishing an energy balance model of the orbit as well as the theorem of universal gravitation. Through the physical analysis of Chang'e-3 in the main deceleration stage, rapid adjustment, coarse obstacle avoidance, fine obstacle avoidance, slow descent, free fall of the six stages, the use of speed and displacement formulas, we could form a system of equations to solve the acceleration and the corresponding time. And then according to Newton's second law and the impulse formula, we could find out the mass per unit of time Chang'e-3 changes, as well as the use of the integral theorem of the integration of the time to promote the generator combustion consumes the mass. The mass of Chang'e-3 is calculated by integrating the time using the integral theorem.
Human Resource Information system (HRIS) as one of the vital information systems at XYZ University, is expected to provide support in accelerating the achievement of XYZ University's strategic goals as a healthy u...
详细信息
ISBN:
(纸本)9781665442886
Human Resource Information system (HRIS) as one of the vital information systems at XYZ University, is expected to provide support in accelerating the achievement of XYZ University's strategic goals as a healthy university based on Good University Governance (GUG) through accelerating the provision of relevant, timely, and quality information. However, the management of HRIS is still not in compliance with information security standards, as can be seen from several incidents and the management of these incidents, which are still accidental. The purpose of this study was to obtain a design for HRIS information security risk management. This study uses a qualitative method where data collection is done by interview, observation, and literature review. ISO/IEC 27005:2018 is used as an information security risk assessment, while risk control recommendation uses SNI ISO/IEC 27001:2013. This study resulted in 40 of these risks: 12 High risks, 19 Moderate risks, six Low risks, and three Very Low risks. The results of this study are the design of HRIS's information security risk management at XYZ University.
暂无评论