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

23rd IEEE International conference on Software Quality, Reliability, and Security Companion, QRS-C 2023

作者： Cao, Yang Dong, Yunwei School of Software Northwestern Polytechnical University Xi'an China School of Computer Science and Engineering Northwestern Polytechnical University Xi'an China

ISBN: (纸本)9798350359398

Concurrent programs have brought about higher resource utilization and faster response times. However, the non-determinism in concurrent programs introduces concurrency bugs that are harder to detect than traditional program bugs. These concurrency bugs pose serious threats to the safety and security of software systems. data races are the most common type of concurrency bug. Previous static analysis techniques either lack precision or face difficulties when applied to large-scale programs. The vulnerability detection tool Joern provides a new static approach that uses a novel source code representation, called code property graph, and effectively mines various types of source code vulnerabilities in large-scale programs through graph traversal. However, because the code property graph does not model the concurrency relationships between threads, Joern does not support the detection of concurrency bugs. Therefore, this paper proposes a property graph-based data race detection method called RaceQuery. This method introduces the concept of property graphs to represent concurrent programs. It constructs the concurrent code property graph based on the control flow graph and enhances it with synchronization operations analysis to improve detection precision. Subsequently, RaceQuery generates a set of concurrent thread pairs for the program based on the concurrent code property graph and models data races through graph traversal. This enables RaceQuery to effectively locate data races in the concurrent code property graph. The method is implemented as a prototype system using the popular graph database Neo4j and successfully detects 2 data races in an open-source project. © 2023 IEEE.

关键词： Static analysis

来源：评论

学校读者我要写书评

暂无评论

Exploring contributors, collaborations, and research topics in educational technology: A joint analysis of mainstream conferences

引用

EDUCATION AND INFORMATION TECHNOLOGIES 2023年第2期28卷 1323-1358页

作者： Chen, Xieling Zou, Di Xie, Haoran Chen, Guanliang Lin, Jionghao Cheng, Gary South China Normal Univ Sch Informat Technol Educ Guangzhou Peoples R China Educ Univ Hong Kong Dept English Language Educ Hong Kong Peoples R China Lingnan Univ Dept Comp & Decis Sci Tuen Mun Hong Kong Peoples R China Monash Univ Fac Informat Technol Melbourne Vic Australia Educ Univ Hong Kong Dept Math & Informat Technol Hong Kong Peoples R China

The diversity and advance of information, communication, and analytical technologies and their increasing adoption to assist instruction and learning give rise to various technology-driven conferences (e.g., artificial intelligence in education) in educational technology. Previous reviews on educational technology commonly focused on journal articles while seldom including mainstream conference papers which also contribute to an important part of scientific output in computer science and emerging disciplines like educational technology and are equally and even more important than articles in knowledge transmission. Hence, conference papers should also be included in bibliometric studies to produce a complete and precise picture of scientific production concerning educational technology. This study, therefore, uses bibliometrics and topic modeling to analyze papers from mainstream conferences, including Artificial Intelligence in Education, Learning Analytics and Knowledge, Educational data Mining, Intelligent Tutoring System, and Learning at Scale, focusing on contributors, collaborations, and particularly research topics and topic evolutions to inform relevant stakeholders about educational technology's development and its future. Results indicate promising areas like affective computing and behavior mining for adaptive instruction, recommender systems in personalized learning recommendations, eye-tracking for cognitive process diagnosis, videos for feedback provision, and natural language processing in discourse analysis and language education.

关键词： Educational technology Mainstream conferences Bibliometrics Structural topic modeling

来源：评论

学校读者我要写书评

暂无评论

Research on Electromagnetic Launch control System Based on ARM and FPGA Architecture 2

Research on Electromagnetic Launch Control System Based on A...

引用

2nd International conference on Computational modeling, Simulation and data analysis, CMSDA 2022

作者： Zhao, Xiaodong Li, Wantong Li, Haiyuan Nanjing University of Science and Technology National Key Laboratory of Transient Physics Nanjing China Unmanned System Research Institute Northwestern Polytechnical University Xi'an China

ISBN: (纸本)9798350345759

