In this paper, a dynamic programming (DR) method, concerning the edge detection of infrared (IR) target U from a given field background, is proposed. It involves locally adaptive threshold technique and fractal theory...
详细信息
ISBN:
(纸本)7121002159
In this paper, a dynamic programming (DR) method, concerning the edge detection of infrared (IR) target U from a given field background, is proposed. It involves locally adaptive threshold technique and fractal theory. Firstly, optimal control function based on different fractal dimensions and gray level features on infrared image is created, the second step is to seek latent object point by locally adaptive threshold technique and to calculate the minimum cumulative cost matrix. Finally optimal and connected contours are determined by DR Experiments with real targets show that the method can detect target effectively and reduce false alarm probability.
in this paper, a novel kind of algorithm, called the self-adaptive chaos quantum clonal evolutionary programming algorithms-SCQP, is proposed based on the quantum theory and the Chaos Mutation Operator. By adopting qu...
详细信息
ISBN:
(纸本)7121002159
in this paper, a novel kind of algorithm, called the self-adaptive chaos quantum clonal evolutionary programming algorithms-SCQP, is proposed based on the quantum theory and the Chaos Mutation Operator. By adopting quantum chromosome as a representation, SCQP uses the Logistic Sequence to control the mutation size and the Chaos Mutation Operator to control the clonal selection. Compared withthe classical evolutionary algorithm-CEA and SCQP, SCQP is shown to be a capable of solving complex machine learning tasks, and the experiment results are better.
this paper presents the characteristics of programmed SONOS memory. the CHE and CHISEL programming mechanisms are analyzed and the effects C of programming bias to the program speed and saturated. V-T under different ...
详细信息
ISBN:
(纸本)078038511X
this paper presents the characteristics of programmed SONOS memory. the CHE and CHISEL programming mechanisms are analyzed and the effects C of programming bias to the program speed and saturated. V-T under different program methods are studied. It shows that compared with CHE operation, CHISEL program has a lower voltage bias for the same program speed, and better threshold self-convergent character. the distribution of trapped charges in the Silicon Nitride layer after CHE or CHISEL program is also investigated. the research shows that the different charge distributions have different impacts to the I-d-V-g, and erase characteristics.
We give a logic programming based account of probability and describe a declarative language P-log capable of reasoning which combines both logical and probabilistic arguments. Several non-trivial examples illustrate ...
详细信息
ISBN:
(纸本)354020721X
We give a logic programming based account of probability and describe a declarative language P-log capable of reasoning which combines both logical and probabilistic arguments. Several non-trivial examples illustrate the use of P-log for knowledge representation.
A unified approach for the optimal design of finite-impulse response (FIR) filters with arbitrary magnitude and phase response using second-order cone programming (SOCP) is proposed. FIR filters with desired frequency...
详细信息
ISBN:
(纸本)7121002159
A unified approach for the optimal design of finite-impulse response (FIR) filters with arbitrary magnitude and phase response using second-order cone programming (SOCP) is proposed. FIR filters with desired frequency response can be implemented by minimizing the frequency domain response error measure (L-1, L-2, or L-alpha -norm of the error) between die designed filter response and the desired one. Some constraints can also be imposed in the passband or/and stopband to satisfy applications-oriented requirements. these optimal design problems can be reformulated as convex optimization form as the SOCP and solved efficiently via the well-established interior point method. the SOCP approach allows much more design flexibility in comparison to the classical minimax, least-square, and eigenfilter approaches. Computer simulation results for the design of FIR filters with desired frequency response show good performance of the proposed approach.
nlp is a compiler for nested logic programming under answer set semantics. It is designed as a front-end translating nested logic programs into disjunctive ones, whose answer sets are then computable by disjunctive lo...
详细信息
ISBN:
(纸本)354020721X
nlp is a compiler for nested logic programming under answer set semantics. It is designed as a front-end translating nested logic programs into disjunctive ones, whose answer sets are then computable by disjunctive logic programming systems, like dlv or gnt. nlp offers different translations: One is polynomial but necessitates the introduction of new atoms, another is exponential in the worst case but avoids extending the language. We report experimental results, comparing the translations on several classes of benchmark problems.
this paper presents a backward sharing analysis for logic programs. the analysis computes pre-conditions for a query that guarantee a given post-condition is satisfied after the query is successfully executed. the ana...
详细信息
ISBN:
(纸本)354021402X
this paper presents a backward sharing analysis for logic programs. the analysis computes pre-conditions for a query that guarantee a given post-condition is satisfied after the query is successfully executed. the analysis uses a pair sharing domain and is capable of inferring pre-conditions that ensure the absence of sharing. this, in turn, has many applications in logic programming. the work is unique in that it demonstrates that backward analysis is applicable even for properties that are not closed under instantiation.
In this paper, we address the problem of checking whether two disjunctive logic programs possess exactly the same stable models. An existing translation-based method [14], which was designed for weight constraint prog...
详细信息
ISBN:
(纸本)354020721X
In this paper, we address the problem of checking whether two disjunctive logic programs possess exactly the same stable models. An existing translation-based method [14], which was designed for weight constraint programs supported by the SMODELS system, is generalized to the disjunctive case. Moreover, we report on our preliminary experiments with an implementation of the method, a translator called DLPEQ.
the proceedings contain 20 papers. the special focus in this conference is on Mathematics of Program Construction. the topics include: Constructing polymorphic programs with quotient types;inferring type isomorphisms ...
ISBN:
(纸本)3540223800
the proceedings contain 20 papers. the special focus in this conference is on Mathematics of Program Construction. the topics include: Constructing polymorphic programs with quotient types;inferring type isomorphisms generically;maintaining invariants over shared state;a case study in program verification in the presence of partial and infinite values;a free construction of Kleene algebras with tests;probabilistic predicative programming;augmenting types with unbounded demonic and angelic nondeterminacy;an injective language for reversible computation;prototyping generic programming in template Haskell and pointer theory and weakest preconditions without addresses and heap.
暂无评论