Search results for " Programming"
showing 10 items of 1616 documents
The Probability Law for Generic Density Operators
2020
In this chapter, the probability law of the non-null eigenstates of a generic density operator—studied in the previous chapter—is determined, by showing that given the composite system and the subsystem being considered, a mapping arises which associates a universal probability distribution to the non-null eigenstates of the generic density operator. We thus recover the Born statistical interpretation without having assumed it as a postulate.
Reflection and Refraction of Singularities for Wave Equations with Interface Conditions given by Fourier Integral Operators
1992
Cauchy problems for hyperbolic operators often have the property, that the singularities of the initial data propagate along the bicharacteristic strips of the operator (cf. e.g. [13]). We consider, in the linear case, the situation where the bicharacteristics hit transversally a spacelike interface, which is ‘active’ in the sense that the interface condition is given via certain Fourier integral operators. Taking the identity, we obtain classical transmission conditions. A suitable functional analytic setting is furnished by the interaction concept [3], [6], [7], which covers very general mutual influences of evolution phenomena on different domains.
Approximation properties of q-Kantorovich-Stancu operator
2015
In this paper we study some properties of Kantorovich-type generalizations of the q-Stancu operators. We obtain some approximation properties for these operators, estimating the rate of convergence by using the first and second modulus of continuity. Also, we investigate the statistical approximation properties of the q-Kantorovich-Stancu operators using the Korovkin-type statistical approximation theorem.
A systematic approach to deriving incremental type checkers
2020
Static typing can guide programmers if feedback is immediate. Therefore, all major IDEs incrementalize type checking in some way. However, prior approaches to incremental type checking are often specialized and hard to transfer to new type systems. In this paper, we propose a systematic approach for deriving incremental type checkers from textbook-style type system specifications. Our approach is based on compiling inference rules to Datalog, a carefully limited logic programming language for which incremental solvers exist. The key contribution of this paper is to discover an encoding of the infinite typing relation as a finite Datalog relation in a way that yields efficient incremental up…
Crowded comparison operators for constraints handling in NSGA-II for optimal design of the compensation system in electrical distribution networks
2006
This paper proposes an improvement of an efficient multiobjective optimization algorithm, Non-dominated Sorting Genetic Algorithm II, NSGA-II, that has been here applied to solve the problem of optimal capacitors placement in distribution systems. The studied improvement involves the Crowded Comparison Operator and modifies it in order to handle several constraints. The problem of optimal location and sizing of capacitor banks for losses reduction and voltage profile flattening in medium voltage (MV) automated distribution systems is a difficult combinatorial constrained optimization problem which is deeply studied in literature. In this paper, the efficiency of the proposed Crowded Compari…
An original multi-objective criterion for the design of small-scale polygeneration systems based on realistic operating conditions
2008
The optimal design and operation of cogeneration and trigeneration systems for buildings applications is a complex issue, which has been investigated by several different approaches. Both the two basic management strategies, namely heat-tracking and electricity-tracking, have advantages and drawbacks in terms of operating results and may lead the plant designer either to undersize or oversize the CHP unit with respect to the optimal lay-out. Experimental works have demonstrated how the actual on-site performance of small-scale polygeneration systems significantly differs from their expected operation, due to the need for a regular plant operation and the effects of outages for scheduled or …
Multi-objective discrete optimization of laminated structures
2002
Abstract The paper is dedicated to the multi-objective optimal design of laminated composite structures. In order to provide sound-engineering designs, a few alternative and/or conflicting objectives must be taken into account. It is reasonable to consider the multi-objective optimization as a sensible enrichment with respect to single objective optimization, since the solutions are enforced to result optimal at the same time with respect to different objectives. Multi-objective optimization methods gained in the last years a growing interest in engineering, due to the possibility to determine a design possessing at the same time optimality with respect to different conflicting requirements…
Multicopter UAV design optimization
2014
Designing and selecting hardware for a multirotor can be challenging in order to get the best flight performance out of the system. In addition to selecting the hardware, the number of actuators can also be altered. For a 4 actuator (quadrotor) setup, one set of hardware can give the optimal design, while for a 6 actuator setup (hexarotor) the same hardware may not necessarily give the same response. In this paper we present a design optimization process of a multirotor, where the hardware is selected from a set of low-cost off-the-shelf standard RC hobby parts. Constraining the problem to a given hardware ensures existence of the selected hardware, and the design can be implemented. Also t…
Distributed Resource Allocation for Energy Efficiency in OFDMA Multicell Networks with Wireless Power Transfer
2019
In this paper, an energy-efficient resource allocation problem is investigated for the wireless power transfer (WPT)-enabled OFDMA multicell networks. In the considered system, multiple base stations (BSs) with a large number of antennas are responsible to provide WPT in the downlink, and the users can recycle and utilize the received energy for uplink data transmission. The role of BS is to execute WPT; thus, there are no data transmissions in the downlink. A time-division protocol is considered to divide the time of downlink WPT and uplink wireless information transfer into separate time slots. With the objective to improve the energy efficiency, we propose the time, subcarrier, and power…
On Optimizing Locally Linear Nearest Neighbour Reconstructions Using Prototype Reduction Schemes
2010
This paper concerns the use of Prototype Reduction Schemes (PRS) to optimize the computations involved in typical k-Nearest Neighbor (k-NN) rules. These rules have been successfully used for decades in statistical Pattern Recognition (PR) applications, and have numerous applications because of their known error bounds. For a given data point of unknown identity, the k-NN possesses the phenomenon that it combines the information about the samples from a priori target classes (values) of selected neighbors to, for example, predict the target class of the tested sample. Recently, an implementation of the k-NN, named as the Locally Linear Reconstruction (LLR) [11], has been proposed. The salien…