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

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.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Lemma Functions for Frama-C: C Programs as Proofs

Lemma Functions for Frama-C: C Programs as Proofs

引用

Ivannikov ISPRAS Open Conference (ISPRAS)

作者： Grigoriy Volkov Mikhail Mandrykin Denis Efremov Faculty of Computer Science Higher School of Economics Moscow Russia Software Engineering Department Ivannikov Institute for System Programming of the Russian Academy of Sciences Moscow Russia

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.

关键词： Tools Manuals Contracts Linux Kernel Economics

来源：评论

学校读者我要写书评

暂无评论

Formal specification of software systems using Two-Level Grammar 15

Formal specification of software systems using Two-Level Gra...

引用

15th Annual International computer Software and Applications Conference, CMPSAC 1991

作者： Bryant, Barrett R. Pan, Aiqin Computer and Information Sciences Dept. University of Alabama at Birmingham UAB Station Mail Stop 1170 BirminghamAL35294 United States Knowledge Based/Programming Systems IBM Santa Teresa Laboratory Department L78 555 Bailey Avenue San JoseCA95161 United States

ISBN: (纸本)0818621524

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 has the potential for greatly increasing the reliability of the developed software system for the following reasons. Because it is a form of natural language, TLG may be used as an effective communication medium between the system users, designers, and implementors, thereby reducing the likelihood of errors caused by miscommunication. Furthermore, we may automatically generate an efficient software system, expressed in C, from the specification in a provably correct way. Successful applications have included database/knowledge base systems and programming language compilers. © 1991 IEEE.

关键词： Formal specification

来源：评论

学校读者我要写书评

暂无评论

Analysis of Hardware and Software Tools for Implementation of Cognitive Radio Networks

Analysis of Hardware and Software Tools for Implementation o...

引用

2022 International Conference on Information Science and Communications Technologies, ICISCT 2022

作者： Reypnazarov, Ernazar Khujamatov, Halimjon Khasanov, Doston Allamuratova, Zamira Tashkent University of Information Technologies Named after Muhammad Al-Khwarizmi Tashkent Uzbekistan Tashkent University of Information Technologies Named after Muhammad Al-Khwarizmi The Computer Enjineering Faculty Tashkent Uzbekistan Tashkent University of Information Technologies Named after Muhammad Al-Khwarizmi Department of Data Communication Networks and Systems Tashkent Uzbekistan Tashkent University of Information Technologies Named after Muhammad Al-Khwarizmi Department of Information-Computer Technologies and Programming Tashkent Uzbekistan

ISBN: (纸本)9781665472296

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, were studied according to their main characteristics, among which the widely used ones were comparatively analyzed. As a result of the analysis, the HackRF One device was selected as the most preferred option for cognitive network research, and its working principles, structure, and characteristics were revealed in detail. It also provides information about the GNU Radio software environment and its capabilities, which are used to operate the HackRF One device. © 2022 IEEE.

关键词： Digital signal processing

来源：评论

学校读者我要写书评

暂无评论

Determining the Qualities of Tests Designed for Students' Knowledge Assessment

Determining the Qualities of Tests Designed for Students' Kn...

引用

International Conference on High Technology for Sustainable Development (HiTech)

作者： Daniela Minkovska Elena Antonova Kiril Koparanov Krasin Georgiev Pamela Minkovska Department of Programming and Computer Technologies Technical University of Sofia Sofia Bulgaria Department of Computer Science Technical University of Sofia Sofia Bulgaria Department of Air Transport Technical University of Sofia Sofia Bulgaria Professional High School of Telecommunications Sofia Bulgaria

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.

关键词： Target recognition Instruments Focusing Pattern recognition Sustainable development

来源：评论

学校读者我要写书评

暂无评论

Couette-Poiseuille flow based non-linear flow over a square cylinder near plane wall

Couette-Poiseuille flow based non-linear flow over a square ...

引用

