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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

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

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

详细简洁

排序：

DEVS Markov Modeling and Simulation of Activity-Based Models for MBSE Application

DEVS Markov Modeling and Simulation of Activity-Based Models...

引用

2021 Winter Simulation Conference, WSC 2021

作者： Alshareef, Abdurrahman Seo, Chungman Kim, Anthony Zeigler, Bernard P. College of Computer and Information Sciences King Saud University Information Systems Department Riyadh11451 Saudi Arabia RTSync Corp. ChandlerAZ15-107 United States

ISBN: (纸本)9781665433112

DEVS has been proposed as the basic modeling and simulation framework for Model-Based System Engineering (MBSE) methodology that supports the critical stages in top down design of complex systems. Here we propose a novel DEVS Markov simulation for Activity-Based Models to provide a means for experiment design to examine flows in activities with behavioral elements. The approach allows comparing different flows in a seamless manner. Also adjustments to the models become possible that would be costly and harder to maintain otherwise. With application to MBSE in mind, we aim to make such a process support developing more multiple alternatives in complex model design while delegating as much of code modification downstream to advanced automatic code generators. We examine the approach with application to MBSE with an example from the health care domain with different policies and patient flows. Finally, we discuss the remaining challenges and opportunities for further research. © 2021 IEEE.

关键词： automatic programming

来源：评论

学校读者我要写书评

暂无评论

Research on VMF interoperation

Research on VMF interoperation

引用

2014 International Conference on Sensors Instrument and Information Technology, ICSIIT 2014

作者： Wang, Xuan Luo, Qiang Yi Li, Ling Ling Command Information System Academy of PLA University of Science and Technology Nanjing 210007 China Information Engineering Department of Academy of Armored Forces Engineering Beijing 100072 China Institute of China Electronic System Engineering Company Beijing 100141 China

ISBN: (纸本)9783038350392

This paper designs a VMF interoperation solution framework, and proposes an automatic generation method for VMF codecs, VMF-FMF translation unit and VMF-HLA gateway based on VMF data element dictionary, FMF data element dictionary and FOM table. The generated VMF codecs can be distributed to ensure the interoperation between C2 systems using VMF standard;The VMF-FMF translation unit can be used to ensure the interoperation between C2 systems using VMF standard and those using FMF standard;The VMF-HLA gateway can be deployed in simulation systems to ensure the interoperation between these systems and C2 systems. The proposed method also enables these generated utilities' fast incorporation of the up-to-date information of the VMF Standard, FMF standard and FOM table. © (2014) Trans Tech Publications, Switzerland.

关键词： automatic programming

来源：评论

学校读者我要写书评

暂无评论

automatic Generation of Micro-kernels for Performance Portability of Matrix Multiplication on RISC-V Vector Processors

Automatic Generation of Micro-kernels for Performance Portab...

引用

2023 International Conference on High Performance Computing, Network, Storage, and Analysis, SC Workshops 2023

作者： Igual, Francisco Piñuel, Luis Catalán, Sandra Martínez, Héctor Castelló, Adrián Quintana-Ortí, Enrique Universidad Complutense de Madrid Madrid Spain Universidad de Córdoba Córdoba Spain Universitat Jaume I Castellón de la Plana Spain Universitat Politècnica de València Valencia Spain

ISBN: (纸本)9798400707858

In this paper, we propose and evaluate several optimized implementations of the general matrix multiplication (gemm) on two different RISC-V architecture cores implementing the RISC-V vector extension (RVV): C906 and C910 from T-HEAD. Specifically, we address the performance portability problem across these processor cores by means of an automatic assembly code generator, written in Python, capable of emitting RVV code for high performance computing (HPC), with a variety of combinations of specific and general optimizations. Our experimental results using a number of automatically-generated micro-kernels for gemm, on both RISC-V architectures, reveal different impact of each optimization, depending on the target architecture, and highlight the importance of automatically generating HPC RVV code to achieve performance portability while reducing the developers' effort. In addition, these optimizations show important performance gains with resepcto to a state-of-the-art tuned BLAS library (OpenBLAS), reaching 3 × and 1.3 × speed-ups for the C910 and C906, respectively. © 2023 ACM.

