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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

当前已输入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

分类表

所选分类

>> <<

限定检索结果

文献类型

1,177 篇 会议
329 篇 期刊文献
7 册 图书
5 篇 学位论文

馆藏范围

1,518 篇 电子文献
0 种 纸本馆藏

日期分布

学科分类号

641 篇 工学
- 461 篇 计算机科学与技术...
- 308 篇 软件工程
- 220 篇 电气工程
- 78 篇 控制科学与工程
- 63 篇 信息与通信工程
- 49 篇 机械工程
- 32 篇 电子科学与技术（可...
- 20 篇 仪器科学与技术
- 16 篇 材料科学与工程（可...
- 7 篇 动力工程及工程热...
- 7 篇 化学工程与技术
- 7 篇 生物医学工程（可授...
- 6 篇 力学（可授工学、理...
- 5 篇 建筑学
- 5 篇 核科学与技术
- 5 篇 生物工程
- 4 篇 土木工程
- 4 篇 航空宇航科学与技...
107 篇 理学
- 69 篇 数学
- 14 篇 物理学
- 11 篇 系统科学
- 11 篇 统计学（可授理学、...
- 10 篇 生物学
- 7 篇 科学技术史(分学科...
56 篇 管理学
- 41 篇 管理科学与工程(可...
- 15 篇 图书情报与档案管...
- 8 篇 工商管理
9 篇 医学
- 6 篇 临床医学
6 篇 教育学
- 6 篇 教育学
4 篇 文学
- 4 篇 新闻传播学
2 篇 哲学
2 篇 经济学
2 篇 法学
1 篇 历史学

主题

1,518 篇 automatic progra...
153 篇 programming prof...
143 篇 application soft...
143 篇 automatic contro...
136 篇 computer science
109 篇 robot programmin...
106 篇 robotics and aut...
104 篇 genetic programm...
90 篇 automatic testin...
88 篇 control systems
85 篇 hardware
83 篇 computer languag...
80 篇 software enginee...
80 篇 humans
75 篇 costs
73 篇 automation
72 篇 testing
69 篇 software systems
65 篇 functional progr...
64 篇 artificial intel...

机构

8 篇 the robotics ins...
5 篇 school of comput...
4 篇 fujitsu laborato...
4 篇 national univers...
4 篇 graduate school ...
3 篇 department of co...
3 篇 sandia national ...
3 篇 college of infor...
3 篇 school of machin...
3 篇 swoop cambridge ...
3 篇 ostfold univ col...
3 篇 sri internationa...
3 篇 school of comput...
3 篇 hamilton coll cl...
3 篇 lockheed palo al...
3 篇 research institu...
3 篇 ibm research lab...
3 篇 sivas cumhuriyet...
3 篇 production model...
3 篇 department of el...

作者

11 篇 k. ikeuchi
7 篇 olsson roland
6 篇 h. mizutani
6 篇 arslan sibel
5 篇 akira hara
5 篇 arpaia pasquale
5 篇 c. ramos
5 篇 t. suehiro
5 篇 t. matsudaira
5 篇 j. rocha
5 篇 tetsuyuki takaha...
4 篇 katagiri takahir...
4 篇 helmuth thomas
4 篇 t. thomasma
4 篇 ikeuchi k
4 篇 pantridge edward
4 篇 jun-ichi kushida
4 篇 c.e. moron
4 篇 spector lee
4 篇 t.l. marzetta

语言

1,457 篇 英文
56 篇 其他
3 篇 中文
2 篇 日文
1 篇 法文

检索条件"主题词=Automatic Programming"

共 1518 条记录，以下是1271-1280 订阅

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

详细简洁

排序：

A modern approach to digital fault simulation

A modern approach to digital fault simulation

引用

International automatic Testing Conference, AUTOTESTCON

作者： P. Erath R. Loretz Test Equipment Products Grumman Electronic Systems Bethpage NY USA

Benchmark testing has demonstrated the reality of significant throughput runtime improvement in simulation performance, when integrating the LOGOS DATPG (digital automatic test program generator) with a hardware accelerator. This new capability enables LOGOS to address current and future TPS (test program set) development problems associated with CPU intensive network model simulation. It is noted that the benefit derived from the simulation performance, observed in the integrated system, can be translated by TPS program managers into a cost-effective boiler plate for TPS development program proposals and estimates concerning computing resources and engineering manpower requirements.< >

关键词： automatic testing Computational modeling Benchmark testing Throughput Runtime automatic programming Hardware Life estimation Resource management Engineering management

来源：评论

学校读者我要写书评

暂无评论

Certification support for automatically generated programs

Certification support for automatically generated programs

引用

Annual Hawaii International Conference on System Sciences (HICSS)

作者： J. Schumann B. Fischer M. Whalen J. Whittle RIACS/NASA Ames USA RIACS/NASA Ames Dept. of CS Univ. of Minnesota Minneapolis USA QSS NASA Ames USA QSS/NASA Ames

Although autocoding techniques promise large gains in software development productivity, their "real-world" application has been limited, particularly in safety-critical domains. Often, the major impediment is the missing trustworthiness of these systems: demonstrating - let alone formally certifying - the trustworthiness of automatic code generators is extremely difficult due to their complexity and size. We develop an alternative product-oriented certification approach which is based on five principles: (1) trustworthiness of the generator is reduced to the safety of each individual generated program; (2) program safety is defined as adherence to an explicitly formulated safety policy; (3) the safety policy is formalized by a collection of logical program properties; (4) Hoare-style program verification is used to show that each generated program satisfies the required properties; (5) the code generator itself is extended to automatically produce the code annotations required for verification. The approach is feasible because the code generator has full knowledge about the program under construction and about the properties to be verified. It can thus generate all auxiliary code annotations a theorem prover needs to discharge all emerging verification obligations fully automatically. Here we report how this approach is used in a certification extension for AutoBayes, an automatic program synthesis system which generates data analysis programs (e.g., for clustering and time-series analysis) from declarative specifications. In particular, we describe how a variable-initialization-before-use safety policy can be encoded and certified.

关键词： Certification Safety automatic programming Software quality Productivity Software development management Error correction Space vehicles Navigation Buffer overflow

来源：评论

学校读者我要写书评

暂无评论

An Evaluation on Interaction between APAS, TDD and Learning Style

An Evaluation on Interaction between APAS, TDD and Learning ...

引用

International Conference on New Trends in Information and Service Science, NISS

作者： Chin-Yi Yang Li-Ren Chien Daniel J. Buehrer Chyong-Mei Chen Hsin Kuo High School Taiwan Department of Computer Science and Information Engineering Chung Cheng University Taiwan Department of Statistics and Informatics Science Providence University Taiwan

We establish DICE system treated as a computing augmented training approach to support the classical lecture-based teaching. The result shows students can do more efforts on shaping their programming skills via practice in ***, we developed the method dasiaTestDriven Developmentrdquo (TDD) into DICE introduced in software engineering. DICE TDD classes the training material from exploration to instruction into 16 levels supporting DICE to guide students coding both in programming skills and conceptual knowledge in a specific topic. DICE promotes learning performance up to 11.277% than non-DICE while DICE TDD works up the learning performance to 50.881% than the pure DICE learner, thus we can infer DICE TDD can increase the learning performance about 1.679 times than lectured-based teaching style in *** also figured out Kolbpsilas learning style has different significant on learning performance in TDD verse non-TDD. An adaptive learning model was proposed to adaptive students to different TDD training materials by their individual difference.

关键词： Network servers Computer science Education Software testing Software engineering Adaptive systems Learning systems programming profession automatic programming automatic testing

来源：评论

学校读者我要写书评

暂无评论

Development of reliable software with complex behavior

Development of reliable software with complex behavior

引用

Central and Eastern European Software Engineering Conference in Russia (CEE-SECR)

作者： Oleg Stepanov Andrey Borisenko Pavel Fedotov IntelliJ Russia SPB ITMO Russia

An important part of creating systems with complex behavior is quality control. Regression makes it important not just to check that the developed program satisfies all its requirements, but also makes this process efficient, maximally automates it. In practice, this can be done with formalized program requirements and keeping of executable specification together with the code of the program This paper focuses on improvement of presentation of specifications for automata programs where complex behavior is expressed in a number of explicitly separated states. We show how to formalize specifications using tests, temporal formulas and contracts and integrate these presentations into integrated development process. We also suggest how to preserve the correctness of automata programs during redesign of complex behavior.

关键词： Software quality Automata Quality management Project management Software development management Quality control Testing Contracts automatic programming

来源：评论

学校读者我要写书评

暂无评论

Grasp recognition and manipulative motion characterization from human hand motion sequences

Grasp recognition and manipulative motion characterization f...

引用

IEEE International Conference on Robotics and Automation (ICRA)

作者： Sing Bing Kang K. Ikeuchi The Robotics Institute Carnegie Mellon University Pittsburgh PA USA

We are developing a system capable of observing a human performing a task and understanding the task well enough to replicate it. This approach is called Assembly Plan from Observation. In order to replicate the observed task, we have to analyze the entire sequence. This can be done by first segmenting the task sequence into its constituent pre-grasp, grasp, and manipulation phases. This paper describes the different analyses that can be done subsequent to the temporal segmentation. These include human grasp recognition, extraction of object motion, and the spatiofrequency (spectrogram) analysis of the manipulation phase.< >

关键词： Character recognition Humans Motion analysis Robot programming automatic programming Performance analysis Robotic assembly Spectrogram Path planning Assembly systems

来源：评论

学校读者我要写书评

暂无评论

An automatic Solder Joint Visual Inspection System For Small Volume Production

An Automatic Solder Joint Visual Inspection System For Small...

引用

IEMT/IMC Symposium

作者： S. ogata H. onozuka T. Takei Computer and Network Systems Group OKI Electric Industry Company Limited Takasaki Gunma Japan Computer and Network Systems Group Oki Electric Industry Company Limited Takasaki Gunma Japan

来源：评论

学校读者我要写书评

暂无评论

Logic-based incident detection on signalized streets with heterogeneous data

Logic-based incident detection on signalized streets with he...

引用

International Conference on Intelligent Transportation

作者： A.P. Tarko Li-Kuo Rau The Civil Engineering Purdue University West Lafayette IN USA United Air Lines IL USA

This paper presents a new logic-based method of detecting incidents on signalized streets. The concept of the method is based on the fact that incidents, when reducing capacity of intersections, change the sequence of congested sections (congestion patterns) along an arterial street. Rules are derived that use discrepancies between expected and actual congestion patterns to detect the presence of incidents and to identify their location. The feasibility of the method was checked with computer simulation. The following features of the proposed method distinguish it from the existing methods: (1) any data that carries congestion information can be used; (2) all the rules applied to infer incident information are rigorously derived from the fundamental principles of traffic operations and not from subjective human knowledge; (3) the method estimates the range of possible values of capacities affected by the incident; and (4) the method is able to detect incident clearance. This paper presents a novel idea of detecting incidents rather than a fully verified method.

关键词： Signal detection Traffic control Detectors Telecommunication traffic Computer simulation automatic programming Logic programming Computer crashes Vehicle crash testing Delay

来源：评论

学校读者我要写书评

暂无评论

Representing and generating operation sequences for manufacturing tasks

Representing and generating operation sequences for manufact...

引用

IEEE International Symposium on Assembly and Manufacturing (ISAM)

作者： J. Rocha C. Ramos Departamento de Engenharia Informática Instituto Superior de Engenharia do Porto Porto Portugal

This paper deals with a system called TPMS (Task Planning for Manufacturing Systems). The main aim of this system is to automatically generate programs or sets of commands for robots, AGV, numerical control machines, etc, without spending much time programming the flexible manufacturing system components. The sequence of operations to be handled by the manufacturing system depends on the constraints for the task. The symbolic plan for the task is represented in the form of a precedence graph. The main contributions are the following ones: to link symbolic and execution planning; the referred aims at working for complete manufacturing systems; different industrial operations can be considered at the same time.

关键词： Manufacturing systems Process planning Robotic assembly Robotics and automation Intelligent robots Computer aided manufacturing Costs Computer numerical control automatic control automatic programming

来源：评论

学校读者我要写书评

暂无评论

SAT Solvers for Queries over Tree Automata with Constraints

SAT Solvers for Queries over Tree Automata with Constraints

引用

IEEE International Conference on Software Testing Verification and Validation Workshop, ICSTW

作者： Pierre-Cyrille Héam Vincent Hugot Olga Kouchnarenko INRIA/Cassis and University of Franche-Comté Besancon France

Tree automata turned out to be a very convenient framework for modeling and proving properties on infinite systems like communication protocols, Java programs and also in the context of XML programming. Unfortunately, these works are not always supported by efficient verification and validation tools. This paper investigates the use of two SAT solvers --- MiniSat and picoSat --- to evaluate queries over tree automata with global equality and disequality constraints (TAGEDs for short). Unlike general tree automata, TAGEDs allow to express constraints useful for e.g., evaluating queries over XML documents, like 'in the document, two nodes do not have the same key'. These queries being based on the membership problem which is NP-complete for TAGEDs, we propose an efficient SAT encoding of the membership problem for TAGEDs and we show its correctness and soundness. The paper reports on the experimental results, and implementation details are given.

关键词： Automata XML Encoding Laboratories Protocols Java Software testing Context modeling automatic programming Memory management

来源：评论

学校读者我要写书评

暂无评论

Applying mutation analysis for object-oriented programs using a reflective approach

Applying mutation analysis for object-oriented programs usin...

引用

Asia-Pacific Conference on Software Engineering

作者： P. Chevalley LAAS CNRS Toulouse France

ISBN: (纸本)0769514081

This paper presents a mutation analysis tool based on a reflective macro system. Mutation analysis is a powerful and computationally expensive technique that measures the effectiveness of test cases for revealing faults. The principal expense of mutation analysis is that many faulty versions of the program under test, called mutants, must be repeatedly executed. This technique has originally been developed in the framework of procedural programs, and should be revisited to consider some types of faults likely to appear in object-oriented environments. The mutation system detailed in this paper deals with object-oriented concepts introduced in the Java programming language, and is able to generate automatically mutant programs according to 20 types of object-oriented faults.

关键词： Genetic mutations Java Software testing automatic testing System testing automatic programming Object oriented programming Fellows Computer languages programming profession

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共152页 << < 124 125 126 127 128 129 130 131 132 133 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：