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

20th International Conference on Enterprise Information systems, ICEIS 2018

作者： Teixeira, Eldânae Nogueira Vasconcelos, Aline Werner, Cláudia Systems Engineering and Computer Science Program COPPE/UFRJ ZIP Code: 21945-970 P.O. Box 68511 Rio de Janeiro RJ Brazil Federal Fluminense Institute of Education Science and Technology Campos dos Goytacazes Goytacazes RJ Brazil

ISBN: (纸本)9789897582981

It is expected that managing process variations and organizing process domain knowledge in a reusable way can provide support to handle complexity in software process definition. In this context, the purpose of this paper is to describe a systematic software process reuse methodology, by combining process reuse techniques, such as Software Process Line and Component Based Process Definition, aiming to increase reuse possibilities. SPrL approach manages the variability aspect inherent to software process domain and CBPD focuses on modularizing the domain process information into process components. The proposed SPrL modelling metamodel and notation address reusable process elements, explicitly representing the variability concept in both process domain structure and behaviour. Based on the results of the evaluation studies, it was possible to get evidences of the approach feasibility, with a higher expressiveness when using the process variability notation proposed, which allow that more semantic concepts inherent to SPrL scenarios can be graphically described. Also, the set of heuristics to support mappings among artefacts in distinct abstraction levels was considered useful to keep the traceability of variability properties, relationships and restrictions. Further research is being conducted to explore ways to support project managers during the decision-making in new software process definitions. © 2018 by SCITEPRESS - science and Technology Publications, Lda.

关键词： Decision making

来源：评论

学校读者我要写书评

暂无评论

RUL Estimation for Power Electronic Devices Using RNNs

RUL Estimation for Power Electronic Devices Using RNNs

引用

2024 Prognostics and System Health Management Conference, PHM 2024

作者： Cai, Congrui Lu, Zhonghai School of Electrical Engineering and Computer Science KTH Royal Institute of Technology Embedded Systems Master Program Sweden School of Electrical Engineering and Computer Science Department of Electrical Engineering KTH Royal Institute of Technology Sweden

ISBN: (纸本)9798350360585

Recurrent Neural Networks (RNNs) are commonly used in data-driven approaches to estimate the Remaining Useful Lifetime (RUL) of power electronic devices. RNNs are preferred because their intrinsic feedback mechanisms are better suited to model time-series data. However, the impact of RNN complexity on estimation accuracy is rarely discussed in the literature. This issue is important because choosing a lower-complexity model that delivers the same or similar performance as a higher-complexity model can increase implementation efficiency. In the paper, we use three RNN models, namely, the vanilla version, LSTM (Long Short Term Memory) and GRU (Gated Recurrent Unit) to conduct RUL estimation for power electronic devices. We use two accelerated aging datasets, one dataset targeting the package failure of MOSFETs, and the other dataset targeting package failure of power diodes. Our study shows that a lower-complexity RNN does not necessarily deliver a lower performance. Similarly, a higher-complexity model does not assure a higher performance. As such, our work highlights the importance of selecting a proper neural network for RUL estimation not biased towards complex models. This is especially useful and important for implementing such RUL estimation techniques in embedded resource-constrained and speed-limited computins platforms. © 2024 IEEE.

关键词： Long short-term memory

来源：评论

学校读者我要写书评

暂无评论

Propositional dynamic logic with storing, recovering and parallel composition

Propositional dynamic logic with storing, recovering and par...

引用

作者： Benevides, Mario R.F. De Freitas, Renata Petrucio, Viana Computer Science Department Systems and Computer Engineering Program Federal University of Rio de Janeiro Brazil Institute of Mathematics Fluminense Federal University Brazil

