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

2018 4th International Conference on Green Materials and Environmental Engineering(GMEE 2018)

作者： Qian-wei ZHENG Ju LIU Meng-lin ZHANG Ling-ling LE Xiao-meng AI Dong-jun YANG Jin-yu WEN State Key Laboratory of Advanced Electromagnetic Engineering and Technology Hubei Electric Power Security and High Efficiency Key Laboratory (Huazhong University of Science and Technology) State grid Hubei electric power company limited economic research institute

Demand response is becoming a rational option to guarantee system reliability and reduce the investment. To tackle the possible overload caused by wind power uncertainty and N-1 contingency, a stochastic mixed integer linear programming model is proposed first. In addition, extreme scenario method is utilized to guarantee the robustness of planning scheme. The proposed method is validated in the modified Garver 6-bus system with practical scenario input. The simulation results demonstrate that the demand response helps to relieve the power flow overload and reducing transmission line investment.

关键词： Transmission network planning Demand response N-1 security criterion Extreme scenario method mixed integer linear programming

来源：评论

学校读者我要写书评

暂无评论

The capacitated vehicle routing problem with reloads

The capacitated vehicle routing problem with reloads

引用

International Conference on Services Systems and Services Management, ICSSSM

作者： Herve Kerivin Mathieu Lacroix Ali Ridha Mahjoub Alain Quilliot LIMOS CNRS UMR 6158 Universite Blaise Pascal Clermont Ferrand France

In this paper, we consider a variant of the transportation problem where any demand may be dropped off elsewhere than at its destination, picked up later by the same or another vehicle, and so on until it has reached its destination. We present two mixed integer linear programming formulations based on a space-time graph. We also develop a branch-and-cut algorithm for the problem and present some computational results

关键词： Vehicles Routing Postal services Costs Road transportation Rail transportation mixed integer linear programming Operations research Air transportation Aircraft

来源：评论

学校读者我要写书评

暂无评论

Minimum-energy broadcast routing in wireless multi-hop networks

Minimum-energy broadcast routing in wireless multi-hop netwo...

引用

IEEE International Conference on Performance, Computing and Communications (IPCCC)

作者： Song Guo O. Yang School of Information Technology and Engineering University of Ottawa Ottawa ONT Canada

Energy conservation is a critical issue in wireless multi-hop networks since the nodes are powered by batteries only. One major metric for energy conservation is to route a communication session along the routes which requires the lowest total energy consumption. In this paper, based on the concepts of virtual relay, we present a constraint formulation for the minimum-energy broadcast routing problem in terms of mixed integer linear programming (MIP). Moreover the model extends its analytical capability into more general scenarios in asymmetric networks, where few studies have addressed the broadcast routing problem before. The experiment results show that in a typical multi-hop network with node less than 50, optimal solution can be always solved in a timely manner, and save up to 30% power consumption compared to the most efficient heuristic algorithm BIP known so far.

关键词： Broadcasting Routing Spread spectrum communication Energy conservation Energy consumption Batteries Relays mixed integer linear programming Analytical models Heuristic algorithms

来源：评论

学校读者我要写书评

暂无评论

An MILP-based wire spreading algorithm for PSM-aware layout modification

An MILP-based wire spreading algorithm for PSM-aware layout ...

引用

Asia and South Pacific Design Automation Conference

作者： Ming-Chao Tsai Yung-Chia Lin Ting-Chi Wang Department of Computer Science National Tsing Hua University Hsinchu Taiwan

ISBN: (纸本)9781424419210

Phase shifting mask (PSM) is a promising resolution enhancement technique, which is used in the deep sub-wavelength lithography of the VLSI fabrication process. However, applying the PSM technique requires the layout to be free of phase conflicts. In this paper, we present a mixed integer linear programming (MILP) based layout modification algorithm which solves the phase conflict problem by wire spreading. Unlike existing layout modification methods which first solve the phase conflict problem by removing edges from the layout-associated conflict graphs and then try to revise the layout to match the resultant conflict graphs, our algorithm simultaneously considers the phase conflict problem and the feasibility of modifying the layout. The experimental results indicate that without increasing the chip size, the phase conflict problem can be well tackled with minimal perturbation to the layout.