关键词： automatic programming

来源：评论

学校读者我要写书评

暂无评论

Refining production strategy optimization model based on mixed bi-level programming method

Refining production strategy optimization model based on mix...

引用

IEEE International Conference on e-Business Engineering (ICEBE)

作者： Wang Wei Mei Wei Zhang Qiang Li Ze-fei Institute of Automation Chinese Academy of Sciences Beijing China Daqing Company of Petro-China Company Limited Dading China

The production process of a refinery is a complicated process, which consists of immense units. For some units, the products are multiple, so does the feasible operation mode of products of certain units. Which kind of operation mode is utilized decides the production strategy of a refinery. In this paper, how to gain reasonable production strategy is focused on due to the immense benefit it can bring to, and a production strategy optimization model based on mixed bi-level programming method is presented to solve this problem. All the units included in the production process are divided into two levels, and most of the production information of them is integrated by a database system in the model. How the optimization model can be used as a viable tool is also showed by a simple case study at Daqing refinery

关键词： Refining Optimization methods Petroleum Production planning Temperature Hydrocarbons Production systems Fuels Process control automatic programming

来源：评论

学校读者我要写书评

暂无评论

FrontDesk: an enterprise class Web-based software system for programming assignment submission, feedback dissemination, and grading automation

FrontDesk: an enterprise class Web-based software system for...

引用

International Conference on Advanced Learning Technologies (ICALT)

作者： M. Maxim A. Venugopal School of Computer Science Carnegie Mellon University Pittsburgh PA USA

The problem of managing an effective relationship between course staff and students in large programming courses admits no trivial solution. Students often complain of lack of feedback, slow assignment grading times, and a gap in communication between them and the course staff responsible for evaluating their work. In addition, course staff feels powerless to help because of the complexity and sheer numbers of students involved in such courses. In this paper, we describe our Web-based distributed application, FrontDesk that attempts to bridge the feedback and communication gap that these courses suffer from. FrontDesk provides tools for students to submit their work through the Web and to receive rich, informative feedback. It provides course staff with the ability to give effective subjective feedback for large courses and to automate objective programming assignment correctness testing in a flexible, distributed, and efficient manner.

关键词： Software systems automatic programming Feedback Automation Education Computer science automatic testing Software design Portals Power system management

来源：评论

学校读者我要写书评

暂无评论

SAC: Off-the-shelf support for data-parallelism on multicores

SAC: Off-the-shelf support for data-parallelism on multicore...

引用

DAMP 2007: Workshop on Declarative Aspects of Multicore programming

作者： Grelck, Clemens Scholz, Sven-Bodo University of Lübeck Institute of Software Technology and Programming Languages Ratzeburger Allee 160 23538 Lübeck Germany University of Hertfordshire Department of Computer Science College Lane Hatfield AL10 9AB United Kingdom University of Hertfordshire United Kingdom

ISBN: (纸本)1595936904

The advent of multicore processors has raised new demand for harnessing concurrency in the software mass market. We summarise our previous work on the data parallel, functional array processing language SaC. Its compiler technology is geared towards highly runtime-efficient support for shared memory multiprocessors and, thus, is readily applicable to today's off-the-shelf multicore systems. Copyright 2007 ACM.

关键词： automatic programming

来源：评论

学校读者我要写书评

暂无评论

A visual programming environment for programming by example abstraction

A visual programming environment for programming by example ...

引用

IEEE Symposium on Visual Languages

作者： Y. Mima Tokyo Research Laboratory IBM Research Tokyo Japan

The paper describes a way of extending the flexibility of example-based programming. The purpose of introducing such a programming style is to provide the user with a way of telling the system why and how he operates on it. This ability is achieved by introducing three mechanisms for target object specification, goal-driven execution, and parameter transfer by means of a clipboard. In the system, the user can specify the relationship between the application status, the target object, and the user operation. A flexible programming capability can be provided as a monitoring function for system support. Consequently, the user can apply the programming-by-example facility to any applications implemented on top of this system.< >

关键词： programming environments automatic programming Monitoring Trademarks programming profession Functional programming Application software Environmental management Operating systems User interfaces

