Improving search order for reachability testing in timed automata

Standard algorithms for reachability analysis of timed automata are sensitive to the order in which the transitions of the automata are taken. To tackle this problem, we propose a ranking system and a waiting strategy. This paper discusses the reason why the search order matters and shows how a ranking system and a waiting strategy can be integrated into the standard reachability algorithm to alleviate and prevent the problem respectively. Experiments show that the combination of the two approaches gives optimal search order on standard benchmarks except for one example. This suggests that it should be used instead of the standard BFS algorithm for reachability analysis of timed automata

Higher spin gravity

Diese Dissertation ist den Quantenaspekten von Gravitationen höherer Spins (GRAHSs) und den ihnen zugrundeliegenden algebraischen Strukturen gewidmet. Theorien höherer Spins enthalten unendlichdimensionale Symmetrien, die mächtig genug sein sollten, um keine relevanten Gegenterme zuzulassen. Aus diesem Grund wird seit langem erwartet, dass GRAHSs endlich, oder zumindest renormierbar sind. Sobald gezeigt ist, dass diese Eigenschaft tatsächlich realisiert wird, macht sie Theorien höherer Spins zu interessanten Quantengravitationsmodellen. Wenn das keine-Gegenterme-Argument funktioniert, reduziert sich das Problem, eine quantenkonsistente Theorie höherer Spins zu konstruieren, bemerkenswerterweise auf das Problem, ein konsistentes klassisches Modell von GRAHS zu finden. Eine der interessantesten Klassen von GRAHSs ist die chirale GRAHS, die sowohl in der Minkowski- als auch in der AdS-Raumzeit existiert. Sie ist momentan die einzige Theorie mit propagierenden Feldern höherer Spins und einer recht einfachen Wirkung. Die Theorie ist auf perturbativer Ebene lokal. Die Wirkung der chiralen GRAHS ist in der Lichtkegel-Eichung bekannt und vermeidet alle Theoreme, welche die Existenz einer Theorie höherer Spins im flachen Raum verbieten. Wir studieren die Struktur der Quantenkorrekturen in der chiralen GRAHS im Minkowskiraum im Detail. Wir zeigen, dass aufgrund einer nichttrivialen Kürzung unter den Feynmandiagrammen dank einer spezifischen Form der Wechselwirkungen (dem Kopplungs-Verschwörungs-Mechanismus), alle Baumniveau-Amplituden verschwinden; wir analysieren im Detail zwei-, drei- und vier-Punkt Einschleifenamplituden und zeigen, dass diese UV-konvergent sind. Mit Hilfe von Unitaritätsschnitten berechnen wir die komplette n-Punkt Einschleifenamplitude und zeigen, dass sie aus drei Faktoren besteht: (i) der Einschleifenamplitude in QCD oder SDYM mit allen Helizitäten plus; (ii) einem bestimmten kinematischen Verzierungsfaktor für höhere Spins; (iii) einem rein numerischen Faktor der Gesamtanzahl der Freiheitsgrade. Im Kontext von AdS/KFT wird vermutet, dass GRAHSs dual zu recht einfachen konformen Feldtheorien (KFTs) sind: zu freien und kritischen Vektormodellen (Typ-A), freien Fermionen und Gross–Neveu-Modellen (Typ-B) und, allgemeiner, zu Chern–Simons-Materie- Theorien. Wir studieren im Detail die Vakuum-Einschleifenkorrekturen in verschiedenen Theorien höherer Spins in der anti-de Sitter (AdS) Raumzeit. Für die Typ-A-Theorie in AdSd+1 beweisen wir die Vermutung, dass die freie Energie für alle ganzzahligen Spins verschwindet und der freien Energie einer Kugel eines freien Skalarfeldes für alle geraden Spins gleicht. Wir erweitern dieses Resultat auf alle nicht-ganzzahligen Dimensionen und reproduzieren insbesondere die freie-Energie-Korrektur zur 4 − ε Wilson–Fisher KFT als einen Einschleifeneffekt in der Typ-A-Theorie auf AdS5−ε. Wir berechnen ebenfalls die Beiträge fermionischer Felder höherer Spins, die für supersymmetrische GRAHS relevant sind. Es wird gezeigt, dass diese exakt mit der Vorhersage der KFT übereinstimmen. Der Beitrag bestimmter Felder gemischter Symmetrie, die in Typ-B GRAHS vorkommen, wird ebenfalls berechnet. Der letztere Beitrag führt (in geraden Raumzeitdimensionen) auf eine Frage, die zu beantworten bleibt. Freie KFTs haben unendlichdimensionale globale Symmetrien, die in Algebras höherer Spins manifestiert sind. Die holographisch dualen GRAHSs sollten im Prinzip komplett durch diese Symmetrie bestimmt sein. Deshalb ist die einzige Information, die wir benötigen, um eine Theorie höherer Spins in AdS zu konstruieren, eine Algebra höherer Spins, die aus ihrer dualen freien KFT extrahiert werden kann. In dieser Dissertation rekonstruieren wir die Typ-A GRAHS in AdS5 auf der Ebene der formal konsistenten klassischen Bewegungsgleichungen (formale GRAHS).This dissertation is dedicated to the quantum aspects of higher spin gravities (HSGRAs) and to their underlining algebraic structures. Higher-spin theories are governed by infinite-dimensional symmetries called higher-spin symmetries. Higher-spin symmetry should be powerful enough to leave no room for any relevant counterterms. Therefore, higher spin gravities have long been expected to be finite or at least renormalizable. This feature, once shown to be realized, makes higher-spin theories interesting toy models of Quantum Gravity. Remarkably, if the no-counterterm argument works, the problem of constructing a quantum consistent higher-spin theory downgrades to a problem of finding a consistent classical model of higher-spin gravity. One of the most interesting classes of HSGRAs is chiral HSGRA, which exists both in Minkowski and AdS spacetime. It is the only theory at present with propagating massless higher spin fields and a rather simple action. The theory is perturbatively local. The action of the chiral theory is known in the light-cone gauge and and avoids all No-Go theorems that forbid the existence of higher-spin theories in flat space. We study in detail the structure of quantum corrections in the Minkowski Chiral HSGRA. We show that all tree-level amplitudes vanish, which is due to a nontrivial cancellation among all Feynman diagrams thanks to the specific form of the interactions (coupling conspiracy mechanism); we analyze in detail two-, three- and four-point one-loop amplitudes and show that they are UV-convergent. Using unitarity cuts we compute the complete one-loop n-point amplitude and show that it consists of three factors: (i) all-plus helicity one-loop amplitude in QCD or SDYM; (ii) a certain kinematical higher spin dressing factor; (iii) a purely numerical factor of the total number of degrees of freedom. In the context of AdS/CFT, HSGRAs are conjectured to be dual to rather simple conformal field theories (CFT): free and critical vector models (Type-A), free fermion and Gross-Neveu models (Type-B) and, more generally, to Chern-Simons Matter theories. We study in detail vacuum one-loop corrections in various higher-spin theories in anti-de Sitter (AdS) spacetime. For the Type-A theory in AdSd+1 we prove the conjecture that the free energy vanishes for all integer spins and is equal to the sphere free energy of one free scalar field for all even spins. We extend this result to non-integer dimension and, in particular, reproduce the free energy correction to the 4 − ε Wilson-Fisher CFT as a one-loop effect in the Type- A theory on AdS5−ε. We also compute the contribution of fermionic higher spin fields that are relevant for supersymmetric HSGRA. These are shown to match precisely with the prediction of the CFT. The contribution of certain mixed-symmetry fields that appear in Type-B HSGRA is also computed. The latter leads to a puzzle (in even spacetime dimension) that remains to be resolved. Free CFTs have infinite-dimensional global symmetries manifested in higher spin algebras. The holographic dual HSGRAs should, in principle, be completely determined by this higher spin symmetry. Therefore, to construct a higher-spin theory in AdS, the only initial data we need is a higher spin algebra extracted from its free CFT dual. In this thesis, we reconstructed the Type-A HSGRA in AdS5 at the level of formally consistent classical equations of motion (Formal HSGRA)

