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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

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

分类表

所选分类

>> <<

限定检索结果

文献类型

1,948 篇 期刊文献
1,325 篇 会议
33 篇 学位论文

馆藏范围

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

日期分布

学科分类号

2,290 篇 工学
- 736 篇 计算机科学与技术...
- 707 篇 电气工程
- 434 篇 石油与天然气工程
- 270 篇 动力工程及工程热...
- 221 篇 机械工程
- 212 篇 控制科学与工程
- 189 篇 化学工程与技术
- 178 篇 信息与通信工程
- 127 篇 交通运输工程
- 118 篇 航空宇航科学与技...
- 85 篇 土木工程
- 76 篇 环境科学与工程（可...
- 74 篇 软件工程
- 63 篇 仪器科学与技术
- 43 篇 力学（可授工学、理...
- 34 篇 电子科学与技术（可...
- 28 篇 建筑学
- 21 篇 生物工程
- 17 篇 材料科学与工程（可...
- 16 篇 水利工程
784 篇 管理学
- 767 篇 管理科学与工程(可...
- 128 篇 工商管理
470 篇 理学
- 341 篇 数学
- 36 篇 物理学
- 34 篇 系统科学
- 30 篇 生物学
- 23 篇 化学
- 13 篇 统计学（可授理学、...
183 篇 经济学
- 131 篇 应用经济学
- 50 篇 理论经济学
25 篇 农学
19 篇 医学
9 篇 法学
5 篇 教育学
4 篇 军事学
3 篇 文学
2 篇 艺术学
1 篇 哲学

主题

3,306 篇 mixed integer li...
340 篇 optimization
167 篇 costs
143 篇 linear programmi...
125 篇 scheduling
90 篇 uncertainty
87 篇 planning
87 篇 computational mo...
81 篇 routing
63 篇 genetic algorith...
62 篇 unit commitment
61 篇 renewable energy...
59 篇 integer programm...
56 篇 transportation
55 篇 resource managem...
54 篇 energy consumpti...
54 篇 production
53 篇 mathematical mod...
51 篇 demand response
50 篇 heuristic algori...

机构

12 篇 carnegie mellon ...
10 篇 huazhong univ sc...
8 篇 dalian univ tech...
8 篇 nanyang technol ...
8 篇 beijing jiaotong...
7 篇 aristotle univ t...
7 篇 liaocheng univ s...
6 篇 northwestern pol...
6 篇 univ lisbon inst...
6 篇 department of el...
6 篇 shiraz univ tech...
6 篇 georgia inst tec...
6 篇 universidade est...
5 篇 univ liege dept ...
5 篇 tongji univ sch ...
5 篇 korea adv inst s...
5 篇 shanghai univ sc...
5 篇 jet propulsion l...
5 篇 univ hong kong d...
5 篇 huazhong univ sc...

作者

17 篇 papageorgiou laz...
11 篇 biskas pandelis ...
11 篇 montemanni rober...
11 篇 rider marcos j.
10 篇 ho koki
9 篇 d'amore federico
9 篇 bezzo fabrizio
9 篇 artigues christi...
8 篇 meng leilei
8 篇 koltsaklis nikol...
8 篇 magatao leandro
8 篇 marechal francoi...
8 篇 ahn jaemyung
8 篇 zhang chaoyong
8 篇 tuncer t. engin
8 篇 bakirtzis anasta...
8 篇 barbosa-povoa an...
7 篇 tan raymond r.
7 篇 cheng chuntian
7 篇 grossmann ignaci...

语言

3,000 篇 英文
263 篇 其他
29 篇 中文
5 篇 德文
5 篇 法文
5 篇 土耳其文
2 篇 葡萄牙文

检索条件"主题词=Mixed integer linear programming"

共 3306 条记录，以下是3051-3060 订阅

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

详细简洁

排序：

A practical mixed integer linear programming based approach for unit commitment

A practical mixed integer linear programming based approach ...

引用

IEEE General Meeting Power& Energy Society

作者： G.W. Chang Y.D. Tsai C.Y. Lai J.S. Chung Department of Electrical Engineering National Chung Cheng University Chiayi Taiwan

This paper presents a practical mixed integer linear programming (MILP) based approach for unit commitment (UC), which is suitable for both traditional and deregulated environments. In general, the UC problem is complicated large-scale, combinatorial, and non-convex in nature, it is very difficult to solve by conventional approaches to achieve both solution accuracy and efficiency. With the recent development of solution techniques, there is a trend to tackle the UC problem by using MILP approaches. In this paper the authors propose a detailed procedure to formulate the UC problem in MILP manners. The problems are then solved via a state-of-the-art optimization package. The usefulness of the proposed solution technique is illustrated by testing the problem with actual system data. The solution obtained not only gives the unit on/off states and MW schedules, but also provides marginal price information associated with system constraints such as load demand requirement to assist strategic bidding in the power market.

关键词： mixed integer linear programming Power markets Cost function Fuels Packaging integer linear programming Large-scale systems System testing Helium Power generation economics

来源：评论

学校读者我要写书评

暂无评论

Functional vector generation for combinational circuits based on data path coverage metric and mixed integer linear programming

Functional vector generation for combinational circuits base...

引用

IEEE International Symposium on Quality Electronic Design

作者： J. Sosa J.A. Montiel-Nelson H. Navarro J.C. Garcia Department of Electronic Engineering and Automation University of Las Palmas de Gran Canaria Las Palmas de Gran Canaria Spain

In this paper a functional vector generation method to maximize the data path coverage of a combinational circuit is introduced. We present a new gate model based on sensitization requirements for transition propagation, and introduce a new methodology to obtain functional vectors of maximum coverage based on mixed integer linear programming (MILP). Performance comparison and results based on a large set of MCNC'91 benchmark circuits are given. Experimental results show significant speedups over a greedy SAT method.

关键词： Vectors Combinational circuits mixed integer linear programming Circuit simulation Circuit testing Logic Computer bugs Microelectronics Data engineering Automation

来源：评论

学校读者我要写书评

暂无评论

Temperature-Aware Scheduling and Assignment for Hard Real-Time Applications on MPSoCs 08

Temperature-Aware Scheduling and Assignment for Hard Real-Ti...

引用

2008 Design, Automation and Test in Europe (DATE 2008), vol.1

作者： Thidapat Chantem Robert P. Dick X. Sharon Hu University of Notre Dame Notre Dame IN Northwestern University Evanston IL

ISBN: (纸本)9783981080131

Thermal effects in MPSoCs may cause the violation of timing constraints in real-time systems. This paper presents a mixed integer linear programming based solution to this problem. Tasks are assigned and scheduled to an MPSoC to minimize peak temperature, subject to real-time constraints. The proposed approach outperforms existing methods, reducing peak temperature by up to 24.66℃ and by an average of 8.75℃ when compared to minimal-energy solutions. We also present a heuristic for use on large problem instances. Steady-state thermal analysis is used for tasks with long execution times compared to the RC thermal time constants of the cores. Transient analysis is used otherwise. The steady-state analysis based heuristic finds solutions with at most 3.40℃ deviation from optimal peak temperature (0.22℃ on average) while improving upon existing technique by as much as 25.71℃ and 10.86℃ on average. The transient analysis based heuristic further reduce peak temperature by 1℃ in the best case and 0.17℃ on average.

关键词： peak temperature multiprocessor system on chip Heuristics hard real-time real-time application program Transient analysis execution time mixed integer linear programming Religious Missions Effect of heat Time constraints thermal time constant

来源：评论

学校读者我要写书评

暂无评论

The Integration of Constraint programming and Mathematical programming

The Integration of Constraint Programming and Mathematical P...

引用

2008 IEEE International Conference on Service Operations and Logistics, and Informatics(IEEE/SOLI’2008)(IEEE服务运作、物流与信息年会)

作者： Zhaotao Yin Tieke Li School of Economics and Management University ofScience and Technology BeijingBeijingChina School of Economics and Management University of Science and Technology Beijing BeijingChina

Aiming at the integration of constraint programming (CP) and mathematical programming (MP),which are used to solve combinatorial optimization problems,the paper analyzes the characteristic and integration schemes of both optimization *** on previous work,an integration framework is introduced and implemented on parallel machine scheduling problem in ILOG *** experiments show that the integration of CP and MP is efficient.

关键词： constraint programming mathematical programming mixed integer linear programming parallel machine scheduling problem

来源：评论

学校读者我要写书评

暂无评论

Performance optimization of elastic systems using buffer resizing and buffer insertion 08

Performance optimization of elastic systems using buffer res...

引用

IEEE International Conference on Computer-Aided Design

作者： Dmitry Bufistov Jorge Julvez Jordi Cortadella University Politècnica de Catalunya Barcelona Spain

ISBN: (纸本)9781424428205

Buffer resizing and buffer insertion are two transformation techniques for the performance optimization of elastic systems. Different approaches for each technique have already been proposed in the literature. Both techniques increase the storage capacity and can potentially contribute to improve the throughput of the system. Each technique offers a different trade-off between area cost and latency. This paper presents a method that combines both techniques to achieve the maximum possible throughput while minimizing the cost of the implementation. The provided method is based on mixed integer linear programming. A set of experiments is designed to show the feasibility of the approach.

关键词： Optimization Delay Electronic switching systems Throughput Costs Elasticity Protocols mixed integer linear programming Integrated circuit interconnections Power system interconnection

来源：评论

学校读者我要写书评

暂无评论

Optimization Model for Integrated Logistics Network Design in Green Manufacturing System

Optimization Model for Integrated Logistics Network Design i...

引用

International Conference on Information Management, Innovation Management and Industrial Engineering, ICIII

作者： Zhao Ya Peng Ding Yi Zhong SMU-Logistics Research Center Shanghai Maritime University Shanghai China

ISBN: (纸本)9781424437498

Previous researchers have developed ways of managing forward-oriented logistics network. In this study, The design of integrated logistics network is analyzed for green manufacturing system. An optimization model is proposed for the design of integrated logistics network handling product returns on the base of 0-1 mixed integer linear programming approach. It considers storing, reprocessing, remanufacturing facilities and new module suppliers in the network. According to the model, the number of various facilities, their locations and the allocation of the corresponding logistics flows can be decided upon and set up appropriate logistics network structure in order to minimize the total cost of investment and operation. This study contemplates the integrated logistics network with the multi-product, single-period and facilities with limited capability location-allocation problem, and also considers the logistics distribution of remanufactured products and new products which can not be replaced mutually in the forward logistics. The model is tested on an illustrative case.

关键词： Design optimization Logistics Manufacturing systems Production facilities Costs Innovation management mixed integer linear programming Investments Joining processes Optimization methods

来源：评论

学校读者我要写书评

暂无评论

Uncovering differentially expressed pathways with protein interaction and gene expression data

Uncovering differentially expressed pathways with protein in...

引用

第二届最优化与系统生物学国际研讨会

作者： Yu-Qing Qiu Shihua Zhang Xiang-Sun Zhang Academy of Mathematics and Systems Science Chinese Academy of Sciences Graduate University of Chinese Academy of Sciences

The identification of genes and pathways involved in biological processes is a central problem in systems biology. Recent microarray technologies and other high-throughput experiments provide information which sheds light on this problem. In this article, we propose a new method to identify differentially expressed pathways via integration of gene expression and interactomic data in a sophisticated and efficient manner. Specifically, by using signal to noise ratio to measure the differentially expressed level of networks, this problem is modeled as a mixed integer linear programming problem (MILP). The results on yeast and human data demonstrate that the proposed method is more accurate and robust than previous ones.

关键词： Molecular interaction network gene expression pathway mixed integer linear programming signal to noise ratio.

来源：评论

学校读者我要写书评

暂无评论

Optimal control of mixed Logical Dynamical systems with linear Temporal Logic specifications

Optimal control of Mixed Logical Dynamical systems with Line...

引用

IEEE Conference on Decision and Control

作者： Sertac Karaman Ricardo G. Sanfelice Emilio Frazzoli Laboratory for Information and Decision Systems Massachusetts Institute of Technology USA

ISBN: (纸本)9781424431236

Recently, linear temporal logic (LTL) has been employed as a tool for formal specification in dynamical control systems. With this formal approach, control systems can be designed to provably accomplish a large class of complex tasks specified via LTL. For this purpose, language generating Buchi automata with finite abstractions of dynamical systems have been used in the literature. In this paper, we take a mathematical programming-based approach to control of a broad class of discrete-time dynamical systems, called mixed logic dynamical (MLD) systems, with LTL specifications. MLDs include discontinuous and hybrid piecewise discrete-time linear systems. We apply these tools for model checking and optimal control of MLD systems with LTL specifications. Our algorithms exploit mixed integer linear programming (MILP) as well as, in the appropriate setting, mixed integer quadratic programming (MIQP) techniques. Our solution approach introduces a general technique useful in representing LTL constraints as mixed-integer linear constraints.

关键词： Optimal control Control systems Automatic control Logic programming linear systems Automata Quadratic programming Control system synthesis Formal specifications mixed integer linear programming

来源：评论

学校读者我要写书评

暂无评论

Predictive Energy-Efficient Multicast for Large-Scale Mobile Ad Hoc Networks

Predictive Energy-Efficient Multicast for Large-Scale Mobile...

引用

Consumer Communications and Networking Conference, CCNC IEEE

作者： Jung-Chun Kao Radu Marculescu Carnegie Mellon University Pittsburgh PA USA

Energy-efficient multicast routing is of primary concern for mobile ad hoc networks (MANET). However, none of existing energy-efficient multicast algorithms is applicable to large-scale MANETs, either due to their complexity (which is either NP-hard or polynomial with respect to the network size), or due to the huge overhead caused by frequent exchanges of location information. To solve the scalability and overhead issues, we propose the Predictive .Energy-efficient Multicast Algorithm (PEMA) which exploits statistical properties of the network, as opposed to relying on route details or network topology. The running time of PEMA depends on the multicast group size, not network size; this makes PEMA fast enough even for MANETs consisting of 1000 or more nodes. Simulation results show that PEMA not only results in significant energy savings compared to other existing algorithms, but also attains good packet delivery ratio in mobile environments.

关键词： Energy efficiency Large-scale systems Mobile ad hoc networks Multicast algorithms Routing Approximation algorithms Network topology Energy consumption mixed integer linear programming Unicast

来源：评论

学校读者我要写书评

暂无评论

Joint Spectrum Sharing and Fair Routing in Cognitive Radio Networks

Joint Spectrum Sharing and Fair Routing in Cognitive Radio N...

引用

Consumer Communications and Networking Conference, CCNC IEEE

作者： Miao Ma Danny H. K. Tsang Department of Electronic and Computer Engineering Hong Kong University of Science and Technology Kowloon Hong Kong China

In this paper, we propose a cross-layer optimization framework to jointly design the spectrum sharing and flow routing with the interference considerations in cognitive radio networks. Given multiple traffic demands from different source nodes to destination nodes, we formulate an optimization problem in the form of mixed integer linear programming (MILP) to provide a fair routing. Different from the existing work, we consider bi-directional links because we believe the link level acknowledgements in an ad-hoc network are a must. For traffic routing we allow multi-path for each traffic demand. Numerical results show that the spectrum sharing among the secondary users is interference-free and a fair routing is guaranteed for different traffic demands.

关键词： Routing Cognitive radio Chromium Telecommunication traffic Interference constraints Scheduling mixed integer linear programming Bidirectional control Ad hoc networks Computer networks

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共331页 << < 302 303 304 305 306 307 308 309 310 311 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：