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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

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

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

详细简洁

排序：

design and testing of a test Bench for Hybrid Train Powered by Hydrogen Fuel Cells and Batteries 24

Design and Testing of a Test Bench for Hybrid Train Powered ...

引用

24th EEEIC International conference on Environment and Electrical Engineering and 8th I and CPS Industrial and Commercial Power Systems europe, EEEIC/I and CPS europe 2024

作者： Cava, Carmine D'Alvia, Livio Ugento, Renato Gagliardi, Gabriele G. Cosentini, Carlotta Apa, Ludovica Rizzuto, Emanuele Ruvio, Alessandro Del Prete, Zaccaria Borello, Domenico Sapienza University of Rome Dept. of Astronautical Electrical and Energy Engineering Rome Italy Sapienza University of Rome Dept. of Mechanical and Aerospace Engineering Rome Italy

ISBN: (纸本)9798350355185

Rail transportation is one of the most important sectors for transporting commodities and people. Complementary non-electrified rail lines that still use diesel-powered trains should be converted to increase sustainability. This paper presents the preliminary design and experimental validation of a scaled test bench for the application of a fuel cell/battery system for a railway traction vehicle. For this purpose, a data measurement station is implemented in the LabVIEW environment. Experimental tests are carried out to evaluate the main operating parameters and characterize its main components. A real pathway is used as input for the tests. In the specific range of use, the battery shows more excellent stability and higher electrical efficiency than the fuel cell. © 2024 IEEE.

关键词： Hydrogen fuels

来源：评论

学校读者我要写书评

暂无评论

Towards Automatic design and Verification for Level 3 of the european Train Control System

Towards Automatic Design and Verification for Level 3 of the...

引用

design, automation and test in europe conference and Exhibition (DATE)

作者： Wille, Robert Peham, Tom Przigoda, Judith Przigoda, Nils Johannes Kepler Univ Linz Inst Integrated Circuits Linz Austria Software Competence Ctr Hagenberg GmbH SCCH Hagenberg Austria Siemens Mobil GmbH Braunschweig Germany

ISBN: (纸本)9783981926354

For centuries, block signaling has been the fundamental principle of today's railway systems to prevent trains from running into each other. But the corresponding infrastructure of physical blocks each requiring train detection methods is costly. Therefore, initiatives such as the european Train Control System (ETCS) and, here, particularly Level 3 of ETCS aim for the utilization of virtual sections which allow for a much higher degree of freedom and provide significant potential for increasing the efficiency in today's train schedules. However, exploiting this potential is a highly non-trivial task which, thus far, mainly relied on manual labor. In this work, we provide an initial automatic methodology which aids designers of corresponding railway networks and train schedules. The methodology utilizes design automation expertise (here, in terms of satisfiability solvers) to unveil the potential of ETCS Level 3. Case studies (including a real-life example inspired by the Norwegian Railways) confirm the applicability and suitability of the proposed methodology.

关键词： Schedules design automation design methodology europe Manuals Block signalling Rail transportation

来源：评论

学校读者我要写书评

暂无评论

Improving Chip design Enablement for Universities in europe - A Position Paper

Improving Chip Design Enablement for Universities in Europe ...

引用

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

作者： Krupp, Lukas O'Connor, Ian Benini, Luca Studer, Christoph Rodrigues, Joachim Wehn, Norbert Rptu University of Kaiserslautern-Landau Germany École Centrale de Lyon France Eth Zurich Switzerland University of Bologna Italy Lund University Sweden

ISBN: (纸本)9783982674100

The semiconductor industry is pivotal to europe's economy, especially within the industrial and automotive sectors. However, europe faces a significant shortfall in chip design capabilities, marked by a severe skilled labor shortage and lagging contributions in the design value chain segment. This paper explores the role of european universities and academic initiatives in enhancing chip design education and research to address these deficits. We provide a comprehensive overview of current european chip design initiatives, analyze major challenges in recruitment, productivity, technology access, and design enablement, and identify strategic opportunities to strengthen chip design capabilities within academic institutions. Our analysis leads to a series of recommendations that highlight the need for coordinated efforts and strategic investments to overcome these challenges. © 2025 EDAA.

