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

The Problem of Transitivity of Part-Whole Relations in Conceptual modeling Revisited

21st International Conference on Advanced Information Systems Engineering

作者： Guizzardi, Giancarlo Ontology and Conceptual Modeling Research Group (NEMO) Computer Science Department Federal University of Espírito Santo (UFES) Brazil

ISBN: (纸本)9783642021435

Parthood is a relation of fundamental importance in a number of disciplines including cognitive science, linguistics and conceptual modeling. However, one classical problem for conceptual modeling theories of parthood is deciding on the transitivity of these relations. This issue is of great importance since transitivity plays a fundamental role both conceptually (e.g., to afford inferences in problem-solving) and computationally (e.g., to afford propagations of properties and events in a transitive chain). In this article we address this problem by presenting a solution to the case of part-whole relations between functional complexes, which are the most common types of entities represented in conceptual models. This solution comes in two parts. Firstly, we present a formal theory founded on results from formal ontology and linguistics. Secondly, we use this theory to provide a number of visual patterns that can be used to isolate scopes of transitivity in part-whole relations represented in diagrams.

关键词： Problem solving

来源：评论

学校读者我要写书评

暂无评论

Multi-understanding: A basis for switchable understanding for agents

Multi-understanding: A basis for switchable understanding fo...

引用

Summer computer simulation Conference 2009, SCSC 2009, Part of the 2009 International Summer simulation Multiconference, ISMc

作者： Ören, Tuncer I. Yilmaz, Levent Kazemifard, Mohammad Ghasem-Aghaee, Nasser University of Ottawa Ottawa ON Canada Computer Science and Software Engineering Department M and SNel: Auburn Modeling and Simulation Laboratory Auburn University Auburn AL United States Department of Computer Engineering University of Isfahan Isfahan Iran

ISBN: (纸本)9781618391810

Machine understanding is an essential and desirable cognitive ability for advanced software agents. In this article, we elaborate on: (1) yet another advanced feature, i.e., multi-understanding that is more than one understanding of an entity and (2) switchable understanding that is selecting one or more of the alternative understandings resulting in a multi-understanding. The rationale for the need and characteristics of multi-understanding as well as switchable understanding are clarified. This article is a background article;hence only the bases are covered. © 2009 simulation councils, inc.

关键词： Software agents

来源：评论

学校读者我要写书评

暂无评论

Costimulation and priming: Can it help protect ad hoc wireless networks?

Costimulation and priming: Can it help protect ad hoc wirele...

引用

International Symposium on Applied sciences on Biomedical and Communication Technologies, ISABEL

作者： Martin Drozda Sven Schaust Simulation and Modeling Group Faculty of Electrical Engineering and Computer Science Leibniz University Hannover Hanover Germany

We review two key mechanisms of the biological immune system (BIS): costimulation and priming. Then we explain the relevance of these two mechanisms for misbehavior detection in ad hoc wireless networks. We argue that costimulation and priming can not only increase the reliability and robustness of misbehavior detection but also help increase the energy efficiency. We conclude by giving an outlook on future research related to the design of security protocols inspired by the efficiency of the BIS.

关键词： Protection Wireless networks Immune system Pathogens Adaptive systems Microorganisms Organisms Protocols Computational modeling computer simulation

来源：评论

学校读者我要写书评

暂无评论

Visualisation of cyclic and multi-branched molecules with VMD

引用

Journal of Molecular Graphics and Modelling 2009年第2期28卷 131-139页

作者： Cross, Simon Kuttel, Michelle M. Stone, John E. Gain, James E. Computer Science Department University of Cape Town Private Bag X3 Rondebosch 7701 South Africa Theoretical and Computational Biophysics Group NIH Resource for Macromolecular Modeling and Bioinformatics University of Illinois at Urbana Champaign IL United States

