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

A Bilevel programming Model for Multi-Satellite Cooperative Observation Mission Planning

IEEE ACCESS 2024年 12卷 145439-145449页

作者： Wang, Yi Liu, Desheng Liu, Jiatong Space Engn Univ Natl Key Lab Space Target Awareness Beijing 101416 Peoples R China Space Engn Univ Acad Space Command Beijing 101416 Peoples R China

Much attention has been paid to how limited in-orbit satellite resources can be better utilized to meet the increasingly heavy demand for space observation. A variety of single-stage optimization problems have been discussed, with few considerations regarding the effect of the two stages in multi-satellite cooperative observation mission planning. In this study, bilevel programming is applied to simultaneously consider both mission assignment and satellite scheduling. The purpose of the bilevel programming model is to optimize the planning scheme of multi-satellite cooperative observation mission and maximize the comprehensive benefit from the perspective of the system as a whole. The upper level of the model formulates the mission assignment scheme, and the lower level determines the optimal resource scheduling scheme by a mathematical method on the basis of the upper level, and then feeds the results back to the upper level. The upper level and lower level affect each other, and the optimal solution is obtained through an iterative process under the solution framework of genetic algorithm. Extensive experiments are simulated to demonstrate the feasibility and efficiency of the proposed bilevel programming model.

关键词： Satellites Planning programming Optimization Space missions Mathematical models Resource management Bilevel programming observation mission planning multi-satellite cooperation

来源：评论

学校读者我要写书评

暂无评论

Evaluating the Impact of ChatGPT on programming Learning Outcomes in a Big Data Course

引用

INTERNATIONAL JOURNAL OF ENGINEERING EDUCATION 2024年第4期40卷 863-872页

作者： Callejo, Patricia Alario-Hoyos, Carlos Delgado-Kloos, Carlos Univ Carlos III Madrid Telemat Engn Dept Avda Univ 30 Madrid 29811 Spain

Recent advances in Generative Artificial Intelligence are leading to major changes in education, both in the way educators teach and in the way students learn. For example, Generative Artificial Intelligence (GenAI) chatbots, such as ChatGPT, can help students by assisting them in problem solving or supporting them in code development tasks. This article aims precisely to explore the effect of ChatGPT in supporting students with different levels of programming experience in a course on Big Data. A Big Data challenge was carried out during one of the sessions with 31 students from different backgrounds. Overall, the students were able to solve the challenge, and the results of the pre- and post-tests indicate that the students improved their grades, i.e. they learned to solve the programming exercise. This quasi-experimental study shows that ChatGPT can be a valuable tool as an assistant in the field of data science and programming for students learning to program (even for the first time), whether they come from engineering programs or other completely different disciplines. It is important not to forget the role of the professor in guiding the students towards the correct use of these GenAI tools.

关键词： Generative Artificial Intelligence ChatGPT programming Python PySpark Big Data

来源：评论

学校读者我要写书评

暂无评论

Factors Influencing the Social Help-seeking Behavior of Introductory programming Students in a Competitive University Environment

引用

ACM TRANSACTIONS ON COMPUTING EDUCATION 2024年第1期24卷 1-27页

作者： Cohen, Anael Kuperwajs Oleson, Alannah Ko, Amy J. Macalester Coll 1600 Grand Ave St Paul MN USA Univ Washington Informat Sch Box 352840 Seattle WA 98195 USA

Collaboration is an important aspect of computing. In a classroom setting, working with others can increase a student's motivation to attempt more challenges, reduce the difficulty of complicated concepts, and bring about greater overall success. Despite extensive research in other domains, there has been minimal exploration within computing on what impacts a student's decision to seek social assistance in highly competitive university environments. To understand what affects introductory programming students' social help-seeking behavior in this context, we conducted 32 semi-structured interviews with students and performed thematic analysis and qualitative coding on the ensuing transcripts. Our qualitative analysis revealed 18 significant factors. We noticed that the decision to seek social help involved a two-fold process: first, the decision to engage in social help-seeking, and subsequently, the decision of who to ask for help. Furthermore, we found that help-seeking in computing is not fundamentally different from other disciplines, although some of the factors were unique to the topic of computing and the specific environment of this study. Factors related to communication style, the type of question being asked, and the school's cheating policy were central when discussing code, an integral part of computing. Regarding the environment, students repeatedly reported that the competitive major, the explicit and implicit class standards, and feelings of intimidation, among others, influenced them. These findings suggest that understanding both steps and the sociocultural context is important in order to effectively lower the barriers to asking for help.

