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

Annual Meeting of The North American Fuzzy information Processing Society

作者： Bedregal, Benjamin Santiago, Regivan H. N. Benevides, Mario Viana, Petrucio Group of Logic Language Information Theory and Applications - LoLITA Department of Informatics and Applied Mathematics Federal University of Rio Grande Do Norte 59072-970 Natal-RN Brazil Program of Engineering of Systems and Computing - PESC Department of Computer Science Federal University of Rio de Janeiro 21941-972 Rio de Janeiro-RJ Brazil Department of Analysis Fluminense Federal University 24020-140 Niterói-RJ Brazil

ISBN: (纸本)9781612849676

The idea of a Kripke semantics endowed with possibility/plausibility information is not new;in fact there are different approaches for that;see: [6], [13], [16], [19]. This paper follows the approach found in [6], but whereas [6] provides a fixed interpretation for connectives into [0,1] here we provide a characterization of a fuzzy semantics for connectives in such a way that the resulting fuzzy frames: K, T and D, are described precisely by the set of statements which also describes, respectively, the usual modal systems K, T and D. © 2011 IEEE.

关键词： Semantics

来源：评论

学校读者我要写书评

暂无评论

Comparison of disturbance rejection performance between sliding-mode control and equivalent-input-disturbance approach

Comparison of disturbance rejection performance between slid...

引用

International Conference on Mechatronics (ICM)

作者： Jinhua She Yaodong Pan Hiroshi Hashimoto Min Wu School of Computer Science Tokyo University of Technology Hachioji Tokyo Japan Control Systems Eng Honeywell Canada Mississauga ONT Canada Master Program of Innovation for Design and Eng Advanced Institute of Industrial Technology Tokyo Japan School of Information Science and Engineering Central South University Changsha China

Sliding mode control (SMC) has been considered as a powerful method for disturbances rejection. On the other hand, we have presented an equivalent-input disturbance (EID) approach to reject disturbances. This paper takes a dual-stage feed drive as an example to compare these two methods. The example shows that, while the EID approach obtains almost the same disturbance rejection performance for matched disturbances as that of the SMC does, it can reject unmatched disturbances. This shows the superiority of the EID approach over SMC method.

关键词： Equations Observers Manganese Frequency control

来源：评论

学校读者我要写书评

暂无评论

Agile parallel bioinformatics workflow management using Pwrake

引用

BMC Research Notes 2011年第1期4卷 1-8页

作者： Mishima, Hiroyuki Sasaki, Kensaku Tanaka, Masahiro Tatebe, Osamu Yoshiura, Koh-Ichiro Department of Human Genetics Nagasaki University Graduate School of Biomedical Sciences Nagasaki Nagasaki 1-12-4 Sakamoto Japan Nagasaki University Global Center of Excellence Program Nagasaki Nagasaki 1-12-4 Sakamoto Japan Center for Computational Sciences University of Tsukuba Tsukuba Ibaraki 1-1-1 Tennodai Japan Core Research for Evolutional Science and Technology Japan Science and Technology Agency Kawaguchi Saitama 4-1-8 Honcho Japan Departmentent of Computer Science Graduate School of Systems and Information Engineering University of Tsukuba Tsukuba Ibaraki 1-1-1 Tennodai Japan

Background: In bioinformatics projects, scientific workflow systems are widely used to manage computational procedures. Full-featured workflow systems have been proposed to fulfil the demand for workflow management. However, such systems tend to be over-weighted for actual bioinformatics practices. We realize that quick deployment of cutting-edge software implementing advanced algorithms and data formats, and continuous adaptation to changes in computational resources and the environment are often prioritized in scientific workflow management. These features have a greater affinity with the agile software development method through iterative development phases after trial and error. Here, we show the application of a scientific workflow system Pwrake to bioinformatics workflows. Pwrake is a parallel workflow extension of Ruby's standard build tool Rake, the flexibility of which has been demonstrated in the astronomy domain. Therefore, we hypothesize that Pwrake also has advantages in actual bioinformatics workflows. Findings. We implemented the Pwrake workflows to process next generation sequencing data using the Genomic Analysis Toolkit (GATK) and Dindel. GATK and Dindel workflows are typical examples of sequential and parallel workflows, respectively. We found that in practice, actual scientific workflow development iterates over two phases, the workflow definition phase and the parameter adjustment phase. We introduced separate workflow definitions to help focus on each of the two developmental phases, as well as helper methods to simplify the descriptions. This approach increased iterative development efficiency. Moreover, we implemented combined workflows to demonstrate modularity of the GATK and Dindel workflows. Conclusions: Pwrake enables agile management of scientific workflows in the bioinformatics domain. The internal domain specific language design built on Ruby gives the flexibility of rakefiles for writing scientific workflows. Furthermore, readability

