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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

当前已输入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 条记录，以下是211-220 订阅

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

详细简洁

排序：

Multi-Partner Project: Resilient Time-Sensitive Networks (ResTSN)

Multi-Partner Project: Resilient Time-Sensitive Networks (Re...

引用

design, automation and test in europe conference and Exhibition

作者： Marc Boyer Rafik Henia DTIS ONERA Universitéde Toulouse Toulouse France cortAIx/Labs THALES Palaiseau France

ISBN: (数字)9783982674100

ISBN: (纸本)9798331534646

Faults may appears in embedded networks: vibrations, temperature conditions, cybersecurity attacks, etc. may cause a port to stop sending frames, requiring a network reconfiguration. In real-time networks, the new configuration must continue ensuring real-time guarantees. In the French Resilient Time-Sensitive Networks (ResTSN) project, ONERA and THALES are developing a solution to enable the reconfiguration of embedded Time-Sensitive Networks. This paper presents the core ideas driving the development of the architecture and associated algorithms of TSN reconfiguration. The approach will ultimately be applied on a Multi-Role Armoured Vehicle (MRAV) use-case. This paper also presents our cybersecurity risk assessment approach to the use of TSN on this MRAV use-case.

关键词： Vibrations europe Ethernet Real-time systems Risk management Computer security

来源：评论

学校读者我要写书评

暂无评论

CONFORMAI, design OF TRANSMISSION SHAFT TORQUE testING SYSTEM 9

CONFORMAI, DESIGN OF TRANSMISSION SHAFT TORQUE TESTING SYSTE...

引用

9th International Symposium on test automation and Instrumentation, ISTAI 2022

作者： Jiang, Hongna Ma, Yaping Yan, Hui Chinese Flight Test Establishment Xi'an China

ISBN: (纸本)9781839538391

As three key systems in helicopter design, engine, rotor and transmission system are always the test objects in helicopter flight test. High speed and large centrifugal overload are the working characteristics of the three key systems. In the process of helicopter design and flight test of the three systems, the real-time acquisition and processing of the load data in the working state is an essential task in the helicopter load and strength flight test subiects. Among then, the torque of the transmission shaft is the basic load form of the transmission shaft of the rotating system and an important index of the power output of the rotating parts. Taking the torque measurement of the transmission shaft as an example, this paper provides a conformai design method for the torque measurement of the rotataing parts, which provides a new idea for the torque measurement of the transmission shaft. © 2022 IET conference proceedings. All rights reserved.

关键词： design

来源：评论

学校读者我要写书评

暂无评论

C2C: A Framework for Critical Token Classification in Transformer-Based Inference Systems

C2C: A Framework for Critical Token Classification in Transf...

引用

design, automation and test in europe conference and Exhibition

作者： Myeongjae Jang Jesung Kim Haejin Nam Sihyun Kim Soontae Kim School of Computing KAIST Daejeon Republic of Korea

ISBN: (数字)9783982674100

ISBN: (纸本)9798331534646

Because embedding vectors in a Transformer-based model represent crucial information about input texts, attacks or errors affecting them can cause severe accuracy degradation. We observe critical tokens for the first time, that determine the overall accuracy but their embedding vectors take only a small portion of the embedding table. Therefore, we propose a framework called C2C that classifies the critical tokens to facilitate their protection in a Transformer-based inference system with a small overhead. Using BERT with GLUE datasets, critical embedding vectors take only 13.8% of the embedding table. Compromising critical embedding vectors can reduce accuracy by up to 44.8% even if other parameters are not corrupted.

关键词： Degradation Accuracy europe Transformers Vectors Security Protection

来源：评论

学校读者我要写书评

暂无评论

SoftEx: A Low Power and Flexible Softmax Accelerator with Fast Approximate Exponentiation

SoftEx: A Low Power and Flexible Softmax Accelerator with Fa...

引用

design, automation and test in europe conference and Exhibition

作者： Andrea Belano Yvan Tortorella Angelo Garofalo Luca Benini Davide Rossi Francesco Conti University of Bologna Bologna Italy University of Pavia Pavia Italy ETH Zurich Zurich Switzerland

ISBN: (数字)9783982674100

ISBN: (纸本)9798331534646

Transformer-based models excel in NLP, vision, and audio processing, but the softmax operator can be a performance bottleneck, especially with optimized matrix-multiplication hard-ware. We introduce SoftEx, a parametric accelerator for BF16 softmax, using approximate exponentiation «0.14% relative error) to boost softmax calculation. Integrated into a 12nm octa-core RISC-V cluster together with a matrix-multiplication systolic array, SoftEx reduces time and energy for attention probability computation by up to 10.8x and 26.8x, boosting MobileBERT throughput by 2.17x to 324 GOPS or 1.30 TOPS/W.

