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

Research on construction and Practice of Precision Teaching classroom for University Programming courses

IEEE AccESS 2023年 11卷 9560-9576页

作者： Yu, Fang Liu, Yan Xiao, Fengyan Baotou TeachersCollege Sch Informat Sci & Technol Baotou 014030 Inner Mongolia Peoples R China Inner Mongolia Agr Univ Coll Comp & Informat Engn Hohhot 010010 Inner Mongolia Peoples R China Baotou Teachers Coll Fac Teacher Educ Baotou 014030 Inner Mongolia Peoples R China

Facing the challenges of programming courses teaching in university, this study constructs a precision teaching classroom for programming courses that integrates precision teaching theory. Firstly, this paper analyzes the realization conditions for precision teaching in programming courses, then designs the implementation process of precision teaching including three teaching phases and five teaching links, and finally carried out teaching practice in c language Programming course. The practice results showed that in the precision programming teaching classroom, teacher-student interactions were more frequent and students had higher programming learning efficiency than in ordinary programming teaching classroom. compared with the control class, students in the experimental class were more capable of grasping programming knowledge and had better programming problem-solving abilities, and most of them were highly satisfied with teaching design of precision teaching classroom for c language Programming. Precision programming teaching classroom constructed by this research provides a more optimized and effective teaching method for university programming teaching. On the other hand, this study provides a practical case for the integration and application of precision teaching theory and university curriculum teaching.

关键词： Educational courses Programming profession Behavioral sciences Problem-solving Learning systems c language Recording Precision teaching programming teaching learning efficiency programming abilities learning satisfaction c language programming course

来源：评论

学校读者我要写书评

暂无评论

A Performance Study on Rust and c Programs 12

A Performance Study on Rust and C Programs

引用

12th International Symposium on computing and Networking Workshops

作者： Okawa, Shunsuke Yamaguchi, Saneyasu Kogakuin Univ Elect Engn & Elect Grad Sch Tokyo Japan Kogakuin Univ Dept Informat & Commun Engn Tokyo Japan

ISBN: (纸本)9798331505356;9798331505349

Rust is a newly proposed programming language. The language is increasing its importance with its sophisticated features such as boundary checking function for array. In this paper, we investigate the performance of programs written in c language and Rust language. We then show that the performance of Rust is significantly lower in some cases. For the issue, we propose a method to alleviate this performance problem.

关键词： c language Rust language LLVM gcc boundary check

来源：评论

学校读者我要写书评

暂无评论

A cHERI c Memory Model for Verified Temporal Safety 25

A CHERI C Memory Model for Verified Temporal Safety

引用

14th conference on certified Programs and Proofs

作者： Zaliva, Vadim Memarian, Kayvan campbell, Brian Almeida, Ricardo Filardo, Nathaniel Stark, Ian Sewell, Peter Univ Cambridge Cambridge England Univ Edinburgh Edinburgh Midlothian Scotland

ISBN: (纸本)9798400713477

Memory safety concerns continue to be a major source of security vulnerabilities. The cHERI architecture, as instantiated in prototype cHERI-RISc-V cores, the Arm Morello system, and Microsoft's cHERIoT embedded core, provides fine-grained memory access control through unforgeable hardware capabilities. The impact of cHERI on spatial memory safety is well understood. This paper systematically examines temporal memory safety within cHERI c - a dialect of the c programming language for cHERI - and proposes a formal approach to defining and ensuring it. In particular: 1) we examine the impact of five existing capability revocation mechanisms on cHERI c semantics and present a specialised object memory model tailored to cHERI c;2) we introduce a new cHERI-specific pointer provenance tracking scheme;and 3) we formally define the security guarantees provided by this memory model, supported by a coq proof of their correctness, expressed as invariants of the memory state.

关键词： cHERI memory safety temporal safety formal verification memory model pointer provenance c language coq capability revocation

来源：评论

学校读者我要写书评

暂无评论

State of the Art in Software Verification and Witness Validation: SV-cOMP 2024 30th

State of the Art in Software Verification and Witness Valida...

引用

30th International conference on Tools and Algorithms for the construction and Analysis of Systems (TAcAS) Held as Part of the 27th European Joint conferences on Theory and Practice of Software (ETAPS)

作者： Beyer, Dirk Ludwig Maximilians Univ Munchen Munich Germany

