On Enforcing Dyadic-type Homogeneous Binary Function Product Constraints in MatBase

Homogeneous binary function products are frequently encountered in the sub-universes modeled by databases,spanning from genealogical trees and sports to education and healthcare,etc.Their properties must be discovered and enforced by the software applications managing such data to guarantee plausibility.The(Elementary)Mathematical Data Model provides 17 types of dyadic-based homogeneous binary function product constraint categories.MatBase,an intelligent data and knowledge base management system prototype,allows database designers to simply declare them by only clicking corresponding checkboxes and automatically generates code for enforcing them.This paper describes the algorithms that MatBase uses for enforcing all 17 types of homogeneous binary function product constraint,which may also be employed by developers without access to MatBase.

HEURISTIC MODELING FOR A DYNAMIC AND GOAL PROGRAMMING IN PRODUCTION PLANNING OF CONTINUOUS MANUFACTURING SYSTEMS

At the first sight it seems that advanced operation research is not used enough in continuous production systems as comparison with mass production, batch production and job shop systems, but really in a comprehensive evaluation the advanced operation research techniques can be used in continuous production systems in developing countries very widely, because of initial inadequate plant layout, stage by stage development of production lines, the purchase of second hand machineries from various countries, plurality of customers. A case of production system planning is proposed for a chemical company in which the above mentioned conditions are almost presented. The goals and constraints in this issue are as follows： （1） Minimizing deviation of customer＇s requirements. （2） Maximizing the profit. （3） Minimizing the frequencies of changes in formula production. （4） Minimizing the inventory of final products. （5） Balancing the production sections with regard to rate in production. （6） Limitation in inventory of raw material. The present situation is in such a way that various techniques such as goal programming, linear programming and dynamic programming can be used. But dynamic production programming issues are divided into two categories, at first one with limitation in production capacity and another with unlimited production capacity. For the first category, a systematic and acceptable solution has not been presented yet. Therefore an innovative method is used to convert the dynamic situation to a zero- one model. At last this issue is changed to a goal programming model with non-linear limitations with the use of GRG algorithm and that＇s how it is solved.

Dynamic Behavior Modeling in Multi-Agent System By Evolutionary Programming

In a multi-agent system, each agent must adapt itself to the environment and coordinate with other agents dynamically. TO predict or cooperate with the behavior of oiller agents. An agent should dynamically establish and evolve the cooperative behavior model of itself. In this paper, we represent the behavior model of an agent as a f-mite state machine and propose a new method of dynamically evolving the behavior model of an agent by evolutionary programming.

Optimal design of culling compensation policy under the African swine fever——Based on simulations of typical pig farms in China

This paper aims to optimize the culling compensation policy from a micro perspective through scenario simulation.Based on an investigation of 273 pig farms in eight regions,four typical pig farms were constructed according to farm size and breeding mode,representing the swine producers in China.Besides,a decision objective function of pig farms facing suspected African swine fever(ASF)outbreaks was constructed.This study used a mathematical programming model to design and simulate scenarios based on compensation standards and local implementation levels,aiming to incentivize pig farms to report epidemics.The results show that the optimal decisions on epidemic reports differed among typical farms and by herd daily age.The results suggest the following adjustments for optimizing culling compensation policies:(1)to set culling compensation standards based on the market value and(2)to maintain a high level of epidemic surveillance capability in the animal husbandry and veterinary sector.

Two-Sided Stable Matching Decision-Making Method Considering Matching Intention under a Hesitant Fuzzy Environment

In this paper,a stable two-sided matching(TSM)method considering the matching intention of agents under a hesitant fuzzy environment is proposed.The method uses a hesitant fuzzy element(HFE)as its basis.First,the HFE preference matrix is transformed into the normalized HFE preference matrix.On this basis,the distance and the projection of the normalized HFEs on positive and negative ideal solutions are calculated.Then,the normalized HFEs are transformed into agent satisfactions.Considering the stable matching constraints,a multiobjective programming model with the objective of maximizing the satisfactions of two-sided agents is constructed.Based on the agent satisfaction matrix,the matching intention matrix of two-sided agents is built.According to the agent satisfaction matrix and matching intention matrix,the comprehensive satisfaction matrix is set up.Furthermore,the multiobjective programming model based on satisfactions is transformed into a multiobjective programming model based on comprehensive satisfactions.Using the G-S algorithm,the multiobjective programming model based on comprehensive satisfactions is solved,and then the best TSM scheme is obtained.Finally,a terminal distribution example is used to verify the feasibility and effectiveness of the proposed method.

