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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

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

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

详细简洁

排序：

A Flexible Event Handling Model For Business Process Enactment 22

A Flexible Event Handling Model For Business Process Enactme...

引用

22nd IEEE international Enterprise Distributed Object Computing conference (IEEE EDOC)

作者： Mandal, Sankalita Weske, Mathias Univ Potsdam Business Proc Technol Grp Hasso Plattner Inst Potsdam Germany

ISBN: (纸本)9781538641392

Business process management (BPM) enables modeling, executing and monitoring organizational processes to achieve certain business goals. Organizations continue to strive for agility and take advantage of the digital era to bring flexibility in their processes, for example by integrating complex event processing (CEP) techniques. Event handling specifies how a process interacts with its environment and how the environmental occurrences influence the execution of the process. Though highly expressive and feature-rich languages like BPMN exist for process specification, they still lack the flexibility required for event handling in different real-life scenarios. In this work, an event handling model is proposed that take into account the possibilities of event subscription at different points in time with respect to process execution. The model is grounded formally and provides mapping to Petri Nets as implementation semantics. Further, trace analysis ensures correct execution of process behavior while maintaining the temporal dependencies intact among event subscription, event occurrence, event consumption and event unsubscription.

关键词： Petri nets Semantics logic gates Business Engines Process control Monitoring

来源：评论

学校读者我要写书评

暂无评论

Designing a SiC MOSFETs Gate Driver with High dv/dt Immunity and Rapid Short Circuit Protection for xEV Drivetrain Inverter

Designing a SiC MOSFETs Gate Driver with High dv/dt Immunity...

引用

international conference on Electrical Machines and Systems (ICEMS)

作者： Hao Zhou Chunxian Ye Xubiao Zhan Zhenmin Wang School of Mechanical and Automotive Engineering South China University of Technology Guangzhou China Shenzhen Advantage Power Limited Shenzhen China

ISBN: (纸本)9781728133997

In order to solve the SiC MOSFETs application problems including asymmetric gate voltage, low threshold voltage, lower short circuit withstand time, higher voltage and current transient rate (dv/dt, di/dt) at switching, this paper proposes a novel SiC MOSFET gate driver with ultra-small size integrated a high performance isolated DC-DC converter. The DC-DC power supply with low coupling capacitance and the active gate Miller clamp are used to reducing the influence of high dv/dt which is produced during switch transition. In addition, the proposed gate driver has a rapid short circuit protection with soft shut down up to 300 kHz switching frequency. Experimental results for a double-pulse test (DPT) bench is presented, demonstrating the anticipative driving effect, rapid protection and high dv/dt immunity. Moreover, thanks to the good performance and ultra-small size, the gate driver has been applied to a xEV drivetrain inverter.

关键词： Silicon carbide MOSFET Gate drivers logic gates Threshold voltage Capacitance Couplings

来源：评论

学校读者我要写书评

暂无评论

Planning with Strategic Goals 22

Planning with Strategic Goals

引用

22nd IEEE international Enterprise Distributed Object Computing conference (IEEE EDOC)

作者： Cardoso, Evellin Horkoff, Jennifer Sebastiani, Roberto Mylopoulos, John Univ Trento Trento Italy Chalmers Gothenburg Sweden Univ Gothenburg Gothenburg Sweden Univ Ottawa Ottawa ON Canada

ISBN: (纸本)9781538641392

Strategic goals and strategic planning have received much attention in Management Sciences literature since the 60s. In this work, we are interested in putting strategic planning on a formal, algorithmic footing by offering a formal reasoning technique for automatic generation and selection of strategic plans. Towards this end, in previous work [1] we have introduced the concept of strategic goals and dimensional refinement operators that define strategic goals in terms of domain dimensions from the data warehouses literature. Examples of dimensions for a strategic goal such as "Increase sales in Europe over 2 years" might include time, geography and product type. Here, we propose a formalization of strategic goals and their dimensional refinements that allows one to express a strategic goal model as a planning space that can be achieved across different dimensions. Subsequently, we use automated reasoning solvers to produce optimum strategic plans to achieve such strategic goals. Our proposal is illustrated with an example from the literature.

