检索结果-内蒙古大学图书馆

IEEE International Conference on Dependable Systems, Services and Technologies (DESSERT)

作者： Tetiana Hovorushchenko Alla Herts Yelyzaveta Hnatchuk Computer Engineering & System Programming Department Khmelnytskyi National University Khmelnytskyi Ukraine Civil Law and Legal Proceedings Department Ivan Franko National University of Lviv Lviv Ukraine

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.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Modern Information Technologies in Scientific Research and Educational Activities

arXiv

引用

arXiv 2024年

作者： Malakhov, Kyrylo Kaverinskiy, Vladislav Ivanova, Liliia Romanyuk, Oleksandr Romaniuk, Oksana Voinova, Svitlana Kotlyk, Sergii Sokolova, Oksana V. M. Glushkov Institute of Cybernetics The National Academy of Sciences of Ukraine Kyiv Ukraine Department of Wear-Resistant and Corrosion-Resistant Powder Construction Materials Frantsevic Institute for Problems in Material Science The National Academy of Sciences of Ukraine Kyiv Ukraine Separated Structural Subdivision «Odesa Technical Professional College of Odesa National University of Technology» Odessa Ukraine Vinnytsia National Technical university Vinnytsia Ukraine Vinnytsia National Technical university Vinnytsia Ukraine Odesa National University of Technology Odessa Ukraine The Institute of Computer Engineering Automation Robotics and Programming Odesa National University of Technology Odessa Ukraine Odesa National University of Technology Odessa Ukraine

This article presents a comprehensive methodology for enhancing the capabilities of conversational AI systems, focusing on ChatGPT, through the integration of ontology-driven structured prompts and meta-learning techniques. The proposed approach, exemplified by the RDWE OntoChatGPT system, demonstrates significant potential for improving productivity and expanding knowledge bases in specific subject domains and languages. By formalizing methods for creating and configuring structured prompts and context ontologies, the system enables ChatGPT to provide specific information using selected contexts, thereby enhancing its performance in handling data across diverse linguistic and domain contexts. Through empirical testing, the study evaluates the system’s effectiveness in providing accurate responses while also highlighting areas for further refinement. The methodology’s adaptability to other conversational AI systems based on large language models underscores its potential for broader application in natural language processing and dialogue systems. Future enhancements aim to refine structured prompts and incorporate additional input data to further improve system performance and accuracy. Overall, this research contributes to advancing the capabilities of conversational AI systems, paving the way for more sophisticated and effective human-computer interactions in various domains. © 2024, CC BY-SA.

关键词： Ontology

来源：评论

学校读者我要写书评

暂无评论

Escape from Escape Analysis of Golang

Escape from Escape Analysis of Golang

引用

IEEE/ACM International Conference on Software Engineering: Software Engineering in Practice Track (ICSE-SEIP)

作者： Cong Wang Mingrui Zhang Yu Jiang Huafeng Zhang Zhenchang Xing Ming Gu KLISS BNRist School of Software Tsinghua University Beijing China Compiler and Programming Language Lab Huawei Technologies Hangzhou China College of Engineering and Computer Science ANU Canberra Australia

ISBN: (数字)9781450371230

ISBN: (纸本)9781728165240

Escape analysis is widely used to determine the scope of variables, and is an effective way to optimize memory usage. However, the escape analysis algorithm can hardly reach 100% accurate, mistakes of which can lead to a waste of heap memory. It is challenging to ensure the correctness of programs for memory *** this paper, we propose an escape analysis optimization approach for Go programming language (Golang), aiming to save heap memory usage of programs. First, we compile the source code to capture information of escaped variables. Then, we change the code so that some of these variables can bypass Golang's escape analysis mechanism, thereby saving heap memory usage and reducing the pressure of memory garbage collection. Next, we present a verification method to validate the correctness of programs, and evaluate the effect of memory optimization. We implement the approach to an automatic tool and make it open-source 1 . For evaluation, we apply our approach to 10 open-source projects. For the optimized Golang code, the heap allocation is reduced by 8.88% in average, and the heap usage is reduced by 8.78% in average. Time consumption is reduced by 9.48% in average, while the cumulative time of GC pause is reduced by 5.64% in average. We also apply our approach to 16 industrial projects in Bytedance Technology. Our approach successfully finds 452 optimized cases which are confirmed by developers.

关键词： Optimization Memory management Heuristic algorithms computer languages Open source software Tools Software engineering

来源：评论

学校读者我要写书评