关键词： Computer science education social help-seeking introductory programming

来源：评论

学校读者我要写书评

暂无评论

Design science research applied to difficulties of teaching and learning initial programming

引用

UNIVERSAL ACCESS IN THE INFORMATION SOCIETY 2024年第3期23卷 1151-1161页

作者： Figueiredo, Jose Jose Garcia-Penalvo, Francisco Polytech Guarda Res Unit Inland Dev UDI Guarda Portugal Univ Salamanca Grp Invest GRIAL Dept Informat & Automat Inst Univ Ciencias Educ Salamanca Spain

Learning and teaching to program is an arduous task. It requires a lot of commitment, dedication, and passion from everyone involved. programming courses have high dropout and failure rates. Throughout time, several educational research works have been carried out to study the different learning processes and characteristics of students. With this work, we present and describe our vision and model of teaching and learning of initial programming to minimize the problems. We present a technological tool, called HTprogramming (Help To programming), which complements the teaching and learning process. This allows students to practice a wide variety of activities with immediate feedback, directly related to content and themes for learning programming. It allows the teacher to follow the whole process and students' results. Using a machine-learning (neural network) predictive model of student failure, it will allow the teacher to anticipate possible student failure and act quickly. In this paper, we apply the Design Scientific Research Methodology to tackle teaching and learning difficulties to initial programming. We also include the results and evaluation of the application. Students consider the application an important tool for their learning process. The student failure prediction model presents very realistic values.

关键词： CS0 CS1 programming Teaching programming Learning programming Design science research methodology

来源：评论

学校读者我要写书评

暂无评论

Mid-Course Trajectory Optimization for Short-Range Head-On Engagement via Sequential Convex programming

引用

IEEE ACCESS 2024年 12卷 172046-172060页

作者： Kwon, Hyuck-Hoon Park, Jang-Seong Kim, Jeong-Hun Han, Yong-Su LIG Nex1 Global PGM Syst Design Ctr Seongnam Si 16911 South Korea

If an aerial defense missile with a limited strapdown field-of-view (FOV) is launched with a restricted launch angle against an incoming target at high altitude, there are significant difficulties in establishing an appropriate collision course for head-on engagement. Owing to the time-varying characteristics of the initial phase with several linear and nonlinear constraints, the analytical approach is unsuitable for obtaining the optimal solution. In this paper, a mid-course trajectory for short-range head-on engagement was generated using a convex programming approach. The time-varying characteristics of mass and velocity were considered based on the thrust profile, and the maximum flight path angle was limited as an additional constraint to prevent excessive trajectory shaping. The original nonlinear optimization problem was converted into a convex optimization problem with state augmentation, linearization, and lossless convexification. For lossless convexification, a modified optimization problem with a regularization term is suggested, and it is proved based on the maximum principal of optimal control theory. The numerical results of the modified optimization problem show that the proposed approach is effective for head-on engagement, ensuring lossless convexification. Finally, the results of the convex programming approach were compared with those of state-of-the-art nonlinear programming for verification.

关键词： Missiles Optimal control Convex functions programming Trajectory optimization Navigation Radar tracking Geometry Drones Convergence Head-on trajectory ground-to-air missiles lossless convexification sequential convex programming short-range engagement

来源：评论

学校读者我要写书评

暂无评论

Event-triggered optimal trajectory tracking control of underactuated ships based on goal representation heuristic dynamic programming

引用

OCEAN ENGINEERING 2024年 308卷

作者： Deng, Yingjie Zhang, Shitong Xu, Yifei Zhang, Xianku Zhou, Weina Yanshan Univ State Key Lab Crane Technol Qinhuangdao 066004 Peoples R China Yanshan Univ Sch Mech Engn Qinhuangdao 066004 Peoples R China Dalian Maritime Univ Nav Coll Dalian 116026 Peoples R China Chongqing Univ Posts & Telecommun Sch Automat Chongqing 400065 Peoples R China

