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

您好，读者！请登录

内蒙古大学图书馆

首页
概况
党建
资源
服务
科研支持
- 论文收录引用证明
- 科技查新
知识产权
档案馆
帮助

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

当前已输入0个字，您还可以输入200个字

全部搜索
期刊论文
图书
学位论文
标准
纸本馆藏
外文资源发现
数据库导航
超星发现

高级检索

时间限定

出版年份：

文献类型

图书期刊文献学位论文多媒体

馆藏选择

电子馆藏纸本馆藏

核心期刊

全部期刊 SCI 收录期刊 SSCI 收录期刊 EI 收录期刊 CSCD 收录期刊 CSSCI 收录期刊

语言

中文英文

文献类型

期刊文献图书学位论文标准纸本馆藏

帮助

文字说明：

T=题名（书名、题名），A=作者（责任者），K=主题词，P=出版物名称，PU=出版社名称，O=机构（作者单位、学位授予单位、专利申请人），L=中图分类号，C=学科分类号，U=全部字段，Y=年（出版发行年、学位年度、标准发布年）

检索规则说明：

AND代表“并且”；OR代表“或者”；NOT代表“不包含”；(注意必须大写,运算符两边需空一格)

检索范例：

范例一：(K=图书馆学 OR K=情报学) AND A=范并思 AND Y=1982-2016
范例二：P=计算机应用与软件 AND (U=C++ OR U=Basic) NOT K=Visual AND Y=2011-2016

分类表

所选分类

>> <<

限定检索结果

文献类型

43 篇 会议
40 篇 期刊文献
8 篇 科技报告
2 篇 学位论文
1 册 图书

馆藏范围

94 篇 电子文献
1 种 纸本馆藏

日期分布

学科分类号

