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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

当前已输入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,178 篇 会议
329 篇 期刊文献
7 册 图书
5 篇 学位论文

馆藏范围

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

日期分布

学科分类号

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

主题

1,519 篇 automatic progra...
155 篇 programming prof...
144 篇 application soft...
143 篇 automatic contro...
136 篇 computer science
109 篇 robot programmin...
106 篇 robotics and aut...
104 篇 genetic programm...
90 篇 automatic testin...
88 篇 control systems
86 篇 hardware
84 篇 computer languag...
82 篇 humans
80 篇 software enginee...
76 篇 costs
73 篇 automation
72 篇 testing
70 篇 software systems
65 篇 functional progr...
63 篇 system testing

机构

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,458 篇 英文
56 篇 其他
3 篇 中文
2 篇 日文
1 篇 法文

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

共 1519 条记录，以下是971-980 订阅

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

详细简洁

排序：

Design of A Pedagogical Framework for Configuration, Execution and Analysis of Distributed Programs

Design of A Pedagogical Framework for Configuration, Executi...

引用

International Conference on Information Technology (ICIT)

作者： Kishalay Bairagi Ratnadeep Dey Pradip K. Das

ISBN: (纸本)9781728102603

In distributed system it may pose some problems to visualize the exact nature of functioning and the sequence of events in various nodes of the said system and such insights are essential to comprehend and analyze the behavior of different algorithms executing in different nodes of the system mentioned. This paper describes a framework that has been implemented to help visualize and analyze the working behavior of various algorithms on distributed system. Using this platform it is possible for students and researchers to gain insight into the working of various nodes of a distributed system, check their interactions at run time and thus to test different algorithms in a simulated as well as actual environment. The framework lets the student to check the behavior of certain standard built-in distributed algorithms, viz., Leader Election using Bully and Ring Algorithms, Ricart-Agrawala's Mutual Exclusion Algorithm and Chandy-Mishra-Hash deadlock detection algorithm. The users can also write their own algorithms and use a program generator module to generate programs for different nodes using this framework. Subsequent to the execution, a graphical analyzer module aids the user by showing the execution behavior of the algorithm using a space-time graphical diagram that makes use of Lamport's Time Stamping algorithm. The framework provides built-in system-level supports to facilitate exclusive access to shared resources and detects distributed deadlock also.

关键词： Skeleton Distributed algorithms System recovery automatic programming Voting System kernels Protocols

来源：评论

学校读者我要写书评

暂无评论

Diagram-based CBA using DATsys and CourseMaster

Diagram-based CBA using DATsys and CourseMaster

引用

International Conference on Computers in Education

作者： C. Higgins P. Symeonidis A. Tsintsifas School of Computer Science and IT University of Nottingham Nottingham UK

Supporting the assessment of an ever-increasing number of students is an error-prone and resource intensive process. Computer based assessment (CBA) software aids educators by automating aspects of the assessment of student work. Using CBA benefits pedagogically and practically both students and educators. The Learning Technology Group at the University of Nottingham has been actively researching, developing and using software to automatically assess programming coursework for 14 years. Two of the systems developed, Ceilidh and its successor CourseMaster, are being used by an increasing number of academic institutions. Research has resulted in a system for supporting the full lifecycle of free-response CBA that has diagram-based solutions. The system, DATsys, is an authoring environment for developing diagram-based CBA. It has been designed to support the authoring of coursework for most types of diagram notations. Exercises have been developed and tested for circuit diagrams, flowcharts and class diagrams. Future research plans are for authoring exercises in many more diagram notations.

关键词： Databases Computer aided analysis Circuit testing Computer science Computer errors programming profession automatic programming Flowcharts Application software User interfaces

来源：评论

学校读者我要写书评

暂无评论

Composable specifications for asynchronous systems using UNITY

Composable specifications for asynchronous systems using UNI...

引用

International Symposium on Advanced Research in Asynchronous Circuits and Systems

作者： M. Bickford Odyssey Research Associates Inc. Ithaca NY USA