Bus frequency optimization in a large-scale multi-modal transportation system:integrating 3D-MFD and dynamic traffic assignment

A properly designed public transport system is expected to improve traffic efficiency.A high-frequency bus service would decrease the waiting time for passengers,but the interaction between buses and cars might result in more serious congestion.On the other hand,a low-frequency bus service would increase the waiting time for passengers and would not reduce the use of private cars.It is important to strike a balance between high and low frequencies in order to minimize the total delays for all road users.It is critical to formulate the impacts of bus frequency on congestion dynamics and mode choices.However,as far as the authors know,most proposed bus frequency optimization formulations are based on static demand and the Bureau of Public Roads function,and do not properly consider the congestion dynamics and their impacts on mode choices.To fill this gap,this paper proposes a bi-level optimization model.A three-dimensional Macroscopic Fundamental Diagram based modeling approach is developed to capture the bi-modal congestion dynamics.A variational inequality model for the user equilibrium in mode choices is presented and solved using a double projection algorithm.A surrogate model-based algorithm is used to solve the bi-level programming problem.

New approach to multiple attribute decision making with interval numbers

In an ambiguous decision domain, the evaluation values of alternatives against attributes would be interval numbers because of the inherent, uncertain property of the problems. By using a number of linear programming models, Bryson and Mobolurin propose an approach to compute attribute weights and overall values of the alternatives in the form of interval numbers. The intervals of the overall values of alternatives are then transformed into points or crisp values for comparisons among the alternatives. However, the attribute weights are different because of the use of linear programming models in Bryson and Mobolurin＇s approach. Thus, the alternatives are not comparable because different attribute weights are employed to calculate the overall values of the alternatives. A new approach is proposed to overcome the drawbacks of Bryson and Mobolurin＇s approach. By transforming the decision matrix with intervals into the one with crisp values, a new linear programming model is proposed, to calculate the attribute weights for conducting alternative ranking.

Supply-based optimal scheduling of oil product pipelines

Oil product pipelines have features such as transporting multiple materials, ever-changing operating conditions, and synchronism between the oil input plan and the oil offloading plan. In this paper, an optimal model was established for a single-source multi-distribution oil pro- duct pipeline, and scheduling plans were made based on supply. In the model, time node constraints, oil offloading plan constraints, and migration of batch constraints were taken into consideration. The minimum deviation between the demanded oil volumes and the actual offloading volumes was chosen as the objective function, and a linear programming model was established on the basis of known time nodes＇ sequence. The ant colony optimization algo- rithm and simplex method were used to solve the model. The model was applied to a real pipeline and it performed well.

Study on data association algorithm of multi-passive-sensor location system

Aiming at three-passive-sensor location system, a generalized 3-dimension （3-D） assignment model is constructed based on property information, and a multi-target programming model is proposed based on direction-finding and property fusion information. The multi-target programming model is transformed into a single target programming problem to resolve, and its data association result is compared with the results which are solved by using one kind of information only. Simulation experiments show the effectiveness of the multi-target programming algorithm with higher data association accuracy and less calculation.

Primary logistics planning of oil products under the imbalance of supply and demand

This paper intends to complete the primary logistics planning of oil products under the imbalance of supply and demand. An integrated mathematical programming model is developed to simultaneously find the balance between supply and demand, and optimize the logistics scheme. The model takes minimum logistics cost and resource adjustment cost as the objective function, and takes supply and demand capacity, transportation capacity, mass balance, and resource adjustment rules as constraints.Three adjustment rules are considered in the model, including resource adjustment within oil suppliers,within oil consumers, and between oil consumers. The model is tested on a large-scale primary logistics of a state-owned petroleum enterprise, involving 37 affiliated refineries, 31 procurement departments,286 market depots and dedicated consumers. After the unified optimization, the supply and demand imbalance is eased by 97% and the total cost is saved by 7%, which proves the effectiveness and applicability of the proposed model.

