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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

当前已输入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

分类表

所选分类

>> <<

限定检索结果

文献类型

3,734 篇 会议
65 篇 期刊文献
9 册 图书

馆藏范围

3,808 篇 电子文献
0 种 纸本馆藏

日期分布

学科分类号

2,039 篇 工学
- 1,236 篇 计算机科学与技术...
- 811 篇 电气工程
- 731 篇 控制科学与工程
- 679 篇 软件工程
- 478 篇 电子科学与技术（可...
- 293 篇 机械工程
- 108 篇 信息与通信工程
- 75 篇 材料科学与工程（可...
- 67 篇 仪器科学与技术
- 59 篇 航空宇航科学与技...
- 52 篇 动力工程及工程热...
- 46 篇 力学（可授工学、理...
- 45 篇 土木工程
- 33 篇 建筑学
- 32 篇 交通运输工程
- 31 篇 化学工程与技术
- 29 篇 安全科学与工程
- 25 篇 石油与天然气工程
- 22 篇 冶金工程
- 17 篇 光学工程
546 篇 理学
- 208 篇 数学
- 204 篇 系统科学
- 150 篇 物理学
- 41 篇 统计学（可授理学、...
- 23 篇 化学
- 20 篇 天文学
253 篇 管理学
- 241 篇 管理科学与工程(可...
- 47 篇 工商管理
- 16 篇 图书情报与档案管...
22 篇 经济学
- 22 篇 应用经济学
12 篇 法学
11 篇 教育学
9 篇 医学
8 篇 军事学
2 篇 农学

主题

543 篇 circuit testing
425 篇 europe
373 篇 automatic testin...
368 篇 circuit faults
288 篇 system testing
253 篇 built-in self-te...
247 篇 automatic test p...
223 篇 hardware
214 篇 logic testing
186 篇 test pattern gen...
185 篇 design automatio...
173 篇 costs
137 篇 testing
135 篇 integrated circu...
126 篇 automation
125 篇 fault detection
117 篇 software testing
115 篇 design for testa...
103 篇 sequential circu...
101 篇 circuit simulati...

机构

14 篇 purdue univ sch ...
12 篇 duke univ dept e...
12 篇 electrical and c...
12 篇 electrical & com...
11 篇 synopsys inc.
11 篇 stmicroelectroni...
11 篇 imec leuven
11 篇 mentor graphics ...
11 篇 school of electr...
10 篇 politecnico di t...
10 篇 logic vision inc...
9 篇 dipartimento di ...
9 篇 philips research...
9 篇 dipartimento di ...
9 篇 univ florida dep...
8 篇 technical univer...
8 篇 department of el...
8 篇 at and t bell la...
8 篇 school of electr...
7 篇 computer enginee...

作者

33 篇 kwang-ting cheng
32 篇 reddy sudhakar m...
31 篇 pomeranz irith
25 篇 s.m. reddy
23 篇 m. sonza reorda
23 篇 chakrabarty kris...
22 篇 i. pomeranz
20 篇 sudhakar m. redd...
19 篇 irith pomeranz
18 篇 y. zorian
18 篇 p. prinetto
17 篇 krishnendu chakr...
17 篇 anon
17 篇 cheng kwang-ting
16 篇 a. orailoglu
16 篇 f. corno
14 篇 marinissen erik ...
13 篇 wunderlich hans-...
13 篇 s. dey
13 篇 d. sciuto

语言

3,733 篇 英文
42 篇 其他
32 篇 中文
1 篇 德文
1 篇 土耳其文

检索条件"任意字段=Proceedings of the Conference on Design, Automation and Test in Europe"

共 3808 条记录，以下是151-160 订阅

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

详细简洁

排序：

ML-Based AIG Timing Prediction to Enhance Logic Optimization

ML-Based AIG Timing Prediction to Enhance Logic Optimization

引用

design, automation and test in europe conference and Exhibition

作者： Wenjing Jiang Jin Yan Sachin S. Sapatnekar University of Minnesota Minneapolis MN USA Google DeepMind Mountain View CA USA

ISBN: (数字)9783982674100

ISBN: (纸本)9798331534646

Traditional logic optimization relies on proxy metrics to approximate post-mapping performance and area, which may not correlate well with post-mapping delay and area. This paper explore a ground-truth-based optimization flow that directly incorporates the post-mapping delay and area during optimization using decision tree-based machine learning models. Results show high prediction accuracy and generalization to unseen designs,

关键词： Measurement Accuracy europe Machine learning Delays Logic Decision trees Optimization

来源：评论

学校读者我要写书评

暂无评论

Towards Fast Automatic design of Silicon Dangling Bond Logic

Towards Fast Automatic Design of Silicon Dangling Bond Logic

引用

design, automation and test in europe conference and Exhibition

作者： Jan Drewniok Marcel Walter Samuel Sze Hang Ng Konrad Walus Robert Wille Chair for Design Automation Technical University of Munich Germany Department of Electrical and Computer Engineering University of British Columbia Vancouver Canada Software Competence Center Hagenberg GmbH Austria

ISBN: (数字)9783982674100

ISBN: (纸本)9798331534646

In recent years, Silicon Dangling Bond (SiDB) logic has emerged as a promising beyond-CMOS technology. Unlike conventional circuit technology, where logic is realized through transistors, SiDB logic utilizes quantum dots with variable charge states. By strategically arranging these dots, logic functions can be constructed. However, determining such arrangements is a tremendously complex task. Because of that, the automatic obtainment of SiDB logic implementations is inefficient. To address this challenge, we propose an idea to speed up the design process by utilizing dedicated search space pruning strategies. Initial results show that the combined pruning techniques yield 1) a drastic reduction of the search space, and 2) a corresponding reduction in runtime by up to a factor of 33.

