This paper purposed a new mind calculation model- demand influence from cognitive- emotional interaction mechanism, established a general human needs- cognitive- emotional three-tier model. The emotional-informational layer combined three-dimensional structure of information(information theory) and emotions(PAD model), According to Siminov's emotional motivation theory, we established information- emotional interaction model based on the correspondence between basic emotions with PAD, and analyzed 14 ways of calculation for emotional PAD value, which includes the formation and migration of the emotional state mechanisms, emotional states from surprise to the joy during migration process, the formation of information- emotional needs, the internal mechanism of cognitive and emotional conversion, migration, variation theory system. That is comprehensive information emotional theory.
Pedestrian detection is an open issue of object detection in computer vision, and has obtained great progress recently. But there is still a long way to make it work in practical applications. In this paper, we first make a detailed analysis of the factors influencing pedestrian detection, and then some future works are proposed.
Features of is more common in nature, This Fractal algorithm uses the L-system on simulation conducted research on various aspects involved in the process, According to the bamboo are characteristics of single-axis branch plants, using JAVA language for programming tools as well as the JAVA.AWT drawing double-buffered analog technology such as .double-buffering.
Dynamic Logic （DL） is a formal system for reasoning on the input/output behaviors of programs. Hoare Logic （HL） is the precursor of all dynamic logics known today. Two core systems of DL are Propositional Dynamic Logic （PDL） and Quantificational Dynamic Logic （QDL）. PDL is an extension of propositional logic with programs and is the appropriate place to begin investigating DL. QDL can be viewed as the first-order version of PDL. Predicate Dynamic Logic （DPL） is a subsystem of QDL and can be regarded as the most basic of a hierarchy of formulas-as-programs languages. These systems constitute the main topic of this essay. The authors’ elaboration here is very brief and sketchy and with the aim of providing the readers with only the most essence of the topic on the basis of other researchers’ works. The last part is the important one in which the authors summarize the approaches of extending Dynamic Logic. The conclusions are as follows: variants of DL are obtained by reinterpreting some constructs as something else, and/or by adding rules or operators, and/or by restricting or extending or revising some constructs, and/or combining a kind of logic with another one, and/or using a comprehensive way which insights from other disciplines according to its application in various domains. In all these cases, the authors give examples to illustrate the conclusion. It is generally proposed that sometimes the introduction of a new operator or rule or construct, or the introduction of reinterpretation or restriction or extension or revision of some constructs will increase expressive power and sometimes not; sometimes it has effect on the complexity of deciding satisfiability and sometimes not. Finally, the authors sum up major aspects which we should consider during investigating a specific variant of DL. The researchers should focus on the well-formed expressions and on the validity of expressions about it with respect to standard, non-standard and syntactically motivated classes of Kripke models. Other important semantic issues which should be dealt with by us include notions of consequence, model size properties, soundness, completeness, compactness, the complexity of deciding whether a formula is valid or not. We also should investigate a sound and complete axiomatization for our logic and inspect its decidability.
The formation of the theory of Leibnitz’s legal philosophy was based on its profound theoretical origins and distinctive background. The core of his system was monadology, the monad also constituted the headstone of his legal philosophy. Leibniz was living in the Formation mechanism to modern times, which rise of natural science was to give him a force for change, and his talent in the natural sciences which had made him determined on scientific laws; at the same time, he made his theory from mediaeval Christianity to neoteric rationalism during the controversy with the other thinkers.
