Currently, there is a need in Ukraine for the design and development of multidisciplinary decision support systems (DSSs) for the medical and other related spheres - for example, the medical law sector, in particular,...
ISBN:
(数字)9781728199573
ISBN:
(纸本)9781728199580
Currently, there is a need in Ukraine for the design and development of multidisciplinary decision support systems (DSSs) for the medical and other related spheres - for example, the medical law sector, in particular, the DSS for the surrogacy's legal regulation field. This DSS will be able to protect doctors from potentially wrong decisions by taking into account all available information when making the decisions. For design such DSS, it's necessary to conduct the modelling of the decision-making process on surrogacy's legal conducting, that is the goal of this research. In this paper, there are the theoretical foundations of using the ontologies for the decision-making process on surrogacy's legal conducting, a model of base ontology with the necessary requirements and recommendations for conducting the surrogate motherhood, and ontology-based model of the decision-making process on surrogacy's legal conducting. The conducted modelling is a theoretical basis for the development of methods and design of DSS in the field of legal regulation of surrogate motherhood.
This paper describes the development of an auto-active verification technique in the Frama-C framework. We outline the lemma functions method and present the corresponding ACSL extension, its implementation in Frama-C...
详细信息
ISBN:
(纸本)9781728112763;9781728112756
This paper describes the development of an auto-active verification technique in the Frama-C framework. We outline the lemma functions method and present the corresponding ACSL extension, its implementation in Frama-C, and evaluation on a set of string-manipulating functions from the Linux kernel. We illustrate the benefits our approach can bring concerning the effort required to prove lemmas, compared to the approach based on interactive provers such as Coq. Current limitations of the method and its implementation are discussed.
Two-Level Grammar (TLG) is proposed for the formal specification and automatic generation of software systems. TLG specifications are unique in that they are a structured form of natural language which is executable. ...
详细信息
This paper analyzes of the hardware and software tools for implementing a cognitive radio network. In particular, software-configurable radio modules, which are considered the main element of the cognitive network, we...
详细信息
As educators aim to evaluate students' knowledge, the design and quality of their assessment instruments play a vital role. Focusing on test difficulty, as well as comparing real and set results to determine knowl...
详细信息
ISBN:
(数字)9798350358100
ISBN:
(纸本)9798350358117
As educators aim to evaluate students' knowledge, the design and quality of their assessment instruments play a vital role. Focusing on test difficulty, as well as comparing real and set results to determine knowledge levels ensure that tests adequately challenge students without overwhelming them. There are various methods incorporating these concepts, such as item response theory and classical test theory. Recognizing the patterns of student performance, thus highlighting areas requiring further attention, can foster targeted interventions to enhance learning outcomes.
A numerical study on the flow over a square cylinder in the vicinity of a wall is conducted for different Couette-Poiseuille-based non-uniform flow with the non-dimensional pressure gradient P varying from 0 to 5. The...
详细信息
Fog computing extends the capabilities of cloud computing by enabling computing at the edge of the network, involving devices such as mobile collaborative devices or fixed nodes with integrated storage, computing, and...
Fog computing extends the capabilities of cloud computing by enabling computing at the edge of the network, involving devices such as mobile collaborative devices or fixed nodes with integrated storage, computing, and communication capabilities. Fog computing offers benefits such as improved efficiency, increased security, savings in network bandwidth, and increased flexibility. In order to provide a complete understanding of Fog computing, this paper presents its salient features and highlights the differences from cloud computing research. Cloud computing is an emerging technology that offers computing resources on a pay-per-use basis. It provides three service models, and the cloud offers cost-effective centrally managed resources for reliable computing for specific tasks. This document presents a comparison between Fog computing and cloud computing, highlighting the differences in design, deployment, services, and tools available to organizations and users. By explicating the distinctiveness of fog computing and its contrast to cloud computing, we contribute to the field by shedding light on the unparalleled potential of fog computing in conserving resources while delivering robust computational solutions at the network periphery. Our study offers a new perspective that challenges the prevailing practices and extends the discourse on optimizing distributed computing architectures.
We introduce a technique to compute several information estimations for Boolean and multivalued functions. Special features of these estimations for completely and incompletely specified logic functions, including sym...
详细信息
We introduce a technique to compute several information estimations for Boolean and multivalued functions. Special features of these estimations for completely and incompletely specified logic functions, including symmetric logic functions are investigated. Finally, we give an algorithm for determining various information measures for logical functions based on decision trees.
In this paper, we have proposed and analyzed an agricultural pest control system. For this purpose, an eco-epidemiological type predator–prey model has been proposed with the consideration of a sound predator populat...
详细信息
In this paper, we have proposed and analyzed an agricultural pest control system. For this purpose, an eco-epidemiological type predator–prey model has been proposed with the consideration of a sound predator population and two classes of pest populations namely susceptible pest and infected pest. Further to consider uncertainty, we modify our model and transform it into a fuzzy system with incorporation of imprecise parameters. The dynamical behavior of the proposed model has been investigated by examining the existence and stability criteria of all feasible equilibria. An optimal control problem is formed by considering the pesticide control as the control parameter and then the problem is solved both theoretically and numerically with the help of some computer simulation works.
In the article, a new method of building a forecast model using a fuzzy approach for charter air transportation time series with intra-series multiplicative changes is proposed. The method is based on the use of corre...
详细信息
ISBN:
(数字)9798350353099
ISBN:
(纸本)9798350353105
In the article, a new method of building a forecast model using a fuzzy approach for charter air transportation time series with intra-series multiplicative changes is proposed. The method is based on the use of correlation functions in the calculation of forecast values based on statistical indicators of intra-row changes. In regular air transportation, the changes in the time series of statistical indicators are stable. On charter flights, these changes are unstable. This is due to the strong random effects of external factors (a sudden increase in demand for flights, economic changes, etc.) on the formation of charter flights. For this reason, the application of models based on trend changes does not give good enough results when building forecast models for charter flights. Therefore, to solve the problem, we propose to build a forecast model using a fuzzy approach, using the randomness of the intra-series changes of the statistical indicators of this type of air transportation. The researched method was checked based on the actual data of the time series of charter flights, and the results were obtained within acceptable limits.
暂无评论