We report the addition of two visualisation algorithms, termed PaperChain and Twister, to the freely available Visual Molecular Dynamics (VMD) package. These algorithms produce visualisations of complex cyclic molecules and multi-branched polysaccharides and are a generalization and optimization of those we previously developed in a standalone package for carbohydrates. PaperChain highlights each ring in a molecular structure with a polygon, which is coloured according to the ring pucker. Twister traces glycosidic bonds with a ribbon that twists according to the relative orientation of successive sugar residues. Combination of these novel algorithms and new ring selection statements with the large set of visualisations already available in VMD allows for unprecedented flexibility in the level of detail displayed for glycoconjugate, glycoprotein and carbohydrate-binding protein structures, as well as other cyclic structures. We highlight the efficacy of these algorithms with selected illustrative examples, clearly demonstrating the value of the new visualisations, not only for structure validation, but also for facilitating insights into molecular structure and mechanism. © 2009 Elsevier Inc. All rights reserved.

关键词： Molecular dynamics

来源：评论

学校读者我要写书评

暂无评论

CoSMoS: A visual environment for component-based modeling, experimental design, and simulation 2

CoSMoS: A visual environment for component-based modeling, e...

引用

2nd International ICST Conference on simulation Tools and Techniques, SIMUTools 2009

作者： Sarjoughian, Hessam S. Elamvazhuthi, Vignesh Arizona Center for Integrative Modeling and Simulation Computer Science Engineering Department Arizona State University TempeAZ85281-8809 United States Content Management and Archiving EMC Corporation PleasantonCA94566 United States

ISBN: (纸本)9789639799455

An integrated modeling and simulation tool called Componentbased System Modeler and Simulator (CoSMoS) is developed. It supports visual development of families of models that have well-defined logical specifications. The logical componentbased models persist in relational databases and may be automatically translated into specific target simulation and markup programming languages. The underlying systemtheoretic modeling framework of CoSMoS lends itself for the well-known discrete-time, continuous, and discrete-event modeling approaches. Currently, CoSMoS supports developing parallel DEVS-compliant models which can be executed using the DEVS-Suite simulator. The underlying process lifecycle of the CoSMoS enables systematic transitioning from visual model development and design of experiments to simulation execution and experimentation. simulation data can be used for run-time animation and viewing of time-based trajectories or exported for post processing. This tool helps to simplify simulation-based system design, verification, and validation. The core capabilities of the CoSMoS are exemplified with a conceptual model of an anti-virus network software system.

关键词： Viruses

来源：评论

学校读者我要写书评

暂无评论

Assessing the impact of a modeling tool and its support for verification and validation

Assessing the impact of a modeling tool and its support for ...

引用

International Symposium on Performance Evaluation of computer & Telecommunication Systems SPECTS

作者： Jonathan D. Gibbs Hessam S. Sarjoughian Arizona Center for Integrative Modeling and Simulation Computer Science and Engineering Department Arizona State University Tempe AZ USA

Domain-specific tools for modeling and simulation (M&S) of computer network systems are aimed at simplifying the tasks of model developers and simulationists. In determining the extent to which a particular domain-specific M&S tool fits their needs, the developers must consider both how the tool can assist in the model development process, and how the tool may prevent or hinder them from achieving their objectives. We have considered two M&S tools in the domain of computer networks, IT Guru and the INET framework, and some of the ways in which they affect various aspects of simulation model development, with emphasis on the verification and validation (V&V) process as applied to net-centric enterprise systems. We have developed a metric for evaluating a domain-specific M&S tool based on certain qualitative characteristics. We will demonstrate how this metric can be applied to evaluate IT Guru and INET, and also offer some observations on how the metric can be applied to other domains besides computer networking.

关键词： computer simulation Computational modeling computer networks Hardware computer science Collaborative software Software testing Knowledge engineering Logic Access protocols

来源：评论

学校读者我要写书评

暂无评论

Design and implementation for a non linear state filter for LEO micro satellite

引用

Journal of Applied sciences 2009年第24期9卷 4195-4205页

作者： Chouraqui, S. Benyettou, M. Simulation and Modeling of Industrial Systems Laboratory Department of Computer Science Faculty of Science University of Science and Technology of Oran P.O.Box BP 1505 EI-Menaour Oran Algeria

This study preliminarily investigates the numerical application of both Extended Kalman Filter (EKF) (which has traditionally been used for non linear estimation) and a relatively new filter, Unscented Kalman Filter (UKF) to the nonlinear estimation problem. The new method can be applied to nonlinear systems without the linearization process necessary for the EKF and it does not demand a Gaussian distribution of noise and what's more, its ease of implementation and more accurate estimation features enables it to demonstrate its good performance. Present experimental results and analysis indicate that unscented Kalman filtering UKF have shown better performances in presence of the severe nonlinearity in state equations. © 2009 Asian Network for Scientific Information.

