Based on the ontology construction thinking, knowledge base of cprogramminglanguage is presented. Ontology construction principles, methods and advantages are analyzed, and factors such as the characteristics of kno...
详细信息
Based on the ontology construction thinking, knowledge base of cprogramminglanguage is presented. Ontology construction principles, methods and advantages are analyzed, and factors such as the characteristics of knowledge structure and cprogramminglanguage design course are also taken into consideration. construction methods and progress of cprogramminglanguage are detailed. By this way, the ontology cprogramminglanguagecourse knowledge points are linked together, and its structure is also clear, to strengthen the teaching resources management and improve the teachers' and students' curriculum resources sharing and reuse.
The computational Aircraft Prototype Syntheses (cAPS) enables vehicle designers to create multi-disciplinary, multi-fidelity analysis models from a single, parametric geometric source. These capabilities are natively ...
详细信息
ISBN:
(数字)9781624105784
ISBN:
(纸本)9781624105784
The computational Aircraft Prototype Syntheses (cAPS) enables vehicle designers to create multi-disciplinary, multi-fidelity analysis models from a single, parametric geometric source. These capabilities are natively accessed programmatically through an interface written in the c programing language, which can present a significant hurdle for initial users. To lower entry barriers, enable scriptable problem formulation, and improve overall flexibility, a Python-based interface module, pycAPS, was created. The following paper provides an overview of pycAPS's capabilities and interface, while also providing simple examples of its use. Furthermore, details and discussions are provided on how pycAPS can be used to integrate cAPS capabilities into external Multi-Disciplinary Analysis and Optimization (MDAO) frameworks such as OpenMDAO, modeFRONTIER, and MSTc Engineering.
Assertions are helpful in program analysis, such as software testing and verification. The oracles encoded in the assertions help detect potential flaws and release engineers from the manually check of the reported we...
详细信息
ISBN:
(纸本)9781728126074
Assertions are helpful in program analysis, such as software testing and verification. The oracles encoded in the assertions help detect potential flaws and release engineers from the manually check of the reported weaknesses, which is error-prone, burdensome and time-consuming. While in practice, few engineers would write assertions during programming, and it is challenging to generate assert statements, and insert them into proper locations automatically. In this paper, we propose a statically directed assertion recommendation approach for c programs. It combines static analysis, dynamic testing, and program verification to automatically recommend and validate weakness-oriented assertions, which is defined as an assert statement used to detect program weaknesses. Firstly, we integrate a static analysis tool such as FlawFinder and some learned patterns about cWE (common Weakness Enumeration) to report potential program flaws. Secondly, we insert the corresponding assertions into the suspicious locations of those flaws. Then, we validate the program inserted with the assertions through two methods, the first is to execute the code with some test cases generated by automatic test-case generators such as Klee and Dart, and the second is to verify the program with some automatic verifier such as cPA-checker and Smack. Finally, we report on whether those flaws could be a real weakness. Experimental results show that our approach helps to find 125 real weaknesses in open source software from Github. Furthermore, our performance in detecting static analysis' true positives can reach 81.42%.
Since cHIUW last year, the chapel team has undertaken an effort to improve the ability to call chapel code from other languages. This talk will cover a few areas of improvement: using chapel code as a library from c, ...
详细信息
ISBN:
(纸本)9781450368001
Since cHIUW last year, the chapel team has undertaken an effort to improve the ability to call chapel code from other languages. This talk will cover a few areas of improvement: using chapel code as a library from c, Python, and Fortran;and in addition, improvements to array interoperation.
The cprogramminglanguage is one of the most popular teaching programminglanguages. It is generally considered that the computer programming time that a student spent on his homework directly affects his grade of th...
详细信息
ISBN:
(纸本)9781467302395
The cprogramminglanguage is one of the most popular teaching programminglanguages. It is generally considered that the computer programming time that a student spent on his homework directly affects his grade of the cprogramminglanguage. There is little research regarding the correlation of students'. computer programming time and their test grades. The computer programming time, grades of final test and the Zhejiang computer Grade Test Band II (ZcGTBII) of students from a teaching class are collected. The students are divided into two groups based on their programming time. The T-Test is employed to analyze grades of final test and the ZcGTBII of the two groups. Analysis results show that the mean and the passing rates of final test and the ZcGTBII of Group I are greater than those of Group II. Therefore, we conclude that the amount of time students spend practicing programming on computers plays a very important role towards mastering the cprogramminglanguage.
Writing, with no doubt, is besides reading a core competency which allows us to "exploit" knowledge in general. It also makes possible the exploration of software engineering's core issues. Especially wi...
详细信息
ISBN:
(纸本)9781538629574
Writing, with no doubt, is besides reading a core competency which allows us to "exploit" knowledge in general. It also makes possible the exploration of software engineering's core issues. Especially within this context it is necessary to master the reading of complex texts as well as to be able to write in an appropriate academic expression. With regard to studies in software engineering this seems to be obvious, but in fact the opposite is the reality. Therefore measures to improve these skills seemed to be necessarily applied. At the Ostbayerische Technische Hochschule (OTH, University of Applied Sciences, Regensburg) a new format, the so called c*lab, was installed during the winter semester 2017. This was a course which followed the principle of "Writing Across the curriculum" (WAc). Organized parallel to a lecture of learning how to program the languagec, and addressing students of the first semester, the course was a complete voluntary offer in addition to the general standard courses and lectures of the faculty. Students who participated not only reflected on c and its principles, nor only on writing as a self purpose, but they also learned to express technical thoughts and ideas by the use of didactic methods. The idea to transfer also basic LATEX concepts to write a paper based on the IEEE bare_***-template were also planned. The course followed the idea of student's-centred learning This paper presents the main structure, goals, and means of the c*lab, and the theory behind. It also embeds the course within the horizon of experiences of teaching writing skills at the Laboratory for Safe and Secure Systems (LaS3) at the faculty of electronic and information engineering at the OTH Regensburg. First experiences have shown that participants increase writing skills and their idea of the importance of writing.
The paper reviews what the Julia programminglanguage is and its staying power relative to other popular programminglanguages. The following focuses on two popular programminglanguages (cprogramming and Python prog...
详细信息
ISBN:
(纸本)9781450365406
The paper reviews what the Julia programminglanguage is and its staying power relative to other popular programminglanguages. The following focuses on two popular programminglanguages (cprogramming and Python programming) to obtain a deeper understanding of what Julia derives from them, how Julia deviates from them, and what Julia leverages to be a more reasonable choice for performance.
This paper deals with the problem of overcoming difficulties and raising the motivation of novice engineering students studying programming. We consider this an important factor for engineering education in general an...
详细信息
This paper deals with the problem of overcoming difficulties and raising the motivation of novice engineering students studying programming. We consider this an important factor for engineering education in general and for programming of embedded devices, as well as for calculations and modeling in the field of scientificcomputing in particular. We present a case study on how novice engineering students can be motivated to study structured programming and coding in c using game programming in the App Inventor environment. The study is based on the authors' practical teaching experience in the Applied Sciences University for novice programmers, with students of the Technology of Smart Devices specialty, as well as the authors' long-time research activities in teaching computer Science.
Learning to write computer program for the first time is tough. The predominant focus on Multimedia Learning Object (MLO) is to explore the effectiveness in developing novice learners program writing skills. MLO is a ...
详细信息
ISBN:
(纸本)9781450363518
Learning to write computer program for the first time is tough. The predominant focus on Multimedia Learning Object (MLO) is to explore the effectiveness in developing novice learners program writing skills. MLO is a small piece of information incorporated with media elements and interactivity to accomplish a single learning outcome. Three types of MLO namely content object (cO), example object (EO) and self-assessment object (SAO) created as programming learning tool to support three cognitive activities: learn, practice and assess. These MLO incorporated in an instructional learning setting for introductory cprogramming learners. A pretest-posttest two treatment experiment carried out with sample size of hundred and four. control group received non-digital learning material (review question, sample program and self-test question), treatment group1 received mixed condition (non-digital learning material;sample program and micro-level MLO;cO and SAO) and treatment group2 received macro level MLO;cO, EO, SAO in a similar instructional learning setting. The result of the study shows micro-level (MLO) are effective when cO used to activate prior knowledge and SAO to improve declarative knowledge. The EO embedded with screencast to support worked example principle seems to be less effective compared to sample program in assisting participants to write computer program. The outcome this study provides strategies to integrate several types of MLO for cprogrammingcourse.
We demonstrate a novel method to facilitate the application of the swept decomposition rule to complex stencil update formulas typically used in computational fluid dynamics. The method decomposes an update formula in...
详细信息
暂无评论