来源：评论

学校读者我要写书评

暂无评论

Performance benefits of optimistic programming: a measure of HOPE 95

Performance benefits of optimistic programming: a measure of...

引用

International Symposium on High Performance Distributed Computing

作者： C. Cowan H.L. Lutfiyya M.A. Bauer Department of Computer Science and Engineering Oregon Graduate Institute Portland OR USA Computer Science Department University of Western Ontario London ONT Canada

ISBN: (纸本)9780818670886

Optimism is a powerful technique for avoiding latency by increasing concurrency. By optimistically assuming the results of some computation, other computations can be executed in parallel, even when they depend on the assumed result. Optimistic techniques can be particularly beneficial to parallel and distributed systems because of the critical impact of inter-node communications latency. This paper describes how optimism can be used to enhance the performance of distributed programs by avoiding remote communications delay. We then present a new programming model that automates many of the difficulties of using optimistic techniques in a general programming environment, and describe a prototype implementation. Finally, we present performance measurements showing how optimism improved the performance of a test application in this environment.

关键词： Delay Concurrent computing Prototypes Computer science Power engineering computing programming profession Power engineering and energy automatic programming programming environments Testing

来源：评论

学校读者我要写书评

暂无评论

Designing neural networks ensembles based on the evolutionary programming

Designing neural networks ensembles based on the evolutionar...

引用

International Conference on Machine Learning and Cybernetics (ICMLC)

作者： Fang Liu Ren-Hou Li Shi-Chun Mei Systems Engineering Institute Xi''an Jiaotong University China Second Artillery Engineering College of PLA Xi'an Shaanxi China

ISBN: (纸本)0780378652

An evolutionary programming is proposed in this paper to automatically design neural networks (NNs) ensembles. Based on negative correlation learning, different individual NNs in the ensemble can learn to subdivide the task and thereby solve it more efficiently and elegantly. At the same time, different individual NNs are always to find the best collaboration connection during the evolutionary process. In addition, the architecture of each NN in the ensemble and the size of the ensemble need not to be predefined. The simulation results show that the proposed method in this paper is valid.

关键词： Neural networks Genetic programming Learning systems Algorithm design and analysis Machine learning Cybernetics automatic programming Design engineering Robustness Training data

来源：评论

学校读者我要写书评

暂无评论

Succinct system of minimal generators: A thorough study, limitations and new definitions

Succinct system of minimal generators: A thorough study, lim...

引用

4th International Conference on Concept Lattices and Their Applications, CLA 2006

作者： Hamrouni, Tarek Ben Yahia, Sadok Mephu Nguifo, Engelbert Department of Computer Science Faculty of Sciences of Tunis Tunis Tunisia CRIL-CNRS IUT de Lens Lens France

ISBN: (纸本)3540789200

Minimal generators (MGs) are the minimal ones ( w.r.t. the number of items) among equivalent itemsets sharing a common set of objects, while their associated closed itemset (CI ) is the largest one. The pairs - composed by MGs and their associated CI - divide the itemset lattice into distinct equivalence classes. Such pairs were at the origin of various works related to generic association rule bases, concise representations of frequent itemsets, arbitrary Boolean expressions, etc. Furthermore, the MG set presents some important properties like the order ideal. The latter helped some level-wise bottom-up and even slightly modified depth-first algorithms to efficiently extract interesting knowledge. Nevertheless, the inherent absence of a unique MG associated to a given CI motivates an in-depth study of the possibility of discovering a kind of redundancy within the MG set. This study was started by Dong et al. who introduced the succinct system of minimal generators (SSMG ) as an attempt to eliminate the redundancy within this set. In this paper, we give a thorough study of the SSMG as formerly defined by Dong et al. Then, we show that the latter suffers from some drawbacks. After that, we introduce new definitions allowing to overcome the limitations of their work. Finally, an experimental evaluation shows that the SSMG makes it possible to eliminate without information loss an important number of redundant MGs. © 2008 Springer-Verlag Berlin Heidelberg.

关键词： automatic programming

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共152页 << < 62 63 64 65 66 67 68 69 70 71 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：