关键词： Printed circuit design

来源：评论

学校读者我要写书评

暂无评论

design of the EPS Motor automation test System 8

Design of the EPS Motor Automation Test System

引用

8th International conference on Energy System, Electricity, and Power, ESEP 2023

作者： Zhang, Guoqi He, Yongyi Liu, Xingang School of Mechatronic Engineering and Automation Shanghai University Shanghai China Key Laboratory of Intelligent Manufacturing and Robots Shanghai China

ISBN: (数字)9781510679801

ISBN: (纸本)9781510679795

The rapid global development of electric vehicles has heightened the imperative for exacting performance assessments of Electric Power Steering (EPS) systems, a pivotal subsystem within the automotive domain[13]. This research focuses on the EPS automated testing equipment as the research subject, proposing an automated testing system solution for EPS motors in new energy vehicles based on the testing requirements of the entire vehicle factory. The system is primarily composed of three parts: a testing platform, a control cabinet, and an industrial computer, incorporating both hardware devices and software programs. Its purpose is to conduct motor performance tests specifically tailored for EPS power-assisted motors. The testing system can achieve automated execution, data collection, and data analysis, displaying test results and saving test reports. Experimental findings affirm that the motor testing system demonstrates elevated stability and reliability, contributing significantly to the enhancement of testing efficiency and precision, as substantiated by relevant academic literature. © 2024 SPIE.

关键词： Vehicle performance

来源：评论

学校读者我要写书评

暂无评论

GPU4S: Major Project Outcomes, Lessons Learnt and Way Forward

GPU4S: Major Project Outcomes, Lessons Learnt and Way Forwar...

引用

design, automation and test in europe conference and Exhibition (DATE)

作者： Kosmidis, Leonidas Rodriguez, Ivan Jover-Alvarez, Alvaro Alcaide, Sergi Lachaize, Jerome Notebaert, Olivier Certain, Antoine Steenari, David Univ Politecn Catalunya UPC Barcelona Spain Barcelona Supercomp Ctr BSC Barcelona Spain Airbus Def & Space Toulouse France European Space Agcy Noordwijk Netherlands

ISBN: (纸本)9783981926354

Embedded GPUs have been identified from both private and government space agencies as promising hardware technologies to satisfy the increased needs of payload processing. The GPU4S (GPU for Space) project funded from the european Space Agency (ESA) has explored in detail the feasibility and the benefit of using them for space workloads. Currently at the closing phases of the project, in this paper we describe the main project outcomes and explain the lessons we learnt. In addition, we provide some guidelines for the next steps towards their adoption in space.

关键词： Government Graphics processing units europe Hardware Payloads Guidelines

来源：评论

学校读者我要写书评

暂无评论

proceedings of the 2023 International conference on Instrumentation, Control, and automation, ICA 2023

Proceedings of the 2023 International Conference on Instrume...

引用

8th International conference on Instrumentation, Control, and automation, ICA 2023

ISBN: (纸本)9798350301274

The proceedings contain 59 papers. The topics discussed include: reactant control strategies for maximizing efficiency in open cathode PEM fuel cell;mechanical system of spinal needle puncture test;an optimum tuning of machine learning methods for predicting magnetorheological damper damping force for shock and vibration mitigation;development of a color tone-based system for region of origin classification design;generalized versus specific boundary conditions for CFD in vertebral-basilar artery;propagation enhancement factor in the spin hall effect of light (SHEL) observation for smooth optics measurement;and gelatine-based phantom for simulating A-line reverberations in lung ultrasonogram.

关键词：

来源：评论

学校读者我要写书评

暂无评论

2024 10th International conference on Control, automation and Robotics, ICCAR 2024

2024 10th International Conference on Control, Automation an...

引用

10th International conference on Control, automation and Robotics, ICCAR 2024

ISBN: (纸本)9798350373172