暂无评论

Erratum to “Bipolar fuzzy graphs” [Information Sciences 181 (2011) 5548-5564]

引用

Information Sciences 2019年 477卷 546-548页

作者： Ganesh Ghorai Department of Applied Mathematics with Oceanology and Computer Programming Vidyasagar University Midnapore 721 102 India

In this erratum, it is shown that Proposition 5.4 and Proposition 5.5 in [1] are not correct. Accordingly, the updated results are established.

关键词： Bipolar fuzzy graphs Semi-strong bipolar fuzzy graphs Counterexample

来源：评论

学校读者我要写书评

暂无评论

Synthetic fibered (∞,1)-category theory

arXiv

引用

arXiv 2021年

作者： Buchholtz, Ulrik Weinberger, Jonathan Functional Programming Lab School of Computer Science University of Nottingham Jubilee Campus NottinghamNG7 1BB United Kingdom Dept. of Mathematics Krieger School of Arts and Sciences Johns Hopkins University 3400 N Charles St. BaltimoreMD21218 United States

We study cocartesian fibrations in the setting of the synthetic (∞,1)-category theory developed in simplicial type theory introduced by Riehl and Shulman. Our development culminates in a Yoneda Lemma for cocartesian ... 详细信息

关键词： Topology

来源：评论

学校读者我要写书评

暂无评论

Identification of the computer System State Based on Multidimensional Discriminant Analysis 29

Identification of the Computer System State Based on Multidi...

引用

29th International Scientific Symposium "Metrology and Metrology Assurance", MMA 2019

作者： Gavrylenko, Svetlana Chelak, Viktor Hornostal, Oleksii Gornostal, Stella National Technical University Kharkiv Polytechnic Institute Department of Computer Engineering and Programming Kharkiv Ukraine National University of Civil Defence of Ukraine Department of Fire Prevention in Settlements Kharkiv Ukraine

ISBN: (纸本)9781728122137

This paper describes the process of identifying the state of a computer system based on tracking changes in the file system under the condition that there is no reliable information about the state of objects in the external environment and the state of the system itself. In this case, the performance indicators of a computer system are random variables with unknown distribution laws. A method for identifying the state of the computer system based on tracking changes in the file system using classical discriminative analysis, taking into account the uncertainty of the input data, is proposed. For this purpose, a special method was developed for solving a fuzzy system of linear algebraic equations. The software was developed for tracking changes in the computer file system: creating, modifying, renaming, and deleting files and directories. The program also performs state classification based on a fuzzy discriminant classifier. © 2019 IEEE.

关键词： Discriminant analysis

来源：评论

学校读者我要写书评

暂无评论

S--Ideals: A Study in Commutative and Noncommutative Rings

引用

Journal of Mathematics 2024年第1期2024卷

作者： Alaa Abouhalaka Hatice Çay Bayram Ali Ersoy Department of Mathematics Çukurova University Balcalı Adana 01330 Turkey cu.edu.tr Computer Programming IMU Vocational School Istanbul Medipol University Beykoz Istanbul 34810 Turkey medipol.edu.tr Department of Mathematics Yildiz Technical University Esenler Istanbul 34220 Turkey yildiz.edu.tr

In this paper, we introduce the concept of S - -ideals in both commutative and noncommutative rings. For a commutative ring R and a multiplicatively closed subset S , we show that many properties of -ideals apply to S - -ideals and examine their characteristics in various ring constructions, such as homomorphic image rings, quotient rings, cartesian product rings, polynomial rings, power series rings, idealization rings, and amalgamation rings. In noncommutative rings, where S is an m -system, we define right S - -ideals. We demonstrate the equivalence of S - -ideals and right S - -ideals in commutative rings with identity and provide examples to illustrate the connections between right S -prime ideals and -ideals.

关键词： commutative ring 𝒥-ideal m-system multiplicatively closed subset noncommutative ring S-𝒥-ideals 16N20 16N40 16N60 16N80 16W99

来源：评论

学校读者我要写书评

暂无评论

Principles of organizing a hardware of information collection system perceptron for a quantum hashing problem

引用

AIP Conference Proceedings 2024年第1期2969卷

作者： V. D. Munister A. L. Zolkin A. I. Dzhangarov Department of mathematical methods and system analysis Mariupol State University Prospect Builders 129 a Mariupol 87500 Ukraine Computer and Information Sciences Department Povolzhskiy State University of Telecommunications and Informatics Samara 443010 Russia Department of Programming and Information and Communication Kadyrov Chechen State University 32 Sheripova Street Groznyy 364093 Russia