This work extends Propositional Dynamic Logic (PDL) with parallel composition operator and four atomic programs which formalize the storing and recovering of elements in data structures. A generalization of Kripke semantics is proposed that instead of using set of possible states it uses structured sets of possible states. This new semantics allows for representing data structures and using the five new operator one is capable of reasoning about the manipulation of these data structures. The use of the new language (PRSPDL) is illustrated with some examples. We present sound and complete set of axiom schemata and inference rules to prove all the valid formulas for a restricted fragment called RSPDLo. © 2011 Elsevier B.V. All rights reserved.

关键词： Data structures

来源：评论

学校读者我要写书评

暂无评论

An efficient parallel architecture for ray-tracing

An efficient parallel architecture for ray-tracing

引用

作者： Nery, Alexandre S. Nedjah, Nadia França, Felipe M.G. LAM - Computer Architecture and Microeletronics Laboratory Systems Engineering and Computer Science Program COPPE Universidade Federal Do Rio de Janeiro Rio de Janeiro RJ Brazil Department of Electronics Engineering and Telecommunications Faculty of Engineering Universidade Do Estado Do Rio de Janeiro Rio de Janeiro RJ Brazil

Real time rendering of three-dimensional scenes in high photorealistic details is a hard task, such as in the ray tracing rendering algorithm. In general, the performance achieved by a sequential software-based implementation of ray tracing is far from satisfactory. However, parallel implementations of ray tracing have been enabling reasonable real time performance, as the algorithm is embarrassingly parallel. Thus, a custom parallel design in hardware is likely to achieve an even higher performance. In this paper, we propose a hardware parallel architecture capable of dealing with the main desirable features of ray tracing, such as shadows and reflection effects, imposing low area cost and a promising rendering performance. Such architecture, called GridRT, is based on the Uniform Grid acceleration structure and is intended to deliver massive parallelism through parallel ray-triangle intersection tests as well as parallel processing of many rays. A hardware implementation of the proposed architecture is presented, together with some performance results and resources requirements. The rendering is reduced by 80% using a grid configuration of eight processing elements. © Springer science+Business Media, LLC 2011.

关键词： Field programmable gate arrays (FPGA)

来源：评论

学校读者我要写书评

暂无评论

Software process performance improvement using data provenance and ontology

Software process performance improvement using data provenan...

引用

International Conference on Business Process Management, BPM 2016

作者： Costa, Gabriella Castro Barbosa Werner, Cláudia M. L. Braga, Regina Systems Engineering and Computer Science Department Federal University of Rio de Janeiro COPPE Rio de JaneiroRJ Brazil Computer Science Department Federal University of Juiz de Fora Juiz de ForaMG Brazil

ISBN: (纸本)9783319454672

Organizations are investing on process definition and improvement in order to enhance their products’ quality. In the software processes context, this is not different. A practice to support software processes continuous improvement is to reuse the knowledge acquired in previous process executions. After defining measures to the software processes performance, an analysis of process execution data can be done, in order to detect process enhancement points. One way to capture these process execution data is using data provenance models. Thus, these data can be analyzed, using information derivation mechanisms, such as inference engines for ontologies. This paper aims to describe and evaluate an approach to support software process execution analysis to improve process performance, using data provenance and ontologies. A pilot case study was conducted with software processes used in two software development companies. With this study, implicit information was derived and can be used for improving process performance. © Springer International Publishing Switzerland 2016.

关键词： Ontology

来源：评论

学校读者我要写书评

暂无评论

Biomedical data and AI

引用

science China Life sciences 2025年第5期68卷 1536-1540页