关键词： Runtime Quantum dots europe Logic gates Logic functions Silicon Logic Transistors Standards

来源：评论

学校读者我要写书评

暂无评论

FrEDDY: Modular and Efficient Framework to Engineer Decision Diagrams Yourself

FrEDDY: Modular and Efficient Framework to Engineer Decision...

引用

design, automation and test in europe conference and Exhibition

作者： Rune Krauss Jan Zielasko Rolf Drechsler DFKI Bremen Germany University of Bremen / DFKI Bremen Germany

ISBN: (数字)9783982674100

ISBN: (纸本)9798331534646

The hardware complexity in electronic devices used by today's society has increased significantly in recent decades due to technological progress. In order to cope with this complexity, data structures and algorithms in electronic design automation must be continuously improved. Decision Diagrams (DDs) are an important data structure in the design and analysis of circuits because they allow efficient algorithms for their manipulation. The practical relevance of DDs leads to an ongoing quest for appropriate software solutions that enable working with different DD types. Unfortunately, existing DD software libraries focus either on efficiency or usability. Consequences are a disproportionately high effort for extensions or considerable loss of performance. To tackle these issues, a modular and efficient Framework to Engineer Decision Diagrams Yourself (FrEDDY) is proposed in this paper. Various experiments demonstrate that no compromise with regard to performance has to be made when using FrEDDY. It is on par with or clearly more efficient than established DD libraries.

关键词： Software libraries design automation Software algorithms Circuits europe Data structures Software Hardware Complexity theory Usability

来源：评论

学校读者我要写书评

暂无评论

Research on Control System design of Automobile Wind Tunnel Model test

Research on Control System Design of Automobile Wind Tunnel ...

引用

2023 Asia-europe conference on Electronics, Data Processing and Informatics, ACEDPI 2023

作者： Han, Dan Zhuhai College of Science and Technology Guangdong Zhuhai519041 China

ISBN: (纸本)9798350301151

This paper studies the overall control strategy of the automobile wind tunnel measurement and control system, and focuses on the research of the stable wind speed control system of the automobile wind tunnel. This paper presents a distributed networked wind tunnel measurement and control system based on PC. This paper mainly introduces the overall design scheme and each module design scheme of the vehicle wind tunnel model experiment control system. We compare and analyze the simulation results of fuzzy PID controller and traditional PID controller. The simulation results show that fuzzy PID control has good real-time performance and fast response, can effectively eliminate the steady-state error, greatly improve the robustness of the system to adapt to external interference and internal parameter changes, reduce overshoot, and improve the dynamic characteristics. It is an ideal control strategy for wind tunnel wind speed control system. © 2023 IEEE.

