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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

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

馆藏范围

3,198 篇 电子文献
0 种 纸本馆藏

日期分布

学科分类号

2,152 篇 工学
- 1,675 篇 计算机科学与技术...
- 964 篇 软件工程
- 340 篇 电气工程
- 251 篇 控制科学与工程
- 196 篇 信息与通信工程
- 101 篇 机械工程
- 67 篇 电子科学与技术（可...
- 47 篇 化学工程与技术
- 47 篇 生物工程
- 46 篇 动力工程及工程热...
- 44 篇 仪器科学与技术
- 43 篇 石油与天然气工程
- 41 篇 材料科学与工程（可...
- 40 篇 生物医学工程（可授...
- 30 篇 交通运输工程
- 27 篇 土木工程
633 篇 理学
- 460 篇 数学
- 96 篇 物理学
- 79 篇 生物学
- 76 篇 系统科学
- 71 篇 统计学（可授理学、...
- 46 篇 化学
291 篇 管理学
- 219 篇 管理科学与工程(可...
- 103 篇 工商管理
- 83 篇 图书情报与档案管...
92 篇 教育学
- 92 篇 教育学
63 篇 医学
- 49 篇 临床医学
- 35 篇 基础医学(可授医学...
41 篇 法学
- 36 篇 社会学
28 篇 经济学
- 28 篇 应用经济学
19 篇 文学
19 篇 农学
2 篇 军事学
2 篇 艺术学

主题

220 篇 linear programmi...
212 篇 programming
170 篇 dynamic programm...
120 篇 logic programmin...
96 篇 integer programm...
76 篇 functional progr...
75 篇 optimization
72 篇 computer program...
67 篇 object oriented ...
65 篇 programming prof...
65 篇 computer program...
64 篇 genetic programm...
64 篇 parallel program...
64 篇 software
50 篇 quadratic progra...
48 篇 education
47 篇 software enginee...
44 篇 computational mo...
36 篇 computer science
36 篇 hardware

机构

10 篇 univ british col...
7 篇 lakhshya cyber s...
7 篇 univ edinburgh e...
6 篇 lakhshya cyber s...
6 篇 amrita vishwa vi...
4 篇 graduate school ...
4 篇 ural fed univ ek...
4 篇 center for compu...
4 篇 univ minho ctr a...
4 篇 naval systems an...
4 篇 univ manchester ...
4 篇 faculty of engin...
4 篇 school of electr...
4 篇 russian acad sci...
4 篇 department of in...
4 篇 chalmers univ te...
3 篇 electric dispatc...
3 篇 school of inform...
3 篇 school of electr...
3 篇 nanjing research...

作者

8 篇 schaub torsten
8 篇 de meuter wolfga...
8 篇 cheney james
8 篇 tompits hans
7 篇 woltran stefan
7 篇 pradeep menon
6 篇 r vinayakumar
6 篇 gebser martin
6 篇 soman k. p.
6 篇 vinayakumar r.
6 篇 kp soman
6 篇 menon pradeep
5 篇 liu yang
5 篇 t.t. shannon
5 篇 eiter thomas
5 篇 binder walter
5 篇 wadler philip
4 篇 leone nicola
4 篇 jun zhang
4 篇 de araújo costa ...

语言

3,133 篇 英文
48 篇 其他
12 篇 中文
3 篇 俄文
2 篇 西班牙文
1 篇 意大利文

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

共 3198 条记录，以下是3091-3100 订阅

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

详细简洁

排序：

Keynote Speaker: A Hybrid Modeling Approach for Energy-Efficient Execution of Parallel Applications, by Yong Meng TEO

Keynote Speaker: A Hybrid Modeling Approach for Energy-Effic...

引用

Asia international conference on Modeling & Simulation

作者： Yong Meng Teo Dept. of Comput. Sci. Nat. Univ. of Singapore Singapore Singapore

ISBN: (纸本)9781467383240

Summary form only given. It has become apparent around 2000s that the ability to improve single-processor performance has run up against power limit but the demand for increasing computer performance remains unabated. It is estimated that datacenters delivering Internet services alone consumes over 2% of US electric power. the advent of datacenters increases the availability heterogeneous systems with different performance-power ratios and introduces new opportunities for energy-efficient execution of parallel applications [1, 2]. this keynote, divided into three main parts, focuses on a hybrid modeling approach to exploit energy-efficient execution heterogeneous platforms for more sustainable growth in computer performance. First, we introduce a classification heterogeneous platforms covering high-performance processors, low-power servers, and performance accelerators among others. Secondly, we discuss a new hybrid approach combining both measurements and an analytical model to determine energy-efficient configurations for executing parallel applications on heterogeneous systems [4]. By modeling the workload service demands on cores, memory and I/O devices of a node, we obtain a Pareto-optimal mix of nodes that service using minimum energy while maintaining a service time deadline. While datacenter jobs are embarrassingly parallel, scientific applications are relying on hybrid programming models to efficiently utilize resources with and across nodes. Lastly, we show how the core model can be extended for energy efficient execution of hybrid parallel programs [3, 4].

关键词： storage management input-output programs Internet multiprocessing systems parallel programming Pareto optimisation performance evaluation power aware computing input-output programs power aware computing Pareto optimisation Multiprocessing systems Parallel programming Store management Energy efficiency COMPUTER PERFORMANCE Performance Evaluation Internets Legal Executions

来源：评论

学校读者我要写书评

暂无评论

New Energy Station Energy Storage Configuration Strategy Considering New Energy Consumption

New Energy Station Energy Storage Configuration Strategy Con...

引用

IEEE international conference on Power and Power and Renewable Energy (ICPRE)

作者： Leyi Wang Yuan Yuan Lidong Zhou School of Vehicle and Traffic Engineering Taiyuan University of Science and Technology Taiyuan China

ISBN: (数字)9798350377460

ISBN: (纸本)9798350377477

this paper proposes an energy storage configuration method in new energy stations to promote the consumption of new energy. At first, the cost model included three sub-modules of energy storage systems is constructed based on the characteristics of energy storage. then, taking the intermittency and uncertainty of new energy output into account, as well as the constraints of each energy source in the power generation process, an objective function is established with the goal of minimizing the comprehensive cost of energy storage. the improved cat swarm optimization algorithm (ICSOA) is utilized to solve the proposed model and determine the optimal energy storage configuration for new energy stations. Finally, the feasibility and correctness of the proposed model are verified through some case studies.

关键词： Renewable energy sources Energy consumption Costs Uncertainty Power demand Wind energy Linear programming Particle swarm optimization Power generation Energy storage

来源：评论

学校读者我要写书评

暂无评论

Design of Handheld HMI for Embedded CNC Engraving Machine

Design of Handheld HMI for Embedded CNC Engraving Machine

引用

Electronic Technology and Information Science (ICETIS), international conference on

作者： Lihong Sun Xujie Hou Chang Wang Yonghui Xie School of mechanical and electrical engineering Weifang vocational college Weifang China

ISBN: (数字)9798350388343

ISBN: (纸本)9798350388350

In order to adapt to the development of intelligent control system for intelligent, miniaturization and specialization, it developed an embedded CNC engraving machine hand held HMI system based on ARM architecture and Linux operating system. the system consists of S3C2440 core board, ZLG7290 board, LCD keyboard circuit, memory circuit, communication module, input module and so on. Tailoring and porting the Linux3.4.2 kernel, and applying the S3C2440 patch, the man-machine interface of the NC engraving machine based on Linux is developed to realize the human-computer interaction. the experiment shows that the embedded CNC system has good real-time performance and strong function, and it can meet the processing requirements of the embedded CNC system HMI.

关键词： Human computer interaction Linux System performance Process control Production programming Hardware

来源：评论

学校读者我要写书评

暂无评论

Towards Automated Energy Flexibility Deployment in Buildings: A Solution at the ZEB Laboratory

Towards Automated Energy Flexibility Deployment in Buildings...

引用

international Multidisciplinary conference on Computer and Energy Science (SpliTech)

作者： John Clauß thomas Elvrum Lassen Luis Caetano Kristian Stenerud Skeie SINTEF Community Trondheim Norway

ISBN: (数字)9789532901351

ISBN: (纸本)9798350390797

this paper explores the utilization of a living lab as a practical testing ground for deploying building energy flexibility (BEF) and proposes a methodology for the implementation of a service architecture solution to facilitate deploying BEF in a zero-emission office building, the ZEB Laboratory in Trondheim, Norway. this work discusses the challenges of current building management system (BMS) solutions in deploying BEF. Selected digital solutions developed in the ZEB Lab are elaborated on. the presented service architecture solution is system-agnostic and provides the possibility to implement other systems/components into the framework continuously. the presented setup is very flexible regarding the way data is received and has proven to work well for data retrieval, data preparation, visualization and the application of control scenarios. Insights gained from the implementation of the service architecture solution are presented and challenges for future work are outlined.

关键词： Architecture Data visualization programming Servers Testing Investment Building management systems

来源：评论

学校读者我要写书评

暂无评论

DeXteR: an extensible framework for declarative parameter passing in distributed object systems 08

引用

Proceedings of the 9th ACM/IFIP/USENIX international conference on Middleware

作者： Sriram Gopal Wesley Tansey Gokulnath C. Kannan Eli Tilevich Virginia Tech Blacksburg VA

ISBN: (纸本)9783540898559

In modern distributed object systems, reference parameters are passed to a remote method based on their runtime type. We argue that such type-based parameter passing is limiting with respect to expressiveness, readability, and maintainability, and that parameter passing semantics should be decoupled from parameter types. We present declarative parameter passing, an approach that fully decouples parameter passing semantics from parameter types in distributed object systems. In addition, we describe DeXteR, an extensible framework for transforming a type-based remote parameter passing model to a declaration-based model transparently. Our framework leverages aspect-oriented and generative programming techniques to enable adding new remote parameter passing semantics, without requiring detailed understanding of the underlying middleware implementation. Our approach is applicable to both application and library code and incurs negligible performance overhead. We validate the expressive power of our framework by adding several non-trivial remote parameter passing semantics (i.e., copy-restore, lazy, streaming) to Java RMI.

关键词： metadata parameter passing aspect oriented programming declarative programming extensible middleware

来源：评论

学校读者我要写书评

暂无评论

Design of vending machine based on PLC

Design of vending machine based on PLC

引用

IEEE Joint international Information Technology and Artificial Intelligence conference (ITAIC)

作者： Zhang jianbo Yin qun Yin Meisu Oxbridge College Kunming University of Science and Technology Kunming Yunnan China Kunming University of Science and Technology Kunming Yunnan China Hunan University Changsha Hunan China

ISBN: (数字)9781728152448

ISBN: (纸本)9781728152455

With the development of society, more and more convenient things appear in this world, vending machine is one of them. therefore, this paper designs a simple vending machine control system with Kingview as the upper computer monitoring screen and PLC as the lower machine. the simple vending machine calculates the sum of money and displays it on the premise that the currency has been input. According to the amount of money, the information about the goods that can be sold is provided to the user through the selection button indicator, and the user can choose the goods he wants to buy independently. When the money invested is enough to buy drinks, the user presses the button corresponding to the selected commodity to realize the vending machine transaction.

关键词： Presses Production programming Timing Reliability Voltage control Monitoring

来源：评论

学校读者我要写书评

暂无评论

Control Strategy of 4-terminal Multi-DC Link Hardware-in-the-loop (HIL) Simulator for Offshore Wind farms

Control Strategy of 4-terminal Multi-DC Link Hardware-in-the...

引用

international conference on Condition Monitoring and Diagnosis, CMD

作者： Hyunmin Kim Jongsu Yoon Kisun Han Power Transmission Laboratory Korea Electric Power Corporation (KEPCO) Research Institute

ISBN: (数字)9784886864314

ISBN: (纸本)9781665470155

the HVDC system has high efficiency due to low loss during long-distance transmission and has advantages in linking large-scale renewable energy sources compared to the AC system because it can inject a targeted amount of power to a specific point because it can control power flow. When renewable energy is connected using an extended Multi-DC Link system rather than a PTP type HVDC that simply connects two points, the efficiency and reliability of the system can be improved as well as the flexibility of the system, so that renewable energy can be more acceptable. In this paper, control strategy of Multi-DC Link and development of 4-terminal with hardware-in-the-loop (HIL) simulator is dealt with.

关键词： Renewable energy sources HVDC transmission Wind farms Control systems Propagation losses Linear programming Stability analysis

来源：评论

学校读者我要写书评

暂无评论

Model Predictive Control for Modular Multilevel Converters based on a Box-constrained Quadratic Problem Solver

Model Predictive Control for Modular Multilevel Converters b...

引用

international conference on Power Electronics and Motion Control (IPEMC)

作者： Xiaonan Gao Wei Tian Qifan Yang Ralph Kennel Chair of Electrical Drive Systems and Power Electronics Technical University of Munich Munich Germany

ISBN: (数字)9781728153018

ISBN: (纸本)9781728153025

the model predictive control (MPC) method has become more popular and widely used to control power converters due to its fast dynamic response and easy implementation. With the MPC method, it is simple to achieve multiple control objectives and handle the system constraints and nonlinearities by using a cost function. MPC can also be employed on the modular multilevel converters (MMCs) to achieve the control of output currents, circulating currents and DC-link voltage/ current. However, the biggest obstacle to applying MPC on the MMC is the huge calculation. To achieve the optimal switching state, MPC needs to evaluate all the possible switching states. As the number of submodules (SMs) increases, the number of the switching states drastically increases, which puts a huge computational burden on the processor. To solve this problem, the MPC with a box-constrained quadratic programming solver has been proposed. In this method, a quadratic problem (QP) has been solved firstly. Based on this solution, the possible switching combinations have been determined. Instead of evaluating all the possible switching states, only a very small number of switching combinations needs to be evaluated. Besides, by using this method, the computational burden does not increase as the number of SMs increases.

关键词： Multilevel converters Switches programming Steady-state Quadratic programming Voltage control Predictive control

来源：评论

学校读者我要写书评

暂无评论

Simultaneous feature selection and unsupervised clustering for gene-expression data in multiobjective optimization framework

Simultaneous feature selection and unsupervised clustering f...

引用

international conference on Industrial and Information Systems, ICIIS

作者： Abhay Kumar Alok Neha Kanekar Sriparna Saha Asif Ekbal Computer Science Engineering Indian Institute of Technology Patna India

In this paper, the problem of simultaneous feature selection and automatic clustering is formulated as a multi-objective optimization task. Studying the patterns hidden in gene expression data helps to understand the functionality of genes. But due to the large volume of genes and the highly complex biological networks some sophisticated techniques are required to study available data consisting of large number of measurements. In general clustering techniques are used to identify natural partitioning and detect some interesting patterns from the given data as a first step of studying the gene expression data. But in general all the features present in the data set may not be important for clustering purpose. thus appropriate selection of features from the set of all features is very much relevant from clustering point of view. A modern simulated annealing based multiobjective optimization technique namely AMOSA is utilized as the background optimization methodology. Here features and cluster centers are represented in the form of a string. three optimization criteria are utilized: i) a function representing the total compactness of the partitioning based on the Euclidean distance, ii) a function representing the total compactness of the partitioning based on the point symmetry based distance and iii) a function counting the number of features. the objective is to optimize values of cluster validity indices where as to increase the number of features in order to remove the bias of internal cluster validity indices on dimensionality. Appropriate subset of features, proper number of clusters and the proper partitioning are determined using the search capability of AMOSA. In order to assign cluster label to all points, a recently introduced distance, namely point symmetry based distance, is utilized. thus the effectiveness of this proposed Fea-GenClustMOO technique is shown for automatically clustering publicly available gene-expression data sets. Results are compared

