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

6th IFIPWG 5.5/SOCOLNET Advanced Doctoral Conference on Computing, Electrical and Industrial Systems (DoCEIS)

作者： Pousinho, H. M. I. Freire, P. Esteves, J. Mendes, V. M. F. Pereira Cabrita, C. Collares-Pereira, M. Univ Evora Evora Portugal Univ Lisbon IDMEC LAETA Inst Super Tecn P-1699 Lisbon Portugal Inst Super Engn Lisboa Lisbon Portugal Univ Beira Interior CISE P-6201001 Covilha Portugal

ISBN: (纸本)9783319167664;9783319167657

This paper presents a coordination approach to maximize the total profit of wind power systems coordinated with concentrated solar power systems, having molten-salt thermal energy storage. Both systems are effectively handled by mixed-integer linear programming in the approach, allowing enhancement on the operational during non-insolation periods. Transmission grid constraints and technical operating constraints on both systems are modeled to enable a true management support for the integration of renewable energy sources in day-ahead electricity markets. A representative case study based on real systems is considered to demonstrate the effectiveness of the proposed approach.

关键词： Concentrated solar power Wind power mixed-integer linear programming Transmission constraints

来源：评论

学校读者我要写书评

暂无评论

A case study of cost-efficient staffing under annualized hours

引用

HEALTH CARE MANAGEMENT SCIENCE 2015年第3期18卷 279-288页

作者： van der Veen, Egbert Hans, Erwin W. Veltman, Bart Berrevoets, Leo M. Berden, Hubert J. J. M. ORTEC NL-2719 EA Zoetermeer Netherlands Univ Twente CHOIR NL-7522 NB Enschede Netherlands Univ Nijmegen St Radboud Hosp Expert Grp Proc Improvement & Innovat NL-6500 HB Nijmegen Netherlands St Elizabeth Hosp CEO Tilburg Netherlands Tilburg Univ Org Dev Hosp TiasNimbas Business Sch CBMO NL-5000 LE Tilburg Netherlands

We propose a mathematical programming formulation that incorporates annualized hours and shows to be very flexible with regard to modeling various contract types. The objective of our model is to minimize salary cost, thereby covering workforce demand, and using annualized hours. Our model is able to address various business questions regarding tactical workforce planning problems, e.g., with regard to annualized hours, subcontracting, and vacation planning. In a case study for a Dutch hospital two of these business questions are addressed, and we demonstrate that applying annualized hours potentially saves up to 5.2% in personnel wages annually.

关键词： Annualized hours mixed-integer linear programming Contract-mix and skill-mix planning Staff capacity allocation Workforce capacity allocation

来源：评论

学校读者我要写书评

暂无评论

Energy management with the support of dynamic pricing strategies in real micro-grid scenarios

Energy management with the support of dynamic pricing strate...

引用

International Joint Conference on Neural Networks (IJCNN)

作者： Severini, Marco Squartini, Stefano Fagiani, Marco Piazza, Francesco Univ Politecn Marche Dept Informat Engn Ancona Italy

ISBN: (纸本)9781479919598

Although smart grids are regarded as the technology to overcome the limits of nowadays power distribution grids, the transition will require much time. Dynamic pricing, a straightforward implementation of demand response, may provide the means to manipulate the grid load thus extending the life expectancy of current technology. However, to integrate a dynamic pricing scheme in the crowded pool of technologies, available at demand side, a proper energy manager with the support of a pricing profile forecaster is mandatory. Although energy management and price forecasting are recurrent topics, in literature they have been addressed separately. On the other hand, in this work, the aim is to investigate how well an energy manager is able to perform in presence of data uncertainty originating from the forecasting process. On purpose, an energy and resource manager has been revised and extended in the current manuscript. Finally, it has been complemented with a price forecasting technique, based on the Extreme Learning Machine paradigm. The proposed forecaster has proven to be better performing and more robust, with respect to the most common forecasting approaches. The energy manager, as well, has proven that the energy efficiency of the residential environment can be improved significantly. Nonetheless, to achieve the theoretical optimum, forecasting techniques tailored for that purpose may be required.

关键词： Energy Management mixed-integer linear programming Dynamic Price Forecasting Neural Networks Extreme Learning Machine Smart Micro Grid

来源：评论

学校读者我要写书评

暂无评论

Improvement on the Method for Automatic Differential Analysis and Its Application to Two Lightweight Block Ciphers DESL and LBlock-s 10th

Improvement on the Method for Automatic Differential Analysi...

引用

10th International Workshop on Security (IWSEC)

