Interpolation Methods for Binary and Multivalued Logical Quantum Gate Synthesis

A method for synthesizing quantum gates is presented based on interpolation methods applied to operators in Hilbert space. Starting from the diagonal forms of specific generating seed operators with non-degenerate eigenvalue spectrum one obtains for arity-one a complete family of logical operators corresponding to all the one-argument logical connectives. Scaling-up to n-arity gates is obtained by using the Kronecker product and unitary transformations. The quantum version of the Fourier transform of Boolean functions is presented and a Reed-Muller decomposition for quantum logical gates is derived. The common control gates can be easily obtained by considering the logical correspondence between the control logic operator and the binary propositional logic operator. A new polynomial and exponential formulation of the Toffoli gate is presented. The method has parallels to quantum gate-T optimization methods using powers of multilinear operator polynomials. The method is then applied naturally to alphabets greater than two for multi-valued logical gates used for quantum Fourier transform, min-max decision circuits and multivalued adders

Alone Self-Excited Induction Generators

In recent years, some converter structures and analyzing methods for the voltage regulation of stand-alone self-excited induction generators (SEIGs) have been introduced. However, all of them are concerned with the three-phase voltage control of three-phase SEIGs or the single-phase voltage control of single-phase SEIGs for the operation of these machines under balanced load conditions. In this paper, each phase voltage is controlled separately through separated converters, which consist of a full-bridge diode rectifier and one-IGBT. For this purpose, the principle of the electronic load controllers supported by fuzzy logic is employed in the two-different proposed converter structures. While changing single phase consumer loads that are independent from each other, the output voltages of the generator are controlled independently by three-number of separated electronic load controllers (SELCs) in two different mode operations. The aim is to obtain a rated power from the SEIG via the switching of the dump loads to be the complement of consumer load variations. The transient and steady state behaviors of the whole system are investigated by simulation studies from the point of getting the design parameters, and experiments are carried out for validation of the results. The results illustrate that the proposed SELC system is capable of coping with independent consumer load variations to keep output voltage at a desired value for each phase. It is also available for unbalanced consumer load conditions. In addition, it is concluded that the proposed converter without a filter capacitor has less harmonics on the currents

Flood lamination strategy based on a three-flood-diversion-area system management

The flood lamination has for principal objective to maintain a downstream flow at a fixed lamination level. For this goal, it is necessary to proceed to the dimensioning of the river system capacity and to make sure of its management by taking into account socio-economic and environmental constraints. The use of flood diversion areas on a river has for main interest to protect inhabited downstream areas. In this paper, a flood lamination strategy aiming at deforming the wave of flood at the entrance of the zone to be protected is presented. A transportation network modeling and a flow optimization method are proposed. The flow optimization method, is based on the modeling of a Min-Cost-Max-flow problem with a linear programming formulation. The optimization algorithm used in this method is the interior-point algorithm which allows a relaxation of the solution of the problem and avoids some non feasibility cases due to the use of constraints based on real data. For a forecast horizon corresponding to the flood episode, the management method of the flood volumes is evaluated on a 2D simulator of a river equipped with a three-flood-diversion- area system. Performances show the effectiveness of the method and its ability to manage flood lamination with efficient water storage

On being balanced in an unbalanced world

This paper examines the case of a procurement auction for a single project, in which the breakdown of the winning bid into its component items determines the value of payments subsequently made to bidder as the work progresses. Unbalanced bidding, or bid skewing, involves the uneven distribution of mark-up among the component items in such a way as to attempt to derive increased benefit to the unbalancer but without involving any change in the total bid. One form of unbalanced bidding for example, termed Front Loading (FL), is thought to be widespread in practice. This involves overpricing the work items that occur early in the project and underpricing the work items that occur later in the project in order to enhance the bidder's cash flow. Naturally, auctioners attempt to protect themselves from the effects of unbalancing—typically reserving the right to reject a bid that has been detected as unbalanced. As a result, models have been developed to both unbalance bids and detect unbalanced bids but virtually nothing is known of their use, success or otherwise. This is of particular concern for the detection methods as, without testing, there is no way of knowing the extent to which unbalanced bids are remaining undetected or balanced bids are being falsely detected as unbalanced. This paper reports on a simulation study aimed at demonstrating the likely effects of unbalanced bid detection models in a deterministic environment involving FL unbalancing in a Texas DOT detection setting, in which bids are deemed to be unbalanced if an item exceeds a maximum (or fails to reach a minimum) ‘cut-off’ value determined by the Texas method. A proportion of bids are automatically and maximally unbalanced over a long series of simulated contract projects and the profits and detection rates of both the balancers and unbalancers are compared. The results show that, as expected, the balanced bids are often incorrectly detected as unbalanced, with the rate of (mis)detection increasing with the proportion of FL bidders in the auction. It is also shown that, while the profit for balanced bidders remains the same irrespective of the number of FL bidders involved, the FL bidder's profit increases with the greater proportion of FL bidders present in the auction. Sensitivity tests show the results to be generally robust, with (mis)detection rates increasing further when there are fewer bidders in the auction and when more data are averaged to determine the baseline value, but being smaller or larger with increased cut-off values and increased cost and estimate variability depending on the number of FL bidders involved. The FL bidder's expected benefit from unbalancing, on the other hand, increases, when there are fewer bidders in the auction. It also increases when the cut-off rate and discount rate is increased, when there is less variability in the costs and their estimates, and when less data are used in setting the baseline values