In this paper, a new event -triggered optimal trajectory tracking control method based on goal representation heuristic dynamic programming (GrHDP) is proposed for underactuated ships, which achieves the promising tracking performance, the minimized control energy consumption and the communication resource saving together. The adaptive event -triggered mechanism is designed from the performance perspective based on the internal reinforcement signals and the optimal value function. The trajectory tracking control algorithm is derived based on GrHDP value iteration by using three neural networks (NNs), and the underactuated problem can thereby be solved. Then, the approximation error between the GrHDP value iteration function and the optimal cost is theoretically analyzed, and the convergence of the GrHDP value iteration algorithm is proved. We discuss in detail the uniformly ultimately bounded (UUB) stability of the closed -loop system. A theoretical analysis is conducted on the parameter selection of the triggering condition, which compromises the communication resources and the control performance. The optimality of the proposed control scheme is finally verified through simulation.

关键词： Optimal control Goal representation heuristic dynamic programming Underactuated ships Event-triggered control

来源：评论

学校读者我要写书评

暂无评论

Bitstream Database-Driven FPGA programming Flow Based on Standard OpenCL

引用

IEEE TRANSACTIONS ON VERY LARGE SCALE INTEGRATION (VLSI) SYSTEMS 2024年第12期32卷 2257-2268页

作者： Leppanen, Topi Leppanen, Leevi Multanen, Joonas Jaaskelainen, Pekka Tampere Univ Fac Informat Technol & Commun Sci Tampere 33720 Finland

Field-programmable gate array (FPGA) vendors provide high-level synthesis (HLS) compilers with accompanying OpenCL runtimes to enable easier use of their devices by non-hardware experts. However, the current runtimes provided by the vendors are not OpenCL-compliant, limiting the application portability and making it difficult to integrate FPGA devices in heterogeneous computing platforms. We propose an automated FPGA management tool AFOCL, with a guiding principle that the software programmer should only need to use the standard OpenCL API to manage FPGA acceleration tasks. This improves portability since the same OpenCL program will work on any OpenCL-compliant computation device able to execute the same kernels, including CPUs, GPUs, and FPGAs. The proposed approach is based on pre-optimized FPGA bitstreams implementing well-defined OpenCL built-in kernels. This enables a clean separation of responsibilities between a hardware developer preparing the FPGA bitstreams containing the kernel implementations, a software developer launching computation tasks as OpenCL built-in kernels, and a bitstream distributor providing preoptimized FPGA IPs to end-users. The automated FPGA programming tool fetches bitstream files as needed from the distributor, reconfigures the FPGA, and manages the communication with the accelerator. We demonstrate that it is possible to achieve similar performance as the current FPGA vendor OpenCL implementations, while abstracting all FPGA-specific details from the software programmer. The cross-vendor potential of AFOCL is shown by porting the implementation to FPGAs from two different vendors (AMD and Altera), and to two different FPGA types PCIe and system-on-chip (SoC), and controlling all these systems with the same OpenCL host program.

关键词： Field programmable gate arrays Kernel Hardware Databases Standards Runtime programming Accelerator integration field-programmable gate array (FPGA) overlay FPGA virtualization heterogeneous computing open standard OpenCL

来源：评论

学校读者我要写书评

暂无评论

Dispatching of Wind-Photovoltaic Hybrid Power Systems Based on Bilevel programming and Sparse Optimization

引用

IEEE ACCESS 2024年 12卷 164289-164302页

作者： Hu, Yuyang Wei, Xin Yang, Xiao He, Jinglong Yuan, Shangbin Elect Power Dispatching & Control Ctr Guangxi Powe Nanning 530023 Peoples R China

The volatility of renewable energy poses challenges to the stability and economic benefits of the power grid, as the unstable output of wind and solar energy increases the difficulty of supply-demand balance. To address this issue, optimizing the scheduling strategy of wind-photovoltaic hybrid power generation systems to deal with the uncertainty of renewable energy has become an urgent problem to be addressed. This optimization can not only improve the adaptability of the power grid to fluctuations in renewable energy, but also enhance economic efficiency by reducing reliance on expensive energy storage and backup power sources. The study adopted the methods of bilevel programming and sparse optimization, in which system operators optimize operating costs and system efficiency by adjusting the output ratio of wind-photovoltaic power, energy storage system operation, and grid interaction. The power grid operator adjusted the scheduling plan based on upper level decisions to ensure the stability of the power grid. Sparse optimization techniques were applied to improve the sparsity of solutions and the generalization ability of models. The research results showed that the proposed bilevel programming and sparse optimization strategies performed well in simulation experiments. The SOP-MLP model achieved a recall rate of 0.98 and an precision rate that quickly stabilized at over 90% after 400 training cycles, outperforming traditional MLP, Transformer, SVM, and Extra-Trees models. In the case analysis, the SOP-MLP model effectively reduced abandoned electricity and optimized power resource allocation. In the S1 scenario, the comprehensive dispatch response rates of wind-photovoltaic power reached 94% and 91%, while the expected operating cost of the system was 705600 yuan. The cost-benefit ratio considering scenario probability was 79400 yuan. The study provides a new optimization strategy for power system scheduling, which can effectively handle the uncertainty and com