关键词： Tensors Neural networks europe Life estimation Transformers Throughput Vectors Systolic arrays Software Engines

来源：评论

学校读者我要写书评

暂无评论

Flight test Scheme design of Flight Simulator Data Package Sound Acquisition for Civil Aircraft 8

Flight Test Scheme Design of Flight Simulator Data Package S...

引用

8th International conference on Mechanical Engineering and automation Science, ICMEAS 2022

作者： Zhixin, Guo COMAC Flight Test Center Flight Engineering Department Shanghai China

ISBN: (数字)9781665463058

ISBN: (纸本)9781665463058

The sound system of flight simulator civil aircraft can provide users with realistic cockpit sound environment, which leads to a higher level of immersion for users. Sound data can be obtained through flight simulator data package sound acquisition flight test, and can be used for modelling and identification of the sound system of flight simulator. In order to improve the efficiency of flight test and obtain accurate sound data, the flight test scheme design of flight simulator data package sound acquisition was researched in this paper. Take the flight simulator data package sound acquisition flight test for a certain aircraft for example, analysis of flight test requirements, flight test scheme design and data analysis and validation were described, which can provide useful reference for similar flight test. © 2022 IEEE.

关键词： Cockpits (aircraft)

来源：评论

学校读者我要写书评

暂无评论

Timing-Driven Global Placement With Hybrid Heuristics and Nadam-Based Net Weighting

Timing-Driven Global Placement With Hybrid Heuristics and Na...

引用

design, automation and test in europe conference and Exhibition

作者： Linhao Lu Wenxin Yu Hongwei Tian Chenjin Li Xinmiao Li Zhaoqi Fu Zhengjie Zhao Jingwei Lu Southwest University of Science and Technology Mianyang Sichuan China TikTok

ISBN: (数字)9783982674100

ISBN: (纸本)9798331534646

Timing optimization is critical to the entire design flow of the very-large-scale integrated (VLSI) circuit, and Global Placement is pivotal in achieving timing closure within the design flow of very-large-scale integration circuits. However, most global placement algorithms focus on optimizing wirelength rather than timing. Therefore, we propose a novel timing-driven global placement algorithm to address this gap. This paper proposes a timing-driven global placement algorithm utilizing a Nadam-based net-weighting strategy. Additionally, we employ a hybrid heuristic approach for adaptive dynamic adjustment of net weights. The experimental results on the ICCAD 2015 contest benchmarks show that compared to the RePlAce, our algorithm significantly improves WNS and TNS by 40.7% and 56.5%, respectively.

关键词： Runtime Heuristic algorithms europe Very large scale integration Benchmark testing Timing Optimization Convergence Investment

来源：评论

学校读者我要写书评

暂无评论

Signal Prediction for Digital Circuits by Sigmoidal Approximations Using Neural Networks

Signal Prediction for Digital Circuits by Sigmoidal Approxim...

引用

design, automation and test in europe conference and Exhibition

作者： Josef Salzmann Ulrich Schmid TU Wien Vienna Austria

ISBN: (数字)9783982674100

ISBN: (纸本)9798331534646

Investigating the temporal behavior of digital circuits is a crucial step in system design, usually done via analog or digital simulation. Analog simulators like SPICE iteratively solve the differential equations characterizing the circuits' components numerically. Although unrivaled in accuracy, this is only feasible for small designs, due to the high computational effort even for short signal traces. Digital simulators use digital abstractions for predicting the timing behavior of a circuit. We advocate a novel approach, which generalizes digital traces to traces consisting of sigmoids, each parameterized by threshold crossing time and slope. For a given gate, we use an artificial neural network for implementing the transfer function that predicts, for any trace of input sigmoids, the parameters of the generated output sigmoids. By means of a prototype simulator, which can handle circuits consisting of inverters and NOR gates, we demonstrate that our approach operates substantially faster than an analog simulator, while offering a much better accuracy than a digital simulator.

关键词： Accuracy Transfer functions Prototypes europe Logic gates SPICE Inverters Timing Digital circuits System analysis and design

来源：评论

学校读者我要写书评

暂无评论

PFASware: Quantifying the Environmental Impact of Per- and Polyfluoroalkyl Substances (PFAS) in Computing Systems

PFASware: Quantifying the Environmental Impact of Per- and P...

