Добірка наукової літератури з теми "Djneïn"

Critical systems, particularly aeronautical systems, contain newly highly interactive devices: for example, the new generation cockpits use sophisticated electronics. They are driven by complex reactive software applications able to react to various kinds of inputs and to provide a representation of their internal state. In this context, the certification processes described in DO-178C and in DO-333 give an important place to formal verification of the requirements of these systems. Many formal methods have been proposed for this verification. However properties related to the graphical elements of these systems like position, overlapping, color, etc. have not received the same attention as others like safety, liveness, reachability or boundary ones. In this paper, we propose an original approach based on deductive verification to check graphically oriented requirements. On the basis of a semantic of reactive applications based on the weakest precondition calculus, we propose an algorithm for the verification of graphical requirements. This algorithm is developed in the context of Smala/Djnn: an environment for developing interactive systems. We illustrate our approach on the Traffic alert and Collision Avoidance System (TCAS), an aeronautical case study, and some of its graphical requirements.

The purpose of this study is twofold first, to identify the pollen that most likely can induce allergic symptomssecond, a review of epidemiological records was undertaken from 2013 to 2017 with the aim of determiningthe prevalence of allergy in the Seraidi region “bouzizi-djnen el bey” in the Annaba Algeria region. Thelinking between the flowering schedule of the characteristic species of the region (Seraidi) and the results ofthe analysis has made it possible to identify the species likely to be at the origin of the recorded manifestationsof allergy. These are the pollens of certain trees (the oak which occupies the first position, Erica, Pine, Olivetree), the pollens of certain spontaneous herbaceous plants (of the family Compositae, Urticaceae (Parietal)),and pollen from certain grasses (of the family Poaceae (Fecal)). The results of the epidemiological surveyscarried out showed that the average allergy due to pollen was 198 in May for conjunctivitis and 100 in Aprilfor rhinitis and asthma. Overall, the maximum symptom frequency values recorded in March-April, Mayand August-November correspond to the maximum flowering of characteristic species. Seasonal variationsin symptoms reveal the probable role of pollens in their induction.

Generating music medleys is about finding an optimal permutation of a given set of music clips. Toward this goal, we propose a self-supervised learning task, called the music puzzle game, to train neural network models to learn the sequential patterns in music. In essence, such a game requires machines to correctly sort a few multisecond music fragments. In the training stage, we learn the model by sampling multiple non-overlapping fragment pairs from the same songs and seeking to predict whether a given pair is consecutive and is in the correct chronological order. For testing, we design a number of puzzle games with different difficulty levels, the most difficult one being music medley, which requiring sorting fragments from different songs. On the basis of state-of-the-art Siamese convolutional network, we propose an improved architecture that learns to embed frame-level similarity scores computed from the input fragment pairs to a common space, where fragment pairs in the correct order can be more easily identified. Our result shows that the resulting model, dubbed as the similarity embedding network (SEN), performs better than competing models across different games, including music jigsaw puzzle, music sequencing, and music medley. Example results can be found at our project website, https://remyhuang.github.io/DJnet.

Les jardins historiques d'Algérie de l'époque ottomane (XVIe - XIXe siècles) ont subi de nombreuses amputations. De nombreux jardins ont tout simplement disparu, voire subi des transformations irrémédiables. L'urbanisation des campagnes dans lesquelles ils s'épanouissaient a rendu leur lecture difficile, d'un point de vue purement paysager. Lorsque ces propriétés sont du ressort du domaine public, se pose l'épineuse question de la patrimonialisation de cet héritage culturel, qui peine à former un centre d'intérêt partagé, une identité commune, malgré les réglementations patrimoniales mises en place par les autorités politiques successives. D'un point de vue urbanistique, les jardins aujourd'hui insérés dans un tissu dense sont amenés à évoluer du fait même du métabolisme urbain. Se pose alors la question de la place des jardins historiques ottomans dans la planification urbaine. Quels modes d'appropriation sont à l'œuvre par leurs nouveaux propriétaires privés ou publics ? Comment rendre accessible ces jardins historiques au grand public ? Quelles stratégies doctrinales entériner pour la valorisation culturelle de ces jardins historiques ? Quel rôle peuvent-ils jouer dans la fabrique de la ville durable et écologique de demain ? Quelle approche territoriale et paysagère employer pour les intégrer aux trames verte et bleue existantes ? Quelle place attribuer aux éléments hydrauliques disséminés dans le tissu urbain dense et aux paysages culturels liés à l'eau encore en place ? C'est ce type de questionnement que cette thèse de doctorat en Histoire, mention patrimoine tentera d'approfondir et de solutionner
The historic gardens of Algeria from the Ottoman era (16th - 19th centuries) have suffered numerous amputations. Many gardens have simply disappeared, or even undergone irremediable transformations. The urbanization of the countryside in which they flourished made them difficult to read, from a purely landscape point of view. When these properties are in the public domain, the thorny question of cultural heritage arises, which struggles to form a shared center of interest, a common identity, despite the heritage regulations put in place by the successive political authorities. From an urban planning point of view, gardens today inserted into a dense fabric are bound to evolve due to urban metabolism. The question then arises of the place of historic Ottoman gardens in urban planning. What modes of appropriation are at work by their new private or public owners? How can we make these historic gardens accessible to the general public? What doctrinal strategies should be endorsed for the cultural valorization of these historic gardens? What role can they play in creating the sustainable and ecological city of tomorrow? What territorial and landscape approach should be used to integrate them into the existing green and blue framework? What place should be given to hydraulic elements scattered throughout the dense urban fabric and to cultural landscapes linked to water still in place? It is this type of questioning that this doctoral thesis in History option Heritage will attempt to explore and resolve