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

3rd IEEE KhPI Week on Advanced Technology, KhPI Week 2022

作者： Kalinin, Yevhen Kuchuk, Nina Lysytsia, Dmytro National University of Life and Environmental Sciences of Ukraine Tractors Cars and Bioenergy Resources Department Kyiv Ukraine National Technical University «kharkiv Polytechnic Institute» Department of Computer Engineering and Programming Kharkiv Ukraine

ISBN: (数字)9798350399202

ISBN: (纸本)9798350399202

The reliable operation of today's complex technical systems often relies on remote software solutions for predicting their performance. To solve these tasks, client-server architectures, based on the database server, used to store the obtained data, as well as server-based data analyzers are taken advantage of. Due to the increasing complexity of tasks of diagnosing the state of complex technical systems, associated with the generation of higher volumes of data for assessing the current state of the diagnostic objects, the use of classical relational storage resulted in a significant increase in the requirements for cluster architectures. With the increasing use of technological solutions based on the 'Big Data' architecture, there is a contradiction associated with the need to store large amounts of unstructured data for further structuring by methods of database schema development. The mission of Data Mining is the implementation of search operations applied to the laws of behavior and overall functioning of the system under study, consisting of numerical data. An obligatory condition that arises when using Data Mining methodologies is to interpret the resulting patterns formed as a consequence of determining the practical utility of the data. In this regard, there is a need to develop a method for optimizing large amounts of data, especially in partially defined tasks, allowing the distribution of the readings of the state of complex technical systems. Thus, the paper considers the problem of objective function approximation by the linear functional in a partially defined optimization problem, when the objective function is partially defined by comparing its values on some set of vectors from the acceptance region. Necessary and sufficient conditions for the existence of the approximating linear functional and the method of recovery of its coefficients through a linear correction procedure are formulated. © 2022 IEEE.

关键词： Data mining

来源：评论

学校读者我要写书评

暂无评论

Software development for safety-related systems

Software development for safety-related systems

引用

ICONS International Conference on Systems

作者： Josef Borcsok Sebastian Schaefer Department of Computer Architecture and System Programming University of Kassel Germany

Safety-related systems mostly comprise hardware and software solutions. Due to the increasing application of complex hardware and software systems, the software systems have to be considered regarding safety as well as hardware systems. The development of a safety-related software system is similar to the development of a safety-related hardware systems. But there are still no generally accepted methods for developing safety-critical software. One has to use the methods, which fit best to the actual requirements. However, the calculation of reliability and availability for safety-related software systems is far more complex.

关键词： programming Software safety Software systems Hardware Software testing Software design Application software Object oriented modeling computer architecture Documentation

来源：评论

学校读者我要写书评

暂无评论

Training Policy for Privacy-Preserving Logistic Regression in Federated Learning Environments 2

Training Policy for Privacy-Preserving Logistic Regression i...

引用

2nd IEEE International Conference on Federated Learning Technologies and Applications, FLTA 2024

作者： Cortés-Mendoza, Jorge M. Tchernykh, Andrei González-Vélez, Horacio Cloud Competency Centre National College of Ireland Dublin Ireland Computer Science Department CICESE Research Center Ensenada Mexico Institute for System Programming RAS Moscow Russia

ISBN: (纸本)9798350354812

Logistic Regression (LR) is a widely used statistical model for classification problems. However, its training and evaluation in a shared environment increase the possibility of information leaking. A federated LR reduces security issues by using only locally available data for training. In a Federated Learning (FL) environment, LR receives the coefficients of local models to create the federated LR model, which is then distributed to update the local models. The exchange process does not leak confidential information when LR coefficients are encrypted. Homomorphic Encryption (HE) allows the merging of local LR models with privacy preservation (HE-LR). This work presents a novel training policy to reduce the training time with only slightly decreased quality in an FL environment with HE. We analyze the accuracy and time of FL policies with HE-LR that progressively reduce the amount of training data and exchange the LR coefficients in a privacy-preserving manner. The results show that the proposed policy can speed up the training time between 12% and 69%, compared to the traditional FL approach, with an average decrease in accuracy of 1.79% and 1.95%. ©2024 IEEE.

关键词： Differential privacy

来源：评论

学校读者我要写书评

暂无评论

A proof-theoretic approach to logic programming: II. Programs as definitions

引用

Journal of Logic and Computation 1991年第5期1卷 635-660页

