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

作者： Onus, Melih Richa, Andréa W. Department of Computer Engineering Bilkent University Ankara 06560 Turkey Computer Science and Engineering Program School of Computing Informatics and Decision Systems Engineering Arizona State University Tempe AZ 85281 United States

Designing an overlay network for publish/subscribe communication in a system where nodes may subscribe to many different topics of interest is of fundamental importance. For scalability and efficiency, it is important to keep the degree of the nodes in the publish/subscribe system low. It is only natural then to formalize the following problem: Given a collection of nodes and their topic subscriptions, connect the nodes into a graph that has least possible maximum degree in such a way that for each topic t, the graph induced by the nodes interested in t is connected. We present the first polynomial-time logarithmic approximation algorithm for this problem and prove an almost tight lower bound on the approximation ratio. Our experimental results show that our algorithm drastically improves the maximum degree of publish/subscribe overlay systems. We also propose a variation of the problem by enforcing that each topic-connected overlay network be of constant diameter while keeping the average degree low. We present three heuristics for this problem that guarantee that each topic-connected overlay network will be of diameter 2 and that aim at keeping the overall average node degree low. Our experimental results validate our algorithms, showing that our algorithms are able to achieve very low diameter without increasing the average degree by much. © 2011 IEEE.

关键词： Overlay networks

来源：评论

学校读者我要写书评

暂无评论

Changing power generation portfolios of U.S. utilities towards renewables

Changing power generation portfolios of U.S. utilities towar...

引用

Annual International Conference of the American Society for engineering Management 2011, ASEM 2011

作者： Sireli, A. Yesim Ozan, Erol Systems Engineering and Engineering Management Program University of North Carolina Charlotte United States Department of Technology Systems College of Technology and Computer Science East Carolina University Greenville NC United States

ISBN: (纸本)9781618393616

This research examines U.S. electric utilities' transition from closed to open systems, while taking steps towards market orientation and subsequent changes in their product portfolios. It lists the reasons driving this change and includes a detailed analysis of the current product portfolios of the U.S. utilities focusing on adding more renewable energy sources. Copyright, American Society for engineering Management, 2011.

关键词： Electric utilities

来源：评论

学校读者我要写书评

暂无评论

Dynamic process adaptation: A context-aware approach

Dynamic process adaptation: A context-aware approach

引用

International Conference on computer Supported Cooperative Work in Design

作者： Vanessa Tavares Nunes Cláudia M. Lima Werner Flávia Maria Santoro COPPE PESC-Systems Engineering and Computer Science Program UFRJ Rio de Janeiro Brazil NP2Tec and Postgraduate Information Systems Program UNIRIO Rio de Janeiro Brazil

Dynamism of day-to-day activities in organizations is inextricably linked and there is a variety of information, insight and reasoning being processed between people and systems, in carrying out a business process. We argue that flexibility in processes could be managed in real time, using context information collected in the work environment. This paper proposes a context management architecture approach that aims to improve and automate dynamic process adaptation. We explain how process adaptation may occur in real time and discuss a scenario for this proposal.

关键词： Context Adaptation models Organizations Cognition Context modeling Uncertainty

来源：评论

学校读者我要写书评

暂无评论

A tool for analysing logics

A tool for analysing logics

引用

作者： Veloso, Sheila R.M. Veloso, Paulo A.S. Veloso, Paula M. Systems and Computer Engin. Dept. Fac. of Engineering UERJ: State University of Rio de Janeiro Rio de Janeiro RJ Brazil Systems and Computer Engineering Program COPPE UFRJ: Federal University of Rio de Janeiro Rio de Janeiro RJ Brazil Mathematics Dept. ICEx UFMG: Federal University of Minas Gerais Belo Horizonte MG Brazil

We introduce and examine a tool for analysing logics. This algebraic tool, coming from some ideas introduced by J. Piaget, provides condensed information about a logic (with emphasis on the behavior of a unary symbol), as such, it can be employed for analysing and, to some extent, comparing logics. © 2011 Elsevier B.V. All rights reserved.

关键词： computer circuits

来源：评论

学校读者我要写书评

暂无评论

Porantim-Opt: Optimizing the Combined Selection of Model-Based Testing Techniques

Porantim-Opt: Optimizing the Combined Selection of Model-Bas...

引用

IEEE International Conference on Software Testing Verification and Validation Workshop, ICSTW