Aiming at the high reliability design problem of electromagnetic launch control system, this paper proposes a control system design method based on ARM and FPGA architecture. The overall structure of the control system is divided into three parts: box control, subsystem control and module control. Among them, the subsystem controller is composed of a control motherboard and a pulse power management board. The control motherboard is designed based on the architecture of ARM and FPGA. ARM runs logic related processing, and FPGA processes timing control, synchronous feedback and other functions that require high time accuracy. Based on the host computer software, the current curves of specific discharge energy and discharge time sequence are analyzed. The verification results show that the discharge current waveform can be controlled by controlling the discharge sequence of Pulse Forming Network (PFN) through the control system. Under the condition of long equal interval discharge sequence, the peak current decreases and the wave pattern changes gently. The electromagnetic launch control system realized in this paper has high scalability, can monitor more than twenty pulse power units, and can achieve highly reliable control of the launch system based on single shot and continuous shot operation mode. © 2022 IEEE.

关键词： control systems

来源：评论

学校读者我要写书评

暂无评论

modeling Commercial Adaptive Cruise control (ACC) on Multi-Lane Facilities by Incorporating Receiving-Lane-Change Car-Following 27

Modeling Commercial Adaptive Cruise Control (ACC) on Multi-L...

引用

27th IEEE International conference on Intelligent Transportation Systems, ITSC 2024

作者： Yang, Mingyuan Badhrudeen, Mohamed Kan, Xingan David Yagantekin, Kemal Lu, Xiao-Yun University of California Berkeley Civil and Environmental Engineering Department BerkeleyCA94720 United States Florida Atlantic University Civil Environmental and Geomatics Engineering Department Boca RatonFL33431 United States RichmondCA94804 United States

ISBN: (纸本)9798331505929

Today's mainstream vehicles are partially automated via an advanced driver assistance system (ADAS) including Adaptive Cruise control (ACC). ACC uses on-board remote sensor target detection and tracking to automatically adjust speed to maintain a constant time-gap. Contrary to expectations, ACC may reduce capacity at bottlenecks because its delayed response and limited acceleration during queue discharge could increase the average headway. However, this has not been investigated for cases when lane changers enter from the adjacent lane, which prevents accurate analysis for multi-lane roadways. ACC could respond differently for those scenarios, and such car following behavior is often referred as receiving-lane-change (RLC) car following. Using data from carefully planned field tests on lane change car following an RLC car following model was developed in this study. This model has then been integrated into a comprehensive ACC car-following model for microscopic traffic simulation. Lastly, this study proposed a revised ACC car-following model to represent electric vehicles (EV) with ACC, that exhibit significantly different braking and acceleration characteristics verses internal combustion (IC) engine ACC-vehicles. © 2024 IEEE.

关键词： Advanced driver assistance systems

来源：评论

学校读者我要写书评

暂无评论

Study and Application of Flood control Risk Trend analysis Model

Study and Application of Flood Control Risk Trend Analysis M...

引用

2023 International conference on Geomatics Education - Challenges and Prospects, ICGE 2023

作者： Shuhua, Song Min, Zhang Shuai, Yang Fang, Dong Yuangang, Liu Lijun, Chen Nifang, Tang Songbo, Wang Zihao, Xiao School of Geosciences Yangtze University Wuhan430000 China Geovis Technologies Co. Ltd Beijing101399 China School of Mathematics and Statistics Lingnan Normal University Zhanjiang524048 China 31682 troops Lanzhou730000 China 32032 troops Beijing100094 China Beijing ZTLT Intelligent Control Technology Co. Ltd. Beijing100024 China KQ GEO Technologies Co. Ltd Beijing100081 China School of Business Lingnan Normal University Zhanjiang524048 China School of Information Science and Engineering Shandong University Qingdao266237 China

