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

IEEE international conference on Power and Energy Systems (ICPES)

作者： Hui Chen Wenjun Qi Wenjie Li Shuai Shuai Fei Zheng Zhongjie Yu Smart Grid Service Center Jiangsu Frontier Electric Power Technology Co. Ltd Nanjing China

ISBN: (纸本)9781665413268

the release of the information system version poses a certain risk to the normal operation of the system. Based on the information system micro service architecture, this paper studies the entrusted management of the information system according to the EDAs gray level table under different gray levels, and provides all-round solutions in combination with the different needs of system development, configuration, monitoring, operation and maintenance, so as to effectively improve the core computing capability of the platform under the micro service architecture and realize the online release and loss free return of the system, Reduce system release risk and improve system service quality.

关键词： Publishing Microservice architectures distributed databases Computer architecture Gray-scale Maintenance engineering Monitoring

来源：评论

学校读者我要写书评

暂无评论

Verification Model for Agent Coordination of distributed Information Systems

Verification Model for Agent Coordination of Distributed Inf...

引用

IEEE international Workshop on Intelligent Data Acquisition and Advanced computing Systems: Technology and Applications

作者： Oleksandr Martynyuk Oleksandr Drozd Anatoliy Sachenko Hanna Stepova Dmitry Martynyuk Lyudmila Sugak Iryna Turchenko Odessa Polytechnic State University Odessa Ukraine West Ukrainian National University Ternopil Ukraine Join Venture “Nippon Auto” Odessa Ukraine

ISBN: (纸本)9781665426060

Modern distributed information systems, among many applied technologies, rely on multi-agent systems, which is due to the characteristic properties of the latter - autonomy, mobility, intelligence and cooperation. these properties, providing power, flexibility and adaptability in solving many distributed, dynamic, fuzzy problems, are gaining in importance. As in many cases, the features of these properties require a special analysis for them while ensuring the operability and reliability of the functioning of distributed information systems, especially in critical applications. the considered model of verification of the dynamic coordination property - one of the basic properties of agents’ cooperation - is based on extended Petri nets and automata behavioral experiments of check and recognition. the model for verifying the coordination of agent groups is distinguished by the behavioral check of cause-and-effect coordination-synchronization of conditions, events, actions, functions, both agents and the resource environment of their placement with the individuality and independence of agent goals. the verification model of agent coordination is designed to determine the conditions for the check and recognition of group agent interactions in the methods of testing of distributed information systems with agent properties and allows to reduce the computational complexity of behavioral analysis, check, recognition and diagnosis in general.

关键词： Analytical models Computational modeling Petri nets Data acquisition distributed information systems Data models Reliability

来源：评论

学校读者我要写书评

暂无评论

Approach to Sustainable Trust and Reputation Evaluation in distributed Mobile Networks of the Internet of things 11

Approach to Sustainable Trust and Reputation Evaluation in D...

引用

IEEE 11th international conference on Dependable Systems, Services and Technologies (DESSERT) - IoT, Big Data and AI for a Safe & Secure World and Industry 4.0

作者： Turkina, Victoriia Ihnatiev, Dmytro Natl Aerosp Univ Kharkiv Aviat Inst Software Engn & Business Fac Kharkiv Ukraine

ISBN: (纸本)9781728199573

this article presents a way of organizing a stable coalition that consists of the Internet of things interacting objects, taking into account their trust and reputation. the concept of convergence and interpenetrating services, networks, computing, and communications, which forming the Internet of things environment, requires solving a whole range of problems. One of the main issues is increasing the efficiency of use-limited resources (time, energy, radio frequency spectrum) by the Internet of things devices. Besides, there is a lack of guaranteeing trustworthy, user/data security and resistance against adversaries there. In this regard, trustworthiness evaluation and a coherent recommendation of estimating friend nodes' reliability will allow achieving network security and isolating malicious nodes' environment. A proposed method for measuring trust and reputation in the Internet of things defines the rules for transforming subjective trust assessments into the overall evaluation of the object interaction reputation. Simulation modeling with a real dataset confirms the effectiveness of the developed method and the possibility of reducing trust estimation uncertainty.

关键词： Internet of things trust model reputation interval estimation selective limits interacting recommendation

来源：评论

学校读者我要写书评

暂无评论

Toward an Enhanced Bengali Text Classification Using Saint and Common Form 11

Toward an Enhanced Bengali Text Classification Using Saint a...

引用

11th international conference on computing, Communication and networking Technologies, ICCCNT 2020

作者： Ria, Nushrat Jahan Khushbu, Sharun Akter Yousuf, Mohammad Abu Masum, Abu Kaisar Mohammad Abujar, Sheikh Hossain, Syed Akhter Daffodil International University Dept.of CSE Dhaka Bangladesh

ISBN: (纸本)9781728168517