关键词： Wire Lithography Apertures Very large scale integration Libraries Interference constraints Computer science Fabrication mixed integer linear programming Routing

来源：评论

学校读者我要写书评

暂无评论

WLC35-3: Survivable Wireless Access Network Design with Dual-homing Capabilities

WLC35-3: Survivable Wireless Access Network Design with Dual...

引用

IEEE Globecom 2006

作者： Mohammad Masud Hasan Xiaodong Huang Jason P. Jue Department of Computer Science University of Texas Dallas Richardson TX USA

With the growth of mobile users and the increasing deployment of wireless access network infrastructures, the issue of quality of service is becoming an important component of efficient wireless access network design. In this paper, we study the survivability problem for users that are connected to the core network by fully or partially dual homed paths, or by a single path. Given a hierarchical wireless access network with the available capacity and reliability at each level, the problem is to minimize overall connection cost for multiple requests such that the capacity and minimum survivability requirements are not violated. We formulate the problem using mixed integer linear programming and propose a genetic-algorithm-based heuristic.

关键词： Wireless networks Femtocell networks Costs Databases Network topology Switches Computer science Mobile computing Quality of service mixed integer linear programming

来源：评论

学校读者我要写书评

暂无评论

A MILP approach to the short term hydrothermal self-scheduling problem

A MILP approach to the short term hydrothermal self-scheduli...

引用

Power Tech Conference

作者： C. K. Simoglou P. N. Biskas A. G. Bakirtzis Department of Electrical & Computer Engineering Aristotle University of Thessaloniki Thessaloniki Greece Hellenic TSO Greece

This paper addresses the hydrothermal electricity producer self-scheduling problem in day-ahead energy and reserves markets. A 0/1 mixed integer linear formulation of the producer self-scheduling problem is presented, which allows a realistic modeling of the unit's operating phases (synchronization, soak, dispatchable, desynchronization). Prohibited operating zones and daily hydro energy production constraints are also modeled. Test results address the effect of the energy and reserves market clearing prices on the producer units' day-ahead commitment status and profits.

关键词： Cost function Production planning Power generation Load forecasting Upper bound Testing mixed integer linear programming Thermal engineering Thermal loading Spinning

来源：评论

学校读者我要写书评

暂无评论

Slack matching quasi delay-insensitive circuits

Slack matching quasi delay-insensitive circuits

引用

International Symposium on Advanced Research in Asynchronous Circuits and Systems

作者： P. Prakash A.J. Martin Department of Computer Science California Institute of Technology Pasadena CA USA

Slack matching is an optimization that determines the amount of buffering that must be added to each channel of a slack elastic asynchronous system in order to reduce its cycle time to a specified target. We present two methods of expressing the slack matching problem as a mixed integer linear programming problem. The first method is applicable to systems composed of either full-buffers or half-buffers but not both. The second method is applicable to systems composed of any combination of full-buffers and half-buffers

关键词： Circuits Pipelines Throughput Communication channels Delay effects Computer science mixed integer linear programming Message passing Clocks Synchronization

来源：评论

学校读者我要写书评

暂无评论

Towards Cost-Effective Capacity Provisioning for Fault-tolerant Green Distributed Data Centers

Towards Cost-Effective Capacity Provisioning for Fault-toler...

引用

IEEE International Conference on Advanced Networks and Telecommuncations Systems

作者： Rakesh Tripathi S. Vignesh Venkatesh Tamarapalli Department of Computer Science and Engineering IIT Guwahati Assam India-781039

ISBN: (纸本)9781509021949