In order to analyze the comprehensive risks of natural disasters quantitatively and improve the accuracy of natural disaster management and control, this paper expands the F indicator, Forecast, which is about real-time monitoring and early warning data of natural disasters, and forms the flood control risk trend analysis model framework based on PSR. The framework is named FPSR, i.e. Forecast-Pressure-State-Response, composed of static data and dynamic data. By establishing the four-level index system of flood control risk trend analysis in Fangshan District of Beijing, screening factors, and using analytic hierarchy process, AHP, and experts scoring to determine the weights of each factor, it constructs the flood control risk trend analysis model, FCRTAM. At last, using the real-time monitoring and early warning data of natural disasters in Beijing and the information such as disaster-causing factors, historical natural disasters, major hidden dangers, disaster-bearing bodies, disaster reduction resources (capacities), etc., from National Natural Disaster Comprehensive Risk Census in Fangshan, it analyzes the flood control situation of each town in Fangshan. The results show that the results flood control risk index calculated according to FCRTAM is basically consistent with the actual flood control situation of the towns in Fangshan, and can provide theoretical basis for flood control comprehensive risk trend analysis and the decision-making of disaster prevention and reduction in Fangshan District, which has high use value. © Author(s) 2023.

关键词： Disasters

来源：评论

学校读者我要写书评

暂无评论

Design of a Combined Table-Based Regulator for Zero-Current-Switching Quasi-Resonant Boost Converter 18th

Design of a Combined Table-Based Regulator for Zero-Current-...

引用

18th International conference on Mathematical modeling and Simulation of Systems, MODS 2023

作者： Yershov, Roman Dymerets, Andrii Chernihiv Polytechnic National University 95 Shevchenka Str. Chernihiv14035 Ukraine

ISBN: (纸本)9783031673474

An electromagnetic processes analysis in a boost zero-current-switching quasi-resonant converter is performed by dint of the generalized method of commutation processes calculation which resulting in a set of analytical time-domain equations for applied voltages and circulating currents in a steady-state mode. The dependencies for both duration and period of control pulses under simultaneously variation of voltage conversion ratio and load impedance are obtained by dint of numeric simulation, which allows filling the content of lookup tables for linearization of ZCS-QRC control characteristics. A closed-loop control system based on two lookup tables operating as a voltage regulator/stabilizer is assembled and validated in MATLAB Simulink environment. It is proven and also visually evaluable from timing diagrams that proposed design of control system keeps a steady-state stability and coarse adequacy of converter operation, while installation a conventional PID-controller connected in parallel with lookup tables eliminates the static regulation error and significantly optimize the transient process rate. As a result, a combined table-based regulator/stabilizer for non-linear dc-dc converter with a good stability in both the wide regulation and the load impedance range is designed and verified, and a workable design flow is shown. © The Author(s), under exclusive license to Springer Nature Switzerland AG 2024.

关键词： Closed loop control systems

来源：评论

学校读者我要写书评

暂无评论

20th Chinese Intelligent Systems conference, CISC 2024

20th Chinese Intelligent Systems Conference, CISC 2024

引用

20th Chinese Intelligent Systems conference, CISC 2024

ISBN: (纸本)9789819786534

The proceedings contain 202 papers. The special focus in this conference is on Chinese Intelligent Systems. The topics include: modeling of Interval Type-2 Fuzzy Logic System by Semi-tensor Product;Robust Adaptive control of Missiles Based on Fuzzy RBF Neural Network;deep Reinforcement Learning of Physically Simulated Character control;the Game of Degree of Target-Attacker-Defender Game With Non-zero Capture Radius;Visual Inertial 3D Reconstruction System Based on KLT Optical Flow and Voxel Hash;analysis of Students’ Class Status Based on Deep Learning;fault-Tolerant Attitude control of Hypersonic Flight Vehicles Based on Extended Adaptive Iterative Learning;predefined-Time control of Robot Systems with Prescribed Performance Guarantees;dynamic Coverage of Unicycle Robots with Anisotropic Sensing for Time-Priority;method for Evaluating the Multi-factor Decision-Making Efficiency Based on Dynamic Bayesian Network;submarine Cable Target Search Based on Improved Biological Neural Network;end-to-End mmWave-Based Human Pose Estimation from Raw Signal;urban Sewage Treatment Plant Simulation System Based on Industrial Internet;Load Matching Design and Multi-objective Optimization of Helicopter EHA;Testability Design and Verification of Typical Functional Links of CNI System;adaptive Sliding Mode Tracking control for Multiple High-Speed Trains with Actuator Saturation and Parameter Uncertainties;Abnormal data Detection Based on Dual-Factor Weighted SVDD for Multimode Batch processes;dual-Branch Attention Dense Residual Network Based on Negative Image for Image Denoising;Research on Testability Work Planning Technology for Aviation Equipment Based on DoDAF;aero Engine Instability Prediction and Detection Method Based on Gated Recurrent Neural Networks;Seven-Degrees-of-Freedom Robotic Arm Path Planning Based on Improved RRT;dynamic Event-Triggered Based Coherent Formation control for Multi-robot Systems;adaptive Prescribed Time Prescribed Performance control for High-Order No