Language processing tool has been strengthened by the measurements of text classification. Due to this concern many approaches investigate through the text documentation problem. Behalf of this conception we have focused on our bengali text written format. A long period of time bengali people are familiar with two bengali accents about saint and common form. With concern text document processing becomes easier to translate. Most well-known supervised six classifiers we have used to classify these two bengali forms of saint and common. Classifiers prediction will determine whether it is saint or common form. Collection of text documents more than 1200 mix sentences grabbed from bengali written sources. Each text needs preprocess to classify the text into a solid form of output. Before applying algorithms there has been some prerequisite ability to split the sentences, stemming, remove stop words, construct contraction. Ending with preprocess, the processed bengali text had been taken as input on machine learning classifiers that have raised very spontaneous outcomes over the accent of bengali data. Foremost output produced by NB classifier to identify the actual form about 77% on bengali text of saint and common form. Apart from that, other ML classifiers XGB, RB, DT, SVC, KNN showed nearly prediction upto 77% -64% accuracy which we have proposed in different segments of this paper. © 2020 IEEE.

关键词： Machine learning

来源：评论

学校读者我要写书评

暂无评论

Using Artificial Neural Network in Diagnosis of Polycystic Ovary Syndrome

Using Artificial Neural Network in Diagnosis of Polycystic O...

引用

Mediterranean conference on Embedded computing (MECO)

作者： Amila Ahmetaš ević Lejla Alič elebić Berina Bajrić Ervina Beč ić Alisa Smajović Amar Deumić Faculty of Pharmacy University of Sarajevo Sarajevo Bosnia and Herzegovina Faculty of Engineering and Natural Sciences International Burch University Sarajevo Bosnia and Herzegovina

ISBN: (数字)9781665468282

ISBN: (纸本)9781665468299

this paper focuses on the problem of diagnosing polycystic ovary syndrome (PCOS), which is one of the leading disorders of the female endocrine system. Although the incidence of this syndrome is quite high, physicians and patients still often encounter problems in their detection, as well as with the ineffectiveness of prescribed therapy. For the development of expert system, a database containing following parameters was used: oligo ovulation, anovulation, free testosterone, free androgen index (FAI), calculated bioavailable testosterone, androstendione, dehydroepiandrosterone, ovarian volume, number of follicles, obesity. the presented dataset contains 1000 samples distributed in two categories: (1) heatlhy subjects and (2) subjects with disease. the purpose of the developed system is to classify instances with polycystic ovary syndrome using artificial neural networks (ANN s). the overall performance evaluation of the system resulted with accuracy of96.1 %, sensitivity of96.8% and specificity of90% indicating significant potential of ANNs in this field. Since the system predicted a total of 157 positive and 23 negative, this leads us to the result that the sensitivity of our system is 96.8%, specificity 90% and accuracy 96.1 %.

关键词： Performance evaluation Heating systems Obesity Sensitivity Hospitals Endocrine system Artificial neural networks

来源：评论

学校读者我要写书评

暂无评论

A case study: Incorporating parallel and distributed computing into computer science curriculum 11

A case study: Incorporating parallel and distributed computi...

引用

11th international Multi-conference on Complexity, Informatics and Cybernetics, IMCIC 2020

作者： Abu-El Humos, A. Hong, S. Pei, T. Aljawfi, O. Department of Electrical & Computer Engineering and Computer Science Jackson State University JacksonMS39217 United States

ISBN: (纸本)9781950492251

Recent technology advances in parallel computing such as multicore CPUs, GPUs, and their driving software require a well-prepared workforce to support this demanding and fast changing industry. Parallel and distributed computing (PDC) education for computer science and computer engineering majors will play a major role in preparing well trained graduates to join this workforce. In this work, we share past and future plans to update the computer science curriculum at Jackson State University (JSU) with PDC modules. As part of this effort, some of the NSF/IEEE-TCPP curriculum initiative on PDC modules were integrated into department-wide core and elective courses offered in both fall and spring semesters. these courses were: CSC 119 Object Oriented Programming (core) [2, 4, 6, 9], CSC 216 Computer Architecture and Organization (core) [3, 5, 9], CSC 312 Advanced Computer Architecture (core) [3,5], CSC 325 Operating Systems (core) [6, 9], CSC 350 Organization of Programming Languages (core) [9], CSC 425 Parallel computing (elective) [1, 2, 6], CSC 499 Special Topics: Data Mining (elective) and UNIV 100 University Success course, which is a university-wide class offered for all JSU majors. In an effort to update the contents of the UNIV 100 course, some contemporary PDC topics and their essence in higher education were incorporated into this course. the inclusion of the PDC modules was gradual and light weighted in the lower level courses and more aggressive in the higher-level courses to let the students easily grasp PDC concepts. Specific test questions, homework assignments and projects were developed to assess students' performance. All rights reserved. Copyright 2020. © by the international Institute of Informatics and Systemics.

关键词： Object oriented programming

来源：评论

学校读者我要写书评

暂无评论

An Energy-Efficient Process Replication Algorithm with Multi-threads Allocation 22nd

An Energy-Efficient Process Replication Algorithm with Multi...

