掌桥科研
一站式科研服务平台
科技查新
收录引用
专题文献检索
外文数据库(机构版)
更多产品
首页
成为会员
我要充值
退出
我的积分:
中文会员
开通
中文文献批量获取
外文会员
开通
外文文献批量获取
我的订单
会员中心
我的包量
我的余额
登录/注册
文献导航
中文期刊
>
中文会议
>
中文学位
>
中国专利
>
外文期刊
>
外文会议
>
外文学位
>
外国专利
>
外文OA文献
>
外文科技报告
>
中文图书
>
外文图书
>
工业技术
基础科学
医药卫生
农业科学
教科文艺
经济财政
社会科学
哲学政法
其他
工业技术
基础科学
医药卫生
农业科学
教科文艺
经济财政
社会科学
哲学政法
其他
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
材料科学
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
马克思主义、列宁主义、毛泽东思想、邓小平理论
哲学、宗教
社会科学总论
政治、法律
军事
经济
文化、科学、教育、体育
语言、文字
文学
艺术
历史、地理
自然科学总论
数理科学和化学
天文学、地球科学
生物科学
医药、卫生
农业科学
工业技术
交通运输
航空、航天
环境科学、安全科学
综合性图书
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
材料科学
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
材料科学
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
美国国防部AD报告
美国能源部DE报告
美国航空航天局NASA报告
美国商务部PB报告
外军国防科技报告
美国国防部
美国参联会主席指示
美国海军
美国空军
美国陆军
美国海军陆战队
美国国防技术信息中心(DTIC)
美军标
美国航空航天局(NASA)
战略与国际研究中心
美国国土安全数字图书馆
美国科学研究出版社
兰德公司
美国政府问责局
香港科技大学图书馆
美国海军研究生院图书馆
OALIB数据库
在线学术档案数据库
数字空间系统
剑桥大学机构知识库
欧洲核子研究中心机构库
美国密西根大学论文库
美国政府出版局(GPO)
加利福尼亚大学数字图书馆
美国国家学术出版社
美国国防大学出版社
美国能源部文献库
美国国防高级研究计划局
美国陆军协会
美国陆军研究实验室
英国空军
美国国家科学基金会
美国战略与国际研究中心-导弹威胁网
美国科学与国际安全研究所
法国国际关系战略研究院
法国国际关系研究所
国际宇航联合会
美国防务日报
国会研究处
美国海运司令部
北约
盟军快速反应部队
北约浅水行动卓越中心
北约盟军地面部队司令部
北约通信信息局
北约稳定政策卓越中心
美国国会研究服务处
美国国防预算办公室
美国陆军技术手册
一般OA
科技期刊论文
科技会议论文
图书
科技报告
科技专著
标准
其它
美国卫生研究院文献
分子生物学
神经科学
药学
外科
临床神经病学
肿瘤学
细胞生物学
遗传学
公共卫生&环境&职业病
应用微生物学
全科医学
免疫学
动物学
精神病学
兽医学
心血管
放射&核医学&医学影像学
儿科
医学进展
微生物学
护理学
生物学
牙科&口腔外科
毒理学
生理学
医院管理
妇产科学
病理学
生化技术
胃肠&肝脏病学
运动科学
心理学
营养学
血液学
泌尿科学&肾病学
生物医学工程
感染病
生物物理学
矫形
外周血管病
药物化学
皮肤病学
康复学
眼科学
行为科学
呼吸学
进化生物学
老年医学
耳鼻喉科学
发育生物学
寄生虫学
病毒学
医学实验室检查技术
生殖生物学
风湿病学
麻醉学
危重病护理
生物材料
移植
医学情报
其他学科
人类生活必需品
作业;运输
化学;冶金
纺织;造纸
固定建筑物
机械工程;照明;加热;武器;爆破
物理
电学
人类生活必需品
作业;运输
化学;冶金
纺织;造纸
固定建筑物
机械工程;照明;加热;武器;爆破
物理
电学
马克思主义、列宁主义、毛泽东思想、邓小平理论
哲学、宗教
社会科学总论
政治、法律
军事
经济
文化、科学、教育、体育
语言、文字
文学
艺术
历史、地理
自然科学总论
数理科学和化学
天文学、地球科学
生物科学
医药、卫生
农业科学
工业技术
交通运输
航空、航天
环境科学、安全科学
综合性图书
主题
主题
题名
作者
关键词
摘要
高级搜索 >
外文期刊
外文会议
外文学位
外国专利
外文图书
外文OA文献
中文期刊
中文会议
中文学位
中国专利
中文图书
外文科技报告
清除
历史搜索
清空历史
首页
>
外文会议
>
其他
>
Simulation Multiconference
Simulation Multiconference
召开年:
召开地:
出版时间:
-
会议文集:
-
会议论文
热门论文
全部论文
全选(
0
)
清除
导出
1.
Towards Simulating the Multi-Level Process Theory of Human Emotions in Brahms Multi-Agent Modeling System
机译:
旨在模拟BRAHMS多代理建模系统中人类情绪的多级过程理论
作者:
Christine Lisetti
;
Aurel Cami
;
Maarten Sierhuis
;
William J. Clancey
会议名称:
《Simulation Multiconference》
|
2005年
关键词:
Emotion theories;
Multi-agent systems;
2.
Efficient Analysis of Asymmetric Distributed Systems: a High Level PN based approach
机译:
不对称分布式系统的高效分析:基于高水平的PN方法
作者:
Lorenzo Capra
会议名称:
《Simulation Multiconference》
|
2005年
关键词:
Colored Petri Nets;
Quotient graphs;
Symmetries;
3.
Performance of a Distributed Simulation of Timed Colored Petri Nets with Fine-Grained Partitioning
机译:
具有细粒分区的定时彩色培养网分布式模拟的性能
作者:
Michael Knoke
;
Felix Kuhling
;
Armin Zimmermann
;
Gunter Hommel
会议名称:
《Simulation Multiconference》
|
2005年
关键词:
Distributed simulation;
Petri nets;
Performance;
4.
Verification and Validation of Agent-based Scientific Simulation Models
机译:
基于代理的科学仿真模型的验证与验证
作者:
Xiaorong Xiang
;
Ryan Kennedy
;
Gregory Madey
会议名称:
《Simulation Multiconference》
|
2005年
关键词:
Agent-based modeling;
Model verification;
Model validation;
Scientific simulation models;
5.
Modelling Dynamic Influence Diagrams using Coloured Petri Nets
机译:
使用彩色Petri网建模动态影响图
作者:
Somsak Vanit-Anunchai
;
Jonathan Billington
会议名称:
《Simulation Multiconference》
|
2005年
关键词:
Bayesian Networks;
Coloured Petri Nets;
Belief propagation;
State space analysis;
Trade-off analysis;
Multiagent systems;
6.
Using Heuristic Models to Bridge the Gap Between Analytic and Experimental Models in Biology
机译:
采用启发式模型弥合生物学分析与实验模型之间的差距
作者:
Glen E. Ropella
;
C. Anthony Hunt
;
Dev A. Nag
会议名称:
《Simulation Multiconference》
|
2005年
关键词:
Synthetic method;
Heuristic models;
Systems biology;
7.
SIFT: A Generic Framework for Emulating Scenario in Distributed Systems
机译:
SIFT:用于分布式系统中的模拟场景的通用框架
作者:
Sushrut Bhowmik
会议名称:
《Simulation Multiconference》
|
2006年
关键词:
Distributed systems;
Automated testing;
Scenario generation;
Failure injection;
Test framework;
8.
SIFT: A Generic Framework for Emulating Scenario in Distributed Systems
机译:
SIFT:用于分布式系统中的模拟场景的通用框架
作者:
Sushrut Bhowmik
会议名称:
《Simulation Multiconference》
|
2006年
关键词:
distributed systems;
automated testing;
scenario generation;
failure injection;
test framework;
9.
Easy DEVS
机译:
轻松开发
作者:
Mamadou Kaba Traore
会议名称:
《Simulation Multiconference》
|
2007年
10.
Studying the Impact of Web-Services Implementation of Distributed Simulation of DEVS and Cell-DEVS Models
机译:
研究Web-Services对Devs和Cell-Devs模型分布式模拟的影响
作者:
Rami Madhoun
;
Gabriel Wainer
会议名称:
《Simulation Multiconference》
|
2007年
11.
The Deep Green Concept
机译:
深绿色的概念
作者:
John R. Surdu
;
Kevin Kittka
会议名称:
《Simulation Multiconference》
|
2008年
关键词:
Discrete event simulation;
Command and control;
Decision support systems;
Qualitative reasoning;
Planning;
12.
Theoretical and Experimental Analysis of MSES and Kshemkalyani-Singhal Algorithms under Distributed Simulation Environment
机译:
分布式仿真环境下的MSES和Kshemkalyani-Singhal算法的理论与实验分析
作者:
Inane Tahrah
;
Tolga Basturk
;
Fatih Erdogan Sevilgen
会议名称:
《Simulation Multiconference》
|
2008年
关键词:
Distributed simulation;
Time management;
Causal order algorithms;
MSES;
Kshemkalyani-Singhal algorithm;
13.
Terminal Ballistics of Intercept Ammunition Against Mortar Targets
机译:
拦截弹药对砂浆目标的终端弹道学
作者:
Markus Graswald
;
Hendrik Rothe
会议名称:
《Simulation Multiconference》
|
2008年
关键词:
Physical modeling;
Fragment impact;
Blast effect;
Ammunition consumption;
Statistical approach;
14.
Modeling and Simulating a Disease Outbreak by Learning a Contagion Parameter-based Model
机译:
通过学习基于传感参数的模型来建模和模拟疾病爆发
作者:
B. John Oommen
;
Dragos Calitoiu
会议名称:
《Simulation Multiconference》
|
2008年
关键词:
Disease Outbreak;
Policies in Epidemiology;
Stochastic Point Location;
Learning Automata;
15.
System Dynamics and Regressive Meta-Modeling Applied Methodology for Improving Management Performances in Services Industry: a Case Study in Supply Chain and Highway Maintenance
机译:
系统动力学和回归元建模应用方法,用于提高服务行业管理性能:供应链和公路维护的案例研究
作者:
Cinzia Forgia
;
Roberto Revetria
会议名称:
《Simulation Multiconference》
|
2008年
关键词:
Meta Modeling;
System Dynamics;
Supply Chain Management;
16.
Experiences with the DEVStone Benchmark
机译:
与Devstone基准测试的经历
作者:
Marcelo Gutierrez-Alcaraz
;
Gabriel Wainer
会议名称:
《Simulation Multiconference》
|
2008年
关键词:
DEVS;
Synthetic benchmark;
Mamp;
S tool;
Simulator performance evaluation;
CD++;
ADEVS;
17.
TraCI: An Interface for Coupling Road Traffic and Network Simulators
机译:
Traci:用于耦合道路交通和网络模拟器的接口
作者:
Axel Wegener
;
Michal Piorkowski
;
Maxim Raya
;
Horst Hellbruck
;
Stefan Fischer
;
Jean-Pierre Hubaux
会议名称:
《Simulation Multiconference》
|
2008年
关键词:
Vehicular Ad-Hoc Networks (VANETs);
Network Simulation;
Node Mobility;
18.
A Quantitative Study of Recency and Frequency based Web Cache Replacement Strategies
机译:
新兴和基于频率的Web缓存替换策略的定量研究
作者:
Sam Romano
;
Hala ElAarag
会议名称:
《Simulation Multiconference》
|
2008年
关键词:
Cache replacement;
Simulation;
Web;
Proxy Cache;
19.
Granularity and the Validation of Agent-based Models
机译:
粒度和基于代理模型的验证
作者:
Zaiyi Guo
;
Joe Cing Tay
会议名称:
《Simulation Multiconference》
|
2008年
关键词:
Multi-agent model;
Agent behavior modeling;
Model granularity;
20.
Simulating New Markets by Introducing New Accepting Policies for the Conventional Continuous Double Auction
机译:
通过为传统的连续双重拍卖引入新的接受政策来模拟新市场
作者:
Sina Honari
;
Amin Fos-hati
;
Maziar Gomrokchi
;
Jamal Bentahar
;
Mojtaba Ebadi
会议名称:
《Simulation Multiconference》
|
2008年
关键词:
Measurement;
Performance;
Design;
Economics and Experimentation;
Market Design;
Multi Agent Systems;
Trading Agents;
Accepting Policy;
Transaction Success Rate and CAT Competition;
21.
Addressing soundness and efficiency issues in dynamic processes: a reflective PN-based modeling approach
机译:
解决动态过程中的声音和效率问题:基于反射的PN的建模方法
作者:
Lorenzo Capra
会议名称:
《Simulation Multiconference》
|
2008年
关键词:
Processes;
Petri Nets;
Reflection;
Evolution;
22.
SUBOPTIMAL REAL TIME CONGESTION CONTROL OF TCP FLOWS IN COMPUTER NETWORKS
机译:
计算机网络中TCP流的次优的实时拥塞控制
作者:
N. U. Ahmed
;
Xuhua Ouyang
会议名称:
《Simulation Multiconference》
|
2008年
关键词:
AQM;
Real-Time Control;
Point Process;
Congestion Control;
23.
Supporting A Service-Oriented Architecture
机译:
支持面向服务的架构
作者:
Derek T. Sanders
;
J. A. Hamilton Jr.
;
Richard A. MacDonald
会议名称:
《Simulation Multiconference》
|
2008年
关键词:
Service-Oriented Architecture;
DoDAF;
MoDAF;
TOGAF;
24.
BUILDING EXECUTABLE SERVICE-ORIENTED ARCHITECTURES WITH THE WS-MANAGEMENT SPECIFICATION
机译:
使用WS-Management规范构建可执行的服务型体系结构
作者:
Mark Kuhr
;
Drew Hamilton
会议名称:
《Simulation Multiconference》
|
2008年
关键词:
Web Services;
Software Architecture;
Network Architecture Management;
25.
RMobiGen: A Trace Generation, Visualization, and Performance Analysis Tool for Random Mobility Models
机译:
RMobigen:随机移动模型的迹线生成,可视化和性能分析工具
作者:
Alex A. Aravind
;
Xiang Cui
会议名称:
《Simulation Multiconference》
|
2008年
关键词:
Mobility models;
Discrete event simulation;
Large scale simulation;
Mobile computing;
Visualization;
26.
Large Scale Modeling of the Piriform Cortex for Analyzing Antiepileptic Effects
机译:
分析抗癫痫效应的粒化皮质大规模建模
作者:
Dragos Calitoiu
;
Doron Nussbaum
;
B. John Oommen
会议名称:
《Simulation Multiconference》
|
2008年
关键词:
Piriform Cortex;
Chaos;
Lyapunov exponents;
Nonlinear interdependence;
27.
Modelling and Simulation of Skid-equipped Shipboard Rotorcraft
机译:
用防滑船板旋翼飞行器的建模与仿真
作者:
Rob Langlois
;
Zheng H. Zhu
;
Michael LaRosa
会议名称:
《Simulation Multiconference》
|
2008年
关键词:
Dynamic interface analysis;
Shipboard aircraft operation;
Skid landing gear;
Dynaface;
28.
Aspects of Contact Force and Path Configuration Generated During Catheter Navigation
机译:
导管导航期间产生的接触力和路径配置的方面
作者:
Helen Zhao
;
Robert J. Stango
;
Yuanming Chen
;
Rick Albano
会议名称:
《Simulation Multiconference》
|
2009年
关键词:
Catheter navigation;
Contact force;
Path configuration;
Simulation;
29.
ActivitySim: Large-scale Agent-Based Activity Generation for Infrastructure Simulation
机译:
ActivitySim:基于大规模的基于代理的基础设施模拟活动
作者:
Emanuele Galli
;
Leticia Cuellar
;
Stephan Eidenbenz
;
Mary Ewers
;
Sue Mniszewski Christof Teuscher
会议名称:
《Simulation Multiconference》
|
2009年
30.
XML-based DEVS Modeling and Interpretation
机译:
基于XML的DEVS建模与解释
作者:
Nicolas Meseth
;
Patrick Kirchhof
;
Thomas Witte
会议名称:
《Simulation Multiconference》
|
2009年
关键词:
DEVS;
XML;
XLSC;
DEVSJAVA;
Reusability;
31.
Simulation of a Cold Heavy Oil Production with Sand (CHOPS) Separation System
机译:
用砂(CHOPS)分离系统仿真冷重油生产
作者:
John Danielsen
;
David B. Hoffman
会议名称:
《Simulation Multiconference》
|
2009年
关键词:
Continuous simulation;
Heavy oil;
CHOPS;
IThink;
North Slope;
Alaska;
32.
The DIS Protocol - New and Improved
机译:
DIS协议 - 新的和改进
作者:
Frank Hill
会议名称:
《Simulation Multiconference》
|
2009年
关键词:
Distributed Interactive Simulation;
DIS;
IEEE 1278.1 Standard;
HLA;
Standards;
Simulation Protocols;
33.
Upgrade of a Full-Scope Simulator for Fossil-Fuel Power Plants
机译:
升级化石燃料电厂全范围模拟器
作者:
Jose Tavira-Mondragon
;
Jose Melgar-Garcia
;
Jorge Garcia-Garcia
;
Rafael Cruz-Cruz
会议名称:
《Simulation Multiconference》
|
2009年
关键词:
Power plant simulator;
Operators training;
34.
Interoperability between DEVS and non-DEVS models using DEVS/SOA
机译:
使用DEVS / SOA的DEVS和非DEVS模型之间的互操作性
作者:
Jose L. Risco-Martin
;
Alejandro Moreno
;
J. M. Cruz
;
Joaquin Aranda
会议名称:
《Simulation Multiconference》
|
2009年
关键词:
DEVS;
Matlab;
Standard;
Interoperability;
DEVS/SOA;
35.
The Levels of Conceptual Interoperability Model: Applying Systems Engineering Principles to MS
机译:
概念互操作性模型的水平:将系统工程原则应用于M&S.
作者:
Wenguang WANG
;
Andreas TOLK
;
Weiping WANG
会议名称:
《Simulation Multiconference》
|
2009年
关键词:
Levels of Conceptual Interoperability Model (LCIM);
Descriptive Role;
Prescriptive Role;
Systems Engineering;
36.
An XML based System of Systems Discrete Event Simulation Communications Framework
机译:
基于XML的系统分立事件仿真通信框架系统
作者:
Matthew Hosking
;
Ferat Sahin
会议名称:
《Simulation Multiconference》
|
2009年
关键词:
Discrete Event Simulation;
DEVS;
XML;
System of Systems;
Swarm Behavior;
GroundScout robots;
37.
Design Specifications for the Air Mobility Operations Simulation Environment (Air MOOSE)
机译:
空运运营仿真环境设计规范(空气驼鹿)
作者:
David W. Mason
会议名称:
《Simulation Multiconference》
|
2009年
关键词:
Discrete event simulation;
Air mobility;
Airlift operations;
Canadian Forces;
38.
Bridging Live and Simulated Domains with a Common Integration Approach
机译:
桥接现场和模拟域,具有共同的整合方法
作者:
Robert E. Donnelly
会议名称:
《Simulation Multiconference》
|
2009年
关键词:
Mixed experiment;
Integration framework;
System of systems;
C4ISR;
LVC;
39.
Searchable Taxonomies of Agent Based Modeling Toolkits
机译:
可搜索基于代理的建模工具包的分类学
作者:
Cynthia Nikolai
;
Gregory Madey
会议名称:
《Simulation Multiconference》
|
2009年
关键词:
Agent based modeling;
Toolkits;
Toolkit search engine;
40.
HeteroSim: Heterogeneous Simulation Framework
机译:
异质孔:异构仿真框架
作者:
Taner Dursun
;
Hasan Dag
会议名称:
《Simulation Multiconference》
|
2009年
关键词:
Discrete event simulation;
Heterogeneous simulation;
Policy based management systems;
Heterosim;
41.
Design And Implementation Of An Agent-Based Simulation For Emergency Response And Crisis Management
机译:
基于代理的应急响应和危机管理的设计与实现
作者:
Timothy Schoenharl
;
Zhi Zhai
;
Ryan McCune
;
Alec Pawling
;
Greg Madey
会议名称:
《Simulation Multiconference》
|
2009年
关键词:
GIS;
Crisis Modeling;
Agent-Based Simulation;
42.
Data-Parallel Algorithms for Agent-Based Model Simulation of Tuberculosis On Graphics Processing Units
机译:
基于代理的数据模型模拟图形处理单元的数据并行算法
作者:
Roshan M. DSouza
;
Mikola Lysenko
;
Simeone Marino
;
Denise Kirschner
会议名称:
《Simulation Multiconference》
|
2009年
关键词:
Agent-Based Models;
Integrative Systems Biology;
GPGPU;
43.
Immune Systems Inspired Approach to Anomaly Detection, Fault Localization and Diagnosis in Complex Dynamic Systems
机译:
免疫系统激发了复杂动态系统中异常检测,故障定位和诊断的方法
作者:
Dragan Djurdjanovic
;
Clay Hearn
;
Yi Liu
会议名称:
《Simulation Multiconference》
|
2010年
关键词:
Immunity functions in engineering systems;
Precedent free isolation of faults;
"divide and conquer" modeling of dynamic systems;
44.
Enhancing DEVS Simulation through Template Metaprogramming: DEVS-MetaSimulator
机译:
通过模板元编程增强DEVS仿真:DEVS - Metasimulator
作者:
Luc Touraille
;
Mamadou K. Traore
;
David R. C. Hill
会议名称:
《Simulation Multiconference》
|
2010年
关键词:
DEVS;
Template metaprogramming;
C++;
45.
Verbal Control of Mathematical Tools for Simulation and Virtual Environments
机译:
模拟和虚拟环境数学工具的口头控制
作者:
John F. Richardson
会议名称:
《Simulation Multiconference》
|
2010年
关键词:
Human Factors;
VRML/X3D;
Speech Interfaces;
Computer Algebra Systems;
Virtual Environments;
46.
Matchmaking with Limited Knowledge of Resources on Clouds and Grids
机译:
对云和网格的资源有限的匹配
作者:
Jose Orlando Melendez
;
Shikharesh Majumdar
会议名称:
《Simulation Multiconference》
|
2010年
关键词:
Matchmaking on grids and clouds;
Resource management on grids and clouds;
Scheduling on grids and clouds;
Advance reservation requests;
Performance of grids and clouds;
47.
CFD Modelling as an Integrated Part of Multi-Level Simulation of Process Plants Semantic Modelling Approach
机译:
CFD建模作为过程工厂语义建模方法多级仿真的集成部分
作者:
Marek Gayer
;
Juha Kortelainen
;
Tommi Karhela
会议名称:
《Simulation Multiconference》
|
2010年
关键词:
Process simulation;
CFD modelling;
Multi-level simulation;
Semantic modelling;
Plant equipment modelling;
48.
On Simulating Episodic Events Against a Background of Noise-like Non-episodic Events
机译:
以模拟噪声状非显微性事件背景的集体事件
作者:
Colin Bellinger
;
B. John Oommen
会议名称:
《Simulation Multiconference》
|
2010年
关键词:
Episodic events;
Propagation;
Gaussian dispersion;
Pattern recognition;
Data generation;
49.
(Symbolic) State-space Inspection of a Class of Dynamic Petri Nets
机译:
(符号)一类动态培养网的状态空间检查
作者:
Lorenzo Capra
;
Walter Cazzola
会议名称:
《Simulation Multiconference》
|
2010年
关键词:
Petri nets;
Dynamic systems;
Evolution;
Quotient-graph;
50.
On the importance of being earnestly practical
机译:
论认真实用的重要性
作者:
Francis Noblesse
会议名称:
《Simulation Multiconference》
|
2010年
关键词:
Ship;
Ship design;
Preliminary design;
Hull form;
Design tools;
Optimization;
CFD;
Fluid flows;
Approximations;
Theories;
Analytical methods;
51.
How to Distribute Modeling Effort for Complex Systems
机译:
如何为复杂系统分发建模努力
作者:
Santiago Balestrini Robinson
;
Dimitri N. Mavris
会议名称:
《Simulation Multiconference》
|
2010年
关键词:
Conceptual Modeling;
Graph Theory;
Network Models;
Agent-based Modeling;
Constructive Simulations;
Perron-Frobenius Eigenvector;
52.
Formal Specification and Analysis of Accelerated Heartbeat Protocols
机译:
加速心跳协议的正式规范与分析
作者:
Muhammad Atif
;
MohammadReza Mousavi
会议名称:
《Simulation Multiconference》
|
2010年
关键词:
Model checking;
Heartbeat protocols;
Formal Analysis;
Process algebra;
Requirement verification;
53.
Symbolic Flattening of DEVS Models
机译:
DEVS模型的符号平整
作者:
Bin Chen
;
Hans Vangheluwe
会议名称:
《Simulation Multiconference》
|
2010年
关键词:
DEVS;
Direct Connection;
Flattening;
54.
Hull Form Optimization for Reduced Resistance and Improved Seakeeping via Practical Designed-Oriented CFD Tools
机译:
通过实用的设计型CFD工具,船体塑造了降低阻力和改善海守的优化
作者:
Hyunyul Kim
;
Chi Yang
;
Francis Noblesse
会议名称:
《Simulation Multiconference》
|
2010年
关键词:
Multi-objective optimization;
Hull form design;
Resistance;
Seakeeping;
Radial basis function;
55.
Understanding Executable Architectures Through An Examination of Language Model Elements
机译:
通过对语言模型元素的检查了解可执行体系结构
作者:
Edwin A. Shuman
会议名称:
《Simulation Multiconference》
|
2010年
关键词:
Executable Architectures;
Language;
DoDAF;
Formalism;
Architecture Elements;
56.
Integration of Induction Generator Dynamics in Multimachine System Transient Analysis
机译:
多孔系统瞬态分析中的感应发电机动力学集成
作者:
A. H. M. A. Rahim
;
E. P. Nowicki
会议名称:
《Simulation Multiconference》
|
2010年
关键词:
Wind generation;
Power system;
Dynamic modeling of wind systems;
Induction generator;
57.
Current and Future Synchronization Opportunities of MSDL and C-BML with OneSAF
机译:
MSDL和C-BML的当前和未来同步机会与Obsaf
作者:
Amit Kapadia
;
Rob Wittman
会议名称:
《Simulation Multiconference》
|
2011年
关键词:
OneSAF;
Computer Generated Forces (CGF);
Coalition Battle Management Language (C-BML);
Military Scenario Definition Language (MSDL);
58.
Integration of Spacecraft Training Simulators, the ATV and ISS Rendez-vous use case
机译:
航天器培训模拟器的整合,ATV和ISS rendez-Vous用例
作者:
Bernard Sorter
;
Andreas Werkman
会议名称:
《Simulation Multiconference》
|
2011年
关键词:
ATV;
ISS Training Simulation;
59.
Progress So Far in the Development of LVC Coalition Training Interoperability Standards for the Royal Australian Air Force
机译:
迄今为止发展利用LVC联盟培训皇家澳大利亚空军互操作性标准的进展
作者:
Lucien Zalcman
;
Jon Blacklock
会议名称:
《Simulation Multiconference》
|
2011年
关键词:
LVC;
Coalition Training;
Distributed Simulation Interoperability;
DIS;
HLA;
60.
Battle Management Language capable Computer Generated Forces
机译:
战斗管理语言有能力的计算机产生的力量
作者:
R. R. Bronkers
;
H. Henderson
;
N. M. de Reus
;
A. Alstad
;
O. M. Mevassvik
;
G. Skogsmd
会议名称:
《Simulation Multiconference》
|
2011年
关键词:
Battle Management Language;
Computer Generated Forces;
Agent Modelling;
Artificial Intelligence;
Context Based Reasoning;
BDI;
61.
A USAF DMO Compliant, Air Battle Management, Mission Training Center for the Royal Australian Air Force
机译:
USAF DMO兼容,空战管理,澳大利亚皇家空军的使命培训中心
作者:
Lucien Zalcman
;
Jon Blacklock
会议名称:
《Simulation Multiconference》
|
2011年
关键词:
DMO;
LVC;
Coalition Training;
Distributed Simulation Interoperability;
DIS;
HLA;
62.
Generating Simulation Code from Federation Models: A Field Artillery Case Study
机译:
从联合模型生成仿真代码:现场炮兵案例研究
作者:
Gurkan Ozhan
;
Halit Oguztuziin
会议名称:
《Simulation Multiconference》
|
2011年
关键词:
Graph-based model transformation;
Field artillery;
HLA;
Live sequence chart;
Code generation;
63.
The GM-W Tailored for a Naval Ship-Handling Training Simulation
机译:
GM-W量身定制的海军船舶处理培训模拟
作者:
Jeroen Voogd
;
Manfred Roza
;
Ad van Lier
会议名称:
《Simulation Multiconference》
|
2011年
关键词:
Verification;
Validation;
GM-W;
Motion simulation;
64.
Scalable and Embeddable Data Logging for Live, Virtual and Constructive Simulation: HLA, Link 16, DIS and more
机译:
用于实时,虚拟和建设性模拟的可扩展和嵌入数据记录:HLA,LINK 16,DIS和更多
作者:
Bjorn Moller
;
Fredrik Antelius
;
Tom van den Berg
;
Roger Jansen
会议名称:
《Simulation Multiconference》
|
2011年
关键词:
Simulation;
Training;
After Action Review;
Interoperability;
Data logging;
HLA;
DIS;
Link 16;
Voice;
65.
SITUATION CALCULUS APPROACH TO THE OIL PRODUCTS SUPPLY CONTROL SYSTEM
机译:
油产品供应控制系统的情况微积分方法
作者:
Victor Romanov
;
Ilya Moskovoy
;
Kseniya Grigoryeva
会议名称:
《Simulation Multiconference》
|
2013年
关键词:
Environment protection;
Oil supply industry;
Oil pollution;
Situation calculus;
Business rules;
Case-based reasoning;
66.
Task Mapping in Rectangular Twisted Tori
机译:
任务映射在矩形扭曲的扭矩
作者:
Cristobal Camarero
;
Enrique Vallejo
;
Carmen Martinez
;
Miquel Moreto
;
Ramon Beivide
会议名称:
《Simulation Multiconference》
|
2013年
关键词:
Network topologies;
Application mapping;
Rectangular twisted torus;
67.
Practical Considerations for Implementing Homeland Security Models Simulations
机译:
实施国土安全模型和模拟的实践考虑因素
作者:
Charles W. Hutchings
;
Sanjay Jain
;
Y. Tina Lee
;
Charles McLean
会议名称:
《Simulation Multiconference》
|
2013年
关键词:
Guidelines;
Logic Model;
Framework;
Standards;
Program managers;
68.
Improved Performance of Bidirectional Multistage Interconnection Networks by Reconfiguration
机译:
通过重新配置改进了双向多级互连网络的性能
作者:
Daniel Ludtke
;
Dietmar Tutsch
;
Arvid Walter
;
Gunter Hommel
会议名称:
《Simulation Multiconference》
|
2005年
关键词:
Reconfiguration;
Multistage interconnection networks;
Performance;
Simulation;
69.
Multicast in Switches: Packet Sequences versus Independent Packets
机译:
交换机中的组播:数据包序列与独立数据包
作者:
Dietmar Tutsch
;
Daniel Ludtke
会议名称:
《Simulation Multiconference》
|
2005年
关键词:
Correlated traffic;
Multicasting;
Multistage interconnection networks;
Packet sequences;
Performance;
70.
An Approach for Analysis of Incident Response Policy Procedures
机译:
一种分析事件响应政策程序的方法
作者:
Vardan Matevosyan
会议名称:
《Simulation Multiconference》
|
2005年
关键词:
Security policy;
Incident response;
Formal analysis;
71.
Pacing to Improve SACK TCP Resilience
机译:
起步提高大袋TCP弹性
作者:
Qiang Ye
;
Mike H. MacGregor
会议名称:
《Simulation Multiconference》
|
2005年
关键词:
Pacing;
Resilience;
SACK TCP;
Petri Nets;
72.
Verification of Protocol BGP via Decomposition of Petri Net Model into Functional Subnets
机译:
通过将Petri Net模型分解成功能子网的协议BGP验证
作者:
Dmitry A. Zaitsev
会议名称:
《Simulation Multiconference》
|
2005年
关键词:
Petri net;
BGP;
Invariance;
Decomposition;
Functional subnet;
73.
Performance Measures for Distributed Storage
机译:
分布式存储的性能措施
作者:
Ricardo Marcelin-Jimenez
会议名称:
《Simulation Multiconference》
|
2005年
关键词:
Mean time to failure;
Markov chains;
74.
Modeling and Verification of Distributed Control Systems
机译:
分布式控制系统的建模与验证
作者:
Hans-Michael Hanisch
;
Valeriy Vyatkin
会议名称:
《Simulation Multiconference》
|
2005年
75.
CONTENT MANAGEMENT IN P2P COMMUNITIES THROUGH TOKENS
机译:
通过令牌的P2P社区内的内容管理
作者:
Herwig Unger
;
Markus Wulff
会议名称:
《Simulation Multiconference》
|
2005年
76.
Multi-Agent Communication - Methods for Group Social Exchange using Natural Language
机译:
多代理通信 - 使用自然语言进行组社交交换的方法
作者:
Dario Nardi
会议名称:
《Simulation Multiconference》
|
2005年
关键词:
Agents;
Group;
Communication;
Social exchange;
Natural language;
77.
The Cumulus Assessment Module as General SLA Evaluation Mechanism for Telecommunication Services
机译:
积云评估模块作为电信服务的一般SLA评估机制
作者:
Peter Reichl
;
Wolfgang Haidegger
会议名称:
《Simulation Multiconference》
|
2005年
关键词:
Service Level Agreements;
Operations Systems and Business Systems Support;
Sequential Probability Ratio Test;
Network Management;
78.
Modeling and Simulation of Military Group Behavior
机译:
军事群体行为的建模与仿真
作者:
Mamadou Seek
;
Claudia Frydman
;
Norbert Giambiasi
会议名称:
《Simulation Multiconference》
|
2005年
关键词:
Human behaviour;
DEVS;
Performance moderators;
Interactions;
CGFs;
79.
Replica Voting Mechanisms for Secure Real-time Embedded Systems
机译:
用于安全实时嵌入式系统的副本投票机制
作者:
K. A. Kwiat
;
K. Ravindran
会议名称:
《Simulation Multiconference》
|
2005年
80.
An Agent-Oriented Simulation of RNA Folding and its Application to the Analysis of RNA Conformational Spaces
机译:
导致的RNA折叠模拟及其在RNA构象空间分析中的应用
作者:
Wilfred Ndifon
;
Asamoah Nkwanta
会议名称:
《Simulation Multiconference》
|
2005年
关键词:
RNA secondary structures;
Conformational spaces;
RNA design;
Metastable RNA;
Bioinformatics;
81.
Towards Traffic Light Control through a Multiagent Cooperative System: A Simulation-Based Study
机译:
通过多层协作系统对交通光控制:基于仿真的研究
作者:
Francisco Guzman
;
Leonardo Garrido
会议名称:
《Simulation Multiconference》
|
2005年
关键词:
Agent-Based Systems;
Multiagent Systems;
Cooperative System;
Traffic Light Control;
82.
Decentralized Packet Clustering in Networks Applied to Particle Swarm Optimization
机译:
应用于粒子群优化的网络中分散的数据包聚类
作者:
Stefan Janson
;
Daniel Merkle
;
Martin Middendorf
会议名称:
《Simulation Multiconference》
|
2005年
83.
Scalable Interest Management in Distributed Simulation of Intelligent Systems
机译:
智能系统分布式仿真中可扩展的兴趣管理
作者:
Bora I. Kumova
会议名称:
《Simulation Multiconference》
|
2005年
关键词:
Distributed Simulation;
Interest Management;
Data Distribution Management;
Non-deterministic Applications;
84.
Tool Support for Model Transformation to Analyze Dynamic Behavior of Large-Scale Systems
机译:
用于分析大型系统的动态行为的模型转换工具支持
作者:
Marta E. Calderon
;
Michael E. Shin
会议名称:
《Simulation Multiconference》
|
2005年
关键词:
UML;
CPN;
Model Transformation;
Tool Support;
85.
Distributed Utility Model for Distributed Multimedia Server Systems
机译:
分布式多媒体服务器系统的分布式实用新型
作者:
Md Mostofa Akbar
;
M. Sohel Rahman
;
E. G. Manning
;
G. C. Shoja
会议名称:
《Simulation Multiconference》
|
2005年
关键词:
Distributed systems;
Multimedia;
Admission control;
86.
Scheduling on Multiprocessors Using Task Duplication
机译:
使用任务复制的多处理器调度
作者:
Pranay Chaudhuri
;
Jeffrey Elcock
会议名称:
《Simulation Multiconference》
|
2005年
关键词:
Task scheduling;
Distributed computing environment;
Distributed algorithm;
Optimal schedule;
Time complexity;
87.
Shawn: A new approach to simulating wireless sensor networks
机译:
肖恩:模拟无线传感器网络的一种新方法
作者:
A. Kroller
;
D. Pfisterer
;
C. Buschmann
;
S. P. Fekete
;
S. Fischer
会议名称:
《Simulation Multiconference》
|
2005年
88.
Modeling and Simulation of the Open Source Software Community
机译:
开源软件社区的建模与仿真
作者:
Yongqin Gao
;
Greg Madey
;
Vince Freeh
会议名称:
《Simulation Multiconference》
|
2005年
89.
MULTIDOMAIN MODELING OF COMMUNICATIONS NETWORKS USING VIEW INTEGRATION
机译:
使用View集成的通信网络多域建模
作者:
Moinul H. Khan
;
Vijay K. Madisetti
会议名称:
《Simulation Multiconference》
|
2006年
90.
Specification of Dynamic Structure Discrete Event Multiagent Systems
机译:
动态结构离散事件多算系统规范
作者:
Raphaeel Duboz
;
David Versmisse
;
Gauthier Quesnel
;
Alexandre Muzy
;
Eric Ramat
会议名称:
《Simulation Multiconference》
|
2006年
关键词:
DSDEVS;
multiagent systems;
formalization;
multimodeling;
91.
Chaos-Theoretic Algorithm for Generating Zipfian File Sizes using Single Intermittency Maps
机译:
使用单个间隔映射生成ZIPFIAN文件大小的混沌 - 理论算法
作者:
Sumit Naiksatam
;
Nirdosh Bhatnagar
;
Silvia Figueira
会议名称:
《Simulation Multiconference》
|
2006年
关键词:
Chaos theory;
Intermittency maps;
Power-law distribution;
Generalized Zipf's law;
File sizes;
Online simulator;
92.
Specification of Dynamic Structure Discrete Event Multiagent Systems
机译:
动态结构离散事件多算系统规范
作者:
Raphael Duboz
;
David Versmisse
;
Gauthier Quesnel
;
Alexandre Muzy
;
Eric Ramat
会议名称:
《Simulation Multiconference》
|
2006年
关键词:
DSDEVS;
Multiagent systems;
Formalization;
Multimodeling;
93.
MULTIDOMAIN MODELING OF COMMUNICATIONS NETWORKS USING VIEW INTEGRATION
机译:
使用View集成的通信网络多域建模
作者:
Moinul H. Khan
;
Vijay K. Madisetti
会议名称:
《Simulation Multiconference》
|
2006年
94.
Modeling and Simulation of the Escalation Archetype in Computer Security
机译:
计算机安全中升级原型的建模与仿真
作者:
Shalom N. Rosenfeld
;
Ioana Rus
;
Michel Cukier
会议名称:
《Simulation Multiconference》
|
2006年
关键词:
Software and computer system security;
Attacks;
Countermeasures;
System dynamics;
System archetypes;
95.
Chaos-Theoretic Algorithm for Generating Zipfian File Sizes using Single Intermittency Maps
机译:
使用单个间隔映射生成ZIPFIAN文件大小的混沌 - 理论算法
作者:
Sumit Naiksatam
;
Nirdosh Bhatnagar
;
Silvia Figueira
会议名称:
《Simulation Multiconference》
|
2006年
关键词:
chaos theory;
intermittency maps;
power-law distribution;
generalized Zipf's law;
file sizes;
online simulator;
96.
Modeling and Simulation of the Escalation Archetype in Computer Security
机译:
计算机安全中升级原型的建模与仿真
作者:
Shalom N. Rosenfeld
;
Ioana Rus
;
Michel Cukier
会议名称:
《Simulation Multiconference》
|
2006年
关键词:
software and computer system security;
attacks;
countermeasures;
system dynamics;
system archetypes;
97.
A Modular Verification Framework Based on Finite Deterministic DEVS
机译:
基于有限和确定性开发的模块化验证框架
作者:
Moon Ho Hwang
;
Bernard P. Zeigler
会议名称:
《Simulation Multiconference》
|
2006年
关键词:
Discrete Event System Specification (DEVS);
Finite and Deterministic DEVS;
Modular Verification Framework;
Illegal Behavior;
Legal Behavior;
98.
A Reachable Graph of Finite and Deterministic DEVS Networks
机译:
有限和确定性开发网络的可达图表
作者:
Moon Ho Hwang
;
Bernard P. Zeigler
会议名称:
《Simulation Multiconference》
|
2006年
关键词:
Discrete Event System Specification (DEVS);
Finite Reachable Graph;
Time Abstraction;
Difference Bound Matrix;
Verification;
99.
AN INSTITUTIONAL MODEL FOR THE ADMINISTRATION AND SUPPORT OF MULTIDISCIPLINARY MS GRADUATE PROGRAMS
机译:
多学科M&S研究生课程管理与支持的机构模式
作者:
Philip J. Langlais
会议名称:
《Simulation Multiconference》
|
2008年
关键词:
Modeling and simulation;
Graduate education;
Multidisciplinary programs;
Program organizational model;
100.
Maximizing Cardiac Surgery Throughput at a Major Hospital
机译:
最大化主要医院的心脏手术吞吐量
作者:
Carter Price
;
Timothy Babineau
;
Bruce Golden
;
Bartley Griffith
;
Edward Wasil
会议名称:
《Simulation Multiconference》
|
2008年
关键词:
Throughput;
Hospital Management;
Optimization;
意见反馈
回到顶部
回到首页