咨询与建议

限定检索结果

文献类型

  • 369 篇 期刊文献
  • 356 篇 会议
  • 6 册 图书

馆藏范围

  • 731 篇 电子文献
  • 0 种 纸本馆藏

日期分布

学科分类号

  • 407 篇 工学
    • 177 篇 计算机科学与技术...
    • 103 篇 软件工程
    • 74 篇 力学(可授工学、理...
    • 51 篇 机械工程
    • 50 篇 电气工程
    • 43 篇 材料科学与工程(可...
    • 39 篇 化学工程与技术
    • 37 篇 土木工程
    • 36 篇 电子科学与技术(可...
    • 35 篇 动力工程及工程热...
    • 34 篇 控制科学与工程
    • 34 篇 船舶与海洋工程
    • 25 篇 信息与通信工程
    • 18 篇 建筑学
    • 17 篇 光学工程
    • 15 篇 航空宇航科学与技...
    • 13 篇 仪器科学与技术
  • 396 篇 理学
    • 192 篇 物理学
    • 169 篇 数学
    • 46 篇 统计学(可授理学、...
    • 41 篇 化学
    • 29 篇 海洋科学
    • 19 篇 生物学
    • 19 篇 系统科学
    • 16 篇 地球物理学
  • 58 篇 管理学
    • 51 篇 管理科学与工程(可...
    • 21 篇 工商管理
    • 12 篇 图书情报与档案管...
  • 16 篇 医学
    • 13 篇 药学(可授医学、理...
    • 11 篇 临床医学
  • 9 篇 经济学
  • 5 篇 教育学
  • 4 篇 农学
  • 3 篇 法学
  • 3 篇 艺术学
  • 1 篇 哲学

主题

  • 20 篇 circuit testing
  • 15 篇 computational mo...
  • 14 篇 very large scale...
  • 14 篇 circuit faults
  • 12 篇 circuit simulati...
  • 12 篇 visualization
  • 10 篇 costs
  • 10 篇 hardware
  • 9 篇 circuit synthesi...
  • 9 篇 production
  • 9 篇 control systems
  • 9 篇 software
  • 9 篇 numerical method...
  • 8 篇 automatic testin...
  • 8 篇 automatic test p...
  • 8 篇 mathematical mod...
  • 8 篇 delay
  • 7 篇 boolean function...
  • 7 篇 test pattern gen...
  • 7 篇 computer aided d...

机构

  • 15 篇 institute for co...
  • 14 篇 institute for co...
  • 12 篇 institute of com...
  • 12 篇 institute of com...
  • 11 篇 institute for co...
  • 11 篇 state key labora...
  • 10 篇 institute for co...
  • 8 篇 institute for co...
  • 8 篇 moscow
  • 6 篇 institute for co...
  • 6 篇 joint institute ...
  • 6 篇 institute of com...
  • 6 篇 institute for co...
  • 6 篇 department of co...
  • 6 篇 computer aided d...
  • 6 篇 institute for co...
  • 6 篇 moscow aviation ...
  • 6 篇 computer and inf...
  • 6 篇 institute of com...
  • 5 篇 mechanical engin...

作者

  • 14 篇 a d nikitin
  • 13 篇 s v fortova
  • 13 篇 v v shepelev
  • 12 篇 i s nikitin
  • 11 篇 nikitin i.s.
  • 10 篇 karimov timur i.
  • 9 篇 nikitin a.d.
  • 9 篇 chechetkin v.m.
  • 9 篇 burago n.g.
  • 9 篇 k.d. muller-glas...
  • 9 篇 v. a. gushchin
  • 9 篇 fortova s.v.
  • 9 篇 nikitin ilia s.
  • 8 篇 chukhrov i.p.
  • 8 篇 b a stratula
  • 7 篇 syzranova n.g.
  • 7 篇 gushchin valenti...
  • 7 篇 m.h. schulz
  • 7 篇 aksenov a.g.
  • 7 篇 butusov denis n.

语言

  • 691 篇 英文
  • 37 篇 其他
  • 3 篇 中文
检索条件"机构=Institute of Computer Graphics and Computer-Aided Design"
731 条 记 录,以下是671-680 订阅
排序:
Fastchart - A fast time deterministic CPU and hardware based real-time-kernel
Fastchart - A fast time deterministic CPU and hardware based...
收藏 引用
1991 Euromicro Workshop on Real-Time Systems, ECRTS 1991
作者: Lindh, Lennart Stanischewski, Frank University of Erlangen-Nürnberg Institute for Computer Aided Circuit Design Prof. Müller-Glaser Wetterkreuz 13 D-8520 Erlangen Germany Martensstraße 3 D-8520 Erlangen Germany
The designer of hard realtime systems requires deterministic behaviour of the system. Today there are problems because of the hardware and the real-time kernel. So one gets only statistic statements regarding timing. ... 详细信息
来源: 评论
An algorithm for discrete event logic simulation on distributed systems
An algorithm for discrete event logic simulation on distribu...
收藏 引用
IEEE Region 10 International Conference TENCON
作者: S. Sundaram T.S. Mohan L.M. Patnaik Computer Aided Design Laboratory Indian Institute of Technology Bangalore India Knoirkdgr Based Computer System Laboratory Supercomputer Education and Research Centre Indian Institute of Technology Bangalore India Department of Compritei Scienceand Automation Indian Institute of Technology Bangalore India
Increase in the complexity of VLSI digital circuit design demands faster logic simulation techniques than those currently available. One of the ways of speeding up existing logic Simulation Agorithms is by exploiting ... 详细信息
来源: 评论
Goal orientated slicing enumeration through shape function clipping
Goal orientated slicing enumeration through shape function c...
收藏 引用
European Conference on design Automation
作者: G. Sigl U. Schlitchtmann Institute of Computer-Aided Design Department of Electrical Engineering Technical University Munich Munich Germany Dept. of Electr. Eng. Tech. Unvi. of Munich Germany
Two new methods for efficient enumeration of slicing structures useful for macro cell and sea-of-gates final placement are presented. Contrary to existing approaches a further preorder traversal of the slicing tree is... 详细信息
来源: 评论
SMALL SHIPS, ADVANCED TECHNOLOGY AND WARFIGHTING PERFORMANCE
收藏 引用
NAVAL ENGINEERS JOURNAL 1991年 第3期103卷 30-45页
作者: SKOLNICK, DH SKOLNICK, A David H. Skolnickhas practiced naval engineering in both government and industry. He has supported the Military Sealift Command and the Naval Sea Systems Command Ship Design Group and Amphibious Ship Acquisition Program Office participating in the design and assessment of ship structure evaluation of intact and damaged stability and arrangements during design and construction phases of acquisition conversion and overhaul. He is currently involved in systems engineering and integration. Recent responsibilities have included requirements analyses and feasibility studies interface analyses and computer aided analyses. He received his B.S. in naval architecture and marine engineering from Webb Institute of Naval Architecture in 1982 (as an ASNE scholar) and is currently an M.S. candidate in systems engineering at the University of Virginia. Alfred Skolnickserved over 30 years as an engineering duty officer and retired from the Navy with the rank of captain in 1983. His early assignments included tactical missile engineering shipboard duty and Polaris submarine inertial navigation. He later served in the Deep Submergence Systems Project was project director surface effect ships (SES) David Taylor Model Basin director of technology Joint Navy-Commerce SES Program director combat systems Naval Sea Systems Command and project manager directed energy weapons. His awards include the Navy League's Parsons Award in 1979 for scientific and technical progress ASNE's Gold Medal in 1981 for high energy laser development the Navy Legion of Merit in 1983 National Capital Engineer of the Year in 1986 and the American Defense Preparedness Association Gold Medal in 1988 for contributions to strategic defense. He was president of ASNE from 1985–1989. He received his B.S. in mathematics from Queens College his M.A. in mathematics from Columbia University his M.S. in electrical engineering from U.S. Naval Postgraduate School and his Ph.D. in electrical engineering/applied mathematics from Polytechnic University. He w
Changing threat requirements and radical budget shifts imply that Navy operational needs will broaden and engineering solutions will face tougher constraints. Existing and emerging technology promise increased combat ... 详细信息
来源: 评论
An accurate model for ambiguity delay simulation
An accurate model for ambiguity delay simulation
收藏 引用
1990 European design Automation Conference, EDAC 1990
作者: Krodel, Thomas H. Antreich, Kurt J. Institute of Computer Aided Design Department of Electrical Engineering Technical University of Munich MunichD-8000 Germany
This paper presents a new approach for the accurate computation of ambiguously delayed waveforms which is implemented in the event-driven logic simulation system LDSIM. Six logic values are defined to be sets of up to... 详细信息
来源: 评论
On automatic testpoint insertion in sequential circuits
On automatic testpoint insertion in sequential circuits
收藏 引用
IEEE International Test Conference
作者: H.H.S. Gundlach K.-D. Muller-Glaser Institute for Computer Aided Circuit Design University Erlangen-Nuünberg Erlangen Germany
A novel tool, called TIP (testpoint insertion program), that serves to improve the testability of a sequential circuit is presented. It automatically identifies locations at which test cells may be inserted is present... 详细信息
来源: 评论
An accurate model for ambiguity delay simulation
An accurate model for ambiguity delay simulation
收藏 引用
European design Automation Conference
作者: T.H. Krodel K.J. Antreich Institute of Computer Aided Design Department of Electrical Engineering Technical University Munich Munich Germany
This paper presents a new approach for the accurate computation of ambiguously delayed waveforms which is implemented in the event-driven logic simulation system LDSIM. Six logic values are defined to be sets of up to... 详细信息
来源: 评论
Sierpinski Sponge in a Simple Generic DiffeomorphismSierpinski‐type self‐similarity is demonstrated in a generic differentiable system
收藏 引用
computer in Physics 1990年 第5期4卷 494-498页
作者: O. E. Rössler M. Klein G. Baier J. Parisi J. Peinke M. Krug J. L. Hudson 1Division of Theoretical Chemistry University of Tübingen 2an experimentalist‐cum‐theoretician in the Institute for Chemical Plant Physiology University of Tübingen 3low‐temperature condensed‐ matter physicists working in nonlinear science at the Physical Institute University of Tüubingen 4computer‐aided drug design at the Pharmaceutical Institute University of Tübingen 5Department of Chemical Engineering University of Virginia at Charlottesville
O. E. Rössler, M. Klein, G. Baier, J. Parisi, J. Peinke, M. Krug, J. L. Hudson; Sierpinski Sponge in a Simple Generic Diffeomorphism: Sierpinski‐type self‐simil
来源: 评论
CAD CAM MANUFACTURING OF PROTOTYPE SHIPBOARD COMPONENTS
收藏 引用
NAVAL ENGINEERS JOURNAL 1990年 第3期102卷 93-99页
作者: CALVERT, TE RODRIGUEZ, FA SLEBZAK, JS Thomas E. Calvert P.E.: is a senior project engineer with the Propulsion and Auxiliary Systems Department David Taylor Research Center Annapolis Md. His interests include application of computers to all aspects of engineering with particular emphasis on utilization of small computers. Mr. Calvert is a licensed professional engineer in Maryland. He received a BSEE from Drexel University in 1969 and since that time has completed a number of graduate courses related to machinery acoustics. Francisco A. Rodriguez:is an engineer with the Propulsion and Auxiliary Systems Department David Taylor Research Center. He was formerly with the Computer-Aided Design/Interactive Graphics Group of the Division of Engineering and Weapons U.S. Naval Academy. His interests include interfacing the computer aided design to the computer aided manufacturing along with related software and hardware development. Mr. Rodriguez received a BSEEfrom the University of Virginia in 1968. James S. Slebzak:is a mechanical engineering technician with the Propulsion and Auxiliary Systems Department David Taylor Research Center. He received his machinists papers in 1971 after serving his apprenticeship at David Taylor Research Center. He continued his education and became the senior numerical control programmer at the Annapolis Laboratory. He completed his mechanical technology degree from Anne Arundel Community College in 1986. His interests are in the application of numerically controlled manufacturing techniques to prototype machinery components.
The machine shop at the Annapolis Laboratory of the David Taylor Research Center (DTRC) provides model making and prototype support to a large variety of naval ship related engineering projects. In order to meet these... 详细信息
来源: 评论
THE HYBRID EDGE - A TOPOLOGICAL DATA STRUCTURE FOR VERTICALLY INTEGRATED GEOMETRIC MODELING
收藏 引用
computer-aided design 1989年 第3期21卷 130-140页
作者: KALAY, YE Computer-Aided Design and Graphics Laboratory School of Architecture and Environmental Design State University of New York at Buffalo 235 Hayes Hall Buffalo NY 14214 USA
Generalizing the computational geometric support for the representation of designed artefacts over multiple different levels of symbolic abstractions (e.g. sketches, solid modelling, and drafting) is discussed. First,... 详细信息
来源: 评论