作者： Arilo Claudio Dias Neto Rosiane de Freitas Rodrigues Guilherme Horta Travassos Computer Science Department Federal University of Amazonas Manaus Brazil Systems Engineering and Computer Science Program-COPPE Federal University of Rio de Janeiro Rio de Janeiro Rio de Janeiro Brazil

The combination of testing techniques is considered an effective strategy to evaluate a software product. However, the selection of which techniques to combine in a software project has been an interesting challenge in the Software engineering field. This paper presents a proposal extending an approach developed to support the combined selection of model-based testing (MBT) techniques, named Porantim, applying Multiobjective Combinatorial Optimization strategy by determining the smallest dominating set in a bipartite and weighted graph. Thus, a local search strategy algorithm is proposed generating solutions aiming at maximizing the coverage of software project characteristics and skills required by the testing team to use the techniques and minimizing the eventual effort to construct models used for test cases generation. A preliminary evaluation analyzes this new approach when compared to the Porantim's original version, and the results indicate improvements in the MBT techniques selection.

关键词： Software Testing Analytical models Software engineering Optimization programming Search problems

来源：评论

学校读者我要写书评

暂无评论

Provenance management in Swift

Provenance management in Swift

引用

作者： Gadelha Jr., Luiz M.R. Clifford, Ben Mattoso, Marta Wilde, Michael Foster, Ian Computer and Systems Engineering Program Federal University of Rio de Janeiro Brazil National Laboratory for Scientific Computing Brazil Computation Institute University of Chicago United States Mathematics and Computer Science Division Argonne National Laboratory United States

The Swift parallel scripting language allows for the specification, execution and analysis of large-scale computations in parallel and distributed environments. It incorporates a data model for recording and querying provenance information. In this article we describe these capabilities and evaluate the interoperability with other systems through the use of the Open Provenance Model. We describe Swift's provenance data model and compare it to the Open Provenance Model. We also describe and evaluate activities performed within the Third Provenance Challenge, which consisted of implementing a specific scientific workflow, capturing and recording provenance information of its execution, performing provenance queries, and exchanging provenance information with other systems. Finally, we propose improvements to both the Open Provenance Model and Swift's provenance system. © 2011 Elsevier B.V. All rights reserved.

关键词： Interoperability

来源：评论

学校读者我要写书评

暂无评论

Exploring provenance in high performance scientific computing

Exploring provenance in high performance scientific computin...

引用

1st Annual 2011 Workshop on High-Performance Computing Meets Databases, HPCDB'11, Co-located with Supercomputing, SC'11

作者： Gadelha Jr., Luiz M.R. Wilde, Michael Mattoso, Marta Foster, Ian Computer and Systems Engineering Program Federal University of Rio de Janeiro Brazil National Laboratory for Scientific Computing Brazil Mathematics and Computer Science Division Argonne National Laboratory United States Computation Institute Argonne National Laboratory University of Chicago United States Department of Computer Science University of Chicago United States

ISBN: (纸本)9781450311571

Large-scale scientific computations are often organized as a composition of many computational tasks linked through data flow. After the completion of a computational scientific experiment, a scientist has to analyze its outcome, for instance, by checking inputs and outputs of computational tasks that are part of the experiment. This analysis can be automated using provenance management systems that describe, for instance, the production and consumption relationships between data artifacts, such as files, and the computational tasks that compose the scientific application. In this article, we explore the relationship between high performance computing and provenance management systems, observing that storing provenance as structured data enriched with information about the runtime behavior of computational tasks in high performance computing environments can enable interesting and useful queries to correlate computational resource usage, scientific parameters, and data set derivation. We briefly describe how provenance of many-task scientific computations specified and coordinated by the Swift parallel scripting system is gathered and queried. © 2011 ACM.

关键词： Information management

来源：评论

学校读者我要写书评

暂无评论

Generating Activity Streams from Events occurring in company-internal IT infrastructures

Generating Activity Streams from Events occurring in company...

引用

2011 IEEE 13th International Conference on Communication Technology(ICCT 2011)

作者： Eng.S.M.Khaled Reza S.M.Mohsin Reza Masters Program in Computational Engineering (Distributed Systems Engineering) Faculty of Computer Science Dresden University of Technology Dresden Germany Masters Program in Information Technology (Embedded Systems Engineering) Faculty of Computer Science Electrical Engineering and Information Technology University of Stuttgart Germany