Many critical e-commerce and financial services predominantly depend on geo-distributed data centers for scalability and availability. Recent market surveys show that failure of a data center is inevitable causing huge financial loss. Fault-tolerant distributed data centers are typically designed by provisioning spare capacity to mask failure at a site. At the same time, data center operators are trying to reduce their carbon footprint by using renewable energy power. Thus, a key challenge in spare capacity provisioning is to distribute the additional servers across the sites, minimizing the total cost of ownership (which includes the server acquisition cost and operating cost) while maximizing the usage of renewable energy. While the existing models minimize the number of servers, we demonstrate that brown electricity price and renewable energy availability should be considered for sustainable fault tolerant data center design. We use mixed integer linear programming formulation to minimize the total cost of ownership (TCO), while handling constraints such as delay bound, partial or complete failure, and intermittent supply of renewable energy. By solving the optimization problem, we demonstrate that the proposed model reduces the TCO by 48% compared to CDN model (minimize latency), and by 24% compared to minimum server model (minimizes server cost). Results also highlight the impact of latency, number of data centers, failure percentage, and demand variation on the TCO.

关键词： Servers Renewable energy sources Green products Distributed databases Fault tolerance Fault tolerant systems Optimization data center Renewable energy Servers Total Cost Of Ownership Fault tolerance Fault tolerant systems Green products distributed databases renewable energy sources mixed integer linear programming

来源：评论

学校读者我要写书评

暂无评论

Job batching and scheduling for parallel non-identical machines via MILP and Petri nets

Job batching and scheduling for parallel non-identical machi...

引用

IEEE International Conference on Systems, Man and Cybernetics

作者： Ralf Fröhlich Matthias Hüsig Institute of Automation Hamburg University of Technology Hamburg Germany

This paper presents two modeling approaches for batching and scheduling jobs on parallel non-identical machines. For scheduling of jobs the due dates as a hard restriction and machine dependent processing times are considered. Between each of the jobs a setup may be necessary or not, depending on the predecessor. The setup of the machines is done by a single worker who needs to be scheduled as well, since only he can serve one machine at a time. The objective is to maximize the overall workload of the machines meeting the constraint of the due dates. While the first approach uses mixed integer linear programming to calculate an optimal schedule, the second one uses a simulation, based on colored Petri nets. Both methods are tested and evaluated using illustrative simulation examples.

关键词： Petri nets Optimal scheduling Automation mixed integer linear programming Parallel machines Cybernetics USA Councils Testing Job production systems linear programming

来源：评论

学校读者我要写书评

暂无评论

Security-Aware Scheduling of Embedded Control Tasks

引用

ACM TRANSACTIONS ON EMBEDDED COMPUTING SYSTEMS 2017年第5-Sup期16卷 188-188页

作者： Lesi, Vuk Jovanov, Ilija Pajic, Miroslav Duke Univ Dept Elect & Comp Engn 100 Sci Dr Durham NC 27708 USA

In this work, we focus on securing cyber-physical systems (CPS) in the presence of network-based attacks, such as Man-in-the-Middle (MitM) attacks, where a stealthy attacker is able to compromise communication between system sensors and controllers. Standard methods for this type of attacks rely on the use of cryptographic mechanisms, such as Message Authentication Codes (MACs) to ensure data integrity. However, this approach incurs significant computation overhead, limiting its use in resource constrained systems. Consequently, we consider the problem of scheduling multiple control tasks on a shared processor while providing a suitable level of security guarantees. Specifically, by security guarantees we refer to control performance, i.e., Quality-of-Control (QoC), in the presence of attacks. We start by mapping requirements for QoC under attack into constraints for security-aware control tasks that, besides standard control operations, intermittently perform data authentication. This allows for the analysis of the impact that security-related computation overhead has on both schedulability of control tasks and QoC. Building on this analysis, we introduce a mixed-integer linear programming-based technique to obtain a schedulable task set with predefined QoC requirements. Also, to facilitate optimal resource allocation, we provide a method to analyze interplay between available computational resources and the overall QoC under attack, and show how to obtain a schedulable task set that maximizes the overall QoC guarantees. Finally, we prove usability of our approach on a case study with multiple automotive control components.

关键词： CPS security real-time scheduling quality-of-control mixed integer linear programming

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：