constructive models
Recently Published Documents


TOTAL DOCUMENTS

68
(FIVE YEARS 12)

H-INDEX

8
(FIVE YEARS 1)

Author(s):  
V. SKALOZUB ◽  
V. HORIACHKIN ◽  
I. TERLETSKII

The researches results of discrete optimal planning problems of a wide range of production-technological, logistic and other service processes are presented. The planning methods are based on new intelligent procedures for ordering (IPO) sequences of elements (orders), which are implemented by means of constructive modeling. Purpose of procedures is to increase the efficiency of ordering receiving of orders, taking into account the complexity of the formation operations, as well as resource constraints. The article considers the models and methods of IPO application, which are focused on the processes of disbandment-formation (DF) of multigroup railway trains at sorting stations. Formally, such processes are represented by new models of ordering multi-sequences of orders taking into account the complexity of operations (OMSCE). In the search for optimal solutions, models of Hamming's associative memory are used, which allow to classify the current situations of OMSCE processes. In them, each class of certain states (taking into account the incompleteness and data perturbation) corresponds to one or more rational operators from among the possible ones. IPO procedures reduce the number of analysis options and increase the numerical efficiency of the optimizing multi-sequence orders method. The article presents the formalization of multilayer constructive models of OMSCE processes, intelligent procedures for methods of their implementation, the formation of the procedure for operations classification based on models of Hemming neural networks. At the same time, an improved structure of DF information technology with the use of intelligent procedures is also developed, examples of their application are given.


Author(s):  
Carmen Lucia Pezzette Loro ◽  
Eriberto Oliveira do Nascimento ◽  
Paulo Henrique Trombetta Zannin

As diverse as the knowledge transmission techniques aided by multimedia resources are, nothing replaces the teacher-student relationship, which is developed in the classrooms. Therefore, classrooms must offer the necessary conditions for the satisfactory development of teaching and learning activities. In this context, the importance of classroom acoustics is highlighted. The Speech Transmission Index (STI) is one of the broadest and most important parameters to measure speech intelligibility. STI weighs the effects that can cause deterioration on the voice signal, such as the reverberation time and background noise. This work presents an evaluation of the acoustic performance of classrooms using the STI. For that, three constructive patterns were evaluated. The constructive models were named 010, 022 and 023. Students and teachers answered a questionnaire about the perception of noise in the classroom and at school, and the constructive pattern 023 was studied. Computer simulations were performed with ODEON software to precited STI. The results of the measurements and the questionnaires revealed that the noise that disturbs the activities in the classroom comes from the school itself, not only from the other classrooms, corridors and adjacent patios, but also from inside the classroom itself.


Author(s):  
I. TAMOZHSKA

The article is devoted to such an important aspect of future medical specialists’ professional activity as communication. It is a tool for diagnosing and solving morphological-anatomical, psychological, therapeutic, field-specific tasks, when the specialist uses terminological and professional communication (doctor’s communication with a patient and his/her family, medical staff). The essence of the concept «exercise» is considered. The focus is on the methodological effectiveness of the developed set of activities aimed at the formation of professional communicative competency of foreign students of medical specialties during the classes of Business Ukrainian Language in higher education institutions. The didactic material involved corresponds to the educational purpose and educational objectives. It is mentioned that each exercise has a clear structure: 1) purpose – the formation of future medical specialists’ business communication skills (providing arguments, learning techniques and rules of reasoned discourse, discussing issues in an effective and rational way, answering questions clearly, effective interaction, group decision-making, generating ideas, modeling professional activities to find the most constructive models); 2) tasks aimed at producing their own language and speech patterns; 3) guidelines and models for the task; 4) materials that imitate the subject and social contexts of professional activity, promote the development of various types of speech activity (listening, speaking, reading, writing). Doing the activities, students simulate professional communicative situations. It requires them to analyze theoretical knowledge, which is the basis for making effective decisions.


Author(s):  
Thierry Coquand ◽  
Fabian Ruch ◽  
Christian Sattler

Abstract We provide a constructive version of the notion of sheaf models of univalent type theory. We start by relativizing existing constructive models of univalent type theory to presheaves over a base category. Any Grothendieck topology of the base category then gives rise to a family of left-exact modalities, and we recover a model of type theory by localizing the presheaf model with respect to this family of left-exact modalities. We provide then some examples.


2021 ◽  
pp. 151-169
Author(s):  
Oleksandr Khomenko ◽  
Bohdan Skopnenko