作者： Hallnäs, Lars Schroeder-Heister, Peter Programming Methodology Group Department of Computer Science Chalmers University of Technology Sweden Universitä Tübingen 7400 Tübingen Germany University Göteborg 412 96 Göteborg Sweden

We introduce a definitional extension of logic programming by means of an inference schema (Ph), which, in acertain sense, is dual to the (1-P) schema of rule application discussed in Part I. In the operational semantics, this schema is dual to the resolution principle. We prove soundness and completeness for the extended system, discuss the computation of substitutions that this new schema gives rise to, and also consider the notion of negation intrinsic to the system and its relation to negation by failure. © 1991 Oxford University Press.

关键词：

来源：评论

学校读者我要写书评

暂无评论

A supplier selection model with fuzzy risk analysis using the balanced solution technique with a soft set

引用

Pacific Science Review A: Natural Science and Engineering 2016年第3期18卷 162-168页

作者： Kartik Patra Shyamal Kumar Mondal Department of Applied Mathematics with Oceanology and Computer Programming Vidyasagar University Midnapore 721102 West Bengal India

In this paper, a supplier selection model was developed for a retailer. Suppliers have different influence factors that have a risk of profit loss or less profit as well as a loss of goodwill to a retailer. Thus, a retailer must choose a supplier that can provide better profit and better goodwill. Different suppliers have different business policies. Here, different risk factors and their corresponding severity in profit loss and goodwill loss are considered as a fuzzy number. Next, the total risk in profit loss and goodwill loss is formulated. To select a supplier with the minimum risk, a balanced solution of the soft set theory was applied to a numerical example.

关键词： Risk Supplier selection Balanced solution General fuzzy number Soft set

来源：评论

学校读者我要写书评

暂无评论

Dynamics of a predator-prey model with stage-structure on both species and anti-predator behavior

引用

Informatics in Medicine Unlocked 2018年 10卷 50-57页

作者： Mortoja, Sk Golam Panja, Prabir Mondal, Shyamal Kumar Department of Applied Mathematics with Oceanology and Computer Programming Vidyasagar University Midnapore 721102 W.B. India Department of Applied Science Haldia Institute of Technology Purba Midnapore Haldia 721657 W.B. India

In this paper, we have formulated and studied a stage-structure predator-prey model. Here, we consider stage-structure on both prey as well as predator population which means that the prey population is divided into two sub populations such as juvenile prey and adult prey, on the other hand, the predator population is also divided into two sub populations such as juvenile predator and adult predator. It is assumed that only adult predator have the ability to predation and they consume both juvenile prey as well as adult prey. Here, it is also considered that the growth rate of juvenile prey depends upon the adult prey population i.e., the juvenile prey has no reproduction capability. Also, Holling II and Holling IV response function have been used for the consumption of juvenile prey and adult prey by adult predator respectively. It is also considered two types of factors such as anti-predator behavior and group defense to formulate our proposed model. Mathematically, we have analyzed the positivity and boundedness of solutions, existence of equilibria, stability of the proposed system around these equilibrium points and Hopf bifurcation of interior equilibrium point. Finally, some numerical simulations have been presented to validate our theoretical results. © 2017

关键词： Anti-predator behavior Group defense Holling IV response function Prey-predator model Stability analysis Stage-structure

来源：评论

学校读者我要写书评

暂无评论

Application of (α,β)-soft intersectional sets on BCK/BCI-algebras

引用

International Journal of Intelligent Systems Technologies and Applications 2017年第3期16卷 269-288页

作者： Jana, Chiranjibe Pal, Madhumangal Department of Applied Mathematics with Oceanology and Computer Programming Vidyasagar University Midnapore721102 India

In this paper, the notion of (α,β)-soft intersectional set is introduced and explained with some examples. Then, some properties of (α,β)-soft intersectional BCK/BCI-algebras and (α,β)-soft intersectional BCK/BCI-ideals are investigated. Strong (α,β)- soft intersectional BCI-algebra is defined on the basis of BCI-subalgebras. The concept of an (α,β)-intersectional t-support of a soft set is introduced and proposed a condition for an (α,β)- intersectional t-support to be a soft BCK/BCI-subalgebras and soft ideal of a BCK/BCI-algebras. Also, it is shown that the image and inverse image of a BCK/BCI-algebras are also (α,β)-soft intersectional BCK/BCI-algebras. Again, (α,β)-soft intersectional BCK/BCI-ideal is developed on the basis of a homomorphism of BCK/BCI-algebras. Copyright © 2017 Inderscience Enterprises Ltd.