关键词： Ruby Iterative Development Agile Software Development Host Language Bioinformatics Domain

来源：评论

学校读者我要写书评

暂无评论

K, T and D-like fuzzy Kripke models

K, T and D-like fuzzy Kripke models

引用

Conference of the North American Fuzzy information Processing Society - NAFIPS

作者： Benjamin Bedregal Regivan H. N. Santiago Mario Benevides Petrúcio Viana Group of Logic Language Information Theory and Applications-LoLITA Department of Informatics and Applied Mathematics Federal University of Rio Grande do Norte Natal Rio Grande do Norte Brazil Program of Engineering of Systems and Computing-PESC Department of Computer Science Federal University of Rio de Janeiro Rio de Janeiro Rio de Janeiro Brazil Department of Analysis Fluminense Federal University (UFF) Niteroi Rio de Janeiro Brazil

The idea of a Kripke semantics endowed with possibility/plausibility information is not new; in fact there are different approaches for that; see: [6], [13], [16], [19]. This paper follows the approach found in [6], but whereas [6] provides a fixed interpretation for connectives into [0,1] here we provide a characterization of a fuzzy semantics for connectives in such a way that the resulting fuzzy frames: K, T and D, are described precisely by the set of statements which also describes, respectively, the usual modal systems K, T and D.

关键词： Semantics Fuzzy sets Fuzzy logic Bismuth Electronic mail Uncertainty Reliability

来源：评论

学校读者我要写书评

暂无评论

An estimation procedure to determine the effort required to model business processes

An estimation procedure to determine the effort required to ...

引用

作者： Cappelli, Claudia Santoro, Flávia Maria Nunes, Vanessa De Barros, Márcio O. Dutra, José Roberto Postgraduate Information Systems Program UNIRIO Av. Pasteur 458 Urca - Rio de Janeiro RJ Brazil COPPE/UFRJ Systems Engineering and Computer Science Program P.O. Box 68511 Rio de Janeiro RJ Brazil

ISBN: (纸本)9789898425065

Business processes modeling projects are increasingly widespread in organizations. Companies have several processes to be identified and modeled. They usually invest much in hiring expert consultants to do such job. However, they still find no guidelines to help them estimate how much a process modeling project will cost or how long this will take. We propose an approach to estimate the effort required to conduct a BPM project and discuss results obtained from over 50 projects in a large Brazilian company.

关键词： Process engineering

来源：评论

学校读者我要写书评

暂无评论

Context-based process line

Context-based process line

引用

作者： Nunes, Vanessa Werner, Claudia Santoro, Flavia Maria COPPE/UFRJ Systems Engineering and Computer Science Program P.O. Box 68511 Rio de Janeiro RJ Brazil NP2Tec and Postgraduate Information Systems Program UNIRIO Av. Pasteur 458 Urca - Rio de Janeiro RJ Brazil

ISBN: (纸本)9789898425065

Complexity and dynamism of day-to-day activities in organizations are inextricably linked, one impacting the other, increasing the challenges for constant adaptation of the way to organize work to address emerging demands. In this scenario, there are a variety of information, insight and reasoning being processed between people and systems, during process execution. We argue that process variations could be decided in real time, using context information collected. This paper presents a proposal for a business process line cycle, with a set of activities encapsulated in the form of components as central artefact. We explain how composition and adaptation of work may occur in real time and discuss a scenario for this proposal.

关键词： Enterprise resource management

来源：评论

学校读者我要写书评

暂无评论

An agent-based architecture for knowledge management in context-aware business processes

An agent-based architecture for knowledge management in cont...

引用

International Conference on computer Supported Cooperative Work in Design