The article raises the issue of organizing the signal processing process in existing classes of digital systems and analogue-to-digital converters. The authors indicate a significant problem of the synthesis of controlled action (and its adequate perception by the control system through the "sensory level of perception", in particular, the aspectology of redundancy in computing power and the problem of choice and delegation in stream processing of signals).A solution for an information system for collecting and managing data based on peripheral interrogation of sensors is generalized and formalized. For the first time authors are developing a new class of hardware devices that combine the principles of organization of neural pathogens (perceptrons) that work within the activation function and trend line (neural memory), and quantum logic in a Boolean basis. The functional testing of the developed device is presented, the simplicity and reliability of the hardware implementation is indicated. While formulating research methods, the goal is to develop a reliable integrative system for information support of the hardware circuit system. A structural block of controlled addiction has been implemented, taking into account quantum caching that is taken as a mean of ensuring the unity and consistency of data transmission from the measuring environment in case of increasing its structural component. Options for the practical implementation of the information and analytical structure of the hardware perceptron in the industrial Internet of Things are considered in the conclusion.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Design and implementation of an embedded interactive timing system for medical treatment of patients with learning and attention issues 28

Design and implementation of an embedded interactive timing ...

引用

28th International Scientific Conference Electronics, ET 2019 - Proceedings

作者： Angelova, Maria A. Velchev, Yuliyan S. Dimitrov, Kalin L. Department of Programming and Computer Technologies Faculty of Computer Systems and Technologies 8 Kliment Ohridski blvd Sofia1000 Bulgaria Department of Radio Communications and Video Technologies Faculty of Telecommunications Technical University of Sofia 8 Kliment Ohridski blvd Sofia1000 Bulgaria

ISBN: (纸本)9781728125749

This article describes the design and implementation of an Embedded Interactive Timing System. Such systems are used in the therapy of children who have learning problems. The matching of different beats can help the brain work more efficiently. A methodology and architecture of an interactive timing is proposed. Open-source software environment and microcontroller is used for the practical realization of the system. Some results of the program functioning are shown. © 2019 IEEE.

关键词： Microcontrollers

来源：评论

学校读者我要写书评

暂无评论

Novel symmetric numerical methods for solving symmetric mathematical problems

引用

International Journal of Circuits, Systems and Signal Processing 2021年 15卷 1545-1557页

作者： Ibrahimov, V.R. Mehdiyeva, G.Y.U. Yue, Xiao-Guang Kaabar, Mohammed K.A. Noeiaghdam, Samad Juraev, Davron Aslonqulovich Institute of Control Systems named after Academician A.Huseynov BakuAZ1141 Azerbaijan Computational mathematics Baku State University BakuAZ1148 Azerbaijan Department of Computer Science and Engineering School of Sciences European University Cyprus Nicosia1516 Cyprus Institute of Mathematical Sciences Faculty of Science University of Malaya Kuala Lumpur50603 Malaysia Department of Mathematics and Statistics Washington State University PullmanWA99163 United States Industrial Mathematics Laboratory Baikal School of BRICS Irkutsk National Research Technical University Irkutsk664074 Russia Department of Applied Mathematics and Programming South Ural State University Lenin Prospect 76 Chelyabinsk454080 Russia Department of Natural Science Disciplines Higher Military Aviation School of the Republic of Uzbekistan Karshi City180100 Uzbekistan

—The mathematical model for many problems is arising in different industries of natural science, basically formulated using differential, integral and integro-differential equations. The investigation of these equations is conducted with the help of numerical integration theory. It is commonly known that a class of problems can be solved by applying numerical integration. The construction of the quadrature formula has a direct relation with the computation of definite integrals. The theory of definite integrals is used in geometry, physics, mechanics and in other related subjects of science. In this work, the existence and uniqueness of the solution of above-mentioned equations are investigated. By this way, the domain has been defined in which the solution of these problems is equivalent. All proposed four problems can be solved using one and the same methods. We define some domains in which the solution of one of these problems is also the solution of the other problems. Some stable methods with the degree p © 2021, North Atlantic University Union NAUN. All rights reserved.

关键词： Integrodifferential equations

来源：评论

学校读者我要写书评

暂无评论

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

建议与咨询 留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案： 新增检索档案 确定 取消

请选择收藏分类： 新增自定义分类 确定 取消

通借通还

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

请选择保存的检索档案：

请选择收藏分类：