scholarly journals Distinction between the concepts of mathematical and logical modeling

2019 ◽  
Vol 19 (3) ◽  
pp. 262-267 ◽  
Author(s):  
E. N. Kolybenko

Introduction. Technologies of mathematical and logical modeling of problem solving according to the existing practice of their distribution are divided into two areas: widespread mathematical modeling and infological modeling which is currently underdeveloped, especially for sophisticated systems. Fundamental differences between these technologies, in particular for the machining preproduction, are that logical modeling is informationally and logically related to organization systems, and mathematical modeling is associated with control processes in the organization systems. Logical modeling is used to operate with geometric objects in the technological schemes of their interaction through basing methods, geometric shaping in a static (ideal) setting of the corresponding schemes. Mathematical simulation is used to operate material objects in the control processes of their transformations through cutting methods, i.e. imperfectly, considering heterogeneous errors. Between the organization systems under study and management processes in them, there are information and logical links of their organic unity, which deny their separate consideration. In the information deterministic technology for solving problems of a high-level automation, the distinction between the concepts of “mathematical” and “logical” modeling is relevant; it has scientific novelty and practical significance.Materials and Methods. To characterize the properties of the concepts of “mathematical modeling”, “logical modeling” and the knowledge functions resulting from the formulation of these concepts, fundamentally different methods and appropriate tools are used. The differentiation of the concepts under consideration is based on the differentiation of technologies (methods, appropriate tools, algorithms, operations) for solving applied problems of any knowledge domain.Research Results. The ideas of “logical modeling” and “mathematical modeling” are conceptual general-theoretical notions with invariant properties required for solving practical problems of any application domain. In accordance with the distinction between these concepts, the problem solving technologies are divided into two types: system engineering technology – in the organization of information object systems, and system science – in the management processes of transformation of the corresponding material objects. These areas should exist in the information and logical link of their organic unity.Discussion and Conclusions. The author distinguishes between the concepts of “logical modeling” and “mathematical modeling”, which is a key condition for a successful transition to the deterministic information technology of a high-level automation in solving practical problems of any knowledge domain, for example, of the production design machining

The paper is a review on the textbook by A. V. Yeremin, «The History of the National Prosecutor’s office» and the anthology «The Prosecutor’s Office of the Russian Empire in the Documents of 1722–1917» (authors: V. V. Lavrov, A. V. Eremin, edited by N. M. Ivanov) published at the St. Petersburg Law Institute (branch) of the University of the Prosecutor’s office of the Russian Federation in 2018. The reviewers emphasize the high relevance and high level of research, their theoretical and practical significance. The textbook and the anthology will help the students increase their legal awareness, expand their horizons.


Author(s):  
Margaret Gilbert

Given the practical significance of demand-rights, it is important to understand how they are possible. This is the general demand-right problem. Solving it turns out to be a challenging task, one that takes us beyond the resources of the central contemporary theories of rights.This book has provided a solution to the general demand-right problem: joint commitment is a ground of demand-rights....


2013 ◽  
Vol 443 ◽  
pp. 556-560
Author(s):  
Gao Ming He

This paper describes a system; CODESSEAL can provide protection and evaluation to system software. CODESSEAL was designed to protect embedded systems with sufficient expertise and resources to capture attack equipment and manipulator, not only to protect software but also to protect hardware. By using the reconfigurable hardware allows CODESSEAL to provide confidentiality, integrity of security services and a platform-independent program flow without having to redesign the processor. System uses software and data protection technology and designs cycle simulation methods for data analysis. Experimental results show that the protected instructions and data with a high level of safety can be realized a low, which in most cases the performance loss can be reduced to below 10%, so the research of software protection methods of the embedded operating system of hardware compiler has important practical significance.


2006 ◽  
Vol 25 (4) ◽  
pp. 237-246
Author(s):  
Tomas Hellström

This paper presents a qualitative study of mechanisms enabling social network formation in the R&D unit of a large technology-based organization. Drawing on interviews with 37 high-level technical and administrative unit members, a number of social network enablers could be discerned, which related to the need for effective location mechanisms, special “enrolment spaces”, and mechanisms for forging contacts. It was also possible to identify a number of higher-order factors for facilitation of network formation, namely hierarchical enablers and communicative and assimilative factors. Based on these results, the paper makes suggestions as to the theoretical and practical significance of social network enabling mechanisms in R&D organizations.


2022 ◽  
pp. 12-23
Author(s):  
N. S. Lapin ◽  
N. N. Pokrovskaia ◽  
M. B. Perfilyeva 