76 篇 工学
- 42 篇 计算机科学与技术...
- 22 篇 软件工程
- 11 篇 航空宇航科学与技...
- 5 篇 机械工程
- 5 篇 电气工程
- 5 篇 控制科学与工程
- 4 篇 材料科学与工程（可...
- 3 篇 力学（可授工学、理...
- 3 篇 仪器科学与技术
- 3 篇 电子科学与技术（可...
- 3 篇 信息与通信工程
- 3 篇 生物医学工程（可授...
- 2 篇 动力工程及工程热...
- 2 篇 石油与天然气工程
- 1 篇 化学工程与技术
- 1 篇 交通运输工程
- 1 篇 环境科学与工程（可...
14 篇 教育学
- 14 篇 教育学
8 篇 理学
- 3 篇 数学
- 3 篇 物理学
- 2 篇 化学
- 1 篇 生物学
7 篇 管理学
- 5 篇 管理科学与工程(可...
4 篇 医学
- 3 篇 基础医学(可授医学...
- 1 篇 临床医学
1 篇 经济学
- 1 篇 理论经济学
- 1 篇 应用经济学
1 篇 文学
- 1 篇 外国语言文学
1 篇 农学
- 1 篇 作物学
- 1 篇 农业资源与环境

主题

93 篇 c programming la...
7 篇 computer program...
7 篇 programming lang...
5 篇 operating system...
4 篇 computer program...
4 篇 static analysis
4 篇 software testing
4 篇 fortran
4 篇 language
3 篇 proof automation
3 篇 iris
3 篇 linear programmi...
3 篇 computer languag...
3 篇 software develop...
3 篇 coq
3 篇 computers
3 篇 parallel compute...
3 篇 parallel computi...
3 篇 separation logic
3 篇 c language

机构

3 篇 univ cambridge c...
2 篇 radboud univ nij...
2 篇 ace associated c...
2 篇 mpi sws saarland...
1 篇 ostbayer th d-93...
1 篇 rose hulman inst...
1 篇 tsinghua univ sc...
1 篇 mpi sws saarbruc...
1 篇 univ politecn ma...
1 篇 zhejiang sci tec...
1 篇 microsoft corp r...
1 篇 korea adv inst s...
1 篇 inria le chesnay
1 篇 army research la...
1 篇 nasa langley res...
1 篇 german aerosp ct...
1 篇 multimedia univ ...
1 篇 univ new s wales...
1 篇 munster technol ...
1 篇 chung hua univ d...

作者

3 篇 lepigre rodolphe
3 篇 sammler michael
3 篇 dreyer derek
2 篇 garg deepak
2 篇 ahn jaemyung
2 篇 krebbers robbert
2 篇 ortin francisco
2 篇 cribari-neto fra...
2 篇 schulte wolfram
2 篇 memarian kayvan
1 篇 dhawan ap
1 篇 guoquan jiang
1 篇 stella s.
1 篇 kyfonidis charal...
1 篇 mao guifen
1 篇 jeannet bertrand
1 篇 schulzrinne henn...
1 篇 iten david
1 篇 zhang qingyang
1 篇 escalada javier

语言

84 篇 英文
7 篇 其他
2 篇 中文
1 篇 斯洛伐克文

检索条件"主题词=C PROGRAMMING LANGUAGE"

共 94 条记录，以下是21-30 订阅

全选清除本页清除全部题录导出标记到"检索档案"

详细简洁

排序：

A Hands-On Introduction to GraphBLAS: The Python Edition

A Hands-On Introduction to GraphBLAS: The Python Edition

引用

作者： McMillan, Scott

contents include Graphs and Linear Algebra The GraphBLAS API and Adjacency Matrices GraphBLAS Operations Pygraphblas and modifying the behavior of operations Graph Algorithms expressed with GraphBLAS, Breadth-First Tr... 详细信息

关键词： computer programming c programming language software development linear algebra neural networks sparse matrix algorithms programming languages algebra specifications standards accumulators containers identities iterations language materials notation parallel computing triangles

来源：评论

学校读者我要写书评

暂无评论

Preserving Memory Safety in Safe Rust during Interactions with Unsafe languages

Preserving Memory Safety in Safe Rust during Interactions wi...

引用

作者： Rivera, E MIT Lincoln Laboratory Lexington MA Assistant Secretary of Defense for Research and Engineering Washington DC

Rust is a programming language that simultaneously offers high performance and strong security guarantees. However, these guarantees come at the cost of strict compiler checks that sometimes prevent necessary code patterns. The unsafe keyword allows developers to bypass these compiler checks, and is used in both pure Rust and mixed-language applications. But the use of unsafe undermines the security guarantees of Rust that make it an attractive option in the first *** first demonstrate that within a real-world pure Rust application, many uses of unsafe can be eliminated,or reduced to formally verifiable standard libraries. We then present Galeed, a system for isolating and protecting the Rust heap from access by other programming languages using Intels Memory Protection Key (MPK) technology. We demonstrate both the effectiveness and efficiency of Galeed on Firefox, a web browser written in Rust and c .

关键词： Web browsers computer programming computers computer science Operating systems programming languages computer programs c programming language computer languages Python programming language Electrical engineering language Mobile operating systems Engineering Standards

来源：评论

学校读者我要写书评

暂无评论

Two Published Flight Dynamics Models Rewritten in Rust and Structured as an EcS

Two Published Flight Dynamics Models Rewritten in Rust and S...

引用

作者： Willis, c. A AIR FORCE INSTITUTE OF TECHNOLOGY WRIGHT-PATTERSON AFB OH GRADUATE SCHOOL OF ENGINEERING AND MANAGEMENT AFRL/RQQD wpafb OH Air Force Research Laboratory/RQQD Wright-Patterson AFB OH

This thesis explores using the Entity-component System (EcS) architecture to implement a Flight Dynamics Model (FDM) by re-implementing two published versions in the Rust programming language using the Specs Parallel EcS (SPEcS) [1] for military simulation advancement. One FDM is based on Grant Palmers published textbook titled Physics for Game Programmers [2], and another is based on David Bourgs textbook titled Physics for Game Developers [3]. Furthermore, this thesis uses these models within an interactive flight *** EcS architecture is based on the Data-Oriented Design (DOD) paradigm, where components contain the data and the Systems implement the behavior which transforms data. The specific EcS selected for this research is the Rust-based SPEcS framework. One goal of this research is to define the components and the Systems of an EcS for the two FDMs and use them to build a flight simulator by creating additional Systems and components to read keyboard inputs and send User Datagram Protocol (UDP) packets to the FlightGear application for visualization [4].The EcS Systems used to calculate the equations of motion both for the Palmer-based and Bourg-based FDMs functionality were tested against the original code and were found to work as expected within a floating-point tolerance. A benchmark comparison between both FDMs determined that the Palmer model is faster on average than thevBourg model. Moreover, the re-implemented FDMs were successfully used to create interactive flight simulators using FlightGear for visualization.

关键词： computer programming programming languages computer programs Aircrafts computers computer simulations Flight simulators Object oriented programming Software testing Fixed wing aircraft Simulators computational science Equations of motion Graphical user interface language Simulations c programming language

来源：评论

学校读者我要写书评

暂无评论

construction of c programming language Based on Ontology Knowledge Base

Construction of C Programming Language Based on Ontology Kno...

引用

2013 the Second International conference on Innovative computing and cloud computing(Iccc 2013)

作者： Yahui Hu Yamin Hu Lejiang Guo School of computer Wuhan University Air Force Early Warning Academy

Based on the ontology construction thinking, knowledge base of c programming language is presented. Ontology construction principles, methods and advantages are analyzed, and factors such as the characteristics of knowledge structure and c programming language design course are also taken into consideration. construction methods and progress of c programming language are detailed. By this way, the ontology c programming language course 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.

关键词： Ontology Knowledge base Ontology c programming language Sharing

来源：评论

学校读者我要写书评

暂无评论

pycAPS: A Python Interface to the computational Aircraft Prototype Syntheses

pyCAPS: A Python Interface to the Computational Aircraft Pro...

引用

AIAA Science and Technology (SciTech) Forum and Exposition

作者： Durscher, Ryan Reedy, Dennis Air Force Res Lab Multidisciplinary Sci Technol Ctr Wright Patterson AFB OH 45433 USA Asarian Technol LLC Multidisciplinary Sci Technol Ctr Manassas VA 20111 USA

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.

关键词： Aircrafts c programming language Aerodynamics Design of Experiments Angle of Attack camber computing Technology Operating Systems Structural Modeling Air Forces

来源：评论

学校读者我要写书评

暂无评论

Statically-Directed Assertion Recommendation for c Programs 43

Statically-Directed Assertion Recommendation for C Programs

引用

43rd IEEE-computer-Society Annual International computers, Software and Applications conference (cOMPSAc)

作者： Wang, cong Kang, Le Zhang, Renwei Yin, Weiliang Tsinghua Univ Sch Software Beijing Peoples R China Chinese Acad Sci Beijing Peoples R China Huawei Technol Chengdu Peoples R China

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%.

关键词： software testing static analysis assertion recommendation c programming language

来源：评论

学校读者我要写书评

暂无评论

calling chapel code: Interoperability Improvements 6

Calling Chapel Code: Interoperability Improvements

引用

6th Annual AcM SIGPLAN chapel Implementers and Users Workshop (cHIUW)

作者： Duncan, Lydia Iten, David Cray Inc Seattle WA 98164 USA Cray Inc Bloomington MN USA

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

关键词： c programming language Fortran Python Arrays chapel as a library

来源：评论

学校读者我要写书评

暂无评论

Tradeoffs in Power Grid Operation During a Public Safety Power Shutoff

Tradeoffs in Power Grid Operation During a Public Safety Pow...

引用

作者： De Abreu, A. L Naval Postgraduate School Monterey CA

This thesis considers challenges associated with managing the risk of wildfires caused by electric utilities, specifically the use of deliberate, and potentially widespread, power outages termed Public Safety Power Shutoff (PSPS) events. A PSPS event is a way to reduce potential liability in utility-associated wildfires, but it also creates additional dangers and economic hardships for utility customers. This thesis performs three modeling and analysis tasks: (1) it presents an extensive exploratory data analysis on the Pacific Gas and Electric (PG and E) power grid, utility-caused ignitions, and past PSPS events; (2) it develops models to gain insight on the PG and E decision process during PSPS events; and (3) using power outage studies and economic models, it estimates the social cost of PSPS events.

关键词： Data mining Risk analysis Supervised machine learning Information science Reliability computer programming Electrical equipment Geographic information systems Linear programming United states c programming language Department of defense Operations research Risk Urban areas Bayesian networks california computational science Data analysis Data sets

来源：评论

学校读者我要写书评

暂无评论

Analysis on the relationship between student grades and computer programming time in learning the c programming language

Analysis on the relationship between student grades and comp...

引用

7th International conference on computer Science and Education

作者： Tie, Zhixin Zhuang, Hong Zhang, Qingyang Wang, Zhaoqing Zhejiang Sci Tech Univ Sch Informat Sci & Technol Hangzhou 310018 Zhejiang Peoples R China

ISBN: (纸本)9781467302395

The c programming language is one of the most popular teaching programming languages. It is generally considered that the computer programming time that a student spent on his homework directly affects his grade of the c programming language. 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 c programming language.

关键词： c programming language Grade Hypothesis test computer programming time Homework

来源：评论

学校读者我要写书评

暂无评论

A "Laboratory" as an Approach to Foster Writing Skills at Software Engineering Studies Learning Software Engineering is Easier When Writing courses Are Directly Applied to Lecture's content and the Problems and Examples Enrolled in

A "Laboratory" as an Approach to Foster Writing Skills at So...

引用

IEEE Global Engineering Education conference (EDUcON) - Emerging Trends and challenges of Engineering Education

作者： Kampmann, Matthias Mottok, Juergen Ostbayer TH D-93025 Regensburg Germany

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 language c, 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.

关键词： Writing reading writing across the curriculum WAc LATEX c programming language

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

全选清除本页清除全部题录导出标记到“检索档案”

共10页 << < 1 2 3 4 5 6 7 8 9 10 > >>

检索报告对象比较合并检索0

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

电话和邮箱必须正确填写，我们会与您联系确认。

联系人：

所在院系：

联系邮箱：

联系电话：

内蒙古自治区呼和浩特市赛罕区大学西街235号邮编: 010021

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：