作者： Hao Xu Shibo Zhou Zefeng Zhu Vincenzo Vitelli Liangyi Chen Ziwei Dai Ning Yang Luhua Lai Shengyong Yang Sergey Ovchinnikov Zhuoran Qiao Sirui Liu Chen Song Jianfeng Pei Han Wen Jianfeng Feng Yaoyao Zhang Zhengwei Xie Yang-Yu Liu Zhiyuan Li Fulai Jin Hao Li Mohammad Lotfollahi Xuegong Zhang Ge Yang Shihua Zhang Ge Gao Pulin Li Qi Liu Jing-Dong Jackie Han Peking-Tsinghua Center for Life Sciences (CLS) Academy for Advanced Interdisciplinary StudiesPeking University Center for Quantitative Biology (CQB) Academy for Advanced Interdisciplinary StudiesPeking University Peking University-Tsinghua University-National Institute of Biological Sciences Joint Graduate Program Academy for Advanced Interdisciplinary StudiesPeking University Department of Physics University of Chicago School of Life Sciences Southern University of Science and Technology Peking University Chengdu Academy for Advanced Interdisciplinary Biotechnologies College of Chemistry and Molecular Engineering Peking University Department of Biotherapy Cancer Center and State Key Laboratory of BiotherapyWest China HospitalSichuan University Department of Biology Massachusetts Institute of Technology Lambic Therapeutics Inc. Changping Laboratory Al for Science Institute Key Laboratory of Computational Neuroscience and Brain-Inspired Intelligence Fudan University Department of Obstetrics and Gynecology West China Second University HospitalSichuan University Peking University International Cancer Institute and Peking University-Yunnan Baiyao International Medical Institute and State Key Laboratory of Natural and Biomimetic Drugs Department of Molecular and Cellular PharmacologySchool of Pharmaceutical SciencesPeking University Health Science CenterPeking University Channing Division of Network Medicine Department of MedicineBrigham and Women's Hospital and Harvard Medical School Center for Artificial Intelligence and Modeling the Carl R.Woese Institute for Genomic BiologyUniversity of Illinois Urbana-Champaign Department of Genetics and Genome Sciences School of Medicine and Department of Computer and Data Sciences and Department of Population and Quantitative Health SciencesCase Western Reserve University Department of Biochemistry and Biophysics University of California Sanger Institute Department of Automation Tsinghua University State Key Laboratory of Multimodal Artificial Intelligence Systems I

The development of artificial intelligence(AI) and the mining of biomedical data complement each other. From the direct use of computer vision results to analyze medical images for disease screening, to now integrating biological knowledge into models and even accelerating the development of new AI based on biological discoveries, the boundaries of both are constantly expanding, and their connections are becoming closer.

关键词：

来源：评论

学校读者我要写书评

暂无评论

DARTS-Drone and Artificial Intelligence Reconsolidated Technological Solution for Increasing the Oil and Gas Pipeline Resilience

引用

International Journal of Disaster Risk science 2022年第5期13卷 810-821页

作者： Premkumar Ravishankar Seokyon Hwang Jing Zhang Ibrahim X.Khalilullah Berna Eren-Tokgoz Department of Industrial and Systems Engineering Lamar UniversityBeaumontTX 77710USA Construction Management Program Lamar UniversityBeaumontTX 77710USA Department of Computer Science Lamar UniversityBeaumontTX 77710USA

The need for safe operation and effective maintenance of pipelines grows as oil and gas demand ***,it is increasingly imperative to monitor and inspect the pipeline system,detect causes contributing to developing pipeline damage,and perform preventive maintenance in a timely ***,pipeline inspection is performed at pre-determined intervals of several months,which is not sufficiently robust in terms of *** research proposes a drone and artificial intelligence reconsolidated technological solution(DARTS) by integrating drone technology and deep learning *** solution is aimed to detect the targeted potential root problems-pipes out of alignment and deterioration of pipe support system-that can cause critical pipeline failures and predict the progress of the detected problems by collecting and analyzing image data *** test results show that DARTS can be effectively used to support decision making for preventive pipeline maintenance to increase pipeline system s afety and resilience.

关键词： Artifcial intelligence Asset management Drone application Midstream industry Pipeline resilience Predictive maintenance

来源：评论

学校读者我要写书评

暂无评论

Validating an unsupervised weightless perceptron

Validating an unsupervised weightless perceptron

引用

International Conference on Neural Information Processing

作者： I. Wickert F.M.G. Franca Computer Systems Engineering Program COPPE-UFRJ Rio de Janeiro Brazil