ISBN: (纸本)9783031572555;9783031572562

The 13th edition of the competition on Software Verification (SV-cOMP 2024) was the largest competition of its kind so far: A total of 76 tools for verification and witness validation were compared. The competition evaluated 59 verification systems and 17 validation systems from 34 teams from 12 countries. This yields a good overview of the state of the art in tools for software verification. The competition was executed on a benchmark set with 30 300 verification tasks for c programs and 587 verification tasks for Java programs. The specifications again included reachability, memory safety, overflows, and termination. This year was the second time that the competition had an extra competition track on witness validation. We introduced a new witness format 2.0, and a new scoring schema for the validation track. All meta data about the verification and validation tools are available in the FM-Tools repository.

关键词： Formal Verification Program Analysis competition Software Verification Verification Tasks Benchmark Specification Java language c language SV-cOMP SV-Benchmarks BENcHEXEc cOVERITEAM

来源：评论

学校读者我要写书评

暂无评论

Effect of extended use of an executable flowchart for teaching c language 122

Effect of extended use of an executable flowchart for teachi...

引用

2015 122nd ASEE Annual conference and Exposition

作者： cho, Sehyeong Department of Computer Engineering MyongJi University Korea Republic of

ISBN: (纸本)9781510821781

Teaching computer programming to students is a daunting task, especially to those without any background or experience in computer programming. Even simple assignment statements or arithmetic operations can be difficult for them to understand. In our experience, roughly 25% of students fail the course and get frustrated that they are not fit for programming after all.

关键词： c language computer programming computer programs Students Flowcharts Pedagogy Teaching Programming experience arithmetic operation

来源：评论

学校读者我要写书评

暂无评论

Research on the Application of c-based Microcontroller in carbon Nanotube Sensors 7

Research on the Application of C-based Microcontroller in Ca...

引用

7th International conference on Automation Electronics and Electrical Engineering

作者： Wang, Zifan Vilnius Univ LT-01513 Vilnius Lithuania

ISBN: (纸本)9798350377040;9798350377033

This study explores the application of c-based microcontrollers in carbon nanotube (cNT) sensors, especially their effectiveness in high-precision environmental monitoring. The system designs an adaptive transmission protocol (ATP), which can dynamically adjust the transmission rate according to the amount of real-time data to improve transmission efficiency. combined with the efficient computing characteristics of c language, the collection, processing and transmission processes of sensor data are optimized. The model simulation uses multi-level parameter settings to accurately evaluate the impact of different transmission protocols on data integrity and transmission speed. The simulation results show that with the support of the microcontroller, the ATP-based system has improved the transmission efficiency by about 35% and can control the data loss rate below 0.5%. compared with traditional transmission methods, the new system not only maintains a high transmission rate under limited hardware resources, but also reduces system energy consumption. This study shows that the solution of c-based microcontroller combined with cNT sensors and adaptive transmission protocols can provide an efficient and reliable data transmission solution for environmental monitoring and other fields.

关键词： c language microcontroller carbon nanotube sensor adaptive transmission protocol

来源：评论

学校读者我要写书评

暂无评论

Evaluation of automobile parts design scheme for intelligent manufacturing

引用

JOURNAL OF cOMPUTATIONAL METHODS IN ScIENcES AND ENGINEERING 2022年第1期22卷 175-187页

作者： Zhang, Jian Luo, chaoqiong Wang, Liping Panzhihua Univ Sch Inst Intelligent Mfg Panzhihua 617000 Sichuan Peoples R China

Aiming at the selection of modern auto parts design schemes, an evaluation method of automobile parts design scheme for intelligent manufacturing is proposed. considered the environment-friendly factors and traditional manufacturing factors, the evaluation index system of automobile parts design scheme was established, which taken technology, environment, economy and quality reliability as the first level evaluation index, and 12 second level indexes under the first level index. The game theory method was used to comprehensively consider the proportion of subjective and objective weights to determine the composite weight of each index. Aimed at the certainty and uncertainty of the evaluation index, the set pair analysis relative closeness method was used to calculate the composite weight and established the model. Three sets of automobile panel design schemes of a company were selected, and the mathematical model was used to calculate them. With the help of c language program, the advantages and disadvantages of the three design schemes were evaluated, and the optimal scheme was obtained. The calculation example proves that the method is true and effective, conforms to the background of modern intelligent manufacturing, and the calculation is simple, and has good feasibility and practicability.

