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

simulation Winter Conference

作者： L. Yilmaz T.I. Oren Auburn Modeling & Simulation Laboratory Department of Computer Science and Engineering Aubum University Auburn AL USA Ottawa Center of the MISS School of Information Technology and Engineering SITE University of Ottawa Ottawa ONT Canada

Federated simulations address the need for interoperability, as well as the improvement of reuse and composability. The focal goal in a federated simulation is to facilitate composable simulations by standardizing interfaces to assure technical interoperability among disparate simulations. Yet, existing federated simulation infrastructures neither facilitate substantive interoperability nor are dynamically extensible. Emergent Web services technologies hold out the potential to significantly improve the development of interoperable, extensible, and dynamically composable federations. As such, recent initiatives (i.e., XMSF) are urging the use of open standards that can be applied within an extensible framework for next generation modeling and simulation applications. We discuss how the realization of multimodel and multisimulation formalisms in terms of semantic Web and agent technologies may bring new vistas to demonstrate runtime model discovery, instantiation, composition, and interoperation.

关键词： Semantic Web Runtime Ontologies Computational modeling computer simulation Microstrip Service oriented architecture Laboratories computer science Information technology

来源：评论

学校读者我要写书评

暂无评论

Behavioral anticipation in agent simulation

Behavioral anticipation in agent simulation

引用

simulation Winter Conference

作者： T.I. Oren L. Yilmaz Ottawa Center of the MISS School of Information Technology and Engineering (SITE) University of Ottawa Ottawa ONT Canada Auburn Modeling & Simulation Laboratory Department of Computer Science and Engineering Aubum University Auburn AL USA

In this article, the following is done: (1) a systematic and comprehensive classification of input is given and the relevance of perception as an important type of input in intelligent systems is pointed out, (2) a categorization of perception is given and anticipation is presented as a type of perception, (3) the inclusion of anticipation in simulation studies is clarified and other aspects of perceptions in simulation studies especially in conflict situations are elaborated.

关键词： Character generation Predictive models Message passing Sensor fusion Computational modeling computer simulation Organisms Decoding Digital filters Passive filters

来源：评论

学校读者我要写书评

暂无评论

Enforcing Security and Privacy in Distributed Ledgers by Intel SGX

Enforcing Security and Privacy in Distributed Ledgers by Int...

引用

Spring simulation Conference (SpringSim)

作者： Xueping Liang Sachin Shetty Peter Foytik Deepak Tosh Department of Engineering and Computer Science Virginia State University Petersburg VA USA Virginia Modeling Analysis and Simulation Center Old Dominion University Suffolk VA USA Department of Computer Science The University of Texas at El Paso El Paso TX USA

ISBN: (数字)9781565553705

ISBN: (纸本)9781728163642

Distributed Ledger Technology (DLT) utilizes an architecture that can host a large number of nodes without pre-established trust to provide decentralized services. The blockchain is the most widely used architecture of distributed ledger, where transactions across the whole network are visible to all participants in a chain to prevent tampering. However, transactions may contain sensitive information such as business contract. To secure the system and protect user privacy, we propose a multi-channel architecture that leverages Intel Software Guard Extensions (SGX). We illustrate how SGX capabilities help to defend against attacks on distributed ledgers, by way of SGX enforcement on the participating machines. We adopt the design and implementation of a two layer architecture for securing the blockchain mining process and enhancing the transaction privacy. The security analysis and performance evaluation show that the design and protocols are capable of protecting privacy, defending against adversarial attacks and scalable.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Analysis of transition-sensitized turbulent transport equations

Analysis of transition-sensitized turbulent transport equati...

引用

43rd AIAA Aerospace Sciences Meeting and Exhibit

作者： Rumsey, Christopher L. Thacker, William D. Gatski, Thomas B. Grosch, Chester E. NASA Langley Research Center Hampton VA 23681-2199 United States St. Louis University St. Louis MO 63156 United States Old Dominion University Norfolk VA 23529 United States Computational Modeling and Simulation Branch Mail Stop 128 United States AIAA United States Department of Physics Parks College United States Departments of Oceanography and Computer Science

The dynamics of an ensemble of linear disturbances in boundary-layer flows at various Reynolds numbers is studied through an analysis of the transport equations for the mean disturbance kinetic energy and energy dissipation rate. Effects of adverse and favorable pressure-gradients on the disturbance dynamics are also included in the analysis. Unlike the fully turbulent regime where nonlinear phase scrambling of the fluctuations affects the flow field even in proximity to the wall, the early stage transition regime fluctuations studied here are influenced across the boundary layer by the solid boundary. The dominating dynamics in the disturbance kinetic energy and dissipation rate equations are described. These results are then used to formulate transition-sensitized turbulent transport equations, which are solved in a two-step process and applied to zero-pressure-gradient flow over a flat plate. Computed results are in good agreement with experimental data.

关键词： Turbulence

来源：评论

学校读者我要写书评

暂无评论

Redundancy in model representation: a blessing or a curse?

Redundancy in model representation: a blessing or a curse?

引用

simulation Winter Conference

