Logical Table Research Articles

On logic and language in the Kantian thought:A critical approach

This text returns to the old discussion about the Vollständigkeit of Kant’s logical table of judgements, as a necessary deviceto discover the pure categories of understanding. The question is addressed from the point of view of the relationship between logic and language, more precisely from the point of view of what scholastic logic calls syncategorems and exponible judgements.

An Extension Proof of Riemann Hypothesis by a Logical Entails Truth Table

There were many mathematicians who tried to prove or disprove the statement of Riemann Hypothe-sis. However, none of them have been successfully approved by the Clay Mathematical Institute. In addition, to the best of this author’s knowledge, these mathematicians haven’t employed the technique of logical truth table during their proofs. With reference to this author’s previous proof in [1], this author have employed the method of multiplicative telescope together with the prime boundary gaps. In this extended version of my proof to the Riemann Hypothesis, this author tries to show that RH statement is true through the four cases of the conditional statements in the truth table. Three of the cases (I, II, IV) are found to be true for the conditional statement in the Riemann Hypothesis while only one (case III) is found to be false (and acts as the disproof by a counter-example). Moreover, there are also three sub-cases (i, ii, iii) [1] among these four tabled cases. The main idea is that the we may disproof the hypothesis statement that is similar to the RH one by first find a counter-example which is obviously a disproof (case III) to the (Riemann) hypothesis. But it is NOT compatible with the GÖdel’s Incompleteness Theorem. Otherwise either the disproof to the statement or the Gödel is incorrect which is impossible. Hence, the disproof is said to be incompatible with the Gödel. On the other hand, all of the other truth cases (I, II, IV) for the statement are indeed the examples for the pos-itive results to the Riemann Hypothesis statement and are compatible with the Gödel. Therefore, the only way to make a conclusion is to say or force the Riemann Hypothesis statement to be correct.In general, for any hypothesis with the conditional statements structure like the Riemann one, we may also prove them by the similar techniqe and the arguments of the truth table for their conditional statements together with the Gödel’s Incompleteness theorem to force the positive result for the hy-pothesis statement. Actually, there are many applications for the truth tables especially in the fields like language (structure & modeling) or in engineering (logic gates & programming) etc during our everyday usage.

Modelling structural relations between financial, social-economic and healthcare factors

Relevance of the article topic consists in the fact that it is critical to analyse relations between financial, social-economic and healthcare determinants for the post-pandemic recovery of macroeconomic stability. Consideration of these relations can provide complex recovery strategies, which will contribute to economic, medical amd social resiliemce. The latter is extremely important when there are new global challenges to overcome. The manuscript aims at identifying structural and functional connections between social-economic determinants that influence the healthcare sector. To achieve this purpose, we used the following research methods: induction and deduction, analysis and synthesis, comparison and logical generalisation, table and diagram visualisation, observation and assessment, method of principal components, structural modelling. The research data are taken from the World Bank. Totally, the paper analyses statistical data from 15 European countries in 2000-2021. The modelling input data comprise 18 indexes (financial, social-economic, healthcare ones). The constructed structural model provided the following conclusion: if healthcare indexes increase by 1, social-economic development decreases by 0.014. One of the reasons for that is the negative mortality value. The most important aspect is an efficient reaction to epidemics and pandemics. Development of containment plans, including the healthcare scaling and inter-authority coordination is critical for effective crisis management. We should develop a stable economy and policies to provide an affordable and equal access to healthcare for all population groups. Only a complex approach in each separate country may drop mortality and minimise impacts on different aspects of society life. The obtained results can be applied by authorities of public health to improve efficient recovery strategies, raise healthcare standards, make proper decisions for social-economic development.

How ambiguity codes specify molecular descriptors and information flow in Code Biology