关键词： Automobile parts program evaluation intelligent manufacturing relative closeness game theory c language

来源：评论

学校读者我要写书评

暂无评论

Eastwood-Tidy: c Linting for Automated code Style Assessment in Programming courses 2023

Eastwood-Tidy: C Linting for Automated Code Style Assessment...

引用

54th Annual AcM SIGcSE Technical Symposium on computer Science Education (SIGcSE TS)

作者： Hart, Rowan Hays, Brian McMillin, connor Rezig, El Kindi Rodriguez-Rivera, Gustavo Turkstra, Jeffrey A. Purdue Univ W Lafayette IN 47907 USA MIT 77 Massachusetts Ave Cambridge MA 02139 USA

ISBN: (纸本)9781450394314

computer Science students receive significant instruction towards writing functioning code that correctly satisfies requirements. Autograders have been shown effective at scalably running student code and determining whether the code correctly implements a given assignment or project. However, code functionality is only one component of "good" code, and there are few studies on the correlation between code style and code quality. There are even fewer studies contributing a tool equivalent to auto-graders for code style checking and grading. We put forth two contributions. First, a style guide for the c programming language focused on readability for student programs. Second, an automated linting tool Eastwood-Tidy providing on-demand style violation and fix feedback for students and automated style grading for course staff. Finally, we survey students and find a positive response to both a code standard and an automated tool to support the standard and make recommendations for the inclusion of both in programming focused courses based on these results.

关键词： code style Linting c language computer Science education Automated assessment tools Automated feedback

来源：评论

学校读者我要写书评

暂无评论

competition on Software Verification and Witness Validation: SV-cOMP 2023 29th

Competition on Software Verification and Witness Validation:...

引用

29th International conference on Tools and Algorithms for the construction and Analysis of Systems (TAcAS)

作者： Beyer, Dirk Ludwig Maximilians Univ Munchen Munich Germany

ISBN: (纸本)9783031308192;9783031308208

The 12th edition of the competition on Software Verification (SV-cOMP 2023) is again the largest overview of tools for software verification, evaluating 52 verification systems from 34 teams from 10 countries. Besides providing an overview of the state of the art in automatic software verification, the goal of the competition is to establish standards, provide a platform for exchange to developers of such tools, educate PhD students on reproducibility approaches and benchmarking, and provide computing resources to developers that do not have access to compute clusters. The competition consisted of 23 805 verification tasks for c programs and 586 verification tasks for Java programs. The specifications include reachability, memory safety, overflows, and termination. This year, the competition introduced a new competition track on witness validation, where validators for verification witnesses are evaluated with respect to their quality.

关键词： Formal Verification Program Analysis competition Software Verification Verification Tasks Benchmark c language Java language SV-Benchmarks BENcHEXEc coVERITEAM

来源：评论

学校读者我要写书评

暂无评论

Intelligent civil Aviation Booking System Based on Data Structure and Big Data Algorithm

Intelligent Civil Aviation Booking System Based on Data Stru...

引用

2023 IEEE International conference on Electrical, Automation and computer Engineering, IcEAcE 2023

作者： Liu, Yujie Jiang, Xiaolian Li, Yiyuan School of Art & Design Guilin University of Electronic Technology Guilin541214 China

ISBN: (纸本)9798350309614

currently, the aviation industry is growing rapidly, with strong demand for aircraft booking systems, which have become an indispensable tool for airlines and travel agents. Large airlines aircraft booking system is stable but lacks flexibility and diversity of choices, while third-party travel agents integrate resources to provide more comprehensive choices, but there are still limitations in pricing and refund and change policies. In this paper, we design a civil aviation booking system, firstly, we carry out the functional and structural design of the booking system, covering the user management module and the administrator module, then we carry out the data structure analysis of the booking system and the design of the big data algorithm, and finally we carry out the test of the booking system. The system is developed based on c language, which has the advantages of cross-platform compatibility, high efficiency, hardware control ability, and data structure and algorithm support. Tests show that the system meets the performance requirements of the airplane booking system and has a strong expansion capability. In addition, the design concept of the flight booking system can also be applied to the high-speed railroad train, tourist attractions booking and so on. © 2023 IEEE.

关键词： background management booking system c language data structure and algorithm module design

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：