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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

当前已输入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 条记录，以下是151-160 订阅

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

详细简洁

排序：

automatic Analytical Modeling of EIS Data by Evolutive programming Based on Cultural Algorithms

Automatic Analytical Modeling of EIS Data by Evolutive Progr...

引用

IEEE Instrumentation and Measurement Technology Conference

作者： Pasquale Arpaia Fabrizio Clemente Antonio Zanesco Dipartimento di Ingegneria Università del Sannio Benevento Italy Istituto di Ingegneria Biomedica-Sez. di Roma Consiglio Nationale delle Ricerche Monte Rotondo Italy

Efficiency and accuracy problems in state-of-the-art analytical modeling of electrochemical phenomena through impedance spectroscopy are faced by a cultural hybrid evolutionary modeling algorithm (CHEMA). automatic model definition is improved by an evolutionary program exploiting a solution-search strategy based on a cultural mechanism: information on search advance is transmitted to all potential solutions, rather than only to a small inheriting subset, such as in traditional genetic approach. Experimental results of the proposed approach application to electrochemical impedance spectroscopy for biomedical purposes are presented

关键词： Algorithm design and analysis Analytical models automatic programming Cultural differences Finite impulse response filter Circuit synthesis Electrochemical impedance spectroscopy Biological system modeling Circuit topology Equivalent circuits

来源：评论

学校读者我要写书评

暂无评论

automatic optimisation of MapReduce designs by geometric programming

Automatic optimisation of MapReduce designs by geometric pro...

引用

IEEE International Conference on Field-Programmable Technology (FPT)

作者： Qiang Liu Tim Todman Wayne Luk George A. Constantinides Department of Computing Imperial College London London UK Department of Electrical Engineering Imperial College London London UK

Many important applications can be expressed using the MapReduce pattern, where a computation is decomposed into a map phase on which each element of source data is independently operated, followed by a reduce phase in which the mapped elements are combined with an associative operator. We develop an approach for compiling applications with the MapReduce pattern into parallel hardware. Using optimisation techniques based on geometric programming, we map the computation onto a resource-constrained architecture. Furthermore, we explore important variations of MapReduce, such as making the reduce a linear structure rather than a tree structure. Results for four benchmarks show that our approach can improve system performance by up to 170 times compared to the initial designs.

关键词： Design optimization automatic programming Hardware Parallel processing Solid modeling Concurrent computing Parallel programming Computer architecture System performance Functional programming

来源：评论

学校读者我要写书评

暂无评论

An automatic hardware-software partitioner based on the possibilistic programming 96

An automatic hardware-software partitioner based on the poss...

引用

European Design and Test (ED&TC) Conference

作者： I. Karkowski R.H.J.M. Otten Faculty of Electrical Engineering Delft University of Technnology USA

ISBN: (纸本)9780818674235

The problem of hardware-software partitioning in the design of embedded systems is addressed. Uncertainties about the performance of the options for realization are expressed in triangular possibilistic numbers. To handle such numbers an integer programming formulation of the partitioning problem is derived. This formulation can be converted into a possibilistic program without changing the asymptotic computational complexity. The approach is illustrated with results obtained with the receiver part of a transceiver of a wireless indoor spread spectrum system. This example and several other experiments have shown that these optimizations can reach solutions within seconds for designs of that complexity and above.

关键词： automatic programming Hardware Embedded system Computational complexity Software performance Partitioning algorithms Iterative algorithms Uncertainty Linear programming Transceivers

来源：评论

学校读者我要写书评

暂无评论

An automatic software generation approach for easier distributed programming

An automatic software generation approach for easier distrib...

引用

IEEE International Conference on Systems, Man and Cybernetics

作者： A.K.Y. Wong D.S. Yeung Department of Computing Hong Kong Polytechnic University Kowloon Hong Kong China

The proposed automatic software generation approach makes distributed programming easier by minimizing the steps leading to a programming solution. The user needs to provide only a high level asynchronous parallel programming language (APPL) program which is, in effect, a pseudocode specification. With this the precompiler can automatically instantiate the necessary program objects by the object-oriented approach. For every APPL program, the precompiler also produces a program objects dictionary consisting of descriptors. Each descriptor represents a program object in the APPL program. During execution a program objects dictionary becomes an entry in the local system distributed objects dictionary which is maintained by the kernel. Kernels continually exchange the current values of the attributes in the descriptors. By sampling and organizing the values of the descriptors, program visualization and reverse software engineering can be achieved.

关键词： automatic programming Kernel Load management Parallel programming Distributed computing Dictionaries Visualization Relays Sampling methods Organizing

来源：评论

学校读者我要写书评

暂无评论

On automatic determination of varying focal lengths using semidefinite programming

On automatic determination of varying focal lengths using se...

引用

IEEE International Conference on Image Processing

作者： M. Agrawal SRI International Inc. Menlo Park CA USA

We describe a novel approach to the determination of the focal length of a moving camera with rectangular pixels. The principal point of the camera assumed to be known and fixed, whereas the focal length is allowed to vary across the sequence. Given three or more such images and a projective reconstruction, we describe a novel auto-calibration technique to obtain a metric reconstruction. Our technique uses semidefinite programming to recover these focal lengths (and hence the metric reconstruction). Our approach is efficient, well behaved with guaranteed convergence, and can be applied to long sequences of video. We present results for our approach using both simulated and real video sequences.

关键词： automatic programming Image reconstruction Layout Video sequences Computational modeling Computer vision Calibration Convergence Digital cameras Costs

来源：评论