The paper presents a comparison between two unsupervised neural network models: (i) the well-known fuzzy ART, and (ii) AUTOWISARD, a new unsupervised version of the classic WISARD weightless neural network model. It is shown that AUTOWISARD is simple, fast and stable, whilst keeping compatibility with the original WISARD architecture. Experimental test results over binary patterns benchmarks have shown that, although both unsupervised learning models are remarkably simple, AUTOWISARD consistently exhibits better classification skills than fuzzy ART. It is also shown that such superiority happens thanks to AU-TOWISARD's richer internal representation of the trained patterns and the training methods employed by the algorithm, such as the learning window and partial training strategies.

关键词： Subspace constraints Neurons Fuzzy control Pattern recognition Fuzzy sets Resonance Testing Fuzzy neural networks Neural networks Stability

来源：评论

学校读者我要写书评

暂无评论

Feasibility study of Information Technology Investment (a case study of ODOO ERP: Project Management Module Implementation in Indonesia Based Company) 10

Feasibility study of Information Technology Investment (a ca...

引用

10th International Conference on ICT for Smart Society, ICISS 2019

作者： Jingga, Fredy Kosala, Raymond Supangkat, Suhono Harso Ranti, Benny School of Information Systems Bina Nusantara University Computer Science Department BINUS Graduate Program-Doctor of Computer Science Information Systems Department Jakarta11480 Indonesia Bina Nusantara University Computer Science Department BINUS Graduate Program-Doctor of Computer Science Jakarta11480 Indonesia Bandung Institute of Technology School of Electrical Engineering and Informatics Bandung Indonesia

ISBN: (纸本)9781728148809

IT Governance are one of the needs in managing Enterprise Level IT. This study shows part of the decision domain of IT Governance Help, which are IT Investment and Prioritization. The purpose of this study is to determine feasibility of implementation open source ERP system Odoo project management module that replaces current system based on operational, economic, and technical aspects. The method used are Fit/Gap Analysis and Cost Benefit model using economic impact worksheet. The analysis is done by comparing the requirement with features owned by current system and Odoo ERP system. This research resulted that Odoo ERP System is feasible in the 3 aspects, the operational feasibility Odoo reaching 72% Fit, the economic feasibility with ROI of 84%, and technical feasibility indicating the technical requirement can be fulfilled by leasing AWS server. The conclusion is the open source ERP system Odoo project management module is feasible to be applied in terms of 3 aspects that have been studied, those are operational, economic, and technical. © 2019 IEEE.

关键词： Cost benefit analysis

来源：评论

学校读者我要写书评

暂无评论

Safe adaptation in context-aware feature models 12

Safe adaptation in context-aware feature models

引用

4th International Workshop on Feature-Oriented Software Development, FOSD'12

作者： Marinho, Fabiana G. Andrade, Rossana M.C. Costa, Paulo A.S. Maia, Paulo H.M. Vidal, Vania M.P. Werner, Claudia Department of Computer Science Federal University of Ceará Fortaleza Brazil Group of Computer Network Software Engineering and Systems - GREat Federal University of Ceará Fortaleza Brazil Systems Engineering and Computer Science Program Federal University of Rio de Janeiro Rio de Janeiro Brazil

ISBN: (纸本)9781450313094

Software product lines, usually described using feature models, have proven to be a feasible solution to develop mobile and context-aware applications. These applications use con- text information to provide services and data for their users from anywhere and at any time. However, building feature models for mobile and context-aware software product lines demands advanced skills of software engineers, since it comprises system and context information. Moreover, to guarantee a correct application execution, these models must be thoroughly specified, composed and verified to check whether some composition and adaptation rules are violated. Although this is an important task, there is a lack of formalization of such rules, which makes it difficult to use those rules for feature models verification. In this paper, we propose an approach to prevent defects in context-aware feature models and in their product reconfiguration based on formal methods. To validate our work, we developed a prototype to check the correctness of context-aware feature models. Copyright 2012 ACM.

关键词： Formal methods

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：