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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

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

馆藏范围

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

日期分布

学科分类号

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

主题

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

机构

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

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

共 1519 条记录，以下是1441-1450 订阅

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

详细简洁

排序：

Translating activity cycle diagrams to Java simulation programs

Translating activity cycle diagrams to Java simulation progr...

引用

Annual Symposium on Simulation

作者： W. De Lara Araujo Filho C.M. Hirata Dept of Computer Science Instituto Tecnológico de Aeronáutica SP Brazil Dept of Computer Science Instituto Tecnológico de Aeronáutica Sao Paulo SP Brazil

The activity cycle diagrams are a simple notation to model discrete-event simulation systems. Its informality makes it very useful when communicating the model to non-specialists; however, it also makes the automatic code generation very difficult. Some extensions have been proposed to augment the representation power of ACD and some formalization has been suggested to enable automatic translation to program. Java is becoming a widespread object oriented programming language. We present an automatic translation from an extended ACD to a Java program. The translator has been successfully used in a groupware for simulation development environment named GroupSim.

关键词： Java Object oriented modeling Power system modeling Discrete event simulation Collaborative software Collaborative work High level languages automatic programming Web server Computational modeling

来源：评论

学校读者我要写书评

暂无评论

Automated Control System of Irrigation for SMEs in Real Time

Automated Control System of Irrigation for SMEs in Real Time

引用

International Conference on Electronics, Communications and Computers (CONIELECOMP)

作者： P. Aquije D. Huaman J. Boada M. Tentaya M. Chauca San Luis Gonzaga University-Peru Peru

The control project, automation and supervision for SMEs, it's based on a system of open architecture, using principles of systems SCADA with the development of intelligent routines taking advantage of the advantages of the technology of the microcontrollers and DCE, for the control of physical variables, processes and digital treatment of data; coming from the different implemented RS, such as: point of pumping in underground well, filled of recipients, flow, electrovalves, as well as the gradual distribution and temporized in cultivation sectors using valves adapted mecatronicamente, all them with programming algorithms developing the process in real time. The system sense the different physical variables, it controls actuators, it establishes alarms and states of emergency stop through the RS, it processes them to their equivalent one digital it stops then to create the plots of information of this variable and later on to be correspondents to the BS, for their visualization in the control power station by means of the digital transmission of data governed by a communication protocol. All these characteristics are translated in optimization of watering control and in efficiency of manipulation of present variables in the system favoring with technical and technological attendance to the SMEs.

关键词： automatic control Control systems Irrigation Real time systems Electric variables control Communication system control Automation Microcontrollers Valves automatic programming

来源：评论

学校读者我要写书评

暂无评论

Synthesis of ladder diagrams from Petri nets controller models

Synthesis of ladder diagrams from Petri nets controller mode...

引用

IEEE International Symposium on Intelligent Control (ISIC)

作者： I. Jimenez E. Lopez A. Ramirez CINVESTAV Guadalajara Jalisco Mexico

This paper addresses the problem of automated synthesis of ladder diagrams for programmable logic controllers (PLC). The programs are obtained from control specifications expressed as timed interpreted Petri nets (TIPN). The approach herein presented allows to rapidly synthesize correct programs for PLC; it is based on a set of simple translation rules that produces a ladder diagram (LD) from a TIPN. Moreover this set of rules was coded into a program to automate this process.

关键词： Petri nets Programmable control automatic control Programmable logic arrays Programmable logic devices automatic programming Logic programming Formal specifications Manufacturing automation Size control

来源：评论

学校读者我要写书评

暂无评论

Legacy System Cataloging Facility

Legacy System Cataloging Facility

引用

Working Conference on Reverse Engineering

作者： P. Newcomb Boeing Computer Services Research and Technology USA

Describes a software model construction and management tool that provides a foundation for legacy systems modeling, analysis and transformation on an enterprise scale. The Legacy System Cataloging Facility provides a scalable, multi-tiered hierarchical storage mechanism for managing legacy system as persistent, high-fidelity software models within a distributed-computing framework. The Legacy System Cataloging Facility is one facet of a knowledge based tools framework for reverse engineering, reengineering and reuse that supports the transitioning of existing systems to support business process reengineering (BPR) as well as more traditional incremental maintenance activities.

关键词： Business process re-engineering Information systems Distributed computing Software tools Automation Image storage Technology management Modeling Reverse engineering automatic programming

来源：评论

学校读者我要写书评

暂无评论

Characterizations and relationships of world views 04

Characterizations and relationships of world views

引用

Simulation Winter Conference

作者： C.M. Overstreet R.E. Nance Computer Science Department Old Dominion University Norfolk VA USA Systems Research Center Virginia Tech Corporate Research Park Orca Computer Inc. Blacksburg VA USA

ISBN: (纸本)9780780387867

We describe a characterization the three classical world views of event scheduling, activity scanning, and process interaction and discuss transformations among them. We believe that one advantage of each is to allow more concise model descriptions by allowing a model specifier to take advantage of contextual information. Automated transformation among world views is difficult due to a modeler's use of contextual information. We illustrate this by transforming and then simplifying a model representation creating a version, similar to what a programmer or modeler might generate.