Using UNITY as a model for asynchronous hardware systems, we give a generic specification of a device that obeys a four phase protocol. The specification is general enough to allow devices with bundled data as well as dual-rail coded ports, and two phase signalling can be seen as a special case. We give a generic implementation of a function cell and show that A. Martin's Adder cell is an instance. Finally, we prove two composition theorems that allow four phase devices to be combined into larger four phase devices. All stated theorems were checked using a mechanical theorem prover and we give complete definitions for all the concepts used in the generic specification.

关键词： Formal languages Protocols Aggregates Logic programming Control systems Timing Algebra automatic programming Mathematical programming Logic devices

来源：评论

学校读者我要写书评

暂无评论

Gates accept concurrent behavior

Gates accept concurrent behavior

引用

Annual IEEE Symposium on Foundations of Computer Science

作者： V. Gupta V. Pratt Department of Computer Science University of Stanford CA USA

We represent concurrent processes as Boolean propositions or gates, cast in the role of accepters of concurrent behavior. This properly extends other mainstream representations of concurrent behavior such as event structures, yet is defined more simply. It admits an intrinsic notion of duality that permits processes to be viewed as either schedules or automata. Its algebraic structure is essentially that of linear logic, with its morphisms being consequence-preserving renamings of propositions, and with its operations forming the core of a natural concurrent programming language.< >

关键词： Automata Concurrent computing Logic programming Formal languages Computer science Logic functions automatic programming Linear programming Mathematics Ear

来源：评论

学校读者我要写书评

暂无评论

Program control of optical spectrum analyzer

Program control of optical spectrum analyzer

引用

International Conference on Information Technology Interfaces

作者： J. Sveikata A. Noreika Department of Signal Processing Kaunas University of Technology Lithuania

来源：评论

学校读者我要写书评

暂无评论

A pacing parameter for controlling ventricular rate during atrial fibrillation: potential correlation to hemodynamic function

A pacing parameter for controlling ventricular rate during a...

引用

Computers in Cardiology (CinC)

作者： S.E. Greenhut B.M. Steinhaus J.A. Fraser W.G. Hughes Telectonics Pacing Systems Inc. Englewood CO USA Kawartha Cardiology Clinic Peterborough ONT Canada

The irregular ventricular (V) rate of atrial fibrillation (AF) may contribute to adverse hemodynamics and symptoms. An algorithm that adjusts pacing rate based on RR interval mean absolute difference (MADIFF) to reduce AF V rate variability was tested. Previous algorithms used a fixed % of V pacing to change pacing rate. Patients with chronic AF, intact AV nodal conduction, and a pacemaker were studied during V rate stabilization (VRS) pacing and control. Previous work showed that cardiac output was inversely related to the % of RRs which were short relative to the preceding RR. VRS eliminated 74% and 81% of cycles more than 10% and 20% shorter than the preceding RR interval. MADIFF was better correlated to the % of cycles more than 10% and 20% less than the preceding RR than was % pacing. Hence, a MADIFF-based VRS algorithm reduced the % of short RRs and may be a better indicator/controller of hemodynamic performance in AF than % pacing.

关键词： Atrial fibrillation Pacemakers programming profession automatic control Legged locomotion Mechanical factors Testing Cardiology Telemetry automatic programming

来源：评论

学校读者我要写书评

暂无评论

On the evolution of corewar warriors

On the evolution of corewar warriors

引用

Congress on Evolutionary Computation

作者： F. Corno E. Sanchez G. Squillero Dipartimento di Automatica e Informatica Politecnico di Turino Torino Italy

This paper analyzes corewar, a very peculiar computer game popular in mid 80's where different programs fight in the memory of a virtual computer. The /spl mu/GP, an evolutionary assembly-program generator, is used to evolve efficient programs, and the game is exploited to evaluate new evolutionary techniques. The paper introduces a new migration model that exploits the polarization effect and a new hierarchical coarse-grained approach applicable whenever the final goal can be seen as a combination of semi-independent sub goals. Additionally, two very general enhancements are proposed. Analyzed techniques are orthogonal and broadly applicable to different real-life contexts. Experimental results show that all these techniques are able to outperform a previous approach.