关键词： Optimization Mathematical models programming Biological system modeling Optimal scheduling Power grids Costs Uncertainty Resource management Renewable energy sources Photovoltaic systems Wind power generation Hybrid power systems Wind-photovoltaic hybrid power system bilevel programming sparse optimization system scheduling renewable energy

来源：评论

学校读者我要写书评

暂无评论

Enabling Service-Oriented programming for Multi-User in Polymorphic Network

引用

IEEE COMMUNICATIONS MAGAZINE 2024年

作者： Cui, Zixi Tian, Le Yi, Peng Hu, Yuxiang Wu, Jiangxing Informat Engn Univ Zhengzhou Peoples R China

Polymorphic networking (PINet) aims to support the coexistence and evolution of diverse services for the multi-user in a unified programmable environment. An efficient programming system plays a crucial role in realizing PINet, by which the network programs are deployed on the underlying heterogeneous devices. This article presents PINet's programming environment (PPE), a service- oriented programming environment for PINet with three major goals, that is, incremental, application- level, and coordination programming. PPE provides a one end-to-end service abstraction that allows programmers to express packet processing logic (e.g., forwarding and computing) without concern for the network topology and hardware details. PPE also proposes a network-wide compiler system with hierarchical architecture to deploy out-of-the-box services for the multi-user. We elaborately describe the PPE's goals, workflow, and challenges for our motivation. Some implementation details and open issues are discussed as future research directions.

关键词： Personal protective equipment programming Hardware Runtime Logic Program processors Codes Field programmable gate arrays Switches Protocols

来源：评论

学校读者我要写书评

暂无评论

Utilization of Information Entropy in Training and Evaluation of Students' Abstraction Performance and Algorithm Efficiency in programming

引用

IEEE TRANSACTIONS ON EDUCATION 2024年第2期67卷 266-281页

作者： Wu, Zengqing Liu, Huizhong Xiao, Chuan Kyoto Univ Grad Sch Informat Kyoto 6068501 Japan Osaka Univ Sch Human Sci Osaka 5650871 Japan Univ Hong Kong Fac Business & Econ Hong Kong Peoples R China Osaka Univ Grad Sch Informat Sci & Technol Osaka 5650871 Japan Nagoya Univ Grad Sch Informat Nagoya 4648601 Japan

Contribution: This research illuminates information entropy's efficacy as a pivotal educational tool in programming, enabling the precise quantification of algorithmic complexity and student abstraction levels for solving P problems. This approach can provide students quantitative, comparative insights into the differences between optimal and student implemented solution, and allowing educators to offer targeted feedback, thereby optimizing the learning and abstraction processes in algorithm design through deliberate practice. Background: Abstraction is considered one of the most important skills in problem solving. Many studies in programming have shown that higher abstraction capability can significantly simplify problems, reduce program complexity and improve efficiency. However, it is difficult to develop criteria to measure the level of abstraction, and there is still a lack of relevant systematic research. Research Questions: 1) How can students' abstraction ability in programming be effectively measured? 2) How to develop programming education and training methods based on the measurement of abstraction ability? Methodology: Forty-six grade 10 students participated in the experiment, divided into two groups for programming training using information-entropy-based assessment and traditional learning methods. Their level of computational thinking, algorithmic efficiency improvements, and test scores were used to measure performance and to analyze the effectiveness of the training methods. Findings: Through empirical research, this article finds that information-entropy-based assessment can reflect the differences in problem solving among students possessing varying capabilities. Information entropy can be crucial for evaluating and improving students' abstraction performance and algorithm efficiency.

关键词： programming programming profession Training Complexity theory Information entropy Software algorithms Systematics Abstraction complexity information entropy programming software engineering (SE) education

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：