咨询与建议

限定检索结果

文献类型

  • 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 条 记 录,以下是1371-1380 订阅
排序:
Contextual Advertising for IPTV Using Automated Metadata Generation
Contextual Advertising for IPTV Using Automated Metadata Gen...
收藏 引用
Consumer Communications and Networking Conference, CCNC IEEE
作者: Lee Begeja Paul Van Vleck AT and T Research Laboratories USA
Current IPTV monetization focuses on mainstream programming that is well understood, with metadata that is stored in advance. Current contextual advertising is focused on web searches and static information. As the de... 详细信息
来源: 评论
A lean approach to designing for software testability
A lean approach to designing for software testability
收藏 引用
International automatic Testing Conference, AUTOTESTCON
作者: Anthony L. Alwardt Nathan Mikeska Richard J. Pandorf Philip R. Tarpley Boeing Aerospace Company Saint Louis MO USA
It is common practice for military hardware to be designed for testability; however, the testability of software is rarely considered. When software testability is addressed, the resultant design often does not readil... 详细信息
来源: 评论
Exploring LLM Support for Generating IEC 61131-3 Graphic Language Programs
arXiv
收藏 引用
arXiv 2024年
作者: Zhang, Yimin de Sousa, Mario CISTER Faculty of Engineering University of Porto Porto Portugal Faculty of Engineering University of Porto Porto Portugal
The capabilities demonstrated by Large Language Models (LLMs) inspire researchers to integrate them into industrial production and automation. In the field of Programmable Logic Controller (PLC) programming, previous ... 详细信息
来源: 评论
DEI-CHECK. Automating the assessment process to improve the informative feedback
DEI-CHECK. Automating the assessment process to improve the ...
收藏 引用
Frontiers in Education (FIE) Conference
作者: David Diez Paloma Diaz Ignacio Aedo Camino Fernandez Universidad Carlos III de Madrid
Acquiring and developing programming knowledge is a highly complex process. It involves a variety of cognitive activities and mental depictions. Hence, programming courses are generally regarded as difficult, and ofte... 详细信息
来源: 评论
Exploring Application-Level Concurrency in SoC Design
Exploring Application-Level Concurrency in SoC Design
收藏 引用
IEEE International Symposium on System-on-Chip
作者: Leandro Soares Indrusiak Institute of Microelectronic Systems Technische Universitat Darmstadt Darmstadt Germany
As we approach the limits of CMOS technology, novel multiprocessor architectures are the industry's best shot to keep up with the expectations of the consumer electronics market regarding functionality and perform... 详细信息
来源: 评论
Qualitative modeling of assembly tasks in robot cells using coloured Petri nets
Qualitative modeling of assembly tasks in robot cells using ...
收藏 引用
International Conference on Computer Integrated Manufacturing
作者: A. Ramirez-Trevino E. Lopez-Mellado Departamento de Ingeniería Eléctrica CIEA del IPN Mexico Mexico
A methodology is presented to build colored Petri nets (CPN) describing assembly tasks performed by robot cells. The approach consists mainly of a catalog of CPN modules modeling the cell operations and a set of rules... 详细信息
来源: 评论
A class of BDI agent architectures for autonomous control
A class of BDI agent architectures for autonomous control
收藏 引用
IEEE Conference on Decision and Control
作者: S.M. Veres J. Luo School of Engineering Sciences University of Southampton Highfield UK
A class of beliefs-desires-intentions (BDI) agent architecture is presented for control systems with a high degree of autonomy. The architecture contains agents for modelling, controller optimization, implementation a... 详细信息
来源: 评论
CEDES - A C++ Engine For Discrete Event Simulation
CEDES - A C++ Engine For Discrete Event Simulation
收藏 引用
Annual Symposium on Simulation
作者: Jhyfang Hu Department of Electrical Engineering Tulane University New Orleans LA USA
来源: 评论
A bulk-synchronous parallel library implementation for the BBN butterfly GP1000
A bulk-synchronous parallel library implementation for the B...
收藏 引用
International Symposium on Parallel and Distributed Processing (IPDPS)
作者: M.W. Goudreau E.D. Root Department of Computer Science University of Central Florida Orlando FL USA
One of the fundamental goals of parallel computing is to develop a framework that will support portable and efficient application programs. The Bulk-Synchronous Parallel (BSP) model was proposed to help achieve this g... 详细信息
来源: 评论
Optimization of the workspace of PKM with 2 DOF
Optimization of the workspace of PKM with 2 DOF
收藏 引用
IEEE International Conference on Automation Science and Engineering (CASE)
作者: Sergiu Stan Radu Balan Vistrian Maties Department of Mechanics and Programming Technical University of Cluj Napoca Cluj Romania Department of Mechatronics Technical University of Cluj Napoca Cluj Romania
In this paper a mono-objective optimum design procedure for parallel robot is outlined by using optimality criterion of workspace and numerical aspects. A mono-objective optimization problem is formulated by referring... 详细信息
来源: 评论