关键词： Context modeling programming profession Discrete event simulation Runtime Computer languages Packaging Documentation Standards development automatic programming Scheduling

来源：评论

学校读者我要写书评

暂无评论

Planning for change: a reconfiguration language for distributed systems

Planning for change: a reconfiguration language for distribu...

引用

Proceedings of International Workshop on Configurable Distributed Systems

作者： B. Agnew C. Hofmeister J. Purtilo Computer Science Department University of Maryland College Park MD USA

In order to help programmers achieve greater leverage of emerging reconfiguration mechanisms, we are studying notations for users to express reconfiguration plans. These plans direct how a running distributed application would be changed, based upon recognition of events from either the application itself or its environment. Our work to date in this area is embodied in a simple system called Clipper. Based upon C++, Clipper provides a way for programmers to express plans, that are then used to automatically generate the run time mechanisms needed to validly reflect the programmer's rules for change in the application. This paper presents a description of our language in its current form, along with requirements that led up to it.< >

关键词： programming profession Application software Computer science Educational institutions Organizing Software libraries automatic programming automatic control Control systems Costs

来源：评论

学校读者我要写书评

暂无评论

Semi-automatic transformation from formal specifications to programs

Semi-automatic transformation from formal specifications to ...

引用

IEEE International Conference on Engineering of Complex Computer Systems

作者： Shaoying Liu C. Ho-Stuart Hiroshima City University Hiroshima Japan Queensland University of Technology Brisbane Australia

As model-based formal methods (e.g. VDM, Z) are becoming popular for the development of safety-critical and complex systems in industry, automatic transformation from formal specifications to programs is an ideal and efficient approach to software production. However, it is impossible in general for this transformation to be fully automatic, because the language of first order logic used for specification is not decidable. This paper uses VDM (Vienna Development Method) as an example to investigate this difficulty, and proposes an approach to address the problem. Rules for automatically transforming abstract level VDM specifications are described and further transformation at a detailed level is discussed. Finally, further work towards the construction of a rule-based software system to support the transformation from VDM specifications to programs in general is addressed.

关键词： Formal specifications Input variables Production systems automatic logic units automatic programming Cities and towns Australia

来源：评论

学校读者我要写书评

暂无评论

A code synthesis experiment

A code synthesis experiment

引用

Knowledge-Based Software Engineering Conference

作者： H. Graves J. Louie T. Mullen Lockheed Palo Alto Research Labaratory USA

The authors have built a prototype software synthesis system, the Lockheed Environment for automatic programming (LEAP). The LEAP synthesis approach depends on using software assets that are built during the course of application development. In the largest application built so far the synthesized software consisted of 65000 lines of Ada code and 10000 lines of C code. LEAP was used to construct two simple application examples. The experiment was to graphically construct system descriptions to represent generic forms of the two examples provided, and to have LEAP synthesize Ada code using its template asset base. One example was an event system that represented the implicit invocation cliche. The second example was a phone database manager.< >

关键词： Application software Software prototyping automatic programming Underwater vehicles Decision support systems Displays Prototypes Target tracking Software architecture Software systems

来源：评论

学校读者我要写书评

暂无评论

Object exchange across heterogeneous information sources

Object exchange across heterogeneous information sources

引用

International Conference on Data Engineering

作者： Y. Papakonstantinou H. Garcia-Molina J. Widom Department of Computer Science University of Stanford Stanford CA USA

We address the problem of providing integrated access to diverse and dynamic information sources. We explain how this problem differs from the traditional database integration problem and we focus on one aspect of the information integration problem, namely information exchange. We define an object-based information exchange model and a corresponding query language that we believe are well suited for integration of diverse information sources. We describe how, the model and language have been used to integrate heterogeneous bibliographic information sources. We also describe two general-purpose libraries we have implemented for object exchange between clients and servers.< >

关键词： Humans Data models US Government Computer science Database languages File systems Information retrieval Wire Aerodynamics automatic programming

来源：评论

学校读者我要写书评

暂无评论

The reacTable*: A Collaborative Musical Instrument

The reacTable*: A Collaborative Musical Instrument

引用

IEEE International Workshop on Enabling Technologies: Infrastructure for Collaborative Enterprises (WET ICE)

作者： Martin Kaltenbrunner Sergi Jorda Gunter Geiger Marcos Alonso Music Technology Group Universitat Pompeu Fabra Barcelona Spain

The reacTable* is a novel multi-user electro-acoustic musical instrument with a tabletop tangible user interface. In this paper we focus on the various collaborative aspects of this new instrument as well as on some of the related technical details such as the networking infrastructure. The instrument can be played both in local and remote collaborative scenarios and was designed from the very beginning to serve as a musical instrument for several simultaneous players

关键词： Instruments Synthesizers Collaborative work User interfaces Dynamic programming Acoustic sensors Delay Online Communities/Technical Collaboration automatic programming Manipulator dynamics

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共152页 << < 141 142 143 144 145 146 147 148 149 150 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：