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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

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

分类表

所选分类

>> <<

限定检索结果

文献类型

2,053 篇 会议
51 册 图书
46 篇 期刊文献

馆藏范围

2,150 篇 电子文献
0 种 纸本馆藏

日期分布

学科分类号

1,274 篇 工学
- 1,024 篇 计算机科学与技术...
- 583 篇 软件工程
- 254 篇 电气工程
- 157 篇 控制科学与工程
- 69 篇 信息与通信工程
- 50 篇 机械工程
- 42 篇 材料科学与工程（可...
- 36 篇 电子科学与技术（可...
- 18 篇 安全科学与工程
- 15 篇 交通运输工程
- 12 篇 仪器科学与技术
- 12 篇 土木工程
- 12 篇 化学工程与技术
- 12 篇 生物医学工程（可授...
- 12 篇 生物工程
- 11 篇 冶金工程
- 11 篇 动力工程及工程热...
- 10 篇 建筑学
296 篇 理学
- 227 篇 数学
- 39 篇 物理学
- 39 篇 统计学（可授理学、...
- 34 篇 系统科学
- 22 篇 生物学
- 16 篇 化学
119 篇 管理学
- 84 篇 管理科学与工程(可...
- 37 篇 工商管理
- 32 篇 图书情报与档案管...
47 篇 教育学
- 46 篇 教育学
25 篇 医学
- 24 篇 临床医学
10 篇 法学
- 10 篇 社会学
9 篇 经济学
5 篇 农学
4 篇 文学

主题

172 篇 logic gates
137 篇 fuzzy logic
129 篇 programming
118 篇 linear programmi...
94 篇 logic programmin...
65 篇 probabilistic lo...
59 篇 dynamic programm...
57 篇 optimization
52 篇 semantics
50 篇 training
49 篇 computer science
48 篇 logic
44 篇 object oriented ...
42 篇 computer archite...
41 篇 computational mo...
38 篇 hardware
38 篇 artificial intel...
37 篇 java
36 篇 computer program...
35 篇 software

机构

6 篇 laboratory of co...
5 篇 stevens inst tec...
5 篇 institute of log...
5 篇 university of to...
5 篇 institute for lo...
5 篇 chinese univ hon...
4 篇 univ oxford oxfo...
4 篇 school of electr...
4 篇 ibm corp thomas ...
3 篇 north carolina s...
3 篇 creighton univ o...
3 篇 univ politecn ca...
3 篇 ecole polytech f...
3 篇 tu wien austria
3 篇 department of co...
3 篇 department of el...
3 篇 rhein westfal th...
3 篇 school of comput...
3 篇 univ tokyo
3 篇 school of mathem...

作者

7 篇 inoue katsumi
5 篇 sakama chiaki
5 篇 gupta gopal
4 篇 wang liang
4 篇 iosif radu
4 篇 pontelli enrico
4 篇 liang wang
4 篇 tompits hans
4 篇 beck j. christop...
3 篇 kumar amruth n.
3 篇 chopra amit k.
3 篇 proietti maurizi...
3 篇 il han park
3 篇 m.-r. akbarzadeh...
3 篇 wei li
3 篇 riguzzi fabrizio
3 篇 schaub torsten
3 篇 melin p
3 篇 leonidas deligia...
3 篇 mcdirmid sean

语言

2,101 篇 英文
35 篇 其他
15 篇 中文
2 篇 葡萄牙文
1 篇 西班牙文
1 篇 法文

检索条件"任意字段=22nd International Conference on Logic Programming"

共 2150 条记录，以下是751-760 订阅

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

详细简洁

排序：

Research on High Power Density SiC Mosfet Driver Circuit

Research on High Power Density SiC Mosfet Driver Circuit

引用

international conference on Electrical Machines and Systems (ICEMS)

作者： Shaokun Zhang Guolin He Dan Zheng Tao Fan Xuhui Wen Institute of Electrical Engineering of Chinese Academy of Sciences Beijing P.R. China

ISBN: (纸本)9781728133997

Compared with silicon (Si) power devices, silicon carbide (SiC) power devices have higher doping concentrations, wider band gaps, and lower on-state impedance at high voltages, so they can be used to increase switching frequency in high-power applications. Reduce the volumetric weight of the converter and increase the power density. According to the switching characteristics of SiC MOSFET, a driving circuit of SiC MOSFET is designed. The paper focuses on how the commercial driver chip can better use the supersaturation detection circuit on SiC MOSFET and perform double pulse experiment on 1200V/300A SiC module. The switching time, switching loss and crosstalk of the upper and lower tubes were measured experimentally. The effects of different resistance driving resistors on the switching behavior of SiC MOSFET modules were analyzed. In addition, a high-power test was conducted on a controller with a peak power of 81 kW, and the reliability and anti-interference of the drive circuit were fully tested and verified.

关键词： MOSFET Silicon carbide Electron tubes logic gates Switches Threshold voltage Crosstalk

来源：评论

学校读者我要写书评

暂无评论

Research on Parallel Current Sharing Scheme of 1200V/100A SiC MOSFET

Research on Parallel Current Sharing Scheme of 1200V/100A Si...

引用

international conference on Electrical Machines and Systems (ICEMS)

作者： Jiaming Tu Hongqi Ben Tao Meng Zhuyuan Yao Jichao Ning Hongning Yu School of Electrical Engineer and Automation Harbin Institute of Technology Harbin China

ISBN: (纸本)9781728133997

The superior characteristics of silicon carbide devices have attracted great attention from all over the world. Due to the outstanding advantages of SiC MOSFET, such as high frequency, high operating temperature, high power level and so on, they can increase the power density and reduce cooling requirements. However, SiC MOSFET are at the stage of development. It is necessary to do well in device modeling and device testing before using them. In some high-power situations, the power level of SIC MOSFET is still not up to the requirement. It needs to be used in parallel, thus a great current sharing effect is indispensable. In this paper, the model of SiC MOSFET FF11MR12W1M1-B11 is built and verified to be correct by simulation. The external parameters and internal parameters that affect the parallel current sharing effect are analyzed, based on which, a current sharing scheme is proposed and verified.

关键词： Silicon carbide MOSFET Integrated circuit modeling logic gates Mathematical model Semiconductor device modeling Inductance

来源：评论

学校读者我要写书评

暂无评论

Neuro-Fuzzy Traffic Signal Control in Urban Traffic Junction

Neuro-Fuzzy Traffic Signal Control in Urban Traffic Junction

引用

international conference on Control Systems and Computer Science (CSCS)

作者： Andrei C. Nae Ioan Dumitrache Faculty of Automatic Control and Computer Science University Politehnica Bucharest Bucharest Romania

This work is based on the implementation of new concepts for adaptive traffic signal controller using a neurofuzzy system approach and simulations on reference test cases. In our neuro-fuzzy controller, the parameters of the fuzzy membership functions are adjusted using a neural network. The neural learning algorithm may then be considered as reinforcement learning. However, the major difficulty for this neuro-fuzzy system under consideration is such that the most usual neural learning algorithms cannot be used. A specific learning algorithm is proposed to be used both for constant traffic volumes and also for changing volumes. Starting from the initial membership functions, the learning algorithm modifies the parameters of the membership functions in different ways at different but constant traffic volumes. The membership functions after the proposed learning algorithm produce smaller delays than the initial membership functions. An additional contribution is for specific changes in the rule base of the fuzzy traffic signal controller in order to reduce delays in various traffic volumes conditions in a test/reference traffic junction.

关键词： Neurons Fuzzy logic Adaptation models Training Artificial neural networks Junctions Adaptive systems

来源：评论

学校读者我要写书评

暂无评论

Executable Modelling for Highly Parallel Accelerators

Executable Modelling for Highly Parallel Accelerators

引用

ACM/IEEE international conference on Model Driven Engineering Languages and Systems Companion

作者： Lorenzo Addazi Federico Ciccozzi Bjorn Lisper School of Innovation Design and Engineering Malardalen University

ISBN: (纸本)9781728151267

High-performance embedded computing is developing rapidly since applications in most domains require a large and increasing amount of computing power. On the hardware side, this requirement is met by the introduction of heterogeneous systems, with highly parallel accelerators that are designed to take care of the computation-heavy parts of an application. There is today a plethora of accelerator architectures, including GPUs, many-cores, FPGAs, and domain-specific architectures such as AI accelerators. They all have their own programming models, which are typically complex, low-level, and involve explicit parallelism. This yields error-prone software that puts the functional safety at risk, unacceptable for safety-critical embedded applications. In this position paper we argue that high-level executable modelling languages tailored for parallel computing can help in the software design for high performance embedded applications. In particular, we consider the data-parallel model to be a suitable candidate, since it allows very abstract parallel algorithm specifications free from race conditions. Moreover, we promote the Action Language for fUML (and thereby fUML) as suitable host language.

关键词： Parallel programming fUML Alf UML Modelling languages High-performance computing Data-parallelism Executable models High Performance Computing Parallel programming modelling languages UML data parallel computational power Accelerators GTF2A1L gene Software design Accelerator architectures embedded application Position Papers HETEROGENEOUS SYSTEM

来源：评论

学校读者我要写书评

暂无评论

Design of a Low Power Consumption Control System of Permanent Magnet Synchronous Motor for Automated Guided Vehicle

Design of a Low Power Consumption Control System of Permanen...

引用

international conference on Electrical Machines and Systems (ICEMS)

作者： Zhikang Qian Qiyi Guo Minh-Trien Pham Wei Li School of Electronic and Information Engineering Tongji University Shanghai China VNU University of Engineering and Technology Vietnam National University Hanoi Vietnam

ISBN: (纸本)9781728133997

Permanent Magnet Synchronous Motor (PMSM) is widely used in industrial control fields such as numerical control machine tools and transfer robots due to its excellent speed regulation performance. As a typical representative of transfer robots, Automated Guided Vehicle (AGV) has attracted extensive attention and research. PMSM control system for AGV is specified on many aspects, such as small size, high power density and low power consumption. In this paper, the control system of PMSM for AGV is studied, including the design of hardware circuit and software control algorithm. STM32's abundant on-chip resources are fully utilized and Intelligent control strategies such as space vector pulse width modulation and fuzzy PID control are adopted to control the system in real time. By experimental test and results analysis, the control system designed in this paper shows good dynamic performance and low power consumption.

关键词： PI control PD control MOSFET Power supplies Resistance logic gates

来源：评论

学校读者我要写书评

暂无评论

Implementation of Multi-objective Particle Swarm Optimization in Distribution Network for High-efficiency Allocation and Sizing of SAPFs

Implementation of Multi-objective Particle Swarm Optimizatio...

引用

international conference on Electrical Machines and Systems (ICEMS)

作者： Zebin Yang Fang Zhuo Ran Tao Ziqian Zhang Hao Yi Meng Wang Chengzhi Zhu School of Electrical Engineering Xi’an Jiaotong University Xi’an China Institute of Electrical Power Systems Graz University of Technology Graz Austria Zhejiang Electric Power Corporation Hangzhou China

ISBN: (纸本)9781728133997

The traditional control strategies of shunt active power filter (SAPF) is primarily focused on the compensation of local non-linear loads, which may become uneconomical for the network with a number of distributed non-linear loads. In this paper, two methods applied to the allocation and sizing of multiple shunt active filters in distribution network are proposed and compared, including an improved particle swarm optimization (PSO) algorithm with one mixed objective function and a multi-objective particle swarm optimization (MOPSO) algorithm. To evaluate the capability of the proposed methods, the IEEE 18-bus test system is employed in simulation. Simulation results confirms that both methods can achieve the goal but the MOPSO-based algorithm is more efficient and universal in the allocation and sizing of multiple SAPFs compared with the PSO based algorithm.

关键词： Harmonic analysis Power harmonic filters Linear programming Resource management Heuristic algorithms Pareto optimization

来源：评论

学校读者我要写书评

暂无评论

Optimization of IPMSM Barrier Shape Based on Neural Network

Optimization of IPMSM Barrier Shape Based on Neural Network

引用

international conference on Electrical Machines and Systems (ICEMS)

作者： JuKyung Cha Sung-Bae Jun Yong-Jae Kim Sang-Yong Jung School of Electronic and Electrical Engineering Sungkyunkwan University Suwon South Korea Department of Electrical Engineering Chosun University Gwangju South Korea

This paper presents an Interior Permanent Magnet Machine(IPMSM) barrier shape optimization method using a neural network. To express the detailed shape of the barrier, the region of the barrier is divided into small parts. And the material property of these parts is set as a variable. As the number of the variable is increased, the neural network is applied to express the complex relationship of variables an performance of the machine. The neural network is trained with random datasets generated with Finite Element Analysis (FEA). These random datasets are generated by assigning the materials of each part randomly between 'Core' and 'Air'. In this paper, the average torque of IPMSM is set as optimizing value. A neural network is trained with input data of materials and output of average torque of IPMSM model. Structure of the neural network is decided by considering the fitness of test dataset. Using this trained neural network, the average torque of every possible barrier shape can be guessed. By examining the shape with high torque output, shape characteristics are identified,x and optimized model is suggested.

关键词： Shape Torque Biological neural networks Linear programming Atmospheric modeling Torque measurement

来源：评论

学校读者我要写书评

暂无评论

Approach of the hierarchical analytic process diffuse to manage the Vehicular traffic 22

Approach of the hierarchical analytic process diffuse to man...

引用

22nd World Multi-conference on Systemics, Cybernetics and Informatics, WMSCI 2018

作者： Cevallos-Torres, Lorenzo J. Guijarro-Rodríguez, Alfonso A. Tapia-Celi, Jorge Valencia-Núñez, Edison R. Crespo-Mendoza, Roberto Faculty of Mathematics and Physics University of Guayaquil Ecuador Accounting and Auditing Career University Technique of Ambato Ecuador

ISBN: (纸本)9781941763810

Overview-this article seeks to provide a solution to the problem of vehicular congestion, through the formulation of a control algorithm, which is essentially based on a multi-criteria decisionmaking process, and supported by a diffuse hierarchical analytical process (HAP Fuzzy);This is intended, since various criteria given by the traditional methods used to solve problems over saturation in the avenues, to propose a method of solution based on uncertainty that analyzes the values of variables, using a scale of quality measurement, in such a way that it could result in a new way to control the vehicular flow, with different applications within the behavior of fuzzy logic and fuzzy sets theory , and thus obtain a better alternative that justifies using HAP Fuzzy efficiently, using the "Matlab" software for the evaluation of the results. Copyright 2018. © by the international Institute of Informatics and Systemics.

关键词： Fuzzy logic

来源：评论

学校读者我要写书评

暂无评论

22nd international conference on Formal Grammar, FG 2017

引用

22nd international conference on Formal Grammar, FG 2017

ISBN: (纸本)9783662563427

The proceedings contain 9 papers. The special focus in this conference is on Formal Grammar. The topics include: A model-theoretic reconstruction of type-theoretic semantics for anaphora;logical entity level sentiment analysis;Reforming AMR;the logic of ambiguity: The propositional case;advantages of constituency: Computational perspectives on samoan word prosody;modelling derivational morphology: A case of prefix stacking in Russian;on generalized noun phrases.

关键词：

来源：评论

学校读者我要写书评

暂无评论

On natural deduction for herbrand constructive logics II: Curry-howard correspondence for Markov's principle in first-order logic and arithmetic 22

On natural deduction for herbrand constructive logics II: Cu...

引用

22nd international conference on Types for Proofs and Programs, TYPES 2016

作者： Aschieri, Federico Manighetti, Matteo Institut für Diskrete Mathematik und Geometrie Technische Universität Wien Wiedner Hauptstraße 8-10/104 Vienna1040 Austria

ISBN: (纸本)9783959770651

Intuitionistic first-order logic extended with a restricted form of Markov's principle is constructive and admits a Curry-Howard correspondence, as shown by Herbelin. We provide a simpler proof of that result and then we study intuitionistic first-order logic extended with unrestricted Markov's principle. Starting from classical natural deduction, we restrict the excluded middle and we obtain a natural deduction system and a parallel Curry-Howard isomorphism for the logic. We show that proof terms for existentially quantified formulas reduce to a list of individual terms representing all possible witnesses. As corollary, we derive that the logic is Herbrand constructive: whenever it proves any existential formula, it proves also an Herbrand disjunction for the formula. Finally, using the techniques just introduced, we also provide a new computational interpretation of Arithmetic with Markov's principle. © Federico Aschieri and Matteo Manighetti;licensed under Creative Commons License CC-BY 22nd international conference on Types for Proofs and Programs (TYPES 2016).

关键词： Formal logic

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共215页 << < 72 73 74 75 76 77 78 79 80 81 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：