A Quadratic Programming Model for Blast Scheduling

A quadratic programming model is established to choose the blocks to be blasted in a given period. The length of this period depends on the production planning requirements. During the given period, the blocks' parameters are available from the geological database of the mine. The objective is to minimize the deviation of the average ore grade of blasted blocks from the standard ore grade required by the mill. Transportation ability constraint. production quantity demand constraint. minimum safety bench constraint. block size constraint and block, bench precedence constraints are considered in forming the programming model. This model has more practical objective function and reasonable constraints compared with the existing model for this kind of problems.

A dynamic food-chain model and program for predicting the consequences of nuclear accident

A dynamic food chain model and program, DYFOM 95, for predicting the radiological consequences of nuclear accident has been developed, which is not only suitable to the West food chain but also to Chinese food chain. The following processes, caused by accident release which will make an impact on radionuclide concentration in the edible parts of vegetable were considered: dry and wet deposition interception and initial retention, translocation, percolation, root uptake and tillage. Activity intake rate of animals, effects of processing and activity intake of human through ingestion pathway ware also considered in calculations. The effects of leaf area index LAI of vegetable were considered in dry deposition model. A method for calculating the contribution of rain with different period and different intensity to total wet deposition was established. The program contains 1 main code and 5 sub codes to calculate dry and wet deposition on surface of vegetable and soil, translocation of nuclides in vegetable, nuclide concentration in the edible parts of vegetable and in animal products and activity intake of human and so on.

Weekly Fleet Assignment Model and Algorithm

A 0-1 integer programming model for weekly fleet assignment was put forward based on linear network and weekly flight scheduling in China. In this model, the objective function is to maximize the total profit of fleet assignment, subject to the constraints of coverage, aircraft flow balance, fleet size, aircraft availability, aircraft usage, flight restriction, aircraft seat capacity, and stopover. Then the branch-and-bound algorithm based on special ordered set was applied to solve the model. At last, a real- wofld case study on an airline with 5 fleets, 48 aircrafts and 1 786 flight legs indicated that the profit increase was ￥ 1 591276 one week and the running time was no more than 4 rain, which shows that the model and algorithm are fairly good for domestic airline.

New Latency Model for Dynamic Frequency Scaling on Network-on-Chip

Modulating both the clock frequency and supply voltage of the network-on-chip （NoC） during runtime can reduce the power consumption and heat flux, but will lead to the increase of the latency of NoC. It is necessary to find a tradeoff between power consumption and communication latency. So we propose an analytical latency model which can show us the relationship of them. The proposed model to analyze latency is based on the M/G/1 queuing model, which is suitable for dynamic frequency scaling. The experiment results show that the accuracy of this model is more than 90%.

Parallel Machine Scheduling Models with Fuzzy Parameters and Precedence Constraints: A Credibility Approach

A method for modeling the parallel machine scheduling problems with fuzzy parameters and precedence constraints based on credibility measure is provided. For the given n jobs to be processed on m machines, it is assumed that the processing times and the due dates are nonnegative fuzzy numbers and all the weights are positive, crisp numbers. Based on credibility measure, three parallel machine scheduling problems and a goal-programming model are formulated. Feasible schedules are evaluated not only by their objective values but also by the credibility degree of satisfaction with their precedence constraints. The genetic algorithm is utilized to find the best solutions in a short period of time. An illustrative numerical example is also given. Simulation results show that the proposed models are effective, which can deal with the parallel machine scheduling problems with fuzzy parameters and precedence constraints based on credibility measure.

MoM-PO/SBR Algorithm Based on Collaborative Platform and Mixed Model

