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...
详细信息
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.
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 cas...
详细信息
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 mixedintegerlinearprogramming (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.
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 fro...
详细信息
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.
Sustainable business development is one of the main topics of research and management in recent years. Since the environmental pillar is a part of the sustainability concept, companies are forced to (re-)design their ...
详细信息
Sustainable business development is one of the main topics of research and management in recent years. Since the environmental pillar is a part of the sustainability concept, companies are forced to (re-)design their supply chain according to environmental issues. Both government and other stakeholders, e.g. non-governmental organisations and customers, pay a lot of attention on a company's environmental performance. Hence there is a risk of losing reputation if a company does not comply with environmental norms. We focus on the impact of customers' requirements regarding the environmental performance of a product on strategic supply chain design decisions of the manufacturer of the product. Thus, we consider the case of a German manufacturing company and present a mixed-integer linear programming supply chain design model with a demand function that is influenced by sustainability requirements. The company is assumed to be able to improve the environmental performance of the products sold and affect the customer demand positively by designing an environmentally conscious supply chain.
The concept of cryogenic energy storage (CES) is to store energy in the form of liquid gas and vaporize it when needed to drive a turbine. Although CES on an industrial scale is a relatively new approach, the technolo...
详细信息
The concept of cryogenic energy storage (CES) is to store energy in the form of liquid gas and vaporize it when needed to drive a turbine. Although CES on an industrial scale is a relatively new approach, the technology is well known and essentially part of any air separation unit that utilizes cryogenic separation. In this work, the operational benefits of adding CES to an existing air separation plant are assessed. Three new potential opportunities are investigated: (1) increasing the plant's flexibility for load shifting, (2) storing purchased energy and selling it back to the market during higher-price periods, and (3) creating additional revenue by providing operating reserve capacity. A mixed-integer linear programming scheduling model is developed and a robust optimization approach is applied to model the uncertainty in reserve demand. The proposed model is applied to an industrial case study, which shows significant potential economic benefits. (c) 2015 American Institute of Chemical Engineers AIChE J, 61: 1547-1558, 2015
There is an increasing number of natural disasters occurring worldwide, particularly in populated areas. These events affect a large number of people, causing injuries and fatalities. Providing rapid medical treatment...
详细信息
There is an increasing number of natural disasters occurring worldwide, particularly in populated areas. These events affect a large number of people, causing injuries and fatalities. Providing rapid medical treatment is of utmost importance in such circumstances. The problem of transporting patients to medical facilities has been studied to only a small extent. One of the challenges is to find a strategy that can simultaneously maximize the number of survivors and minimize the total evacuation cost under a given set of resource and geographic constraints. We propose a mathematical optimization model called Triage-Assignment-Transportation (TAT) model that decides on the tactical routing assignment of several classes of evacuation vehicles between staging areas and shelters in the nearby area. The model takes into account the level of injury to the evacuees, the capacities of vehicles, and available resources at each shelter. TAT is a mixed-integer linear programming and minimum-cost flow model. Comprehensive computational experiments are performed to examine the applicability of the TAT model. TAT can offer valuable insights for decision-makers about the number of staging areas, evacuation vehicles, and medical resources that are required to complete a large-scale evacuation based on the estimated number of evacuees.
In a market comprised of multiple price-maker firms, the payoff each firm receives depends not only on one's own actions but also on the actions of the other firms. This is the defining characteristic of a non-coo...
详细信息
In a market comprised of multiple price-maker firms, the payoff each firm receives depends not only on one's own actions but also on the actions of the other firms. This is the defining characteristic of a non-cooperative economic game. In this article, we ask: What is the revenue-maximizing production schedule for multiple price-maker hydroelectric producers competing in a deregulated, bid-based market? In every time stage, we seek a set of bids such that, given all other price-maker producers' bids, no price-maker can improve (increase) their revenue by changing their bid;i.e., a pure-strategy Nash-Cournot equilibrium. From a theoretical game theory perspective, the analysis on the underlying non-cooperative game is lacking. Specifically, existing approaches are not able to detect when multiple equilibria exist and consider any equilibrium found optimal. In our approach, we create interpolations for each price-maker's best response function using mixed-integer linear programming formulations within a dynamic programming framework. In the presence of multiple Nash equilibria, when one exists, our approach finds the equilibrium that is Pareto optimal. If a Pareto-optimal Nash equilibrium does not exist, we use a tailored bargaining algorithm to determine a unique solution. To illustrate some of the finer details of our method, we present three examples and a case study on an electricity market in Honduras.
Finding an exact optimal solution of the Nonlinear Discrete Transportation Problem (NDTP) represents a challenging task in transportation science. Development of an adequate model formulation and selection of an appro...
详细信息
Finding an exact optimal solution of the Nonlinear Discrete Transportation Problem (NDTP) represents a challenging task in transportation science. Development of an adequate model formulation and selection of an appropriate optimization method are thus significant for attaining valuable solution of the NDTP. When nonlinearities appear within the criterion of optimization, the NDTP can be formulated directly as a mixed-integer Nonlinearprogramming (MINLP) task or it can be linearized and converted into a mixed-integer linear programming (MILP) problem. This paper presents a comparison between MILP and MINLP approaches to exact optimal solution of the NDTP. The comparison is based on obtained results of experiments executed on a set of reference test problems. The paper discusses advantages and limitations of both optimization approaches.
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 ...
详细信息
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.
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, lexic...
详细信息
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.
暂无评论