咨询与建议

限定检索结果

文献类型

  • 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 条 记 录,以下是981-990 订阅
排序:
Periodic chaos neural network with autocorrelation dynamics
Periodic chaos neural network with autocorrelation dynamics
收藏 引用
International Conference on Knowledge-Based Intelligent Electronic Systems (KES)
作者: M. Nakagawa Division of Information System Engineering Department of Electrical Engineering Faculty of Engineering Nagaoka University of Technology Nagaoka Niigata Japan
In this paper a novel chaos neural network model is proposed and applied to memory search and the autoassociation. The proposed artificial neuron model is substantially characterized in terms of a time-dependent perio... 详细信息
来源: 评论
Objects and constraints
Objects and constraints
收藏 引用
Technology of Object-Oriented Languages and Systems (TOOLS)
作者: J. Noble Microsoft Research Institute Macquarie University Sydney Australia
An object oriented program is a set of communicating encapsulated objects, while a constraint program is a set of variables linked by constraints. This difference in underlying models makes it difficult to combine obj... 详细信息
来源: 评论
An artificial intelligence based tool for home automation using MATLAB
An artificial intelligence based tool for home automation us...
收藏 引用
International Conference on Tools for Artificial Intelligence (ICTAI)
作者: H.J. Zainzinger Institute of Automation University of Technology Vienna Vienna Austria
A neural fuzzy system controlling home appliances is proposed. The central goal of home automation is to provide an efficient and convenient integration and inter-operation among appliances in households. The necessar... 详细信息
来源: 评论
Design reliability-estimation through statistical analysis of bug discovery data
Design reliability-estimation through statistical analysis o...
收藏 引用
Design Automation Conference
作者: Y. Malka A. Ziv MATAM IBM Research Laboratory Haifa Israel
Statistical analysis of bug discovery data is used in the software industry to check the quality of the testing process and estimate the reliability of the tested program. In this paper, we show that the same techniqu... 详细信息
来源: 评论
Software risk assessment through software measurement and modeling
Software risk assessment through software measurement and mo...
收藏 引用
IEEE Conference on Aerospace
作者: J.C. Munson R.M. Karcich Dept. of Comput. Sci. Idaho Univ. Moscow ID USA
A major portion of our recent research is to refine a software process model for a major Storage Technology Corporation (STK) development program. The work is centered around the precise measurement of software develo... 详细信息
来源: 评论
Using high-level performance prediction in compiling for distributed systems
Using high-level performance prediction in compiling for dis...
收藏 引用
Annual Hawaii International Conference on System Sciences (HICSS)
作者: A.J.C. van Gemund Department of Electrical Engineering Delft University of Technnology Delft Netherlands
In cost-driven program optimization, performance feedback is either based on a model of the algorithm or on a model of the actually generated machine code. Especially in the case of a distributed-memory system, the di... 详细信息
来源: 评论
Task oriented software understanding
Task oriented software understanding
收藏 引用
IEEE International Conference on Automated Software Engineering (ASE)
作者: A. Erdem W.L. Johnson S. Marsella Computer Science Department USC Information Sciences Institute Marina del Rey CA USA
The main factors that affect software understanding are the complexity of the problem solved by the program, the program text, the user's mental ability and experience and the task being performed. The paper descr... 详细信息
来源: 评论
Implementation and testing of International Space Station flight software for the pointing and support portion of guidance, navigation and control
Implementation and testing of International Space Station fl...
收藏 引用
Conference on Digital Avionics Systems (DASC)
作者: D.J. Yazell Honeywell Space Systems/Commercial Systems Operation Houston TX USA
Boeing engineers designed and implemented these algorithms using MOODS (Multibody On-Orbit Dynamics Simulation), a Boeing/NASA Ada non-realtime simulation running on a DEC Alpha platform in Boeing Tower 2 in Houston, ... 详细信息
来源: 评论
Improved average inductor current control of the constant frequency DC/DC converters using the tuned-average current-mode
Improved average inductor current control of the constant fr...
收藏 引用
Annual Conference of Industrial Electronics Society
作者: P. Ninkovic M. Jankovic Control Departmment EE Institute Nikola Tesla Belgrade Yugoslavia Department of Information and Computer Sciences Saitama University Urawa City Japan
This paper presents comparison of a recently proposed tuned-average current-mode with widely accepted average current-mode, in order to control the average inductor current of the constant frequency DC/DC power conver... 详细信息
来源: 评论
Formal methods in real-time systems
Formal methods in real-time systems
收藏 引用
Euromicro Conference on Real-Time Systems
作者: E.-R. Olderog Fachbereich Informatik Universität Oldenburg Oldenburg Germany
The design of intricate real-time systems typically involves several notations that describe the system at different levels of abstraction. Graphical notations inspired by timing diagrams are helpful at the requiremen... 详细信息
来源: 评论