作者： De C. Gatti, Leonardo A. Santoro, Flávia Maria Nunes, Vanessa T. NP2TEC - Research and Practice Group in Information Technology Department of Applied Informatics Federal University of the State of Rio de Janeiro UNIRIO Rio de Janeiro Brazil COPPE - Systems Engineering and Computer Science Program Federal University of Rio de Janeiro UFRJ Rio de Janeiro Brazil

ISBN: (纸本)9781424467631

The main knowledge management challenges are to capture, store and reuse contextual knowledge generated during interactions that occur daily in an organization. In this paper, we propose an activity context-aware architecture to support knowledge management in working processes. The required features for this architecture are processing, reasoning and sharing contextual knowledge involving information about activities performed. We also present results from evaluation of our proposal - A-CoBrA - for a specific domain. © 2010 IEEE.

关键词： Knowledge management

来源：评论

学校读者我要写书评

暂无评论

Modeling GaN: Powerful but challenging

Modeling GaN: Powerful but challenging

引用

作者： Dunleavy, Lawrence Baylis, Charles Curtice, Walter Connick, Rick Modelithics Inc. Tampa FL United States Department of Electrical Engineering Center for Wireless and Microwave Information Systems University of South Florida Tampa United States Department of Electrical and Computer Engineering Wireless and Microwave Circuits and Systems Program Baylor University Waco TX United States W.R. Curtice Consulting Washington Crossing PA United States Triquint Semiconductor Apopka FL United States

Gallium nitride transistor-based power amplifiers (PA) which are currently among the most important technologies impacting high-power transmitter design at microwave frequencies are discussed. GaN HEMTs also allow high-power operation at much higher frequencies than silicon laterally diffused metal oxide semiconductor field-effect transistors (LDMOS FETs), currently a staple for the cellular base station industry. The significant attention placed on nonlinear models is in step with the growing community of designers who are using nonlinear circuit simulators with good success to design and optimize high-power amplifiers. The use of pulsed measurements as part of the modeling process, along with sufficiently flexible modeling equations and topologies, is critical for obtaining reliable electrothermal GaN models. The successful modeler will be aware of the need for accurate data, carefully applied extraction methodologies, along with the strengths and limitations of available models to obtain the best results for circuit designers.

关键词： Gallium nitride

来源：评论

学校读者我要写书评

暂无评论

An agent-based architecture for knowledge management in context-aware business processes

An agent-based architecture for knowledge management in cont...

引用

International Conference on computer Supported Cooperative Work in Design

作者： Leonardo A. de C. Gatti Flávia Maria Santoro Vanessa T. Nunes NP2TEC - Research and Practice Group in Information Technology UNIRIO Rio de Janeiro Brazil NP2TEC-Research and Practice Group in Information Technology Department of Applied Informatics UNIRIO Federal University of Rio de Janeiro Rio de Janeiro Brazil COPPE - Systems Engineering and Computer Science Program UFRJ Rio de Janeiro Brazil

关键词： Knowledge management computer architecture Context modeling Collaborative work Proposals information technology Informatics Service oriented architecture Ontologies Knowledge engineering

来源：评论

学校读者我要写书评

暂无评论

Rapid modeling and analysis with QGENIE

Rapid modeling and analysis with QGENIE

引用

International Multiconference on computer Science and information Technology, IMCSIT '09

作者： Druzdzel, Marek J. Decision Systems Laboratory School of Information Sciences and Intelligent Systems Program University of Pittsburgh Pittsburgh PA 15260 United States Faculty of Computer Science Bialystok Technical University Wiejska 45A 15-351 Bialystok Poland

ISBN: (纸本)9781424453146

QGENIE is a specialized interface to GENIE, a decision modeling environment developed by the Decision systems Laboratory, University of Pittsburgh. QGENIE allows for rapid construction of graphical models in which all variables are propositional, almost no numerical probabilities are displayed at the user interface, and degrees of truth of propositions are displayed by means of node colors. All numerical parameters, such as prior probability distributions over variables and strengths of influences between variables, are entered by means of graphical sliders. While the underlying computations are all numerical and based on Bayesian updating, QGENIE makes the impression of a qualitative, "order of magnitude" type system that aids rapid model building and an approximate analysis of systems. © 2009 IEEE.

关键词： Probability distributions

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：