关键词： Strategic planning Cognition Europe Companies Stakeholders Linear programming

来源：评论

学校读者我要写书评

暂无评论

Insights for Improving Diagram Editing Gained from an Empirical Study

Insights for Improving Diagram Editing Gained from an Empiri...

引用

conference on Model Driven Engineering Languages and Systems Companion (MODELS-C)

作者： Michael Stegmaier Alexander Raschke Matthias Tichy Eva-Maria Meßner Sara Hajian Anna Feldengut Institute for Software Engineering and Programming Languages Ulm University Ulm Germany Ulm University Ulm Germany

The modeling process plays an important role in software and systems engineering. Models are often created on paper or whiteboards even though software for modeling exists. We conducted an empirical study to identify how diagram editing can be improved by investigating how people model on whiteboards. The study was designed as a qualitative study and had 34 participants from four different education fields. The participants were recorded in video and audio while performing two tasks in pairs on a whiteboard. In the first task they had to model a subset of a network plan of the local public transport system. In the second task they had to model the daily schedule of a canteen kitchen. After finishing the tasks, we conducted a semi-structured interview. Using this study, we identified minor different preferences between different education fields and gained several insights for improving diagram editing, e., g., support for drawing sketches concurrently and complementary to models, supporting flexible mechanisms for highlighting different parts of a model, better support for making shapes in the model look consistent.

关键词：

来源：评论

学校读者我要写书评

暂无评论

6th international Workshop on Combinations of Intelligent Methods and Applications, CIMA 2016 held in conjunction with the 22nd European conference on Artificial Intelligence, ECAI 2016

引用

6th international Workshop on Combinations of Intelligent Methods and Applications, CIMA 2016 held in conjunction with the 22nd European conference on Artificial Intelligence, ECAI 2016

ISBN: (纸本)9783319667898

The proceedings contain 7 papers. The special focus in this conference is on Combinations of Intelligent Methods and Applications. The topics include: Target-dependent sentiment analysis of tweets using bidirectional gated recurrent neural networks;traffic modelling, visualisation and prediction for urban mobility management;assurance in reinforcement learning using quantitative verification;distillation of deep learning ensembles as a regularisation method;heuristic constraint answer set programming for manufacturing problems.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Study of the Transport Plan of Metro Trains Using Fuzzy Linear programming Method 22

Study of the Transport Plan of Metro Trains Using Fuzzy Line...

引用

22nd international Scientific conference on Transport Means (Transport Means)

作者： Stoilova, S. Tech Univ Sofia 8 Kliment Ohridski Blvd Sofia 1000 Bulgaria

The important task in organization of transport in metro network is to elaborate a methodology for optimization the transport plan of metro trains. The establishment of a transport plan includes the routing of metro trains and the number of trains. In the study is elaborated a methodology based of uncertainty of passenger flows. In research is applied fuzzy linear programming method that has been solved by membership function. The methodology was experimented for Sofia's metro network and was proposed an organization of metro trains. In the study have been compared the results of the methodology and the real situation. The presented approach could also be used for solving the transport plan in other type of transport.

关键词： fuzzy linear programming metro train passenger flow optimization

来源：评论

学校读者我要写书评

暂无评论

Design of High Current PMSM Drives based on Parallel-connected Power MOSFETs Technology

Design of High Current PMSM Drives based on Parallel-connect...

引用

international conference on Electrical Machines and Systems (ICEMS)

作者： Boyang Li Jian Luo Zhihui Jin Chun Chen School of Mechatronics Engineering and Automation Shanghai University Shanghai China

ISBN: (纸本)9781728133997