The proceedings contain 56 papers. The topics discussed include: application of PID controller for controlling paddy temperature in hot air pneumatic drying process;test tube assortment using SCARA robot platform;design of an unmanned bee breeding box control system based on stm32;lower limb continuous motion recognition based on DCWT-residual attention network for sEMG signals;torque measurement using regression-based calibration approaches;a mobile robot perspective;fluctuation analysis of electromagnetic force in magnetic levitation planar motor;factor graph optimization for real-time positioning in unmanned driving;a WLS-based step-by-step identification method for industrial robot dynamics parameters;and an imitation learning-based approach for enabling plant-like tropic abilities in a redundant soft continuum arm.

关键词：

来源：评论

学校读者我要写书评

暂无评论

design of Multifunctional Built-in test System for Communication Equipment 16

Design of Multifunctional Built-in Test System for Communica...

引用

16th IEEE International conference on Electronic Measurement and Instruments, ICEMI 2023

作者： Luo, Guangkun Wei, Yangbin Cao, Jiawei Li, Hao Wang, Zhigang Li, Xuyang School of Automation Engineering University of Electronic Science and Technology of China Chengdu China

ISBN: (纸本)9798350327144

Aiming at the needs of fast, timely and low complexity field test and maintenance of modern communication equipment, this paper designs a multifunctional communication equipment built-in test (BIT) system, and gives a detailed software and hardware design scheme. The system can quickly test and diagnose the RF, IF and LF modules in the communication equipment. The verification results show that the functional modules of the system can stably obtain the status data, and display the test data and diagnosis results in multiple styles, which meets the system design requirements. The system architecture can also provide reference for the research, design and implementation of built-in test technology for other equipment. © 2023 IEEE.

关键词： Software testing

来源：评论

学校读者我要写书评

暂无评论

Towards Coherent Semantics: A Quantitatively Typed EDSL for Synchronous System design

Towards Coherent Semantics: A Quantitatively Typed EDSL for ...

引用

design, automation and test in europe conference and Exhibition

作者： Rui Chen Ingo Sander School of EECS KTH Royal Institute of Technology Stockholm Sweden

We present SynQ, an embedded DSL (EDSL) targeting synchronous system design with quantitative types. SynQ is designed to facilitate semantically coherent system design processes by language embedding and advanced type... 详细信息

ISBN: (数字)9783982674100

ISBN: (纸本)9798331534646

关键词： Embedded systems Semantics europe DSL System analysis and design Domain specific languages

来源：评论

学校读者我要写书评

暂无评论

Compositional Pre-processing for Automated Reasoning in Dependent Type Theory 2023

Compositional Pre-processing for Automated Reasoning in Depe...

引用

12th ACM SIGPLAN International conference on Certified Programs and Proofs (CPP)

作者： Blot, Valentin Cousineau, Denis Crance, Enzo de Prisque, Louise Dubois Keller, Chantal Mahboubi, Assia Vial, Pierre Univ Paris Saclay LMF INRIA Gif Sur Yvette France Mitsubishi Elect R&d Ctr Europe Rennes France Nantes Univ LS2N Mitsubishi Elect R&D Ctr Europe Nantes France Univ Paris Saclay LMF Gif Sur Yvette France Nantes Univ INRIA LS2N Nantes France

ISBN: (纸本)9798400700262

In the context of interactive theorem provers based on a dependent type theory, automation tactics (dedicated decision procedures, call of automated solvers, ...) are often limited to goals which are exactly in some expected logical fragment. This very often prevents users from applying these tactics in other contexts, even similar ones. This paper discusses the design and the implementation of pre-processing operations for automating formal proofs in the Coq proof assistant. It presents the implementation of a wide variety of predictible, atomic goal transformations, which can be composed in various ways to target different backends. A gallery of examples illustrates how it helps to expand significantly the power of automation engines.

关键词： interactive theorem proving Calculus of Inductive Constructions Coq automated reasoning arithmetic pre-processing

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共381页 << < 7 8 9 10 11 12 13 14 15 16 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：