关键词：

来源：评论

学校读者我要写书评

暂无评论

Small and Medium-Sized Enterprises' Internet Precision Marketing Influencing Factors analysis based on the Analytic Hierarchy process 7

Small and Medium-Sized Enterprises' Internet Precision Marke...

引用

7th International conference on Cloud Computing and Big data Analytics, ICCCBDA 2022

作者： Jiao, Jing School of Economics and Management Qinghai Minzu University Xining China International Marketing of PHD Philippine Christian University Center for International Education Manila Philippines

ISBN: (纸本)9781665487115

Small and medium-sized enterprises (SMEs) have become an important part of China's national economy. However, due to comprehensive limitations on scale, capital, and technology, it is more difficult for SMEs to survive compared to large enterprises. With the continuous development and application of big data, internet precision marketing has demonstrated its capacity to efficiently improve marketing capabilities. Therefore, this paper adopts SMEs in China as targets and build a model of SMEs' internet precision marketing based on the analytic hierarchy process, which is a method combines qualitative analysis and quantitative analysis to have good application value in modeling. The results show that the factors influencing SMEs' internet precision marketing include demand identification, effective communication, online word of mouth, organizational structure, products and services, marketing strategy, human resources, information collection, information mining and information storage. All CRs for the structural model are smaller than 0.1, which means the structure model is acceptable. The results show in the process of internet precision marketing, enterprises should not only make full use of data technology to mine customers' information, but also strengthen customer-oriented thinking. At the same time, enterprises can provide personalized products and services to improve the efficiency of internet precision marketing continuously. This paper can provide the theoretical basis for SMEs to carry out precision marketing. © 2022 IEEE.

关键词： Analytical models data analysis Statistical analysis Analytic hierarchy process Oral communication Companies Communication channels

来源：评论

学校读者我要写书评

暂无评论

Research on Fault Detection Method Based on Improved Euclidean Distance control 17

Research on Fault Detection Method Based on Improved Euclide...

引用

17th conference on Industrial Electronics and Applications (ICIEA)

作者： Liu, Xiaoqiang Li, Fei Anhui Univ Technol Elect & Informat Engn Maanshan 243032 Peoples R China Anhui Univ Technol Dept Elect & Informat Engn Maanshan 243032 Peoples R China

ISBN: (纸本)9781665409841

Aiming at the problem of poor fault detection in complex industrial processes, this paper proposes a fault detection method based on improved Euclidean distance control. First, the data is standardized and the Euclidean distance is obtained;Secondly, the distance value with a larger data contribution rate is determined by the idea of exponential contribution;Thirdly, a parameter adaptive strategy is proposed to set the threshold of Euclidean distance statistics;Finally, fault detection is carried out on the statistical data, and the size of false negative rate and false alarm rate is calculated. In the fourth part of this paper, we use the fault detection method based on improved Euclidean distance control to detect the fault of the Eastman process in Tennessee. The simulation results show that the method proposed in this paper has more advantages than the traditional principal component analysis method, and can be effectively applied to complex industrial processes.

关键词： Euclidean distance Fault detection False alarm rate False negative rate TE process

来源：评论

学校读者我要写书评

暂无评论

20th Chinese Intelligent Systems conference, CISC 2024

20th Chinese Intelligent Systems Conference, CISC 2024

引用

20th Chinese Intelligent Systems conference, CISC 2024

ISBN: (纸本)9789819786497

关键词：

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：