Optimizing of the Balanced Scorecard method for management of mining companies with the use of factor analysis

The managers of information age companies cannot rely merely on data derived from past activities of the company and focus on improving existing processes. They need a frame for measuring values that result from strategic goals of the company, a tool, which is focusing on obtaining information about company's current success, as well as finding new driving forces to ensure the future competitiveness of the company. Strategic business performance measurement system the Balanced Scorecard (BSC) is a suitable tool for improving the competitiveness of industrial companies. During its implementation, however, there is a conflict of perception of the importance of individual goals and measurable characteristics in partial perspectives of the BSC and its actual enforcement of the various strategic objectives in companies. The aim of this article is to verify the accuracy of BSC settings in an environment of selected companies in the Moravian-Silesian region with the emphasis placed on mining companies with the help of multidimensional statistics - factor analysis. The research took place in 2015 in cooperation with managers from the Moravian-Silesian Region (MSR), and it was divided into two kinds of research - quantitative and qualitative.Web of Science22444743

SOVEREIGN: An Autonomous Neural System for Incrementally Learning Planned Action Sequences to Navigate Towards a Rewarded Goal

How do reactive and planned behaviors interact in real time? How are sequences of such behaviors released at appropriate times during autonomous navigation to realize valued goals? Controllers for both animals and mobile robots, or animats, need reactive mechanisms for exploration, and learned plans to reach goal objects once an environment becomes familiar. The SOVEREIGN (Self-Organizing, Vision, Expectation, Recognition, Emotion, Intelligent, Goaloriented Navigation) animat model embodies these capabilities, and is tested in a 3D virtual reality environment. SOVEREIGN includes several interacting subsystems which model complementary properties of cortical What and Where processing streams and which clarify similarities between mechanisms for navigation and arm movement control. As the animat explores an environment, visual inputs are processed by networks that are sensitive to visual form and motion in the What and Where streams, respectively. Position-invariant and sizeinvariant recognition categories are learned by real-time incremental learning in the What stream. Estimates of target position relative to the animat are computed in the Where stream, and can activate approach movements toward the target. Motion cues from animat locomotion can elicit head-orienting movements to bring a new target into view. Approach and orienting movements are alternately performed during animat navigation. Cumulative estimates of each movement are derived from interacting proprioceptive and visual cues. Movement sequences are stored within a motor working memory. Sequences of visual categories are stored in a sensory working memory. These working memories trigger learning of sensory and motor sequence categories, or plans, which together control planned movements. Predictively effective chunk combinations are selectively enhanced via reinforcement learning when the animat is rewarded. Selected planning chunks effect a gradual transition from variable reactive exploratory movements to efficient goal-oriented planned movement sequences. Volitional signals gate interactions between model subsystems and the release of overt behaviors. The model can control different motor sequences under different motivational states and learns more efficient sequences to rewarded goals as exploration proceeds.Riverside Reserach Institute; Defense Advanced Research Projects Agency (N00014-92-J-4015); Air Force Office of Scientific Research (F49620-92-J-0225); National Science Foundation (IRI 90-24877, SBE-0345378); Office of Naval Research (N00014-92-J-1309, N00014-91-J-4100, N00014-01-1-0624, N00014-01-1-0624); Pacific Sierra Research (PSR 91-6075-2

A synthesis of logic and bio-inspired techniques in the design of dependable systems

Much of the development of model-based design and dependability analysis in the design of dependable systems, including software intensive systems, can be attributed to the application of advances in formal logic and its application to fault forecasting and verification of systems. In parallel, work on bio-inspired technologies has shown potential for the evolutionary design of engineering systems via automated exploration of potentially large design spaces. We have not yet seen the emergence of a design paradigm that effectively combines these two techniques, schematically founded on the two pillars of formal logic and biology, from the early stages of, and throughout, the design lifecycle. Such a design paradigm would apply these techniques synergistically and systematically to enable optimal refinement of new designs which can be driven effectively by dependability requirements. The paper sketches such a model-centric paradigm for the design of dependable systems, presented in the scope of the HiP-HOPS tool and technique, that brings these technologies together to realise their combined potential benefits. The paper begins by identifying current challenges in model-based safety assessment and then overviews the use of meta-heuristics at various stages of the design lifecycle covering topics that span from allocation of dependability requirements, through dependability analysis, to multi-objective optimisation of system architectures and maintenance schedules

Fredkin Gates for Finite-valued Reversible and Conservative Logics

The basic principles and results of Conservative Logic introduced by Fredkin and Toffoli on the basis of a seminal paper of Landauer are extended to d-valued logics, with a special attention to three-valued logics. Different approaches to d-valued logics are examined in order to determine some possible universal sets of logic primitives. In particular, we consider the typical connectives of Lukasiewicz and Godel logics, as well as Chang's MV-algebras. As a result, some possible three-valued and d-valued universal gates are described which realize a functionally complete set of fundamental connectives.Comment: 57 pages, 10 figures, 16 tables, 2 diagram