关键词： Indexes Euclidean distance Linear programming Optimization Gene expression Clustering algorithms Computer science

来源：评论

学校读者我要写书评

暂无评论

Resiliency-oriented scheduling of a residential community with a shared electric vehicle parking lot

Resiliency-oriented scheduling of a residential community wi...

引用

Technology and Energy Management (ICTEM), international conference on

作者： Alireza Akbari-Dibavar Kazem Zare Tuba Gözel Faculty of Computer and Electrical Engineering University of Tabriz Tabriz Iran Department of Electronics Engineering Gebze Technical University Gebze Turkey

ISBN: (数字)9798350329797

ISBN: (纸本)9798350329803

Interconnected residential buildings bring a new concept to resiliency-oriented scheduling of energy systems. the shared capacity among the buildings can be managed optimally to supply demands in the grid outage times. In this paper, the optimal scheduling of residential buildings has been studied focusing on the idea of a system-of-systems (SOS) in which the resources are shared between agents to withstand power shortages and enhance the total resilience. In the studied case, four buildings with different energy resources, and a shared electric vehicle parking lot are optimized to supply the critical loads of the buildings. the availability of the parking lot’s energy capacity is time-dependent and has been modeled using stochastic programming in this paper. Concerning the feasibility constraints for the electric vehicle’s departure and arrival time and associated state-of-charge, the proposed optimization scheme minimizes the total cost and curtailed load. the proposed resiliency-oriented problem is formulated as mixed integer linear programming and solved in the GAMS optimization package. the results confirmed the effectiveness and successful performance of the proposed SOS operation and the effective role of the shared electric vehicle parking lot in supplying the residential loads whereas the total curtailed load has been minimized in the grid outage times.

关键词： Photovoltaic systems Costs Buildings Stochastic processes Optimal scheduling Charging stations programming

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共320页 << < 306 307 308 309 310 311 312 313 314 315 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：