作者： R.E. Nance C.M. Overstreet E.H. Page Systems Research Center Virginia Polytechnic Institute and State University Blacksburg VA USA Computer Science Department Old Dominion University Norfolk VA USA C3 Modeling & Simulation Center Mitre Corporation McLean VA USA

With the intent of dispelling the prevailing negative connotations associated with redundancy, we argue that redundancy can effect benefits in model specification as opposed to model execution. Sources of redundancy are classified as accidental or intentional, and several examples are given for each. The comparative benefits and detriments are discussed briefly, and for the most interesting source of redundancy that induced by a modeling methodology, we demonstrate that automated elimination of redundancy can actually improve the execution time. Although the set of models investigated is small, these results are encouraging for researchers in modeling methodologies using automated model diagnosis.

关键词： Discrete event simulation Humans computer science Drives Computational modeling computer simulation Knowledge based systems Simultaneous localization and mapping Specification languages

来源：评论

学校读者我要写书评

暂无评论

SCIRun/BioPSE: integrated problem solving environment for bioelectric field problems and visualization

SCIRun/BioPSE: integrated problem solving environment for bi...

引用

IEEE International Symposium on Biomedical Imaging

作者： R.S. MacLeod O.M. Weinstein J. Davison de St Germain D.H. Brooks C.R. Johnson S.G. Parker Scientific Computing and Imaging Institute University of Utah Salt Lake UT USA Department of Electrical and Computer Engineering Northeastern University Boston MA USA Center for Bioelectric Field Modeling Simulation and Visualization NIH/NCRR

SCIRun is a general purpose problem solving environment that seeks to integrate the steps of preparing, executing, and visualizing simulations of physical and biological systems. The implementation of SCIRun is by means of an interactive dataflow network consisting of modules and data pipes exposed as a visual programming language. SCIRun also contains specific modules for bioelectric field simulations and visualizations and the combination of SCIRun with this package is known as BioPSE (***/software/biopse). This software has been in the public domain since 2000 and in that time we have developed strategies for software development, engineering, testing, documentation, and training. We have also continued to expand the scope of the SCIRun/BioPSE package not only through our own codes but by constructing bridges to other systems, both open source and proprietary. We have also created a repository for relevant sample networks and datasets with the aim of allowing diverse groups to test and evaluate algorithms using identical data and to share their results with the community for comparison of performance and accuracy. We present here a summary of the software system and describe specific experiences and conclusions with regard to creating and managing a large open source software project carried out within a university setting.

关键词： Biopsy Problem-solving Bioelectric phenomena Data visualization Biological system modeling Packaging Biological systems computer languages Software packages Programming

来源：评论

学校读者我要写书评

暂无评论

Scalability of a low-cost multi-Teraflop Linux cluster for high-end classical atomistic and quantum mechanical simulations

Scalability of a low-cost multi-Teraflop Linux cluster for h...

引用

International Parallel and Distributed Processing Symposium, IPDPS 2003

作者： Kikuchi, Hideaki Kalia, Rajiv K. Nakano, Aiichiro Vashishta, Priya Shimojo, Fuyuki Saini, Subhash Collaboratory for Multiscale Simulations Department of Computer Science Department of Physics and Astronomy Department of Materials Science Department of Biomedical Engineering University of Southern California Los AngelesCA90089 United States Concurrent Computing Laboratory for Materials Simulations Biological Computation and Visualization Center Department of Computer Science Department of Physics and Astronomy Louisiana State University Baton RougeLA70803 United States Faculty of Integrated Arts and Sciences Hiroshima University Higashi-Hiroshima739-8521 Japan IT Modeling and Simulation NASA Ames Research Center Moffett FieldCA94035 United States

ISBN: (纸本)0769519261

Scalability of a low-cost, Intel Xeon-based, multi-Teraflop Linux cluster is tested for two high-end scientific applications: Classical atomistic simulation based on the molecular dynamics method and quantum mechanical calculation based on the density functional theory. These scalable parallel applications use spacetime multiresolution algorithms and feature computational-space decomposition, wavelet-based adaptive load balancing, and spacefilling-curve-based data compression for scalable I/O. Comparative performance tests are performed on a 1024-processor Linux cluster and a conventional higher-end parallel supercomputer, 1184-processor IBM SP4. The results show that the performance of the Linux cluster is comparable to that of the SP4. We also study various effects, such as the sharing of memory and L2 cache among processors, on the performance. © 2003 IEEE.

关键词： Scalability

来源：评论

学校读者我要写书评

暂无评论

TACTICAL ROUTE PLANNING: NEW ALGORITHMS FOR DECOMPOSING THE MAP

引用

International Journal on Artificial Intelligence Tools 1996年第1N02期5卷 199-218页

作者： J.R. BENTON S.S. IYENGAR W. DENG N. BRENER V.S. SUBRAHMANIAN Modeling and Simulation Division U.S. Army Topographic Engineering Center 7701 Telegraph Road Alexandria VA 22315–3864 USA Department of Computer Science & Robotics Research Laboratory Louisiana State University Baton Rouge LA 70803–4020 USA Department of Computer Science & Institute for Advanced Computer Studies University of Maryland College Park Maryland 20742 USA