引用

design, automation and test in europe conference and Exhibition

作者： Mariam Elgamal Abdulrahman Mahmoud Gu-Yeon Wei David Brooks Gage Hills Harvard School of Engineering and Applied Sciences (SEAS) Mohamed Bin Zayed University of AI (MBZUAI)

ISBN: (数字)9783982674100

ISBN: (纸本)9798331534646

PFAS (per-and poly-fluoroalkyl substances), also known as forever chemicals, are widely used in electronics and semiconductor manufacturing. PFAS are environmentally persistent and bioaccumulative synthetic chemicals, which have recently received considerable regulatory attention. Manufacturing semiconductors and electronics, including integrated circuits (IC), batteries, displays, etc., currently accounts for a staggering 10% of the total PFAS-containing fluoropolymers used in europe alone. Now, computer system designers have an opportunity to reduce the use of PFAS in semiconductors and electronics at the design phase. In this work, we quantify the environmental impact of PFAS in computing systems, and outline how designers can optimize their designs to use less PFAS. We show that manufacturing an IC design at a 7 nm technology node using Extreme Ultraviolet (EUV) lithography uses 20% less volume of PFAS-containing chemicals versus manufacturing the same design at a 7 nm node using Deep Ultraviolet (DUV) immersion lithography (instead of EUV). We also show that manufacturing an IC design at a 16 nm technology node results in 15% less volume of PFAS than manufacturing the same design at a 28 nm node due to its smaller area.

关键词： Integrated circuits Extreme ultraviolet lithography Ultraviolet sources europe Semiconductor device manufacture Batteries Chemicals

来源：评论

学校读者我要写书评

暂无评论

SoftmAP: Software-Hardware Co-design for Integer-Only Softmax on Associative Processors

SoftmAP: Software-Hardware Co-Design for Integer-Only Softma...

引用

design, automation and test in europe conference and Exhibition

作者： Mariam Rakka Jinhao Li Guohao Dai Ahmed Eltawil Mohammed E. Fouda Fadi Kurdahi University of California Irvine CA USA Shanghai Jiao Tong University Shanghai China King Abdullah University of Science and Technology (KAUST) Thuwal Saudi Arabia Rain Neuromorphics Inc. San Francisco CA USA

ISBN: (数字)9783982674100

ISBN: (纸本)9798331534646

Recent research efforts focus on reducing the computational and memory overheads of Large Language Models (LLMs) to make them feasible on resource-constrained devices. Despite advancements in compression techniques, nonlinear operators like Softmax and Layernorm remain bottlenecks due to their sensitivity to quantization. We propose SoftmAP, a software-hardware co-design methodology that implements an integer-only low-precision Softmax using In-Memory Compute (IMC) hardware. Our method achieves up to three orders of magnitude improvement in the energy-delay product compared to A100 and RTX3090 GPUs, making LLMs more deployable without compromising performance.

关键词： Performance evaluation Quantization (signal) Sensitivity Large language models Graphics processing units europe In-memory computing Hardware

来源：评论

学校读者我要写书评

暂无评论

Word-Level Counterexample Reduction Methods for Hardware Verification

Word-Level Counterexample Reduction Methods for Hardware Ver...

引用

design, automation and test in europe conference and Exhibition

作者： Zhiyuan Yan Hongce Zhang Microelectronics Thrust The Hong Kong University of Science and Technology (Guangzhou)

ISBN: (数字)9783982674100

ISBN: (纸本)9798331534646

Hardware verification is crucial to ensure the cor-rectness in the logic design of digital circuits. The purpose of verification is to either find bugs or show their absence. Prior works mostly focus on the bug-finding process and have proposed a range of verification algorithms and techniques to be faster to reach a bug or conclude with a proof of correctness. However, for a human verification engineer, it also matters how to better analyze the counterexamples trace to understand the root cause of bugs. This kind of technique remains absent in word-level circuit analysis. In this paper, we investigate the counterexample reduction method. Given the existing techniques for the bit-level circuit model, we first extend current semantic analysis methods to the word-level counterexample reduction and then develop a more efficient word-level structural analysis approach. We compare the effectiveness and overhead of these methods on the hardware model-checking problems and show the usefulness of such analysis in applications including pivot input analysis, word-level model-checking and counterexample-guided abstraction refinement.

关键词： Analytical models Computer bugs Semantics europe Model checking Hardware Logic design Integrated circuit modeling Circuit analysis Digital circuits

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共381页 << < 18 19 20 21 22 23 24 25 26 27 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：