The article proposes an algorithm for assessing the environment of informal relations between employees of state and municipal institutions. The purpose of the study is to improve management processes by assessing informal relations as a tool for socialization and adaptation of employees of state and municipal institutions. Based on a literature review, objectives for managing informal relationships were set. Further, the characteristics of the environment of informal relations are revealed, for the assessment of which the methods and techniques of domestic and foreign authors can be applied. The paper offers recommendations on the application of methods and techniques for studying the environment of informal relations between staff of state and municipal institutions. Applied methods: analysis of sources, comparison, legal method. The novelty of the work lies in the substantiation of the application of methods and techniques for assessing the psychological climate in the team, the level of job satisfaction, conflict, informal leadership to study the environment of informal relations. The practical significance of achieving the desired level of the environment lies in the ability to increase the level of retention of employees, to provide flexibility in making managerial decisions and their implementation.


Author(s):  
B. Chandrasekaran

AbstractI was among those who proposed problem solving methods (PSMs) in the late 1970s and early 1980s as a knowledge-level description of strategies useful in building knowledge-based systems. This paper summarizes the evolution of my ideas in the last two decades. I start with a review of the original ideas. From an artificial intelligence (AI) point of view, it is not PSMs as such, which are essentially high-level design strategies for computation, that are interesting, but PSMs associated with tasks that have a relation to AI and cognition. They are also interesting with respect to cognitive architecture proposals such as Soar and ACT-R: PSMs are observed regularities in the use of knowledge that an exclusive focus on the architecture level might miss, the latter providing no vocabulary to talk about these regularities. PSMs in the original conception are closely connected to a specific view of knowledge: symbolic expressions represented in a repository and retrieved as needed. I join critics of this view, and maintain with them that most often knowledge is not retrieved from a base as much as constructed as needed. This criticism, however, raises the question of what is in memory that is not knowledge as traditionally conceived in AI, but can support theconstructionof knowledge in predicate–symbolic form. My recent proposal about cognition and multimodality offers a possible answer. In this view, much of memory consists of perceptual and kinesthetic images, which can be recalled during deliberation and from which internal perception can generate linguistic–symbolic knowledge. For example, from a mental image of a configuration of objects, numerous sentences can be constructed describing spatial relations between the objects. My work on diagrammatic reasoning is an implemented example of how this might work. These internal perceptions on imagistic representations are a new kind of PSM.


2020 ◽  
Vol 1 (4) ◽  
pp. 46-60
Author(s):  
B.B. Kositsyn ◽  

Introduction. The use of the method of full-scale-mathematical modeling in “real time” opens up wide opportunities associated with the analysis of the modes of operation of the “man – vehicle – environment” system, as well as the study of the loading of units and assemblies of vehicles. The existing research complexes of full-scale mathematical modeling are suitable for obtaining most of the indicators usually determined by full-scale tests. The difference lies in the ability to fully control the course of virtual testing, recording any parameters of the vehicle movement, taking into account the “human factor”, as well as complete safety of the experiment. Purpose of research. The purpose of this work is to create a mathematical model of the dynam-ics of a wheeled vehicle, suitable for use in such a complex of full-scale mathematical modeling and assessment of the load of transmission units in conditions close to real operation. Methodology and methods. The proposed model is based on the existing model of the dynamics of a wheeled vehicle developed at Bauman Moscow State Technical University. Within the framework of the model, the dynamics of a vehicle is described as a plane motion of a rigid body in a horizontal plane. The principle of possible displacements is applied to determine the normal reac-tions of the bearing surface. The interaction of the wheel with the ground in the plane of the support base is described using an approach based on the “friction ellipse” concept. To enable the driver and operator of the full-scale mathematical modeling complex to drive a virtual vehicle in “real time” mode, the mathematical model is supplemented with a control system that communicates between the control parameter set by the driver by pressing the accelerator and brake pedals and the control actions of the vehicle's transmission units, such as: an electric machine, an internal combustion en-gine, a hydrodynamic retarder and a brake system. The article presents a block diagram of the de-veloped control algorithm, as well as approbation of the system's operation in a complex of full-scale mathematical modeling. Results and scientific novelty. A mathematical model of the dynamics of a wheeled vehicle was developed. It opens up wide possibilities for studying the modes of operation of the “driver-vehicle-environment” system in “real time”, using a complex of full-scale mathematical modeling. Practical significance. A mathematical model of the dynamics of a wheeled vehicle was devel-oped. It is supplemented with an algorithm for the distribution of traction / braking torques between the transmission units, which provide a connection between the driver's pressing on the accelerator / brake pedal and the control parameters of each of the units.


2019 ◽  
Author(s):  
A. M. Khalili

The dream of building machines that have human-level intelligence has inspired scientists for decades. Remarkable advances have been made recently; however, we are still far from achieving this goal. In this paper, I propose an alternative perspective on how these machines might be built focusing on the scientific discovery process which represents one of our highest abilities that requires a high level of reasoning and remarkable problem-solving ability. By trying to replicate the procedures followed by many scientists, the basic idea of the proposed approach is to use a set of principles to solve problems and discover new knowledge. These principles are extracted from different historical examples of scientific discoveries. Building machines that fully incorporate these principles in an automated way might open the doors for many advancements.


Sign in / Sign up

Export Citation Format

Share Document