The main idea of this article is to provide further knowledge related to the application of pure biodiesel in a custom power generator. Previous research has shown preliminary results regarding the potential of Pangiu...
详细信息
We present narrowing calculi that are computation models of functional-logic programming languages. The narrowing calculi are based on the notion of the leftmost outside-in reduction of Huet and Lévy. We note the...
We present narrowing calculi that are computation models of functional-logic programming languages. The narrowing calculi are based on the notion of the leftmost outside-in reduction of Huet and Lévy. We note the correspondence between the narrowing and reduction derivations, and define the leftmost outside-in narrowing derivation. We then give a narrowing calculus OINC that generates the leftmost outside-in narrowing derivations. It consists of several inference rules that perform the leftmost outside-in narrowing. We prove the completeness of OINC using an ordering defined over a narrowing derivation space. To use the calculus OINC as a model of computation of functional-logic programming, we extend OINC to incorporate strict equality. The extension results in a new narrowing calculus, s-OINC. We show also that s-OINC enjoys the same completeness property as OINC.
A neural network model that recognizes sequential patterns without expanding them into spatial patterns is presented. This model forms trajectory attractors in the state space of a fully recurrent network by a simple ...
详细信息
A neural network model that recognizes sequential patterns without expanding them into spatial patterns is presented. This model forms trajectory attractors in the state space of a fully recurrent network by a simple learning algorithm using nonmonotonic dynamics. When a sequential pattern is input after learning, the network state is attracted to the corresponding learned trajectory and the incomplete part of the input pattern is restored in the input part of the model;at the same time, the output part indicates which sequential pattern is being input. In addition, this model can recognize learned patterns correctly even if they are temporally extended or contracted.
Most of Household Hazardous Waste (HHW) is currently mixed with domestics waste. So that, it can impact human health and environmental quality. One important aspect in the management strategy is to determine the quant...
详细信息
Electric vehicles (EV s) boast zero tailpipe emissions, directly improving air quality and lowering greenhouse gas emissions. Despite the promise of EVs for sustainable transportation, their limited range is a key cha...
详细信息
In Indonesia, stunting is a serious problem that has drawn a lot of attention from the government. This study offers a novel strategy for preventing stunting by combining the 5-Desk Model used in integrated health pos...
详细信息
The purpose of this research is to propose a quantitative analysis method to analyze the relationship between the feedforward controller and feedback controller in a motion learning process, and also to assess the eff...
详细信息
The purpose of this research is to propose a quantitative analysis method to analyze the relationship between the feedforward controller and feedback controller in a motion learning process, and also to assess the effectiveness of this method by experiments. To analyze the mechanisms of the motion control systems, we propose: 1) a control gain identification method, 2) a squared-error separation method, 3) a gradient separation method, and 4) a pattern correlation method. The inverted pendulum is used to evaluate the effectiveness of these methods. Experiments show that the proposed methods are an effective way to separate the motor control system into feedforward control and feedback control. They also disclose the fact that there are two learning processes; one of which mainly performs feedback control and the other mainly feedforward control.
In neural networks based on a distributed information representation, when different patterns are to be recalled from the same input by association depending on the context, the usual method is to concatenate the patt...
详细信息
Accurate reconstruction of attenuation maps from incomplete sinograms are required in some cases of SPECT and PET imaging. This paper proposes a new method to directly reconstruct segmented attenuation maps from the i...
详细信息
Accurate reconstruction of attenuation maps from incomplete sinograms are required in some cases of SPECT and PET imaging. This paper proposes a new method to directly reconstruct segmented attenuation maps from the incomplete sinograms. The proposed method is based on an image labeling technique where an optimum label configuration minimizing some energy function is found by using a stochastic sampling with simulated annealing. Unlike ordinary image labeling techniques, however, the authors introduce a powerful constraint called the topology-preserving constraint. This constraint reduces the search space to a set of label configurations having the same topology as the known topology of the attenuation map in question. The experimental results demonstrate that the topology-preserving constraint is powerful enough to reconstruct accurate segmented attenuation maps from the incomplete sinograms. The proposed method is tested with simulated data and PET transmission data.
A function generator that converts a discrete time signal to its interpolation by a quadratic spline function with no phase distortions is described. The generator synthesizes the output as a linear combination of B-s...
详细信息
A function generator that converts a discrete time signal to its interpolation by a quadratic spline function with no phase distortions is described. The generator synthesizes the output as a linear combination of B-spline functions generated coherently and continuously. The method reduces the total scale of the circuitry and improves the accuracy in the final output waveform. An implementation of the spline function generator is described.< >
暂无评论