关键词： Wind tunnels

来源：评论

学校读者我要写书评

暂无评论

Comprehensive RISC- V Floating-Point Verification: Efficient Coverage Models and Constraint-Based test Generation

Comprehensive RISC- V Floating-Point Verification: Efficient...

引用

2025 design, automation and test in europe conference, DATE 2025

作者： Lu, Tianyao Liu, Anlin Xia, Bingjie Liu, Peng College of Information Science and Electronic Engineering Zhejiang University Hangzhou310027 China

ISBN: (纸本)9783982674100

The increasing complexity of processor architectures necessitates more rigorous functional verification. Floating-point operations, in particular, present significant challenges due to their extensive range of computational cases that require verification. This paper proposes a comprehensive approach for generating floating-point instruction sequences to enhance the verification of RISC-V. We introduce a constraint-based method for floating-point test generation and design efficient coverage models as input constraints for this process. The resulting representative floating-point tests are integrated with RISC-V instruction sequence generation through a memory-bound register update method. Experimental results demonstrate that our approach improves the functional coverage of RISC-V floating-point instruction sequences from 93.32% to 98.34%, while simultaneously reducing the number of required instructions by 66.67% compared to the Google RISCV-DV generator. Additionally, our method achieves more comprehensive coverage of floating-point types in instruction write-back data compared to RISCV-DV. Using the proposed approach, we successfully detect representative floating-point-related faults injected into the RISC-V processor CV32E40P, thereby demonstrating its effectiveness. © 2025 EDAA.

关键词： Digital arithmetic

来源：评论

学校读者我要写书评

暂无评论

A Multi-channel pneumatic servo positive or negative pressure integrated console for structural strength air tightness test 4

A Multi-channel pneumatic servo positive or negative pressur...

引用

4th International conference on Mechanical, Electronics, and Electrical and automation Control, METMS 2024

作者： Yao, Jianping Liu, Jing Zheng, Yatian Zhang, Weiyi National Key Laboratory of Strength and Structural Integrity Aircraft Strength Research Institute of China Xi'an710065 China

ISBN: (数字)9781510679887

ISBN: (纸本)9781510679870

In the static and fatigue tests of full-scale aircraft structures, it is necessary to conduct air tightness assessments on key components such as the fuel tank, cockpit, and fuselage. Through air tightness assessment, it can be found whether each component has defects, damage or wear, as well as whether it meets design specifications and quality requirements. If the airtightness of key components is poor and air leakage occurs, it is likely to reduce work efficiency and even cause safety accidents. The airtightness assessment of key components such as fuel tanks, cockpit, and fuselage plays a crucial role in improving the performance and safety of aircraft. Therefore, there is an urgent need to develop multi-channel air tightness test loading equipment to solve the urgent need of model test. This paper mainly uses air pressure as the power source, uses mature universal servo control execution components to achieve inflation and deflation control, and designs a dedicated control circuit to process the control signals of the multi-channel loading system. A multi-channel pneumatic servo positive or negative pressure comprehensive control console is developed, and technical verification is carried out. It has been applied in full-scale structural fatigue testing. © 2024 SPIE.

关键词： Airframes

来源：评论

学校读者我要写书评

暂无评论

5th International Russian automation conference, RusAutoCon 2023

5th International Russian Automation Conference, RusAutoCon ...

引用

5th International Russian automation conference, RusAutoCon 2023

ISBN: (纸本)9783031511264