The article presents IUPAC ambiguity codes for incomplete nucleic acid specification, and their use in Code Biology. It is shown how to use this nomenclature in order to extract accurate information on different properties of the biological systems. We investigated the use of ambiguity codes, as mathematical and logical operators and truth table elements, for the encoding of amino acids by means of the Standard Genetic Code. It is explained how to use ambiguity codes and truth functions in order to obtain accurate information on different properties of the biological systems. Nucleotide ambiguity codes could be applied to: 1. encoding descriptive information of nucleotides, amino acids and proteins (e.g., of polarity, relative solvent accessibility, atom depth, etc.), and 2. system modelling ranging from standard bioinformatics tools to classic evolutionary models (i.e. from Miyazawa−Jernigan statistical potential to Kimura three-substitution-type model, respectively). It is shown that the algorithms based on IUPAC ambiguity codes, Boolean functions and truth table, Probabilistic Square of Opposition/Semiotic Square and Klein 4-groups—could be used for the bioinformatics analyses and Relational data modelling in natural science. Underlying mathematical, logical and semiotic concepts of interest are presented and addressed.

Resiliency Enhancement Control of Converter Fed Smart Renewable Micro Grids Against Multiple Risks

Increasing the penetration level of converter-based renewable power plants, along with the advanced grid code requirements, has made the role of the control of grid-connected voltage source converters more important. In this paper, an improved combined control method for the grid-connected converters is proposed to improve the resiliency of the microgrid against multiple risks. Two main objectives of the proposed method are to <italic xmlns:mml="http://www.w3.org/1998/Math/MathML" xmlns:xlink="http://www.w3.org/1999/xlink">i)</i> improve the steady state and dynamic performance of grid-connected converter, and <italic xmlns:mml="http://www.w3.org/1998/Math/MathML" xmlns:xlink="http://www.w3.org/1999/xlink">ii)</i> enhance the resiliency of the system. It copes with high power fluctuations, severe load changes, symmetrical and asymmetrical short circuit faults, and unbalanced grid conditions. As a result, no extra means are needed to tackle each undesirable conditions. The advantages of a current control scheme are integrated with a logical switching table in the proposed control method to improve its steady state and dynamic performance. The virtual flux estimation is eliminated from the control system to reduce the dependency of the system on the parameters. It provides stable operation under normal and abnormal conditions such as unbalanced voltages, voltage sag, faults, etc. The performance of the proposed control method is compared with a virtual-based direct power control and a conventional combined control to confirm its effectiveness superiority through simulation and experimental results.

Quality of Service Generalization using Parallel Turing Integration Paradigm to Support Machine Learning

The Quality-of-Service (QoS) provision in machine learning is affected by lesser accuracy, noise, random error, and weak generalization (ML). The Parallel Turing Integration Paradigm (PTIP) is introduced as a solution to lower accuracy and weak generalization. A logical table (LT) is part of the PTIP and is used to store datasets. The PTIP has elements that enhance classifier learning, enhance 3-D cube logic for security provision, and balance the engineering process of paradigms. The probability weightage function for adding and removing algorithms during the training phase is included in the PTIP. Additionally, it uses local and global error functions to limit overconfidence and underconfidence in learning processes. By utilizing the local gain (LG) and global gain (GG), the optimization of the model’s constituent parts is validated. By blending the sub-algorithms with a new dataset in a foretelling and realistic setting, the PTIP validation is further ensured. A mathematical modeling technique is used to ascertain the efficacy of the proposed PTIP. The results of the testing show that the proposed PTIP obtains lower relative accuracy of 38.76% with error bounds reflection. The lower relative accuracy with low GG is considered good. The PTIP also obtains 70.5% relative accuracy with high GG, which is considered an acceptable accuracy. Moreover, the PTIP gets better accuracy of 99.91% with a 100% fitness factor. Finally, the proposed PTIP is compared with cutting-edge, well-established models and algorithms based on different state-of-the-art parameters (e.g., relative accuracy, accuracy with fitness factor, fitness process, error reduction, and generalization measurement). The results confirm that the proposed PTIP demonstrates better results as compared to contending models and algorithms.

Прогнозирование класса надёжности изделий электронной техники методом преобразования информативных параметров в дискретный код