The Analysis of the Tendency of the Vietnamese Media: Researching on the Construction of Chinese Tourist Image Based on “VnExpress”

China is now becoming a fundamental market for the prosperity and growth of the world’s tourism economy. It promotes the rapid development of foreign tourism and brings some influences to social life. Chinese tourists are highly concerned with foreign media at home and abroad; the Vietnamese Media is the same. Based on the theoretical framework, this paper analyzes the Chinese tourists report towards the Vietnamese Media “VnExpress” 2018 and discusses the construction of Chinese tourists’ image from the three views of macroscopic, the middle, and microcosmic of the news text framework. From there, it shows the tendency and prejudice of the Vietnamese media. The study found that “VnExpress” has a clear tendency; the image of Chinese tourists is full of negatives. At the same time, it indirectly involves events on political issues; Vietnamese media also maintain strong political sensitivity. Moreover, it emphasizes the integrity of Vietnam’s territorial sovereignty, the particularity of history and culture, and strengthening the sense of identity of Vietnamese readers

Assessing a chemosterilant for fertility control of rats

Fertility control of rodents could be used as an additional approach for the sustainable management of pest populations in agricultural production systems. One potential technique is the use of chemosterilants which induce long-term infertility in female animals. The aim of my research was to assess the effects of an industrial chemical, 4-vinylcyclohexene diepoxide (VCD), on reproduction of female and male laboratory rats (Rattus norvegicus). In addition, the uptake of bait types and basic formulations with potential to deliver a fertility control agent to the ricefield rat, Rattus argentiventer, a target species for fertility control in Southeast Asia, was undertaken. In female rats, the effects on ovarian follicle populations were assessed after a period of oral treatment (500 mg VCD/kg/day for 10 days), which was then repeated either once or twice at 14 and 21 day intervals. The effect of three periods of VCD treatment on fertility was examined by mating with fertile, untreated males for 4 breeding cycles. In male rats, the effects of a single 5-day period of oral administration (500 mg VCD/kg/day) on reproductive tissues of juvenile and adult rats were assessed at different times after treatment (days 16 to 90). The effect of VCD treatment on the fertility of adult males was determined by mating with fertile, untreated females for 5 breeding cycles. In the bait-uptake study, laboratory evaluations of bait acceptance by ricefield rats were conducted using different physical forms of bait, vegetable oils, food additives and types of cereal. Based on these laboratory results, the most accepted bait formula plus Rhodamine B (RB) as a bait marker was used under field enclosure conditions to determine the proportion of animals consuming bait and the rate of bait consumption per individual. In females, oral administration of VCD (500 mg/kg) for all treatment schemes induced significant depletion of primordial and primary follicles in the ovaries. Three periods of VCD treatment significantly enhanced ovarian follicle depletion and induced delayed but irreversible infertility. In male rats, a single oral VCD treatment for 15 days did not induce any effects on either reproductive tissues or fertility suggesting an absence of effect on the reproductive status of male rats. Under laboratory conditions, bait in kibble form, containing cereal-base (1O% broken rice, 30% wheat and 30% rice flours), 5% coconut oil, 20% intralipid (a fatty emulsion), and 5% sugar was shown to be most preferred by ricefield rats. Under field enclosure conditions, this bait formula was highly accepted with approximately 90% of ricefield rats consuming bait, and at a high rate per individual (approximately 9.5% body weight). This research has demonstrated that VCD has potential as a candidate for fertility control of rats, and that a cereal-based bait formula derived in this study could potentially be used as a carrier for oral delivery of fertility control agents in ricefield rats. In the future, fertility control could be used as an additional integrated tool for improved management of pest rodents and thus could significantly contribute to food security and poverty alleviation programs in developing countries