The proceedings contain 46 papers. The special focus in this conference is on Russian automation. The topics include: Using the Long Functional Series in Technical Systems and Increasing Their Efficiency Due to Recurrent Formulae;models of the Early Stage in Digital design;features of the Decomposition of Nonlinear Processes and Systems Within the Framework of the System Approach;nonlinear Control of Thermoelectric Peltier Moduls for Climate Management Systems in Agro-Industrial Complex;method of Formation of an Artificial Multiphase Field of a Specified Structure During Phase-Metric Technological Control;modeling of Spectral Characteristics of the Links of Phase Distortions Autocompensator of Direct Digital Synthesizers;method for Taking into Account Measurement Errors When Sorting Elements into Selective Groups;deformable Linear Objects Modeling and Manipulation: An Energy-Based Approach;combining Disparate Units of a Quasi-Intelligent Decoder;search for Structurally Similar Projects of Software Systems;The Concept of a Software Module for Automating the Route design of Mechanical Processing Machine Parts for Use as Part of a Machine-Building CAD System;PID Based Path Follower for the MiddleAUV on the test Polygon;a Robust Control Algorithm for the Hybrid Power Filter Operating Under Real Grid Conditions;Using PM4Py for Process Mining in an Educational Organization;management of Student Physical Training for Professional Activity as Part of Engineering Education in Digital Era;Approach to Developing Custom Screens for Monitoring the Status of CNC Machines Using Web Components;development of a Decision Support System for Helpdesk-Service Based on the Processor for Natural Language Text Classification.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Late Breaking Results: Leveraging Approximate Computing for Carbon-Aware DNN Accelerators

Late Breaking Results: Leveraging Approximate Computing for ...

引用

design, automation and test in europe conference and Exhibition

作者： Aikaterini Maria Panteleaki Konstantinos Balaskas Georgios Zervakis Hussam Amrouch Iraklis Anagnostopoulos Southern Illinois University Carbondale University of Patras Technical University of Munich

ISBN: (数字)9783982674100

ISBN: (纸本)9798331534646

The rapid growth of Machine Learning (ML) has increased demand for DNN hardware accelerators, but their embodied carbon footprint poses significant environmental challenges. This paper leverages approximate computing to design sustainable accelerators by minimizing the Carbon Delay Product (CDP). Using gate-level pruning and precision scaling, we generate area-aware approximate multipliers and optimize the accelerator design with a genetic algorithm. Results demonstrate reduced embodied carbon while meeting performance and accuracy requirements.

关键词： Accuracy Approximate computing europe Machine learning Logic gates Delays Carbon Carbon footprint Hardware acceleration Genetic algorithms

来源：评论

学校读者我要写书评

暂无评论

Law as a design Consideration for Automated Vehicles Suitable to Transport Intoxicated Persons

Law as a Design Consideration for Automated Vehicles Suitabl...

引用

design, automation and test in europe conference and Exhibition

作者： William H. Widen Marilyn C. Wolf School of Law University of Miami Miami FL USA School of Computing University of Nebraska – Lincoln Lincoln NE USA

ISBN: (数字)9783982674100

ISBN: (纸本)9798331534646

This essay explains why an automated vehicle (AV) manufacturer should consider law during the design process for an AV intended as “fit-for-purpose” to transport intoxicated persons. It suggests that management, marketing, engineering and legal functions collaborate to develop product requirements and specifications that shield owner/occupants from criminal liability for DUI manslaughter, negligent homicide and similar charges, as well as guard against civil liability. This collaboration should occur for AV deployments in any state of the United States and in european countries.

关键词： Ethics Law europe Collaboration Machine learning Cyber-physical systems Safety Autonomous automobiles Security Certification

来源：评论

学校读者我要写书评

暂无评论

2023 3rd International conference on Mechatronics, automation and Intelligent Control, MAIC 2023

2023 3rd International Conference on Mechatronics, Automatio...

引用

2023 3rd International conference on Mechatronics, automation and Intelligent Control, MAIC 2023

The proceedings contain 37 papers. The topics discussed include: bond graph model study of the jet dispensing valve;a multi-objective segmentation scheduling method for the flexible dismantling of retired power batteries taking into account transfer time;structural design and obstacle-crossing performance analysis of a compact anti-terrorist robot;precision measurement of dimension over two pins of flexspline of harmonic reducer;on-line detection of pressure vessel based on infrared imaging technology;design of batch automatic testing system based on electric cylinder;structure design and implementation of a two-axis four-gimbal electro-optical pod;design and analysis of automatic heat sealing production line for a top cover;a study on recorder airworthiness mechanical properties of airborne data;and a data-driven UUV decision-making test strategy design method.

关键词：

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共381页 << < 12 13 14 15 16 17 18 19 20 21 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：