For electromagnetic scattering of 3?D complex electrically large conducting targets,a new hybrid algorithm,MoM?PO/SBR algorithm,is presented to realize the interaction of information between method of moment(MoM)and physical optics(PO)/shooting and bouncing ray(SBR).In the algorithm,the COC file that based on the Huygens equivalent principle is introduced,and the conversion interface between the equivalent surface and the target is established.And then,the multi?task flow model presented in this paper is adopted to conduct CPU/graphics processing unit(GPU)tests of the algorithm under three modes,i.e.,MPI/OpenMP,MPI/compute unified device architecture(CUDA)and multi?task programming model(MTPM).Numerical results are presented and compared with reference solutions in order to illustrate the accuracy and the efficiency of the proposed algorithm.

Bi-Level Programming for the Optimal Nonlinear Distance-Based Transit Fare Structure Incorporating Principal-Agent Game

The urban transit fare structure and level can largely affect passengers’travel behavior and route choices.The commonly used transit fare policies in the present transit network would lead to the unbalanced transit assignment and improper transit resources distribution.In order to distribute transit passenger flow evenly and efficiently,this paper introduces a new distance-based fare pattern with Euclidean distance.A bi-level programming model is developed for determining the optimal distance-based fare pattern,with the path-based stochastic transit assignment(STA)problem with elastic demand being proposed at the lower level.The upper-level intends to address a principal-agent game between transport authorities and transit enterprises pursing maximization of social welfare and financial interest,respectively.A genetic algorithm(GA)is implemented to solve the bi-level model,which is verified by a numerical example to illustrate that the proposed nonlinear distance-based fare pattern presents a better financial performance and distribution effect than other fare structures.

The Impact on the Environment and Economy Due to the Introduction of Electric Cars: Based on the Fuzzy Synthetical Evaluation Method

In this paper, we establish a model to analyze the influence of widespread use of electric vehicle on environment, society and economist based on Fuzzy Comprehensive Evaluation method. We set the fuzzy objects are internal combustion engine vehicles, pure electric vehicles and hybrid electric vehicles. Considering the difference of environment, society and economics, we use of three different kinds to define the fuzzy evaluation factor sets. According to the data and calculating results, we finally obtain fuzzy synthetical evaluation matrix. Through comparing and analysis, we draw such conclusion that the widespread using of electric vehicle is benefit for both environment and economics, while has disadvantageous influence for some aspects on society. In Section 3, we establish a model to estimate the influence of widespread use of electric vehicles on energy saving. According to the proportion of coal resources in the whole energies, we use Linear Regression Model to forecast the development situation in the following several years. Contrasting energy consumptions of electric vehicles and internal combustion engine vehicles, we calculate the whole energies saved by widespread use of electric vehicles. In Section 4, we establish a multi-objective programming model to plan the number and type of power station. Considering the thermal power, hydropower, nuclear power and solar power as four ways, combined with the funds of setting up power station, running funds and the cost of dealing with the pollutants, we find the objective function and four constraints, and finally we reach optimal solution using lingo software.

M5 Model Tree to Predict Temporal Evolution of Clear-Water Abutment Scour

Scour is a natural phenomenon that is created by the rivers streams or the flood which brings about transferring or eroding of bed materials. To have accurate and safe erosion control structures design, maximum scour depth in downstream of the structures gains specific significance. In the current study, M5 model tree as remedy data mining approaches is suggested to estimate the scour depth around the abutments. To do this, Kayaturk laboratory data (2005), with different hydraulic conditions, are used. Then, the results of M5 model were also compared with genetic programming (GP) and pervious empirical results to investigate the applicability, ability, and accuracy of these procedures. To examine the accuracy of the results yielded from the M5 and GP procedures, two performance indicators (determination coefficient (R2) and root mean square error (RMSE)) were used. The comparison test of results clearly shows that the implementation of M5 technique sounds satisfactory regarding the performance indicators (R2 = 0.944 and RMSE = 0.126) with less deviation from the numerical values. In addition, M5 tree model, by presenting relationships based on liner regression, has good capability to estimate the depth of scour abutment for engineers in practical terms.