作者： Sun, Siwei Hu, Lei Qiao, Kexin Ma, Xiaoshuang Shan, Jinyong Song, Ling Chinese Acad Sci Inst Informat Engn State Key Lab Informat Secur Beijing 100093 Peoples R China Chinese Acad Sci Data Assurance & Commun Secur Res Ctr Beijing 100093 Peoples R China

ISBN: (纸本)9783319224251;9783319224244

With the development of the ubiquitous computing and large-scale information processing systems, the demand for lightweight block ciphers which is suitable for resource constrained computing devices is increasing. Hence, the methodology for design and analysis of block ciphers is becoming more important. In this paper, we use the mixed-integer linear programming (MILP) based tools for automatic differential cryptanalysis in a clever way to find improved single-key and related-key differential characteristics for DESL (a lightweight variant of the well known Data Encryption Standard), and obtain tighter security bound for LBlock-s (a core component of an lightweight authenticated encryption algorithm submitted to the international competition for authenticated encryption -CAESAR) against related-key differential attack. To be more specific, in searching for improved characteristics, we restrict the differential patterns allowed in the first and last rounds of the characteristics in the feasible region of an MILP problem by imposing different constraints than other rounds, and we partition the differential patterns of the DESL S-box into different sets with 2-bit more information associated with each pattern according to their probabilities. In addition, we show how to use the Gurobi optimizer combined with a known good characteristic to speed up the characteristic searching and bound proving process. Using these techniques, we managed to find the currently known best 9-round related-key differential characteristic for DESL, and the first published nontrivial related-key and single-key differential characteristics covering 10 rounds of DESL. Also, we obtain the currently known tightest security bound for LBlock-s against related-key differential attack. These techniques should be useful in analysis and design of other lightweight block ciphers.

关键词： Automatic cryptanalysis Security evaluation Related-key differential attack Authenticated encryption mixed-integer linear programming

来源：评论

学校读者我要写书评

暂无评论

Security of LBlock-s against Related-Key Differential Attack 2

Security of LBlock-s against Related-Key Differential Attack

引用

2nd International Conference on Electronics and Communication Systems (ICECS)

作者： Shan, Jinyong Hu, Lei Sun, Siwei Chinese Acad Sci Inst Informat Engn State Key Lab Informat Secur Beijing 100093 Peoples R China Chinese Acad Sci Data Assurance & Commun Secur Res Ctr Beijing 100093 Peoples R China

ISBN: (纸本)9781479972258

LBlock-s is a 32-round lightweight block cipher and is a simplified version of the LBlock block cipher, which was proposed to achieve an efficiency improvement of implementation but not to weaken its security. It uses 10 identical 4-bit S-boxes instead of 10 different 4-bit S-boxes in LBlock to reduce the cost in hardware and software implementation. Although better bounds on the security of LBlock-s against related-key differential attack have been given, the designers did not have sufficient evidence to show that the cipher is secure enough to resist against this attack. In this paper, we apply the mixed-integer linear programming methods proposed by Sun et al. to show that the cipher is secure against standard related-key differential attack and there is no related-key differential characteristic with probability higher than 2(-64) for the 32-round LBlock-s. In particular, more concrete results on reduced versions of the cipher are obtained that the minimum numbers of active S-boxes for 10-round and 11-round related-key differential characteristics are 10 and 11, respectively.

关键词： LBlock-s block cipher LBlock block cipher mixed-integer linear programming related-key differential attack

来源：评论

学校读者我要写书评

暂无评论

A general MILP model for the sizing of islanded/grid-connected microgrids

A general MILP model for the sizing of islanded/grid-connect...

引用

IEEE International Energy Conference

作者： Aniol Alabert Ana Somoza Jordi de la Hoz Moises Graells Chemical Engineering Department Universitat Politecnica de Catalunya Electrical Engineering Department Universitat Politecnica de Catalunya

ISBN: (纸本)9781467384643

Recently, energy systems have experienced a change of paradigm, from a large-scale centralized approach to the in-situ exploitation of renewable sources. Special attention has been paid to microgrids, a particular case of distributed generation where consumer nodes include generation and can be either grid-connected or isolated. This work aims to develop a general model to determine the optimal sizing of an energy system under fixed conditions and to analyze the effect of considering different cycle patterns on the solution. The mixed integer linear programming (MILP) formulation proposes allows determining the best combination of available technologies that satisfies the demand of a given set of scenarios at minimum total cost. The model has been implemented using AIMMS and applied to a case study consisting of a five-member Mediterranean house. The results obtained reveal the need to select the most convenient time cycles for defining the scenarios of the sizing model.

关键词： Distributed power generation Energy Management System Microgrid Optimal Sizing mixed-integer linear programming

来源：评论

学校读者我要写书评

暂无评论

Optimal PMU Placement for Topological Observability of Power System: Robust Measurement Design in the Space of Phasor Variables