作者： Bhatt, Rajesh Maiti, Dilip K. Alam, Md. Mahbub Rehman, S. Institute for Turbulence-Noise-Vibration Interaction and Control Shenzhen Graduate School Harbin Institute of Technology Shenzhen China Department of Applied Mathematics with Oceanology and Computer Programming Vidyasagar University Midnapur721102 India Center for Engineering Research Research Institute King Fahd University of Petroleum and Minerals Dhahran31261 Saudi Arabia

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 nondimensional gap ratio L (=H /a ) is changed from 0.1 to 2, where H is gap height between the cylinder and wall, and a is the cylinder width. The governing equations are solved numerically through finite volume method based on SIMPLE algorithm on a staggered grid system. Both P and L have a substantial influence on the flow structure, time-mean drag coefficient CD, fluctuating (rms) lift coefficient (C′L), and Strouhal number St. The changes in P and L leads to four distinct flow regimes (I, II, III and IV). Following the flow structure change, the CD , C′L, and St all vary greatly with the change in L and/or P. The CD and C′L both grow with increasing P and/or L. The St increases with P for a given L, being less sensitive to L for a smaller P ( 2). A strong relationship is observed between the flow regimes and the values of CD , CL and St. An increase in P affects the pressure distribution more on the top surface than on bottom surface while an increase in L does the opposite. © 2018 Techno-Press, Ltd.

关键词： Flow structure

来源：评论

学校读者我要写书评

暂无评论

Advantages of Fog Computing: A Comparative Analysis with Cloud Computing for Enhanced Edge Computing Capabilities

Advantages of Fog Computing: A Comparative Analysis with Clo...

引用

Advanced Technology (KhPIWeek), IEEE KhPI Week on

作者： Mykhailo Hunko Vitalii Tkachov Andriy Kovalenko Heorhii Kuchuk Department of Electronic Computers Kharkiv National University Of Radio Electonics Kharkiv Ukraine Department of Computer Engineering and Programming National Technical University «Kharkiv Polytechnic Institute» Kharkiv Ukraine

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.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Functional entropy and decision trees

Functional entropy and decision trees

引用

International Symposium on Multiple-Valued Logic

作者： V. Cheushev D.A. Simovici V. Shmerko S. Yanushkevich Department of Programming Technology State University Minsk Belarus Institute of Computer Science Technical University Szczecin Poland Department of Mathematics and ComputerScience University of Massachusetts Boston Boston MA USA

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.

关键词： Entropy Decision trees Logic functions Boolean functions computer science Logic design Minimization Mathematical programming Mathematics Estimation theory

来源：评论

学校读者我要写书评

暂无评论

An Imprecise Eco-Epidemic Model with Pesticide in Relevance to Agricultural Pest Control

引用

Biophysical Reviews and Letters 2018年第3期13卷 109-131页

作者： Anjana Das M. Pal http://***/0000-0003-4462-0490 Department of Mathematics Sura Mahamaya Balika Vidyalaya Panskura 721152 West Bengal India Department of Applied Mathematics with Oceanology and Computer Programming Vidyasagar University Midnapore 721101 West Bengal India

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.

关键词： Eco-epidemiology bifurcation global stability optimal control

来源：评论

学校读者我要写书评

暂无评论

Creating a Forecasting Model of Passenger Flows in Non-Scheduled Air Transportation

Creating a Forecasting Model of Passenger Flows in Non-Sched...

引用

Problems of Logistics, Management and Operation in the East-West Transport Corridor (PLMO), International Conference on

作者： Nadir Aghayev Dashqin Nazarli Department of Computer Systems and Programming National Aviation Academy of the Republic of Azerbaijan Baku Azerbaijan Department of Air Transport Production National Aviation Academy of the Republic of Azerbaijan Baku Azerbaijan

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.

关键词： Economics Correlation Atmospheric modeling Time series analysis Buildings Predictive models Air transportation Market research Forecasting Logistics

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：