关键词： Extended Kalman filters

来源：评论

学校读者我要写书评

暂无评论

Teaching and training of network protocols with DEVS-suite

Teaching and training of network protocols with DEVS-suite

引用

International Symposium on Performance Evaluation of computer & Telecommunication Systems SPECTS

作者： Ahmet Zengin Hessam Sarjoughian Department of Computer Science Education Sakarya University Serdivan Sakarya Turkey Arizona Center for Integrative Modeling and Simulation Department of Computer Science and Engineering Arizona State University Tempe AZ USA

This paper presents a robust simulation environment targeted for teaching and learning the complex dynamics of computer networks. The general-purpose DEVS-suite simulator supports animation with I/O and state trajectories of computer network models developed using parallel DEVS modeling approach. The simulator offers high-level model abstraction as compared with simulators such as NS-2. The combined capabilities afforded by the robust DEVS-suite simulator assists in understanding the fundamentals of computer network topologies and the logics of communication protocols. This newly developed DEVS-Suite offers an expressive, yet relatively simple to use, simulation environment for students and educators to develop and experiment with computer network models.

关键词： Protocols Computational modeling computer simulation computer networks computer science education Robustness Network topology Discrete event simulation Routing Animation

来源：评论

学校读者我要写书评

暂无评论

Level-2 shared cache versus level-2 dedicated cache for homogeneous multicore embedded systems

Level-2 shared cache versus level-2 dedicated cache for homo...

引用

2nd International Multi-Conference on Engineering and Technological Innovation, IMETI 2009

作者： Asaduzzaman, Abu Rani, Manira Koivisto, Darryl Computer Science and Engineering Department Florida Atlantic University Boca Raton FL 33431 United States Architecture Modeling Group Mirabilis Design Inc. 3000 Scott Blvd. Santa Clara CA 95054 United States

ISBN: (纸本)1934272701

Multicore brings tremendous amount of processing speed. On the contrary, it offers challenges for embedded systems as embedded systems suffer from limited resources. Various cache memory hierarchies are proposed to satisfy the requirements of different systems. Traditionally, level-1 cache memory is dedicated to each core. However, level-2 cache can be shared (like Intel Xenon) or dedicated (like AMD Athlon). Level-2 shared cache enables each core to dynamically use up to 100% of available CL2. Level-2 dedicated caches help each core to reduce latency when there is data /code sharing between the cores. However, it is not clear how level-2 shared and dedicated cache hierarchies should impact on the performance and total energy consumption for a set of applications. In this paper, we evaluate the impact of level-2 cache hierarchies (shared versus dedicated) on the performance and total energy consumption for homogeneous multicore embedded systems. We use VisualSim simulation tool to model the target architectures (one with shared CL2 and the other one with dedicated CL2). We use FFT, Ml, and DFT workload (generated using Heptane package) to run the simulation program. Experimental results show that for negligible interconnection delay, level-2 shared cache hierarchy outperforms level-2 dedicated cache hierarchy.

关键词： Cache memory

来源：评论

学校读者我要写书评

暂无评论

Network intrusion detection in high dimensional space

Network intrusion detection in high dimensional space

引用

International Symposium on Applied sciences on Biomedical and Communication Technologies, ISABEL

作者： Stanislav Marcek Martin Drozda Gabriel Juhas Fedor Lehocki Faculty of Electrical Engineering and Information Technology Slovak University of Technology Bratislava Slovakia Simulation and Modeling Group Faculty of Electrical Engineering and Computer Science Leibniz University Hannover Hanover Germany

We propose and evaluate an approach for network intrusion detection in high dimensional space. This approach is based on an approximate solution to the nearest neighbor problem. Our evaluation is based on the KDD'99 data set, a Yahoo Web spam data set and another set used in the NIPS'03 feature selection challenge. The approximate approach shows that good performance in terms of detection rate and false positives rate can be achieved.

关键词： Intrusion detection Space technology Nearest neighbor searches Information technology Computational modeling computer simulation computer science Web and internet services Information systems

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：