This paper defines a new approach and investigates a fundamental problem in route planners. This capability is important for robotic vehicles(Martian Rovers, etc.) and for planning off-road military maneuvers. The emphasis throughout this paper will be on the design and analysis and hieiaichical implementation of our route planner. This work was motivated by anticipation of the need to search a grid of a trillion points for optimum routes. This cannot be done simply by scaling upward from the algorithms used to search a grid of 10,000 points. Algorithms sufficient for the small grid are totally inadequate for the large grid. Soon, the challenge will be to compute off-road routes more than 100 km long and with a one or two-meter grid. Previous efforts are reviewed and the data structures, decomposition methods and search algorithms are analyzed and limitations are discussed. A detailed discussion of a hieraichical implementation is provided and the experimental results are analyzed.

关键词： Route planning heirarchical planning A* algorithm robotic vehicles

来源：评论

学校读者我要写书评

暂无评论

Securing the light escaping in a Li-Fi network environment

引用

Procedia computer Science 2022年 201卷 684-689页

作者： D.D. Diambeki R.E. Mandiya K. Kyamakya S.K. Kasereka University of Kinshasa Mathematics and Computer Science Department Kinshasa DR Congo Artificial intelligence Big data and modeLing simulation research center (ABIL) Kinshasa Democratic Republic of the Congo Alpen-Adria-Universitaet Klagenfurt Institute of Smart Systems Technologies Department of Mathematical Sciences Klagenfurt Austria

Nowadays, everyone knows Wi-Fi. The technology that ensures connection of computer equipment. It is now positioned as the easiest way to interconnect multiple end users because It allows user mobility in workspaces, avoids cable clutter within the network coverage, such as offices, homes and so on. Despite these advantages, several scientific studies have shown that this technology can raise security and safety issues and is dangerous to human health, and therefore not suitable for hospital networks. In an attempt to overcome these difficulties, Li-Fi technology based on visible light is beginning to interest researchers. This technology is considered more secure than Wi-Fi because the light can be contained in a physical space and waves can’t pass through walls and other objects. Unfortunately, when the physical environment contains spaces that can escape light to the outdoors, this can be a security risk for Li-Fi because it uses light sources to transmit data. That why, in this paper, the main differences between Wi-Fi and Li-Fi technologies are explained, and a Li-Fi architecture provided with an authentification captive portal and a data transfer security mechanism between end users based on the AES algorithm is proposed. The developed prototype and the architecture proposed guarantee the security of the Li-Fi network even if the physical environment is provided with multiple light escape spaces.

关键词： Li-Fi (Light-Fidelity) VLC (Visible Light Communication) LED (Light Emitting Diode) Photodetector LDR (Light Dependent Resistor) Arduino AES algorithm Captive portal

来源：评论

学校读者我要写书评

暂无评论

AKM-FCCI: Secure Authentication and Key Management Mechanism for Fog Computing-Based IoT-Driven Critical Infrastructure

AKM-FCCI: Secure Authentication and Key Management Mechanism...

引用

International Wireless Communications and Mobile Computing Conference, IWCMC

作者： Vijay Karnatak Neha Tripathi Amit Kumar Mishra Mohammad Wazid Ashok Kumar Das Mohsen Guizani Sachin Shetty Department of Computer Science and Engineering Graphic Era Deemed to be University Dehradun India Department of Computer Science and Engineering Graphic Era Hill University Dehradun India Center for Security Theory and Algorithmic Research International Institute of Information Technology Hyderabad India Machine Learning Department Mohamed bin Zayed University of Artificial Intelligence (MBZUAI) Abu Dhabi UAE Department of Computational Modeling and Simulation Engineering Virginia Modeling Analysis and Simulation Center Old Dominion University Suffolk VA USA

ISBN: (数字)9798350361261

ISBN: (纸本)9798350361278

Critical infrastructure refers to the key systems, assets, and facilities, whether they are physical or virtual, that are necessary for the overall functioning of a country. As our reliance on technology and networked systems continues to expand, so does the significance of taking precautions to protect critical infrastructure from being compromised by cyberattacks. We need some security schemes to secure the communication happening in the critical infrastructure devices. Therefore, in this paper, we focus on the design of an authentication and key establishment scheme, which is used in the critical infrastructure to secure its data transmissions. A secure authentication and key management mechanism for fog computing-based IoT-driven critical infrastructures (in short, AKM-FCCI) is proposed in the paper. We then provide the network model and threat model of the proposed AKM-FCCI to explain its deployment and organization of devices and servers. The threat model further explains the various threats of this communication environment. In addition, the security analysis of AKM-FCCI is presented to demonstrate that it is secure against the many different kinds of attacks that could be launched against it. The comparisons demonstrate that the performance of AKM-FCCI is superior to that of the other currently used schemes. In addition to that, it offers a high level of security and utility. Therefore, the proposed AKM-FCCI is appropriate for use in protecting critical infrastructure equipment against a wide variety of threats.

关键词： Threat modeling Wireless communication Performance evaluation Authentication Organizations Critical infrastructure Safety

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：