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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

当前已输入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,389 篇 会议
132 篇 期刊文献
74 册 图书

馆藏范围

3,593 篇 电子文献
2 种 纸本馆藏

日期分布

学科分类号

2,398 篇 工学
- 1,896 篇 计算机科学与技术...
- 1,152 篇 软件工程
- 418 篇 电气工程
- 269 篇 控制科学与工程
- 199 篇 信息与通信工程
- 127 篇 机械工程
- 72 篇 石油与天然气工程
- 64 篇 生物医学工程（可授...
- 59 篇 电子科学与技术（可...
- 56 篇 材料科学与工程（可...
- 56 篇 交通运输工程
- 51 篇 生物工程
- 44 篇 化学工程与技术
- 40 篇 动力工程及工程热...
- 38 篇 土木工程
- 35 篇 仪器科学与技术
- 34 篇 冶金工程
672 篇 理学
- 482 篇 数学
- 106 篇 物理学
- 85 篇 系统科学
- 80 篇 统计学（可授理学、...
- 73 篇 生物学
- 51 篇 化学
402 篇 管理学
- 337 篇 管理科学与工程(可...
- 148 篇 工商管理
- 81 篇 图书情报与档案管...
105 篇 教育学
- 103 篇 教育学
70 篇 医学
- 46 篇 临床医学
- 35 篇 基础医学(可授医学...
64 篇 经济学
- 64 篇 应用经济学
40 篇 法学
22 篇 文学
12 篇 农学
9 篇 艺术学
3 篇 军事学

主题

309 篇 linear programmi...
251 篇 programming
187 篇 dynamic programm...
142 篇 computer program...
118 篇 integer programm...
116 篇 optimization
109 篇 logic programmin...
86 篇 genetic programm...
82 篇 functional progr...
73 篇 computational mo...
68 篇 object oriented ...
66 篇 programming prof...
65 篇 parallel program...
56 篇 software enginee...
54 篇 costs
49 篇 mathematical mod...
48 篇 computer program...
46 篇 heuristic algori...
42 篇 artificial intel...
41 篇 computer science

机构

9 篇 univ london impe...
7 篇 inesc tec porto
6 篇 feup porto
6 篇 russian acad sci...
5 篇 c mast ubi covil...
4 篇 univ leicester l...
4 篇 vienna univ tech...
4 篇 institute of fun...
4 篇 chinese acad sci...
4 篇 university of am...
4 篇 univ nottingham ...
4 篇 beijing universi...
3 篇 weizmann inst sc...
3 篇 univ nottingham ...
3 篇 delft center for...
3 篇 international is...
3 篇 international bu...
3 篇 department of co...
3 篇 school of comput...
3 篇 univ cyprus dept...

作者

8 篇 catalao joao p. ...
6 篇 musirin ismail
5 篇 weiss gera
5 篇 marron assaf
4 篇 hirschfeld rober...
4 篇 ghani n
4 篇 katz guy
4 篇 saraswat vijay
4 篇 xiong rui
4 篇 funabiki nobuo
4 篇 fitiwi desta z.
4 篇 shi yong
4 篇 boercsoek josef
4 篇 jagadeesan radha
4 篇 gupta vineet
4 篇 michael n. young
4 篇 pesant gilles
4 篇 harel david
3 篇 muggleton stephe...
3 篇 faisal a. aldo

语言

3,511 篇 英文
56 篇 其他
26 篇 中文
5 篇 葡萄牙文
2 篇 俄文
1 篇 西班牙文

检索条件"任意字段=7th International Conference on Functional Programming"

共 3595 条记录，以下是3271-3280 订阅

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

详细简洁

排序：

Optimal Economic Dispatching Approach of Electrolyzers to Participate in Power Regulation Service Based on Two-stage Stochastic programming

Optimal Economic Dispatching Approach of Electrolyzers to Pa...

引用

Energy, Electrical and Power Engineering (CEEPE), international conference on

作者： Aijun Chen Jinyong Lei Jun Pan Pengfei Zhang Hydrogen Energy Research Center Guangzhou Power Supply Bureau Guangzhou China International Business Department China Electric Power Planning & Engineering Institute Co. Ltd. Beijing China

ISBN: (数字)9798350375794

ISBN: (纸本)9798350375800

To effectively adopt the intermittency and volatility of renewable energy and enhance power system flexibility, leveraging the active engagement of diverse market players within the power system for flexible power regulation is essential. the surge in demand for green hydrogen has led to substantial growth in electrolytic hydrogen production, notably in electrolyzer facilities like ALK and PEM, known for their high power flexibility. this paper proposes an optimal economic dispatch strategy utilizing a two-stage stochastic programming model for electrolyzer involvement in frequency regulation ancillary services. Applied case results demonstrate that employing this approach to coordinate various electrolyzer types in power regulation services not only capitalizes on their diverse advantages but also optimizes economic benefits.

关键词： Economics Power engineering Stochastic processes Production programming Green hydrogen Regulation

来源：评论

学校读者我要写书评

暂无评论

Loop Program Mapping and Compact Code Generation for Programmable Hardware Accelerators

Loop Program Mapping and Compact Code Generation for Program...

引用

IEEE international conference on Application-specific Systems, Architectures and Processors

作者： Srinivas Boppu Frank Hannig Jürgen Teich Hardware/Software Co-Design Department of Computer Science University of Erlangen-Nuremberg Germany

ISBN: (纸本)9781479904945

We present a novel design methodology for the mapping of nested loops onto programmable hardware accelerators. Key features of our approach are: (1) Design entry in form of a functional programming language and loop parallelization in the polyhedron model, (2) the underlying accelerator architectures consist of lightweight, tightly-coupled, and programmable processor arrays, which can exploit both loop-level parallelism and instruction-level parallelism, (3) support of zero-overhead looping not only for inner most loops but also for arbitrarily nested loops. We implemented the proposed methodology in a prototype design tool and evaluated selected benchmarks by comparing our code generator with the Trimaran compilation framework. As the results show, our approach can reduce the size of the generated processor codes up to 64 % while at the same time achieving a significant higher throughput.

关键词： mapping Loop Program Mapping Compact Code Generation MAPPING(MAthEMATICAL) Code generation hardware accelerator Loops Accelerator architectures PROGRAMMABLE ARRAY PROCESSORS functional programming language mapping instruction-level parallelism Contraceptive Coil NESTED LOOPS

来源：评论

学校读者我要写书评

暂无评论

Composite ring made of 3D woven preform injected by RTM: From design to full scale testing

Composite ring made of 3D woven preform injected by RTM: Fro...

引用

SAMPE Long Beach 2016 conference and Exhibition

作者： Fischer, Hermann Poulaert, Bernard Magerman, Jean-Louis Bargeton, Etienne De Lumley, thibault Valcke, André-Marie Atkins, thierry Gokce, Hakan Bryn, Leon ESA-ESTEC Postbus 299 Noordwijk2200 AG Netherlands SONACA Route Nationale Cinq Gosselies6041 Belgium BRM 23 North 7th Street BallyPA19503 United States

ISBN: (纸本)9781934551233

As part of the European Space Agency (ESA) Future Launchers Preparatory Programme (FLPP), SONACA (BELGIUM) and BRM (USA) companies joined their competences to develop a new concept of structural European launcher cryogenic upper inter-stage composite ring. this challenging program targeted the replacement of an ARIANE traditional aluminum ring by a lighter and affordable multi-functional composite structure. the ARIANE 5 aluminum specification was used as the basis of the design concepts, with adaptation to a future launcher 4.3 m diameter. After a preliminary design phase, involving selection of different manufacturing routes, material and processes by elementary tests made at coupon level, the 3D orthogonal weaving process was selected as the best candidate to realize a full scale ring demonstrator. the structure was designed, stressed and verified by test by SONACA, and the 3D weaving was optimized in close collaboration with BRM. Five 90 segment carbon fiber dry preforms were produced by BRM using the most advanced weaving automated technology. All these segments were injected by SONACA using their expertise in RTM process. the parts were controlled both geometrically and wrt internal defects by NDT. A 30 segment was successfully submitted to five static load cases up to failure, showing a TRL of 5. Four 90 segments were assembled by CFRP splices to exhibit a full ring demonstrator. Copyright 2016 by ESA-ESTEC. Published by the Society for the Advancement of Material and Process

关键词： Carbon fibers

来源：评论

学校读者我要写书评

暂无评论

Soft Gripping: Specifying for Trustworthiness

Soft Gripping: Specifying for Trustworthiness

引用

IEEE international conference on Soft Robotics (RoboSoft)

作者： Dhaminda B. Abeywickrama Nguyen Hao Le Greg Chance Peter D. Winter Arianna Manzini Alix J. Partridge Jonathan Ives John Downer Graham Deacon Jonathan Rossiter Kerstin Eder Shane Windsor School of Computer Science University of Bristol UK Department of Computer Science The University of Manchester UK School of Engineering Mathematics and Technology University of Bristol UK School of Sociology Politics and International Studies University of Bristol UK Bristol Medical School (PHS). University of Bristol UK School of Electrical Electronic and Mechanical Engineering University of Bristol UK Robotics Research Team Ocado Technology UK School of Civil Aerospace and Design Engineering University of Bristol UK

Soft robotics is an emerging technology in which engineers create flexible devices for use in a variety of applications. In order to advance the wide adoption of soft robots, ensuring their trustworthiness is essential; if soft robots are not trusted, they will not be used to their full potential. In order to demonstrate trustworthiness, a specification needs to be formulated to define what is trustworthy. However, even for soft robotic grippers, which is one of the most mature areas in soft robotics, the soft robotics community has so far given very little attention to formulating specifications. In this work, we discuss the importance of developing specifications during development of soft robotic systems, and present an extensive example specification for a soft gripper for pick-and-place tasks for grocery items. the proposed specification covers both functional and non-functional requirements, such as reliability, safety, adaptability, predictability, ethics, and regulations. We also highlight the need to promote verifiability as a first-class objective in the design of a soft gripper.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Differential evolution technique in solving HEPWM switching angles of three-phase voltage source inverter

Differential evolution technique in solving HEPWM switching ...

引用

National Proceedings Power and Energy conference (PECon)

作者： Azziddin Mohamad Razali Norazelina Kamisman Jurifa Mat Lazi Norhazilina Bahari Wahidah Abd Halim Department of Power Electronics and Drives Universiti Teknikal Malaysia Melaka (UTeM) Melaka Malaysia

ISBN: (纸本)9781509025480

this paper presents the solution for odd and even number of switching angles of harmonic elimination pulse width modulation (HEPWM). HEPWM capable to eliminate low order harmonics of inverter output voltage by solving the transcendental equation of the switching angles. the optimum switching angles are calculated using differential evolution (DE) algorithm. DE is simple and effective algorithm. the calculated switching angles applied to the three-phase voltage source inverter (VSI) and harmonic performance of output voltage are examined using MATLAB/Simulink software. the Total harmonic Distortion (thD) of line to neutral of inverter is analyzed for different number of switching angles. the simulation result showed that the low order harmonics, namely 5th, 7th, 11th, 13th, 17th, 19th, 23th was eliminated individually by N=3,4,5,6,7 and 8.

关键词： Harmonic analysis Switches Sociology Statistics Inverters Pulse width modulation Linear programming

来源：评论

学校读者我要写书评

暂无评论

A calculus of signals

A calculus of signals

引用

IEEE international conference on Electronics, Circuits and Systems (ICECS)

作者： C. Ratzko J.W. Sanders Programming Research Group OUCL University of Oxford UK

ISBN: (纸本)0780365429

An elementary theory is proposed for reasoning about circuits at the timed level. Its relationship to traditional differential calculus is indicated; it is applied to the analysis of circuits with feedback; and it yields algorithms for detection of transients and hazards. Finally, a small case study of a positive-edge-triggered register is presented. Emphasis is on the use of laws which draw on the intuition gained from traditional differential calculus.

关键词： Calculus Circuit analysis Transient analysis Boolean algebra Algorithm design and analysis Hazards Feedback circuits Registers Switching circuits Very large scale integration

来源：评论

学校读者我要写书评

暂无评论

Consider the planning of DG and EV integration into the distribution network

Consider the planning of DG and EV integration into the dist...

引用

Energy, Electrical and Power Engineering (CEEPE), international conference on

作者： Qi Zhang Yalei Zhang Shangdong University Jinan China

ISBN: (数字)9798350375794

ISBN: (纸本)9798350375800

With the rapid development of electric vehicles (EV) and distributed generation (DG), a large number of uncertain loads and distributed power supplies are connected to the power grid, which poses a threat to the stable and safe operation of the power grid. therefore, this paper adopts Monte Carlo method to predict the daily load of electric vehicles, constructs a double objective function considering the economic demand and power quality demand of distribution network, adopts genetic algorithm to solve it, and finally determines the location and capacity of distributed power supply according to the EV load.

关键词： Renewable energy sources Power engineering Uncertainty Monte Carlo methods Power quality Distribution networks Linear programming

来源：评论

学校读者我要写书评

暂无评论

Improving Neural Networks using Slice Models for Similar Classes

Improving Neural Networks using Slice Models for Similar Cla...

引用

international conference on Data Science and Advanced Analytics (DSAA)

作者： Jinwook Kim Min-Soo Kim Information and Communication Engineering Daegu Gyeongbuk Institute of Science and Technology Daegu Republic of Korea School of Computing Korea Advanced Institute of Science and Technology Daejeon Republic of Korea

ISBN: (数字)9781728182063

ISBN: (纸本)9781728182070

Under the traditional machine learning that optimizes overall accuracy, the accuracy of a model for similar classes tends to be lower than for other classes. In this paper, we propose a method that can improve the accuracy of such problematic similar classes by adopting the concept of slices. the proposed method can improve the accuracy of slices effectively without degrading the overall accuracy.

关键词： Data models Training Predictive models Neural networks conferences Computational modeling programming

来源：评论

学校读者我要写书评

暂无评论

Maiday: An environment for guided programming with a definitional language 84

Maiday: An environment for guided programming with a definit...

引用

Proceedings of the 7th international conference on Software engineering

作者： Jacques Guyard Jean-Pierre Jacquot

ISBN: (纸本)9780818605284

MAIDAY is a programming environment that provides methodological assistance. It supports a definitional language in which the user defines objects instead of manipulating variables as in typical programming languages. In this paper we present the heart of the system: the editor EDME. Editing commands operate only upon the logical structure of the algorithm rather than upon its abstract tree structure. this logical structure is concrete and stratified into four levels. On each level the user manipulates the elements of the next lower level without having access to their internal structure. EDME also provides a carefully designed user interface. Information is displayed by a multi-window screen. the system helps the user in three ways. Syntax errors are corrected or revealed, context-sensitive constraints are validated and a programming methodology is encouraged. We hope to provide automatic guidance about algorithm creation in the future. the current implementation provides a means of experimentation as we investigate the planning processes involved in creating algorithms.

关键词： Modularity programming Methodology programming Environment Definitional Language

来源：评论

学校读者我要写书评

暂无评论

Strategic Offering of a Wind Power Producer in Energy and Green Certificate Markets: a Stochastic Bilevel Approach

Strategic Offering of a Wind Power Producer in Energy and Gr...

引用

IEEE international conference on Power and Energy Applications (ICPEA)

作者： Jie Li Xiuli Wang Xiaoxin Zhou School of Electrical Engineering Xi'an Jiaotong University Xi'an China National Key Laboratory of Power Grid Safety China Electric Power Research Institute Beijing China

ISBN: (数字)9798350356113

ISBN: (纸本)9798350356120

With the high penetration of renewable energy and the execution of renewable portfolio standards, it becomes urgent to analyze the behavior of a wind power producer (WPP) in energy and green certificate markets. To this end, we propose a strategic offering model for a WPP, aiming to analyze the impact of exercising market power on market clearing results and social welfare. Afterwards, the model is transformed into stochastic mathematical programming with equilibrium constraints (MPEC) and eventually mixed integer linear programming (MILP), which can be solved by off-the-shelf solvers. Finally, case studies are carried out on a small test system, illustrating that the market clearing price might increase compared with the perfect competition situation, and the expected profit of WPP increases at the expense of market efficiency. Besides, we analyse the impact of line congestion on the revenue of WPP.

关键词： Renewable energy sources Green products Stochastic processes Wind power generation programming Mathematical models Mixed integer linear programming Standards Portfolios Mathematical programming

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共360页 << < 324 325 326 327 328 329 330 331 332 333 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：