This paper designs a high reliability and compact PMSM (permanent magnet synchronous machine) controller based on parallel-connected power MOSFETs with an optimized current sharing technology. The innovative work of the paper is as follows: 1. Using self-made pioneering induction coils to select MOSFET with similar performance. 2. The positive voltage and negative voltage are used as the driving circuit to control the power unit, so that the power unit of the same bridge arm can work as synchronously as possible. 3. In the event of a misoperation, multiple protection schemes can turn off the drive signal effectively, thereby ensuring the safety of the power MOSFET. 4. In order to create a high-power output environment, the dual PMSM and dual controller pair drag test is adopted in the experiment which proved the controller can still operate stably even after operating under a 270V voltage and a 30A current. The main contribution of the key technology of the configuration of high current power devices proposed in this paper is to study the controller of high power density motor matching large torque motor and to provide support for the research of robot high power density drive system.

关键词： MOSFET logic gates Electron tubes Coils Bridge circuits Resistance Pulse width modulation

来源：评论

学校读者我要写书评

暂无评论

2018 22nd international conference Electronics, ELECTRONICS 2018

2018 22nd International Conference Electronics, ELECTRONICS ...

引用

22nd international conference Electronics, ELECTRONICS 2018

ISBN: (纸本)9781538647493

The proceedings contain 16 papers. The topics discussed include: angular dispersion modelling for 5G wireless link with directional antennas;shielding protection comparison for security camera lenses;development and testing of a compact voice command recognition algorithm for limited complexity microcontroller devices;design and implementation of an expressive talking mobile robot: TozTorUs;drive mode estimation for electric vehicles via fuzzy logic;evaluation index system of power supply margin in distribution network;turbine fast valving study by the use of a steam turbine real-time simulator;optimal power and signal cables arrangement for minimizing electromagnetic interference in oil and gas industry;neuron circuit based on CCII;optimization of medium voltage distribution network structure based on total supply capability improvement;analysis, design and simulation of buck converter for photovoltaic system;combined electricity and hydraulic analysis of cascade heating supply infrastructure with EA-PSM software;low-cost solution for magnetic field mapping device;design of wireless sensor networks for building management systems;study on mobility and migration in a fog computing environment;and WCNE: a weighted clusterhead node election algorithm for MANET.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Optimization of an Electromagnetic Actuator using Topology-Optimization

Optimization of an Electromagnetic Actuator using Topology-O...

引用

international conference on the Computation of Electromagnetic Fields (COMPUMAG)

作者： P. Seebacher M. Kaltenbacher F. Wein H. Lehmann Institute for Mechanics and Mechatronics TU-Wien Vienna Austria Department of Mathematics/Excellence Cluster for Engineering of Advanced Materials University of Erlangen-Nuremberg Germany

ISBN: (数字)9781728155920

ISBN: (纸本)9781728155937

We apply the SIMP (Solid Isotropic Material with Penalization) method for the topology optimization of an electromagnetic actuator. Thereby, the gradient of the objective function is computed by the adjoint method. The objective to maximize is the electromagnetic force between yoke and anchor, including the consideration of nonlinear material behaviour. Additionally, the pros and cons between topology optimization and a gradient free optimization method are considered.

关键词： Optimization Topology Linear programming Magnetostatics Electromagnetics Force Magnetomechanical effects

来源：评论

学校读者我要写书评

暂无评论

Matching in the description logic fl0 with respect to general tboxes 22nd

Matching in the description logic fl0 with respect to genera...

引用

22nd international conference on logic for programming, Artificial Intelligence and Reasoning, LPAR 2018

作者： Baader, Franz Gil, Oliver Fernández Marantidis, Pavlos Theoretical Computer Science TU Dresden Dresden01062 Germany

Matching concept descriptions against concept patterns was introduced as a new inference task in Description logics two decades ago, motivated by applications in the Classic system. Shortly afterwards, a polynomial-time matching algorithm was developed for the DL FL0. However, this algorithm cannot deal with general TBoxes (i.e., finite sets of general concept inclusions). Here we show that matching in FL0 w.r.t. general TBoxes is in ExpTime, which is the best possible complexity for this problem since already subsumption w.r.t. general TBoxes is ExpTime-hard in FL0. We also show that, w.r.t. a restricted form of TBoxes, the complexity of matching in FL0 can be lowered to PSpace. © 2018, EasyChair. All rights reserved.

关键词： Data description

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

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

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：