关键词： Assembly Polarization Genetics Virtual machining Mars Stress Testing automatic programming Feedback Open source software

来源：评论

学校读者我要写书评

暂无评论

Development of automatic diagnostic test system for mixed-signal/analog integrated circuits

Development of automatic diagnostic test system for mixed-si...

引用

Midwest Symposium on Circuits and Systems (MWSCAS)

作者： Wei-Hsing Huang Chin-Long Wey Department of Electrical Engineering Michigan State University East Lansing MI USA

ISBN: (纸本)0780336941

This system for mixed-signal/analog integrated circuits is divided into off-line test program development process and on-line test application process. During the off-line development phase, generated test programs are described by using HDL-A and simulation tools, and validated by a test system interfacing the unit under test, where Labview, a general-purpose programming tool, is used as a virtual instrument.

关键词： Circuit testing automatic testing Integrated circuit testing System testing Analog integrated circuits Fault diagnosis Equations Built-in self-test automatic programming Vectors

来源：评论

学校读者我要写书评

暂无评论

Generation of Service Wrapper Protocols from Choreography Specifications

Generation of Service Wrapper Protocols from Choreography Sp...

引用

International Conference on Software Engineering and Formal Methods (SEFM)

作者： Gwen Salaün Department of Computer Science University of Màlaga Spain

Choreography description languages specify interactions among a set of services from a global point of view. From this description, it is possible to generate either an orchestrator (centralized interactions), or a set of peers or wrappers (distributed interactions). In this paper, we present first a model of service protocols with value passing, and an abstract choreography language to describe their composition and adaptation. Adaptation is useful while composing services to correct existing mismatches which might exist between their interfaces. Given abstract descriptions of services and their choreography, we propose techniques based on encodings into process algebra to generate an orchestrator and a set of wrapper protocols. Generation of wrappers is particularly tackled in this paper because this enables the system deployment in the context of distributed systems, and keeps at the same time a full parallelism of the system execution. Our approach is completely automated by a prototype tool we implemented.

关键词： Encoding Access protocols Connectors Algebra Parallel processing Prototypes Software engineering Computer science Software prototyping automatic programming

来源：评论

学校读者我要写书评

暂无评论

Floating-point bitwidth analysis via automatic differentiation

Floating-point bitwidth analysis via automatic differentiati...

引用

IEEE International Conference on Field-Programmable Technology (FPT)

作者： A.A. Gaffar O. Mencer W. Luk P.Y.K. Cheung N. Shirazi Department of Computing Imperial College London UK Lucent Bell Labs Murray Hill NJ USA Department of EEE Imperial College London UK Xilinx Inc. San Jose USA

automatic bitwidth analysis is a key ingredient for highlevel programming of FPGAs and high-level synthesis of VLSI circuits. The objective is to find the minimal number of bits to represent a value in order to minimise the circuit area and to improve efficiency of the respective arithmetic operations, while satisfying user-defined numerical constraints. We present a novel approach to bitwidth- or precision-analysis for floating-point designs. The approach involves analysing the dataflow graph representation of a design to see how sensitive the output of a node is to changes in the outputs of other nodes: higher sensitivity requires higher precision and hence more output bits. We automate such sensitivity analysis by a mathematical method called automatic differentiation, which involves differentiating variables in a design with respect to other variables. We illustrate our approach by optimising the bitwidth for two examples, a discrete Fourier transform (DFT) implementation and a Finite Impulse Response (FIR) filter implementation.

关键词： Circuits Discrete Fourier transforms Finite impulse response filter automatic programming Field programmable gate arrays High level synthesis Very large scale integration Arithmetic Data analysis Sensitivity analysis

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共152页 << < 94 95 96 97 98 99 100 101 102 103 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：