The history of cinema is one of those unique cultural phenomena, which constantly attracts the attention of researchers. This phenomenon, especially in the 20th century, determined not only the direction of aesthetic transformations of the cultural development but also had an impact on the formation of ideologies and the strengthening of political regimes. This topic is relevant because the methods of propaganda that were actively used by totalitarian regimes (including the Soviet totalitarian rule) are now actively used by the undemocratic Russian administration to achieve political goals. The construction of the “Ukrainian bourgeois nationalist” image in Soviet cinema is of special interest in the context of Russia's “hybrid warfare” against Ukraine, which continues today. The instrumental technologies of ideological manipulation used in the creation of films have shown their effectiveness in shaping the worldview of the “new Soviet man”. Forms of this type of consciousness still continue to influence the political choices of many citizens of our state. The film “A Kyiv Citizen”, studied in the article, was created in 1958 by the Ukrainian Soviet film director T. Levchuk at the Kyiv O. Dovzhenko Studio. The film is a classic example of the ideologically biased film production. On the example of this film, we can observe technological principles and constructive models used by the Soviet regime to falsify the history of Ukraine in the 20th century, in particular the events of the Ukrainian revolution of 1917–1921. In the film “A Kyiv Citizen”, the events of the Ukrainian revolution of 1917–1921 were counterfeited in order to illustrate to the audience the Soviet version of the history of Ukraine and the events related to the seizure of power by the Bolsheviks. In such a way, the Soviet propaganda tried to form in the viewer a type of psychological perception of reality loyal to the “Soviet empire”. In particular, the facts related to the Bolsheviks' attempt to seize power in Kyiv in October 1917, the battles for the Arsenal plant in January 1918, and the conclusion of a peace treaty between the Ukrainian People's Republic and Germany were falsified.


2021 ◽  
Vol 9 ◽  
pp. 243-260
Author(s):  
Jakob Prange ◽  
Nathan Schneider ◽  
Vivek Srikumar

Abstract Although current CCG supertaggers achieve high accuracy on the standard WSJ test set, few systems make use of the categories’ internal structure that will drive the syntactic derivation during parsing. The tagset is traditionally truncated, discarding the many rare and complex category types in the long tail. However, supertags are themselves trees. Rather than give up on rare tags, we investigate constructive models that account for their internal structure, including novel methods for tree-structured prediction. Our best tagger is capable of recovering a sizeable fraction of the long-tail supertags and even generates CCG categories that have never been seen in training, while approximating the prior state of the art in overall tag accuracy with fewer parameters. We further investigate how well different approaches generalize to out-of-domain evaluation sets.


2020 ◽  
Vol 54 (5) ◽  
pp. 685-701
Author(s):  
Fuad Ali Mohammed Al-Yarimi ◽  
Nabil Mohammed Ali Munassar ◽  
Fahd N. Al-Wesabi

PurposeDigital computing and machine learning-driven predictive analysis in the diagnosis of non-communicable diseases are gaining significance. Globally many research studies are focusing on developing comprehensive models for such detection. Categorically in the proposed diagnosis for arrhythmia, which is a critical diagnosis to prevent cardiac-related deaths, any constructive models can be a value proposition. In this study, the focus is on developing a holistic system that predicts the scope of arrhythmia from the given electrocardiogram report. The proposed method is using the sequential patterns of the electrocardiogram elements as features.Design/methodology/approachConsidering the decision accuracy of the contemporary classification methods, which is not adequate to use in clinical practices, this manuscript coined a new dimension of features to perform supervised learning and classification using the AdaBoost classifier. The proposed method has titled “Electrocardiogram stream level correlated patterns as features (ESCPFs),” which takes electrocardiograms (ECGs) signal streams as input records to perform supervised learning-based classification to detect the arrhythmia scope in given ECG record.FindingsFrom the results and comparative reports generated for the study, it is evident that the model is performing with higher accuracy compared to some of the earlier models. However, focusing on the emerging solutions and technologies, if the accuracy factors for the model can be improved, it can lead to compelling predictions and accurate outcome from the process.Originality/valueThe authors represent complete automatic and rapid arrhythmia as classifier, which could be applied online and examine long ECG records sequence efficiently. By releasing the needs for extraction of features, the authors project an application based on raw signals, one result to heart rates date, whose objective is to lessen computation time when attaining minimum classification error outcomes.


2019 ◽  
Vol 66 ◽  
pp. 765-792 ◽  
Author(s):  
Theofanis Aravanis ◽  
Pavlos Peppas ◽  
Mary-Anne Williams

In this article, the epistemic-entrenchment and partial-meet characterizations of Parikh's relevance-sensitive axiom for belief revision, known as axiom (P), are provided. In short, axiom (P) states that, if a belief set $K$ can be divided into two disjoint compartments, and the new information $\varphi$ relates only to the first compartment, then the revision of $K$ by $\varphi$ should not affect the second compartment. Accordingly, we identify the subclass of epistemic-entrenchment and that of selection-function preorders, inducing AGM revision functions that satisfy axiom (P). Hence, together with the faithful-preorders characterization of (P) that has already been provided, Parikh's axiom is fully characterized in terms of all popular constructive models of Belief Revision. Since the notions of relevance and local change are inherent in almost all intellectual activity, the completion of the constructive view of (P) has a significant impact on many theoretical, as well as applied, domains of Artificial Intelligence.


Sign in / Sign up

Export Citation Format

Share Document