Optimal Number, Location, and Size of Distributed Generators in Distribution Systems by Symbiotic Organism Search Based Method

This paper proposes an approach based on the Symbiotic Organism Search (SOS) for optimal determining sizing, siting, and number of Distributed Generations (DG) in distribution systems. The objective of the problem is to minimize the power loss of the system subject to the equality and inequality constraints such as power balance, bus voltage limits, DG capacity limits, and DG penetration limit. The SOS approach is defined as the symbiotic relationship observed between two organisms in an ecosystem, which does not need the control parameters like other meta-heuristic algorithms in the literature. For the implementation of the proposed method to the problem, an integrated approach of Loss Sensitivity Factor (LSF) is used to determine the optimal location for installation of DG units, and SOS is used to find the optimal size of DG units. The proposed method has been tested on IEEE 33-bus, 69-bus, and 118-bus radial distribution systems. The obtained results from the SOS algorithm have been compared to those of other methods in the literature. The simulated results have demonstrated that the proposed SOS method has a very good performance and effectiveness for the problem of optimal placement of DG units in distribution systems

An application of decision trees method for fault diagnosis of induction motors

Decision tree is one of the most effective and widely used methods for building classification model. Researchers from various disciplines such as statistics, machine learning, pattern recognition, and data mining have considered the decision tree method as an effective solution to their field problems. In this paper, an application of decision tree method to classify the faults of induction motors is proposed. The original data from experiment is dealt with feature calculation to get the useful information as attributes. These data are then assigned the classes which are based on our experience before becoming data inputs for decision tree. The total 9 classes are defined. An implementation of decision tree written in Matlab is used for these data