引用

11th international conference on Intelligent networking and Collaborative Systems (INCoS) / 22nd international conference on Network-Based Information Systems (NBiS)

作者： Enokido, Tomoya Duolikun, Dilawaer Takizawa, Makoto Rissho Univ Fac Business Adm Tokyo Japan Hosei Univ Fac Sci & Engn Dept Adv Sci Tokyo Japan

ISBN: (纸本)9783030290290;9783030290283

In order to realize energy-efficient information systems, it is necessary to not only achieve performance objectives but also reduce the total electric energy consumption of a system. In our previous studies, the RECLB (redundant energy consumption laxity-based) algorithm is proposed to select multiple virtual machines in a server cluster for redundantly performing each application processes in presence of server faults so that the total electric energy consumption of a server cluster can be reduced. Here, one thread on a CPU is bounded to a virtual machine in a server and replicas of each application process are performed on the virtual machine by using only one thread even if some threads are not used in the server. In this paper, the RECLB-MT (RECLB with multi-threads allocation) algorithm is proposed to furthermore reduce the total electric energy consumption of a server cluster by allocating more number of threads to each virtual machine. We evaluate the RECLB-MT algorithm in terms of the total electric energy consumption of a server cluster compared with the RECLB algorithm.

关键词： Energy-efficient information systems Process replication Green computing systems Virtual machines Load balance

来源：评论

学校读者我要写书评

暂无评论

Modeling and computing Available Rights for Algorithmic Licensing of Movies based on Blockchain 5

Modeling and Computing Available Rights for Algorithmic Lice...

引用

5th international conference on Future Networks and distributed Systems: the Premier conference on Smart Next Generation networking Technologies, ICFNDS 2021

作者： Beckmann, Arnold Santos, João Vijai Ananth, Indirajith Swansea University Swansea United Kingdom Feup and Mog Technologies Porto Portugal

ISBN: (纸本)9781450387347

We consider the challenge of determining which rights are available for licensing within the context of algorithmic licensing of movies using blockchain technology. We model the space of rights using set theory. We define algorithms within our modelling context that implement basic transactions for our use case, and argue for their correctness. We evaluate our algorithms through experiments within a multi-node Hyperledger Fabric network, and establish the feasibility of our algorithms for the intended use case. © 2021 ACM.

关键词： Smart contract

来源：评论

学校读者我要写书评

暂无评论

A probabilistic calculus of cyber-physical systems

引用

INFORMATION AND COMPUTATION 2021年 279卷 104618-104618页

作者： Lanotte, Ruggero Merro, Massimo Tini, Simone Univ Insubria Dipartimento Sci & Alta Tecnol Via Valleggio 11 I-22100 Como Italy Univ Verona Dipartimento Informat Str Grazie 15 I-37134 Verona Italy

Cyber-Physical Systems (CPSs) are integrations of networking and distributed computing systems with physical processes, where feedback loops allow physical processes to affect computations and vice versa. Although CPSs can be found in several real-world domains, their verification often relies on simulation test systems rather than formal methodologies. We propose a hybrid probabilistic process calculus for modelling and reasoning on CPSs. the dynamics of the calculus is expressed in terms of a probabilistic labelled transition system in the SOS style of Plotkin. this is used to define a bisimulation-based probabilistic behavioural semantics which supports compositional reasonings. For a more careful comparison between CPSs, we provide two compositional probabilistic metrics to formalise the notion of behavioural distance between systems, also in the case of bounded computations. Finally, we provide a non-trivial case study, taken from an engineering application, and use it to illustrate our definitions and our compositional behavioural theory for CPSs. (C) 2020 Elsevier Inc. All rights reserved.

关键词： Cyber-physical system Hybrid probabilistic process calculus Probabilistic metric semantics

来源：评论

学校读者我要写书评

暂无评论

Consensus From distributed Iterative Voting

Consensus From Distributed Iterative Voting

引用

IEEE Annual computing and Communication Workshop and conference (CCWC)

作者： Agneyi Guha Abhijit Dasgupta BSQ Research LLP Bangalore India S P Jain School of Global Management Mumbai India

ISBN: (数字)9781665414906

ISBN: (纸本)9781665430586

distributed algorithms executed by a network of nodes with limited computational resources have many practical applications, not only in computer science, but also in other areas of engineering, and in physics, biology, and the social sciences. this paper studies one such algorithm in which the nodes update their states by iteratively voting for one of a finite number of candidates. Our numerical simulations show that convergence for this algorithm depends on a parameter m that determines the mean of the normal distribution that generates the weights in the network. When m is above an upper threshold, the algorithm always converges to a consensus candidate. When m is below a lower threshold, the algorithm does not converge and there is no consensus. When m is between these two thresholds, then the algorithm converges, but not necessarily to a consensus candidate. the values of the thresholds depend on the size of the network.

关键词： Weight measurement Social networking (online) Heuristic algorithms conferences Neural networks Social sciences Convergence

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：