A modification of the method of individual prediction of the reliability class of electronic products for a given operating time (K1 is the class of reliable, K2 is the class of potentially unreliable items) based on the control of informative parameters of products is proposed. The peculiarity of the modification is the transformation of informative parameters into a ternary code. This makes it possible to obtain a model for predicting the reliability class of single-type instances in the form of a logical table, as in the case of the basic method of the threshold logic based on converting informative parameters into a binary code. Unlike the basic threshold logic method, the new model provides higher reliability of forecasting results.

Heuristic Model of Forecasting of Operating State of Semiconductor Devices

The threshold logic method used for electronic products when assessing their reliability in the form of predicting the performance class of products for a given operating time (K1 is a class of operable ones, K0 is a class of inoperable copies) provides for the transformation into a binary code of informative parameters obtained at the initial moment of time, and allows to build a forecasting model in the form of a table showing which code combinations correspond to the instances of the K1 class. The use of a binary transformation simplifies the forecasting procedure, but the reliability of the predictions is slightly reduced. It is relevant to obtain a forecasting model that has the simplicity of its application and provides a higher reliability of forecasting a class of products than with a binary transformation of parameters. On the example of bipolar transistors of the KT872A type, the regularities of electrical parameters used as informative ones are established, and for their transformation into a code, it is proposed to consider three areas of parameter change: the first area is the range of values between the mathematical expectations obtained separately for instances of the classes K1 and K0; the other two areas are the parameter values to the left and right of this range. Parameter values falling within the range are assigned the R code (from the word Range), outside the specified range - the code 1 (one) or 0 (zero), depending on the pattern of the informative parameter. It is explained how to convert parameters to codes 1, 0 and R and get a prediction model in the form of a logical table built from these codes. Basing on the example of the investigated transistors, it is shown that the proposed heuristic model provides the best forecasting results, practically keeping the simplicity of the basic method of threshold logic.

A smart content store with logical table for named data networking in industrial internet of things environment

Named Data Networking (NDN) is one of the most promising proposals for future Industrial Internet of Things (IIoT) architecture, which supports the sharing and distribution of data by providing in-network caching capability via built-in Content Store. In this paper, a smart Content Store with Logical Table (CSLT) is conceived. CSLT not only support the cache replacements efficiently but also line-rate support the All Sub-Name Matching (ASNM) and the Exact Name Matching (ENM), which are the essential algorithms during the name lookup process in Content Store, through building the relationship among information packets during the inserting to reduce the lookup process. Evaluation results show that CSLT can speed up the single-thread throughput to 177.37 MPPS under the ASNM and the ENM. This type of framework can assist users to enhance sharing and transmission of manufacturing data in the IIoT environment, which can speed up product development or manufacturing processes.

Research on Interaction Design of Diabetes Diet Health Based on GL Food Exchange Serving

Research on the application of food exchange serving based on the concept of glycemic load (GL) in the treatment of diabetes diet, the use of computer technology to compile a set of software for diabetic diet catering, and the use of interaction design thinking and methods to establish an interaction design for diabetic diet health. On the basis of literature research, through the user journey map, interaction flowchart and relevant stakeholder analysis methods, a logical table of the food exchange portion method of the concept of glycemic load (GL) is proposed. Using interaction design strategies, the GL concept of food exchange method is realized. Based on the concept of GL, the food exchange method is proposed, taking diet therapy as interaction scenario, integrating the visualization of diet medical information, eliminating information asymmetry, and improving the awareness of diabetic diet therapy so as to form a healthy diet.

Improving the Performance of Doubly Fed Induction Generator Using Fault Tolerant Control—A Hierarchical Approach

The growth of using wind energy on a large scale increases the demand for wind energy conversion machines (WECMs), among these converters, the doubly-fed induction generator (DFIG) is the favorite choice. However, DFIG is very sensitive to wind speed variations and grid faults during operation. In order to overcome these undesirable characteristics, this paper proposes a hierarchical fault tolerant control (FTC) to improve the performance of DFIG. The hierarchical fault tolerant control (FTC) approach consists of pitch angle control (PAC) and maximum power point tracking (MPPT). This hierarchical approach demonstrates the robust response under various (low, rated, and high) wind speed ranges and reduces the undesirable DC voltage overshoots during short-circuit disorder. The simulation results are summarized in a logical table, which depicts the order of controlling scheme and operation for a sustainable energy generation system. The proposed control scheme achieved the healthy and the robust dynamic response without deteriorating the grid power quality or stressing the converters, and approved the effectiveness to suppress the DC voltage overshoots and tolerate the lower down short-circuit disorder to its rated range.