In the current era of technology,the Internet and web technologies become the center source of *** to the huge amount of contents,one of the main challenges of modern information technology is aimed at how to reduce and manage information in a structured way with mobilizing users to the similar kind of relevant ***,any intelligent system should be able to understand people's interest about a particular type of information and automatically mobilize him to the similar kind of available information *** idea of high level Activity Streams along with its standardized format can play a vital role to solve this problem in the broader *** paper introduces a novel system called CoASGen (Consolidation and Activity Streams Generator) which is able to automatically generate high level Activity Streams after aggregating and consolidating from different independent systems (*** a software company context:version management system,wikis,bug trackers etc.).It retrieves life time information as heterogeneous web feed by sensing user activities from those independent systems and then it transforms several similar types of atomic activities into high level Activity Streams using semantic technologies along with its specific standardized ***,it shows these high level Activity Streams to the user interface which is able to automatically motivate users to find relevant information easily without either missing any data or losing valuable *** system solves the problem "data silos" by reducing and managing information in a structured way.

关键词： Activity Streams,Atomic Activity,High Level Activity Stream,CoASGen System

来源：评论

学校读者我要写书评

暂无评论

Modularity detection in protein-protein interaction networks

引用

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

作者： Narayanan, Tejaswini Gersten, Merril Subramaniam, Shankar Grama, Ananth Department of Electrical and Computer Engineering University of California San Diego United States Graduate Program in Bioinformatics and Systems Biology University of California San Diego United States Department of Bioengineering University of California San Diego United States Department of Computer Science Purdue University West Lafayette IN United States

Background: Many recent studies have investigated modularity in biological networks, and its role in functional and structural characterization of constituent biomolecules. A technique that has shown considerable promise in the domain of modularity detection is the Newman and Girvan (NG) algorithm, which relies on the number of shortest-paths across pairs of vertices in the network traversing a given edge, referred to as the betweenness of that edge. The edge with the highest betweenness is iteratively eliminated from the network, with the betweenness of the remaining edges recalculated in every iteration. This generates a complete dendrogram, from which modules are extracted by applying a quality metric called modularity denoted by Q. This exhaustive computation can be prohibitively expensive for large networks such as Protein-Protein Interaction Networks. In this paper, we present a novel optimization to the modularity detection algorithm, in terms of an efficient termination criterion based on a target edge betweenness value, using which the process of iterative edge removal may be terminated. Results: We validate the robustness of our approach by applying our algorithm on real-world protein-protein interaction networks of Yeast, *** and Drosophila, and demonstrate that our algorithm consistently has significant computational gains in terms of reduced runtime, when compared to the NG algorithm. Furthermore, our algorithm produces modules comparable to those from the NG algorithm, qualitatively and quantitatively. We illustrate this using comparison metrics such as module distribution, module membership cardinality, modularity Q, and Jaccard Similarity Coefficient. Conclusions: We have presented an optimized approach for efficient modularity detection in networks. The intuition driving our approach is the extraction of holistic measures of centrality from graphs, which are representative of inherent modular structure of the underlying network, and the applic

关键词： Biological Network Jaccard Index Input Network High Betweenness Jaccard Similarity Coefficient

来源：评论

学校读者我要写书评

暂无评论

Prediction of porosity in casting junctions using a mathematical model developed through design of experiments

Prediction of porosity in casting junctions using a mathemat...

引用

39th Annual North American Manufacturing Research Conference, NAMRC39

作者： Mane, Abhay Awad, Mahmoud Orady, Elsayed Knight, James College of Engineering and Computer Science AENG Program University of Michigan-Dearborn Dearborn MI United States Department of Industrial Engineering ALHOSN University Abu Dhabi United Arab Emirates Department of Industrial and Manufacturing Systems Engineering University of Michigan-Dearborn Dearborn MI United States

ISBN: (纸本)9781618390578

Proper design of castings is essential to avoid casting defects that cannot be eliminated by design of tooling and process parameters. Shrinkage porosity is one of the defects which usually occur at casting junctions and cannot be easily eliminated. Currently, designers use rules that were established based on experience and intuition and are not supported by proper experimentation. In this paper an approach to design and optimize design of casting junctions using a database of mathematical models is presented. The mathematical models give relationships between porosity and the junctions' dimensional features. To illustrate this approach, a mathematical model for a V-junction has been developed using Design of Experiments (DoE) and regression analysis techniques. The experimental runs for the study are established using a D-optimality criterion and conducted using MAGMASoft, comprehensive software for casting simulation, for measuring porosity in casting junctions. The simulations carried out in MAGMASoft are validated by comparing its results with experimental results from previous studies. The mathematical model is then developed by applying regression analysis. The results of the model have been validated and found to agree with both the experimental and the validation simulation experiments.

关键词： Regression analysis

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：