The question of the linguistic personality description character a work art through analysis lexical and syntactic markers is considered. A review main trends in development theory made, which determine objectivity identifying lexical-syntactic marker as unit that integrates units various levels. results functioning word ‘yasno’ [clear], marks protagonist novel “We” by E. Zamyatin, are presente...

The purpose of the article is to comprehensively consider concept visualization, which one main factors effective learning educational material, as well analyze possibilities using visualization in distance learning. shows relevance education, describes technologies a tool for improving effectiveness learning, defines essence finds out ensure professional training future specialists course acad...

Topology-based geometric modeling tackles the issue of representing objects with data structures that encode topological subdivision modeled in vertices, edges, faces, and volumes. Such subdivisions can be represented graphs labeled by dimensions on arcs, while operations used to edit formalized as graph transformations. Among existing models, we consider generalized oriented maps, defined cons...

Classical generative phonology draws a distinction between possible words (accidental gaps) and impossible words (systematic gaps) [4]. This model predicts that speakers should categorically judge accidental gaps to be well-formed and systematic gaps to be ill-formed, and thus rate accidental gaps more highly than systematic gaps in a wordlikeness judgment task. Such structure models attribute ...

Euler diagrams allow the visual representation of set systems and their intersection relations. Every set is represented by a collection of closed curves such that elements of two or more collections intersect if and only if the intersection of the corresponding sets is non-empty. In the area-proportional case each intersection’s area conveys numerical information. There exist several well-form...

\_' (lescribe PVS's capabilities for representing tabular specifications of the kind advocated t)y Parnas and others, and show how PVS's Type Correctness Conditions (TCCs) are used to ensure certain well-formedness properties. We then show how these and other capabilities of PVS can be used to represent the AND/OR tables of Leveson and the Decision Tables of Sherry, and we demonstrate how PVS_s...

We implemented a parser designed to handle ill-formedness in Japanese speech. The parser was evaluated by utilizing newly collected speech data, which was obtained from an experiment designed to produce ill-formed data effectively. Introducing the proposed method increased the number of correctly analyzed utterances from 171 to 322, from among 532 utterances in the corpus.

Answering the requirement of the Model-Driven Architecture approach, as well as the general needs of engineering process definition, requires to precisely define the content and structure of the different models to be produced at project development time. For each model, the following questions must have an answer: What are its content and its objectives? What are the modelling concepts to be u...

Recently, an interaction between the mathematical discipline of combinatorics on words and musical scale theory has led to various interesting results. So far, the focus was mainly on scales generated by a single interval. The paper proposes an extension of word scale theory to tone systems of higher dimensions, i.e. generated by more than one interval. It is shown that the number of specific v...

Type hierarchies are a central feature of current systems which employ feature structures for the representation and manipulation of linguistic knowledge, such as TFS, ALE, CUF, and LKB. The system CUF stands out amongst these in its very general language for describing such hierarchies. While the other systems use a description language which allows only the specification of meets (greatest lo...