Russian industry innovative activity in the process of transition to the digital economy: trends, threats and opportunities

The current changes in the economy made up by the transition to the sixth technological order and the development of the “Fourth industrial revolution” concept, are impossible without the innovative technologies development and implementation. In these circumstances it becomes highly important for the industrial enterprises to implement innovative solutions via the use of modern information and communication technologies. This article reveals the problems of the Russian Federation industrial enterprises innovation implementation in the course of transition to the digital economy. The analysis of the innovation activity indicators and the assessment of the software and information and communication technologies use by the Russian Federation industrial production organizations in 2017-2019 were made according to the Federal State Statistics Service data. From the research results the author identifies positive and negative trends in the innovative industrial development in Russia, and identifies the threats to the industrial production innovative solutions implementation and possible ways to minimize them. For this research the author used such methods as: comparative and logical analysis, system approach, graph and table scientific research methods.

Proposing Logical Table Constructs for Enhanced Machine Learning Process

Machine learning (ML) has shown enormous potential in various domains with the wide variations of underlying data types. Because of the miscellany in the data sets and the features, ML classifiers often suffer from challenges, such as feature miss-classification, unfit algorithms, low accuracy, overfitting, underfitting, extreme bias, and high predictive errors. Through the lens of related study and latest progress in the field, this paper presents a novel scheme to construct logical table (LT) unit with two internal sub-modules for algorithm blend and feature engineering. The LT unit works in the deepest layer of an enhanced ML engine engineering (eMLEE) process. eMLEE consists of several low-level modules to enhance the ML classifier progression. A unique engineering approach is adopted in eMLEE to blend various algorithms, enhance the feature engineering, construct a weighted performance metric, and augment the validation process. The LT is an in-memory logical component, that governs the progress of eMLEE, regulates the model metrics, improves the parallelism, and keep tracks of each module of eMLEE as the classifier learns. Optimum fitness of the model with parallel “check, validate, insert, delete, and update” mechanism in 3-D logical space via structured schemas in the LT is obtained. The LT unit is developed in Python, C#, and R libraries and tested using miscellaneous data sets. Results are created using GraphPad Prism, SigmaPlot, Plotly, and MS Excel software. To support the built and implementation of the proposed scheme, complete mathematical models along with the algorithms, and necessary illustrations are provided in this paper. To show the practicality of the proposed scheme, several simulation results are presented with a comprehensive analysis of the outcomes for the metrics of the model that the LT regulates with improved outcomes.

Classification and Applicability of Technological Mandrels

В данной статье рассмотрен вопрос разнообразия технологических оправок, применяемых на операциях механической обработки в цехах промышленных предприятий. Для условий современного производства была представлена классификация технологических оправок по их технологическим признакам, которая раскрывает тип оправок в зависимости от вида установочной поверхности, вида базовой поверхности и типа посадки обрабатываемой детали с установочной поверхностью оправки. Далее в статье приведена логическая таблица выбора оправок в зависимости от параметров применяемости: вид обработки, точность базового отверстия обрабатываемой детали, соотношение длины к диаметру, радиальное и торцевое биение заготовки и вид применяемой оправки. Затем представлен подход создания информационно-поисковой базы данных технологических оправок на основе применения булевых функций. Использование такой базы данных на промышленных предприятиях позволит подбирать тип необходимой технологической оправки на основе синтеза производственных параметров. Так, в статье представлены булевы функции шлицевой оправки с жидким наполнителем и переналаживаемой оправки с полиуретаном, используемые на операции токарной обработки. В завершение представлены булевы функции основных конструкций технологических оправок, выведенные на основе логической таблицы.

Inside the Ghetto - Using a Table of Contingency and Cladisitic Methods for Definitional Purposes