Optimal PMU Placement for Topological Observability of Power...

引用

PES Innovative Smart Grid Technologies Conference Europe

作者： M. V. Khokhlov A. Obushevs I. Oleinikova A. Mutule Power System Laboratory ISE&EPN Komi SC Ural Br. of the RAS Syktyvkar Russia Smart Grid Research Centre Institute of Physical Energetics Riga Latvia

ISBN: (纸本)9781509033591

This paper presents a new mixed-integer linear programming formulation of the optimal phasor measurement units (PMUs) placement problem when considering the topological observability of the power system. Different from other formulations, decision variables are associated with phasor measurements, but not with PMUs. This approach makes it easy to take into account the availability of PMU measuring channels, effect of zero-injection bus, possible system contingencies like single PMU or branch loss, as well as gross error occurrence, and offers flexibility in specifying the objective function. Paper describes a presolve technique that makes the formulation more compact and tighter. Numerical results on IEEE standard test systems are presented and reveal the existence of the PMU placements which ensure topological observability, but fail to meet numerical observability.

关键词： phasor measurement units power system observability contingencies location problem mixed-integer linear programming

来源：评论

学校读者我要写书评

暂无评论

Multi-Objectives Finite Capacity Scheduling of Make-and-Pack Production with Options to Adjust Processing Time

引用

Journal of Engineering, Project, and Production Management 2015年第1期5卷 48页

作者： Horng, S Yenradee, P Sirindhorn International Institute of Technology Thammasat University

Make-and-pack production is characterized by two stages of production namely, "make-stage" and "pack-stage" where each stage consists of parallel processing units. In make-stage, raw materials are converted into final products by batch processing. Then, the final products are packed into containers in pack-stage. This paper develops finite capacity scheduling (FCS) system of make-and-pack production with multi-objectives and options to adjust processing time (OAPT). Multi-objectives including minimizations of total tardiness, total earliness, total flow time, and total processing costs are conflicting and a compromised solution is needed. Moreover, the processing time can be adjusted by adding some special chemicals. This paper proposes mixed-integer linear programming models to determine the compromised solution by using weighted average of satisfaction levels (WASL) of all objectives as performance measure. The proposed compromised solution method consists of three steps, (1) determining the best and worst values of each objective, (2) determining the initial compromised solution of all objectives when OAPT is not included in the model, and (3) determining the compromised solution with OAPT. The effect of chemical costs to the OAPT is evaluated. The results showed that the proposed FCS system offered a compromised solution between conflicting objectives. The compromised solution is relatively good but not the best for all objectives. The OAPT can improve the performance of the system and it is significantly affected by the chemical cost per unit. When the chemical cost per unit is reduced, the special chemical is used more to reduce processing time per batch and then the performance measure is more improved.

关键词： Make-and-pack production mixed-integer linear programming multi-objectives compromised solution adjustable processing times

来源：评论

学校读者我要写书评

暂无评论

Improving Fairness in Staff Assignment: An Approach for Lexicographic Goal programming

Improving Fairness in Staff Assignment: An Approach for Lexi...

引用

IEEE International Conference on Industrial Engineering and Engineering Management

作者： Tom Rihm Philipp Baumann Dept. of Bus. Adm. Univ. of Bern Bern Switzerland

ISBN: (纸本)9781467380676

In many staff-assignment problems, a large variety of requirements has to be considered when assigning employees to work shifts. As the importance of the requirements is often described in a hierarchical manner, lexicographic goal programming has been used to minimize the number of requirement violations. The resulting schedules are in general of high quality with respect to requirement violations but may lack acceptance by employees because of an unfair distribution of the violations. We introduce a novel approach for lexicographic goal programming that allows to improve an existing schedule in terms of fairness without deteriorating its quality with regard to requirement violations. The effectiveness of the proposed approach is demonstrated for a test set derived from real-world data.

关键词： Staff Assignment Fairness Multi-Objective programming mixed-integer linear programming

来源：评论

学校读者我要写书评

暂无评论

Energy management with the support of dynamic pricing strategies in real micro-grid scenarios

Energy management with the support of dynamic pricing strate...

引用

International Joint Conference on Neural Networks

作者： Marco Severini Stefano Squartini Marco Fagiani Francesco Piazza Department of Information Engineering Università Politécnica delle Marche Ancona Italy

ISBN: (纸本)9781479919611

关键词： Energy Management mixed-integer linear programming Dynamic Price Forecasting Neural Networks Extreme Learning Machine Smart Micro Grid Energy management Neural network Learning machines mixed integer linear programming Pricing Forecasting techniques manager resource manager Residential environment life expectancy Demand-Responsive Smart grids Energy efficiency

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：