关键词： Algebra

来源：评论

学校读者我要写书评

暂无评论

Multi-choice stochastic bi-level programming problem in cooperative nature via fuzzy programming approach

引用

Journal of Industrial Engineering International 2016年第3期12卷 287-298页

作者： Maiti, Sumit Kumar Roy, Sankar Kumar School of Applied Sciences and Humanities Haldia Institute of Technology Purba Midnapore Haldia 721 157 India Department of Applied Mathematics with Oceanology and Computer Programming Vidyasagar University Midnapore 721 102 India

In this paper, a Multi-Choice Stochastic Bi-Level programming Problem (MCSBLPP) is considered where all the parameters of constraints are followed by normal distribution. The cost coefficients of the objective functions are multi-choice types. At first, all the probabilistic constraints are transformed into deterministic constraints using stochastic programming approach. Further, a general transformation technique with the help of binary variables is used to transform the multi-choice type cost coefficients of the objective functions of Decision Makers(DMs). Then the transformed problem is considered as a deterministic multi-choice bi-level programming problem. Finally, a numerical example is presented to illustrate the usefulness of the paper. © 2016, The Author(s).

关键词： Bi-level programming Fuzzy programming Multi-choice programming Non-linear programming Stochastic programming

来源：评论

学校读者我要写书评

暂无评论

Classification of a bank data set on various data mining platforms 4

Classification of a bank data set on various data mining pla...

引用

4th Electric Electronics, computer Science, Biomedical Engineerings' Meeting, EBBT 2018

作者： Basarslan, Muhammet Sinan Argun, Irem Duzdar Computer Programming School of Advanced Vocational Studies Doǧuş University Istanbul Turkey Industry Engineering Department Engineering Faculty Düzce University Düzce Turkey

ISBN: (纸本)9781538651353

The process of extracting meaningful rules from big and complex data is called data mining. Data mining has an increasing popularity in every field today. Data units are established in customer-oriented industries such as marketing, finance and telecommunication to work on the customer churn and acquisition, in particular. Among the data mining methods, classification algorithms are used in studies conducted for customer acquisition to predict the potential customers of the company in question in the related industry. In this study, bank marketing data set in UCI Machine Learning Data Set was used by creating models with the same classification algorithms in different data mining programs. Accuracy, precision and f- measure criteria were used to test performances of the classification models. When creating the classification models, the test and training data sets were randomly divided by the holdout method to evaluate the performance of the data set. The data set was divided into training and test data sets with the 60-40%, 75, 25% and 80-20% separation ratios. Data mining programs used for these processes are the R, Knime, RapidMiner and WEKA. And, classification algorithms commonly used in these platforms are the k-nearest neighbor (k-nn), Naive Bayes, and C4.5 decision tree. © 2018 IEEE.

关键词： Data mining

来源：评论

学校读者我要写书评

暂无评论

Modeling of Memory Dependent Derivative Under Three-Phase Lag in Generalized Thermo-Viscoelasticity

引用

International Journal of Applied and Computational Mathematics 2021年第6期7卷 1-20页

作者： Singh, Biswajit Sarkar, Smita Pal Barman, Krishnendu Department of Mathematics Indian Institute of Engineering Science and Technology Shibpur Howrah 711103 West Bengal India Applied Mathematics with Oceanology and Computer Programming Vidyasagar University Paschim Medinipur 721102 West Bengal India

In this study, a new generalized model of thermo-viscoelasticity with three phase-lag (TPL) theory concerning memory-dependent derivative (MDD) theory is emphasized. The governing combined equations of the novel model associated with kernel function and time delay are considered in a two-dimensional semi-infinite space. The bounding surface of the medium is assumed to be free of traction and subjected to time-dependent thermal loading. Using Laplace and Fourier Transform techniques, the problem is transformed from the space–time domain and then solved numerically. Suitable numerical technique is used to find the inversion of Fourier and Laplace transforms. In the simulation, the effects of the time-delay parameter and kernel function on the distributions of the displacement components, stresses and temperature field are studied and represented graphically. The results shows that the presence of TPL, the time-delay and kernel function extensively affect all the distributions. © 2021, The Author(s), under exclusive licence to Springer Nature India Private Limited.

关键词： Laplace and Fourier transform Memory dependent derivative Thermo-viscoelasticity Three phase-lag Vector matrix differential equation

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：