This article aims at clarifying sociological definitions with the help of an original tool, the logical table of contingency, which has characteristics in common with both the statistical table of contingency and Carroll’s bilateral diagram. The unclear notion of ghetto is taken as a test-case. Successive tables of contingency are applied to various defining properties and various sociohistorical situations. Cladistic methods are then used to make the relationships between all ghetto-like situations explicit.

Ant colony optimisation of decision tree and contingency table models for the discovery of gene-gene interactions.

In this study, ant colony optimisation (ACO) algorithm is used to derive near-optimal interactions between a number of single nucleotide polymorphisms (SNPs). This approach is used to discover small numbers of SNPs that are combined into a decision tree or contingency table model. The ACO algorithm is shown to be very robust as it is proven to be able to find results that are discriminatory from a statistical perspective with logical interactions, decision tree and contingency table models for various numbers of SNPs considered in the interaction. A large number of the SNPs discovered here have been already identified in large genome-wide association studies to be related to type II diabetes in the literature, lending additional confidence to the results.

큐브리드 샤드 분산 데이터베이스에서 집계/분석 함수의 분산 처리 시스템 개발

Database Shard is a technique that can be queried and stored by dividing one logical table into multiple databases horizontally. In order to analyze the shard data with aggregate or analysis functions, a process is required that integrates partial results on each shard database. In this paper, we introduce the design and implementation of a distributed processing system for aggregation and analysis on the CUBRID Shard distributed database, which is an open source database management system. The implemented system can accelerate the analysis onto multiple shards of partitioned tables; it shows efficient aggregation on shard distributed databases compared to stand-alone databases.

The mathematics of a quantum Hamiltonian computing half adder Boolean logic gate

The mathematics behind the quantum Hamiltonian computing (QHC) approach of designing Boolean logic gates with a quantum system are given. Using the quantum eigenvalue repulsion effect, the QHC AND, NAND, OR, NOR, XOR, and NXOR Hamiltonian Boolean matrices are constructed. This is applied to the construction of a QHC half adder Hamiltonian matrix requiring only six quantum states to fullfil a half Boolean logical truth table. The QHC design rules open a nano-architectronic way of constructing Boolean logic gates inside a single molecule or atom by atom at the surface of a passivated semi-conductor.

BIG DATA MANAGEMENT – DNA DATA WAREHOUSE

Big data storage and retrieval is cause of concern for future. This paper proposes to store data by organizing nucleotides (adenine (A) and thymine (T)) to represent binary 0’s and 1’s. Small fragments of high molecular DNA can be achieved by chain termination method and by shotgun sequencing method, we can select the fragments containing A’s and T’s in order we want. This paper demonstrates a python script, which can produce A and T sequence from the sequence of data as input which can be used while using shotgun sequencing for selecting/discarding of strands, script can also be used to query the DNA database by integration with DNA sequencing method. The data will not be written on the nucleotide but nucleotide sequence will be modified to represent the data. This paper further illustrates how sequence of nucleotides can be arranged as logical table with a proper header and how the python script can be used to save and retrieve the data from this table. The storage and retrieval of 24 bits of data can easily be completed in 15-20 minutes under controlled lab conditions which includes manual and mechanical effort. This paper proves how by automation and robotic arms, this delay can be reduced further and how to overcome challenges that can come for preserving the DNA strands. This approach, can lead to development of DNA data warehouse where there will be infinite storage space as the DNA can be obtained virtually free of cost from any living thing.

An Application of Graph Theory to the Electrical Circuit Using Matrix Method

A graph is a pair of two set V and E so that ) , ( E V G  . A graph is a pictorial representation of a system using two basic element nodes and edges, a node is represented by a circle (either hallo shade) and edge is represented by a line segment connecting two nodes together. In this paper we present a circuit network in the concept of graph theory application and also circuit models of graph are represented in logical connection method were we formulate matrix method of adjacency and incidence of matrix and application of truth table. Key word: Euler Circuit and Path, Graph representation of Circuit networks, Representation of Graph models, Representation Of circuit network using logical truth table.