Search results for " logic"
showing 10 items of 1720 documents
Cluster Algorithm Integrated with Modification of Gaussian Elimination to Solve a System of Linear Equations
2020
The data accumulation and their inhomogeneous distribution lead to the issue of large and sparse systems solving in various fields: industrials, emergency management, etc. Complex structure in the data error creates additional risk to obtain an adequate solution. To facilitate problem-solving, we describe the technique that is based on intellectual division of data with following application of cluster algorithm and the modification of Gaussian elimination to different portions of data. In this paper, we present results of developed technique that was applied to samples of synthetic and real data. We compare them with outcomes of other algorithms (intelligence and classical) by using of num…
Winteler, Jost (1846–1929)
2006
J Winteler was born in a village in the Swiss canton of Glarus. He studied philology in Jena, Germany. In his famous doctoral thesis, published in 1876, he described his native dialect of Kerenz. By analyzing the activity of the organs producing language (dialect) sounds, he was the founder of the so-called sound physiology (together with his teacher Eduard Sievers). In his prestructural approach, he noticed that there are sounds with and others without the capacity to change meaning. Purely structural terms were used already, such as Lautgegensatze (‘contrasts of sound’), (Sprach-)Bau ‘(linguistic) structure,’ and Konsonantensystem, Sprachsystem ‘system of consonants, of language.’ There w…
Structure and Evolution of a European Parliament via a Network and Correlation Analysis
2016
We present a study of the network of relationships among elected members of the Finnish parliament, based on a quantitative analysis of initiative co-signatures, and its evolution over 16 years. To understand the structure of the parliament, we constructed a statistically validated network of members, based on the similarity between the patterns of initiatives they signed. We looked for communities within the network and characterized them in terms of members’ attributes, such as electoral district and party. To gain insight on the nested structure of communities, we constructed a hierarchical tree of members from the correlation matrix. Afterwards, we studied parliament dynamics yearly, wi…
Logic for accumulation of design science research theory
2014
The paper introduces a structured logic for iterative and incremental accumulation of a design theory during a research project and across research programs. The logic is proposed to help researchers understand the links between parallel search spaces related to a particular design and linking to theoretical knowledge bases produced by previous search processes. The proposition rests on the notion that representing the structure and logic of design science research (DSR) theory using CIMO enables the elements of the knowledge base to be more easily evaluated, combined, and transferred between related search spaces. We view DSR theory development as an iterative and incremental social proces…
Case assignment, case concord, and quantificational case constructions
2011
Abstract This paper examines a controversial and particularly complex case phenomenon called quantificational case attested in a number of historically unrelated Slavonic and Finno-Ugric languages, and attempts to establish certain novel cross-linguistic generalizations and conclusions. In particular, it will be argued that (i) instead of standard one-to-one case assignment, in which one case assigner is case-related to one case assignee, a many-to-many case flow is attested; (ii) nominal case is not a privilege of full DPs, arguments or thematic roles; (iii) case reflects either local or nonlocal functional structure, whether in the verbal or nominal domain; and that (iv) there is no disti…
Using the fibre structure of paper to determine authenticity of the documents: analysis of transmitted light images of stamps and banknotes.
2014
A novel method is presented for distinguishing postal stamp forgeries and counterfeit banknotes from genuine samples. The method is based on analyzing differences in paper fibre networks. The main tool is a curvelet-based algorithm for measuring overall fibre orientation distribution and quantifying anisotropy. Using a couple of more appropriate parameters makes it possible to distinguish forgeries from genuine originals as concentrated point clouds in two- or three-dimensional parameter space.
Analysis of the influence of processor hidden registers on the accuracy of fault injection techniques
2004
Modern processors tend to increase the number of registers, being part of them not accessible by the instruction set. Traditionally, the effect of faults in these hidden registers has not been considered during system validation using fault injection. In this paper, a study of the importance of faults in hidden registers is performed. Firstly, we have analysed the sensitivity of hidden registers to faults in combinational logic. In a second phase, we have analysed the impact of the faults occurred in hidden registers on system behaviour. A broad set of permanent and transient faults have been injected into the models of two typical commercial microcontrollers, using a VHDL-based fault injec…
Quasivarieties of Algebras
2001
This chapter plays a twofold role in the book. Firstly, the chapter surveys basic facts about quasivarieties of algebras. These facts are widely utilised in the subsequent chapters devoted to algebraizable logics. Secondly, the chapter shows how the methods initially elaborated for protoalgebraic sentential logics in the first part can be also applied in the area of equational logic. Most of the results presented in this chapter are proved by way of adapting the purely consequential methods of sentential logic to the needs of the (quasi) equational systems associated with quasivarieties of algebras.
Los fundamentos del enfoque cualitativo en la innovación de la enseñanza geográfica
2018
In the paradigmatic and epistemological advances of the 20 th century, the qualitative approach stands out as a reference for building social knowledge, understanding the validity of traditional foundations in geographical education and proposing pedagogical and didactic contributions in the innovation of its educational work. This led us pose the following question: What task do the foundations of the qualitative approach fulfill in the innovation of the teaching of Geography? In this regard, a bibliographical review was carried out to structure a methodology that analyzes the qualitative approach in the teaching of Geography. Likewise, aspects derived from an investigation that claims the…
An efficient framework for the elasto-plastic reliability assessment of uncertain wind excited systems
2016
Abstract In this paper a method to efficiently evaluate the reliability of elastic-perfectly plastic structures is proposed. The method is based on combining dynamic shakedown theory with Subset Simulation. In particular, focus is on describing the shakedown behavior of uncertain elasto-plastic systems driven by stochastic wind loads. The ability of the structure to shakedown is assumed as a limit state separating plastic collapse from a safe, if not elastic, state of the structure. The limit state is therefore evaluated in terms of a probabilistic load multiplier estimated through solving a series of linear programming problems posed in terms of the responses of the underlying linear elast…