学校读者我要写书评

暂无评论

automatic Hybrid OpenMP + MPI Program Generation for Dynamic programming Problems

Automatic Hybrid OpenMP + MPI Program Generation for Dynamic...

引用

IEEE International Conference on Cluster Computing

作者： Denny R. Vandenberg Quentin F. Stout Computer Science and Engineering University of Michigan Ann Arbor MI USA

We describe a program that automatically generates a hybrid OpenMP + MPI program for a class of recursive calculations with template dependencies. Many useful generalized dynamic programming problems fit this category, such as Multiple String Alignment and multi-arm Bernoulli Bandit problems. Solving problems like these, especially those involving several dimensions, can use a significant amount of memory and time. Our generator addresses these issues by dividing the problem into many tiles that can be solved in parallel. Programs generated using this program generator are capable of solving large problems and achieve good scalability when run on many cores. The input supplied to the generator is a high level description of the problem, the output is a fully functioning parallel program for a cluster of shared memory nodes. This high level approach to parallel computation allows the generator to have a large amount of control over memory allocation, load balancing and calculation ordering.

关键词： Tiles Load management Dynamic programming Generators automatic programming Heuristic algorithms

来源：评论

学校读者我要写书评

暂无评论

automatic grading of student's programming assignments: an interactive process and suite of programs

Automatic grading of student's programming assignments: an i...

引用

Frontiers in Education (FIE) Conference

作者： D.S. Morris Division ofComputer and Information Science State University of New Jersey Rutgers Piscataway NJ USA

A system for automatic grading of programming assignments is described here. This grading system consists of a suite of Perl and Java programs, linked by a database, and driven by an interactive, user-grader controlled grading process. The rationale for the process, the process itself-and the process's interaction-with the programs, the database, and the user himself are discussed. This grading system has the ability to discover and accommodate unanticipated solutions by means of a grading process that is highly interactive with its user-the grader. It also has the ability to automatically accommodate a wide range of simple student errors, which can easily befuddle a more naive grading system. This system has been used since the Spring 2000 semester at Rutgers University, as a core part of the students' performance evaluation activities, in the Introduction to computer science course, where it routinely grades some 300-600 weekly assignments.

关键词： automatic programming Java Databases Education automatic control Process control Control systems Computer errors Computer science Error analysis

来源：评论

学校读者我要写书评

暂无评论

automatic modeling based on cultural programming for osseointegration diagnosis

Automatic modeling based on cultural programming for osseoin...

引用

IEEE Instrumentation and Measurement Technology Conference

作者： Pasquale Arpaia Fabrizio Clemente Carlo Manna Giuseppe Montenero Dipartimento di Ingegneria Università del Sannio Benevento Italy Istituto di Ingegneria Biomedica Consiglio Nationale delle Ricerche Rome Italy Dipartimento di Ingegneria Elettrica Università degli Studi di Napoli Federico II Napoli Italy

The problem of modeling equivalent circuits for interpreting Electrical Impedance Spectroscopy (EIS) data in monitoring osseointegration level of metallic implants in bone is faced by means of an evolutionary programming approach based on cultural algorithms. With respect to state-of-the-art gene expression programming, the information on search advance acquired by most promising individuals during the evolution is shared with the entire population of potential solutions and stored also for next generations. Experimental results of the application such cultural programming-based analytical modeling to in-vitro EIS measurements of bone in-growth around metallic implants during prosthesis osseointegration are presented.

关键词： Cultural differences automatic programming Implants Bones Genetic programming Equivalent circuits Electrochemical impedance spectroscopy Monitoring Gene expression Analytical models

来源：评论

学校读者我要写书评

暂无评论

Visual programming versus textual programming in automatic testing and diagnosis

Visual programming versus textual programming in automatic t...

引用

International automatic Testing Conference, AUTOTESTCON

作者： I.A. Neag D.F. Tyler W.S. Kurtz TYX Corporation USA

The present paper investigates the categories of functionality implemented by software in automatic Test Systems and the programming paradigms that are commonly used for implementation. Building on the conclusions of this analysis, the paper proposes a combined development paradigm, where visual programming is used at diagnosis level, while both textual and visual languages are supported for implementing test and instrument control functionality. This approach offers important benefits in reducing development and maintenance costs for ATS software, while maximizing its potential for reuse. The proposed development paradigm is illustrated by an actual ATS architecture, implemented in software product.

关键词： automatic programming automatic testing Functional programming Software testing System testing Instruments automatic control Costs Software maintenance Computer architecture

来源：评论

学校读者我要写书评

暂无评论

automatic Grading System on SQL programming

Automatic Grading System on SQL Programming

引用

International Conference on Scalable Computing and Communications;International Conference on Embedded Computing, SCALCOM-EMBEDDEDCOM

作者： Haifeng Ke Gaoyan Zhang Hui Yan School of Computer & Computing Science Zhejiang University City College Hangzhou China College of Computer Science University of Zhejiang Hangzhou China

Structured Query language is an important teaching content of computer science, due to its strong practicability. However, there is no such practical SQL-based paperless examination system, because of the difficulty lies in the proper and effective mark of the SQL programming question. This paper provides a series of set operation algorithms as an effective solution of the questions above. By the transformation of the DML statement, so that the correctness of DML statement with no return set can also be verified, which make the verification of SQL programming questions a reality.

关键词： automatic programming programming profession Embedded computing Education Educational institutions Computer science Database languages Computer languages Database systems Feedback

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共152页 << < 12 13 14 15 16 17 18 19 20 21 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：