掌桥科研
一站式科研服务平台
科技查新
收录引用
专题文献代查
外文数据库(机构版)
更多产品
首页
成为会员
我要充值
退出
我的积分:
中文会员
开通
中文文献批量获取
外文会员
开通
外文文献批量获取
我的订单
会员中心
我的包量
我的余额
登录/注册
文献导航
中文期刊
>
中文会议
>
中文学位
>
中国专利
>
外文期刊
>
外文会议
>
外文学位
>
外国专利
>
外文OA文献
>
外文科技报告
>
中文图书
>
外文图书
>
工业技术
基础科学
医药卫生
农业科学
教科文艺
经济财政
社会科学
哲学政法
其他
工业技术
基础科学
医药卫生
农业科学
教科文艺
经济财政
社会科学
哲学政法
其他
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
材料科学
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
马克思主义、列宁主义、毛泽东思想、邓小平理论
哲学、宗教
社会科学总论
政治、法律
军事
经济
文化、科学、教育、体育
语言、文字
文学
艺术
历史、地理
自然科学总论
数理科学和化学
天文学、地球科学
生物科学
医药、卫生
农业科学
工业技术
交通运输
航空、航天
环境科学、安全科学
综合性图书
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
材料科学
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
材料科学
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
美国国防部AD报告
美国能源部DE报告
美国航空航天局NASA报告
美国商务部PB报告
外军国防科技报告
美国国防部
美国参联会主席指示
美国海军
美国空军
美国陆军
美国海军陆战队
美国国防技术信息中心(DTIC)
美军标
美国航空航天局(NASA)
战略与国际研究中心
美国国土安全数字图书馆
美国科学研究出版社
兰德公司
美国政府问责局
香港科技大学图书馆
美国海军研究生院图书馆
OALIB数据库
在线学术档案数据库
数字空间系统
剑桥大学机构知识库
欧洲核子研究中心机构库
美国密西根大学论文库
美国政府出版局(GPO)
加利福尼亚大学数字图书馆
美国国家学术出版社
美国国防大学出版社
美国能源部文献库
美国国防高级研究计划局
美国陆军协会
美国陆军研究实验室
英国空军
美国国家科学基金会
美国战略与国际研究中心-导弹威胁网
美国科学与国际安全研究所
法国国际关系战略研究院
法国国际关系研究所
国际宇航联合会
美国防务日报
国会研究处
美国海运司令部
北约
盟军快速反应部队
北约浅水行动卓越中心
北约盟军地面部队司令部
北约通信信息局
北约稳定政策卓越中心
美国国会研究服务处
美国国防预算办公室
美国陆军技术手册
一般OA
科技期刊论文
科技会议论文
图书
科技报告
科技专著
标准
其它
美国卫生研究院文献
分子生物学
神经科学
药学
外科
临床神经病学
肿瘤学
细胞生物学
遗传学
公共卫生&环境&职业病
应用微生物学
全科医学
免疫学
动物学
精神病学
兽医学
心血管
放射&核医学&医学影像学
儿科
医学进展
微生物学
护理学
生物学
牙科&口腔外科
毒理学
生理学
医院管理
妇产科学
病理学
生化技术
胃肠&肝脏病学
运动科学
心理学
营养学
血液学
泌尿科学&肾病学
生物医学工程
感染病
生物物理学
矫形
外周血管病
药物化学
皮肤病学
康复学
眼科学
行为科学
呼吸学
进化生物学
老年医学
耳鼻喉科学
发育生物学
寄生虫学
病毒学
医学实验室检查技术
生殖生物学
风湿病学
麻醉学
危重病护理
生物材料
移植
医学情报
其他学科
人类生活必需品
作业;运输
化学;冶金
纺织;造纸
固定建筑物
机械工程;照明;加热;武器;爆破
物理
电学
人类生活必需品
作业;运输
化学;冶金
纺织;造纸
固定建筑物
机械工程;照明;加热;武器;爆破
物理
电学
马克思主义、列宁主义、毛泽东思想、邓小平理论
哲学、宗教
社会科学总论
政治、法律
军事
经济
文化、科学、教育、体育
语言、文字
文学
艺术
历史、地理
自然科学总论
数理科学和化学
天文学、地球科学
生物科学
医药、卫生
农业科学
工业技术
交通运输
航空、航天
环境科学、安全科学
综合性图书
主题
主题
题名
作者
关键词
摘要
高级搜索 >
外文期刊
外文会议
外文学位
外国专利
外文图书
外文OA文献
中文期刊
中文会议
中文学位
中国专利
中文图书
外文科技报告
清除
历史搜索
清空历史
首页
>
外文会议
>
其他
>
Symposium on Theory of Modeling and Simulation
Symposium on Theory of Modeling and Simulation
召开年:
召开地:
出版时间:
-
会议文集:
-
会议论文
热门论文
全部论文
全选(
0
)
清除
导出
1.
Mission Critical Publish-Subscribe Performance Modeling using Linear Algebraic and Classical Methods
机译:
任务关键发布 - 使用线性代数和古典方法的性能建模
作者:
Michael Todd Gardner
;
Cory Beard
;
Appie Van de Liefvoort
会议名称:
《Symposium on Theory of Modeling and Simulation》
|
2015年
关键词:
Matrix exponential distribution;
QNA;
Queueing Network Analyzer;
Performance Modeling;
SOA;
Publish-Subscribe;
2.
Integrated Framework for Model-Driven Systems Engineering: A Research Roadmap
机译:
模型驱动系统工程综合框架:研究路线图
作者:
Hamzat Olanrewaju Aliyu
;
Mamadou Kaba Traore
会议名称:
《Symposium on Theory of Modeling and Simulation》
|
2016年
关键词:
SimStudio;
HiLLS;
Language Integration;
Model-Driven Systems Engineering;
3.
SpSIR: A Spatially-Dependent Sequential Importance Resampling For High Dimensional Spatial Temporal System Simulation
机译:
SPSIR:用于高维空间时间系统仿真的空间依赖性连续重新采样
作者:
Yuan Long
;
Xiaolin Hu
会议名称:
《Symposium on Theory of Modeling and Simulation》
|
2015年
关键词:
Particle filter;
High dimensional;
Data assimilation;
Resampling;
4.
Asynchronous, Polynomial ODE Solvers based on Error Estimation
机译:
异步,基于误差估计的多项式颂词
作者:
Fernando Barros
会议名称:
《Symposium on Theory of Modeling and Simulation》
|
2015年
关键词:
Asynchronous numerical ODE solvers;
Modular representation;
HFSS formalism;
5.
A comparative study of pending event set implementations for PDEVS simulation
机译:
PDEVS仿真待定事件集实现的比较研究
作者:
Romain Franceschini
;
Paul-Antoine Bisgambiglia
;
Paul Bisgambiglia
会议名称:
《Symposium on Theory of Modeling and Simulation》
|
2015年
关键词:
Discrete event simulation;
DEVS;
PDEVS;
DEVS-Ruby;
Pending event set;
PES;
Future event set;
DEVStone;
Benchmark;
Comparison;
Performance analysis;
6.
Explicit Semantic Adaptation of Hybrid Formalisms for FMI Co-Simulation
机译:
用于FMI共模的混合形式主义的显式语义适应
作者:
Joachim Denil
;
Bart Meyers
;
Paul De Meulenaere
;
Hans Vangheluwe
会议名称:
《Symposium on Theory of Modeling and Simulation》
|
2015年
关键词:
Functional Mock-up Interface;
Co-simulation;
MDE;
Semantic Adaptation;
Heterogeneous Modelling;
7.
A Model-based Trace Testing Approach for Validation of Formal Co-simulation Models
机译:
基于模型的微量化测试方法,用于验证正式共仿模型
作者:
Adisak Intana
;
Michael R. Poppleton
;
Geoff V. Merrett
会议名称:
《Symposium on Theory of Modeling and Simulation》
|
2015年
关键词:
Co-simulation;
Formal methods;
Wireless sensor networks;
Model-based trace testing;
Validation coverage;
8.
A Model-driven Framework for Distributed Simulation of Autonomous Systems
机译:
自主系统分布式模拟模型驱动框架
作者:
Paolo Bocciarelli
;
Andrea DAmbrogio
;
Andrea Giglio
;
Emiliano Paglia
会议名称:
《Symposium on Theory of Modeling and Simulation》
|
2015年
关键词:
Distributed simulation;
Autonomous systems;
Model-driven development;
MDA;
9.
Visual and Persistence Behavior Modeling for DEVS in CoSMoS
机译:
宇宙中的DEVS的视觉和持久性行为建模
作者:
Mostafa D. Fard
;
Hessam S. Sarjoughian
会议名称:
《Symposium on Theory of Modeling and Simulation》
|
2015年
关键词:
CoSMoS;
EMF;
GMF;
Parallel DEVS;
Statecharts;
Visual and Persistence Modeling;
10.
Model-Based Testing Approach for MATLAB/Simulink using System Entity Structure and Experimental Frames
机译:
基于模型的Matlab / Simulink使用系统实体结构和实验帧的测试方法
作者:
Artur Schmidt
;
Umut Durak
;
Christoph Rasch
;
Thorsten Pawletta
会议名称:
《Symposium on Theory of Modeling and Simulation》
|
2015年
关键词:
Model-based testing;
Verification and validation;
Experimental frame;
System entity structure;
MATLAB/Simulink;
11.
Towards A Probabilistic Interpretation of Validity for Simulation Models
机译:
朝着仿真模型有效性的概率解释
作者:
James J. Nutaro
;
Bernard P. Zeigler
会议名称:
《Symposium on Theory of Modeling and Simulation》
|
2015年
关键词:
Validation;
Verification;
Modeling and simulation;
Experimental frames;
Intended use;
12.
Generation of an Optimised Master Algorithm for FMI Co-simulation
机译:
生成FMI共模的优化主算法
作者:
Bert Van Acker
;
Joachim Denil
;
Hans Vangheluwe
;
Paul De Meulenaere
会议名称:
《Symposium on Theory of Modeling and Simulation》
|
2015年
关键词:
Co-Simulation;
FMI;
Model-Driven Engineering;
Domain-Specific Language;
Model Transformation;
13.
On the integration of HLA and FMI for supporting interoperability and reusability in distributed simulation
机译:
关于HLA和FMI集成在分布式模拟中支持互操作性和可重用性的研究
作者:
Alfredo Garro
;
Alberto Falcone
会议名称:
《Symposium on Theory of Modeling and Simulation》
|
2015年
关键词:
High Level Architecture (HLA);
Functional Mock-up Interface (FMI);
Model-based Integration;
Distributed Simulations;
14.
SES Extension to Integrate Abstraction Hierarchy into DEVS Modeling and Simulation
机译:
SES扩展将抽象层次结构集成到DEVS建模和仿真中
作者:
J. F. Santucci
;
L. Capocchi
;
B. P. Zeigler
会议名称:
《Symposium on Theory of Modeling and Simulation》
|
2015年
关键词:
Discrete-event formalism;
Abstraction;
Hierarchy;
SES;
DEVS;
DEVSimPy;
15.
A Method for Quantified Confidence of DEVS Validation
机译:
一种量化DEVS验证的置信方法
作者:
Megan Olsen
;
Mohammad Raunak
会议名称:
《Symposium on Theory of Modeling and Simulation》
|
2015年
关键词:
DEVS;
Validation;
Verification;
16.
Superdense Time Trajectories for DEVS Simulation Models
机译:
DEVS仿真模型的SuperDense时间轨迹
作者:
Hessam S. Sarjoughian
;
Savitha Sundaramoorthi
会议名称:
《Symposium on Theory of Modeling and Simulation》
|
2015年
关键词:
BIRT;
Data Trajectories;
DEVS-Suite Simulator;
Dynamic Visualization;
Event Chart;
Linear Time;
Piecewise Constant Chart;
Superdense Time;
17.
Model Transformations for Round-Trip Engineering in Control Deployment Co-Design
机译:
控制部署协同设计中往返工程的模型变换
作者:
Ken Vanherpen
;
Joachim Denil
;
Hans Vangheluwe
;
Paul De Meulenaere
会议名称:
《Symposium on Theory of Modeling and Simulation》
|
2015年
关键词:
Behavioural Modelling;
Co-Design;
Deployment Optimization;
Real-Time Embedded Systems;
Round-Trip Engineering (RTE);
18.
Semantic Selection for Model Composition using SAMSaaS
机译:
使用SAMSAAS的模型组合的语义选择
作者:
Sixuan Wang
;
Gabriel Wainer
会议名称:
《Symposium on Theory of Modeling and Simulation》
|
2015年
关键词:
Model composition;
Semantic composition;
Model selection;
Tag mining;
Ontology learning;
19.
DEVS Distributed Parallel Architecture for Enterprise Simulation
机译:
DEVS分布式并行架构进行企业仿真
作者:
Robert Kewley
;
Alex MacCalman
;
Joseph McDonnell
;
Carl Hein
会议名称:
《Symposium on Theory of Modeling and Simulation》
|
2015年
关键词:
DEVS;
Parallel Discrete Event Simulation;
Distributed Systems;
Functional Programming;
20.
Integrating Web-based Simulation on IT Systems with Finite Probabilistic DEVS
机译:
将基于Web的仿真集成在IT系统中,具有有限的概率Devs
作者:
Chungman Seo
;
Bernard P. Zeigler
;
Doohwan Kim
;
Kenneth Duncan
会议名称:
《Symposium on Theory of Modeling and Simulation》
|
2015年
关键词:
Finite Probabilistic DEVS;
DEVS Natural Language;
System Entity Structure;
Web-based Simulation;
MS4 Me;
21.
What's the Best Possible Speedup Achievable in Distributed Simulation: Amdahl's Law Reconstructed
机译:
分布式模拟中可实现的最佳加速是什么:Amdahl的法律重建
作者:
Bernard P. Zeigler
;
James J. Nutaro
;
Chungman Seo
会议名称:
《Symposium on Theory of Modeling and Simulation》
|
2015年
关键词:
Amdahl's law;
Speedup;
Distributed simulation;
DEVS;
22.
FMI-Based Distributed Multi-Simulation with DACCOSIM
机译:
基于FMI的分布式多模拟Daccosim
作者:
Virginie Galtier
;
Stephane Vialle
;
Cherifa Dad
;
Jean-Philippe Tavella
;
Jean-Philippe Lam-Yee-Mui
;
Gilles Plessis
会议名称:
《Symposium on Theory of Modeling and Simulation》
|
2015年
关键词:
FMI 2.0;
Multi-simulation;
Distributed architecture;
Framework;
Error control;
23.
PythonPDEVS: A distributed Parallel DEVS simulator
机译:
Pythonpdevs:分布式并行开发模拟器
作者:
Yentl Van Tendeloo
;
Hans Vangheluwe
会议名称:
《Symposium on Theory of Modeling and Simulation》
|
2015年
关键词:
Simulation;
Python;
Time Warp;
Distribution;
Parallel DEVS;
Performance;
24.
Sequential PDEVS Architecture
机译:
顺序PDEVS架构
作者:
Damian Vicino
;
Daniella Niyonkuru
;
Gabriel Wainer
;
Olivier Dalle
会议名称:
《Symposium on Theory of Modeling and Simulation》
|
2015年
关键词:
PDEVS;
Sequential;
Architecture;
Simulator;
25.
Time-Parallel Multi-Delay Logic Simulation
机译:
时间并行多延迟逻辑模拟
作者:
Peter M. Maurer
会议名称:
《Symposium on Theory of Modeling and Simulation》
|
2016年
关键词:
Logic Simulation;
Multi-Delay Simulation;
Discrete Simulation;
Oblivious Simulation;
Time-Parallel Simulation;
26.
A Kernel for Embedded Systems Development and Simulation using the Boost Library
机译:
使用Boost库的嵌入式系统开发和仿真的内核
作者:
Daniella Niyonkuru
;
Gabriel Wainer
会议名称:
《Symposium on Theory of Modeling and Simulation》
|
2016年
27.
Composition of Composable Cellular Automata with Respect to Their Dimensional Attributes
机译:
可组合蜂窝自动机构的构成相对于尺寸属性
作者:
Gary R. Mayer
会议名称:
《Symposium on Theory of Modeling and Simulation》
|
2016年
关键词:
Composable Cellular Automata;
Hybrid;
Multi-formalism;
Composability;
28.
Data Driven Simulation Modeling for Mobile Agent-based Systems
机译:
基于移动代理的系统的数据驱动仿真建模
作者:
Nicholas Keller
;
Xiaolin Hu
会议名称:
《Symposium on Theory of Modeling and Simulation》
|
2016年
关键词:
Simulation modeling;
Mobile agent-based systems;
Data driven;
Knowledge driven;
29.
Simulation Deployment Blockset for MATLAB/Simulink
机译:
MATLAB / SIMULINK的仿真部署块集
作者:
Umut Durak
;
Anil Ozturk
;
Mehmet Katircioglu
会议名称:
《Symposium on Theory of Modeling and Simulation》
|
2016年
关键词:
Simulation Deployment;
Continuous Delivery;
Model-Based Simulation Systems Engineering;
30.
An Advanced Data Type with Irrational Numbers to Implement Time in DEVS Simulators
机译:
具有非理性数据类型的高级数据类型以在DEVS模拟器中实现时间
作者:
Damian Vicino
;
Olivier Dalle
;
Gabriel Wainer
会议名称:
《Symposium on Theory of Modeling and Simulation》
|
2016年
关键词:
Time;
Data types;
Irrational;
31.
An Approach for Activity-based DEVS Model Specification
机译:
一种基于活动的DEVS模型规范方法
作者:
Abdurrahman Alshareef
;
Hessam S. Sarjoughian
;
Bahram Zarrin
会议名称:
《Symposium on Theory of Modeling and Simulation》
|
2016年
关键词:
Activity modeling;
Behavior Modeling;
Parallel DEVS;
UML;
32.
A Model Driven Approach to Web-based Traffic Simulation
机译:
基于Web的Web的流量模拟模型驱动方法
作者:
Deniz Cetinkaya
会议名称:
《Symposium on Theory of Modeling and Simulation》
|
2016年
关键词:
Model driven development;
Traffic simulation;
Web-based simulation;
33.
Scheduling Predictability in I-DEVS by Schedulability Analysis
机译:
通过调度分析调度I-Devs中的可预测性
作者:
Braulio Adriano de Mello
;
Gabriel A. Wainer
会议名称:
《Symposium on Theory of Modeling and Simulation》
|
2016年
关键词:
Imprecise DEVS;
Real-Time Systems;
Schedulability Analysis;
34.
DEVS Distributed Modeling Framework - A Parallel DEVS Implementation via Microservices
机译:
DEVS分布式建模框架 - 通过微猎狼犬的并行开发人员实现
作者:
Robert Kewley
;
Neil Kester
;
Joseph McDonnell
会议名称:
《Symposium on Theory of Modeling and Simulation》
|
2016年
关键词:
DEVS;
Parallel Discrete Event Simulation;
Distributed Systems;
Cloud Computing;
35.
Simulation Fidelity Distance: A Game-Theoretic Framework
机译:
仿真保真度距离:游戏 - 理论框架
作者:
Sangeeth Saagar Ponnusamy
;
Vincent Albert
;
Patrice Thebault
会议名称:
《Symposium on Theory of Modeling and Simulation》
|
2016年
关键词:
Simulation;
Verification amp;
Validation;
Alternating Games;
Quantitative Reachability;
36.
Data Assimilation in Discrete Event Simulations - A Rollback based Sequential Monte Carlo Approach
机译:
离散事件模拟中的数据同化 - 基于回滚的序贯蒙特卡罗方法
作者:
Xu Xie
;
Alexander Verbraeck
;
Feng Gu
会议名称:
《Symposium on Theory of Modeling and Simulation》
|
2016年
关键词:
Data Assimilation;
Discrete event simulations;
Sequential Monte Carlo methods;
Rollback;
37.
Coupling Petri nets with Deterministic Formalisms Using Co-simulation
机译:
使用共模拟耦合培养网具有确定性形式的形式
作者:
David P. Y. Lawrence
;
Claudio Gomes
;
Joachim Denil
;
Hans Vangheluwe
;
Didier Buchs
会议名称:
《Symposium on Theory of Modeling and Simulation》
|
2016年
关键词:
Co-simulation;
Fmi;
Non-determinism;
Petri-nets;
Causal block diagrams;
38.
WIP - Promoting Good Modeling Practice with a Domain-Specific Language and Statistical Algorithms designed for Parallel Computing
机译:
WIP - 通过设计用于并行计算的域特定语言和统计算法来推广良好的建模实践
作者:
Benoit Bayol
;
Yuting Chen
;
Charlotte Baey
;
Gautier Viaud
;
Paul-Henry Cournede
会议名称:
《Symposium on Theory of Modeling and Simulation》
|
2015年
关键词:
Dynamical system;
Hidden Markov models;
Good modeling practice;
Statistical algorithms;
Parallel computing;
39.
Automatic generation of simulation models for early stage evaluation of physical system topologies (WIP)
机译:
自动生成物理系统拓扑早期评估的仿真模型(WIP)
作者:
Josef Muller
;
Klaas Gadeyne
;
Mike Nicolai
;
Herman Van der Auweraer
会议名称:
《Symposium on Theory of Modeling and Simulation》
|
2015年
关键词:
Synthesis;
Simulation;
Design Space Exploration;
Architecture;
Topology;
Model transformations;
40.
Combining DEVS with Multi-agent Concepts to Design and Simulate Multi-models of Complex Systems (WIP)
机译:
将具有多功能概念的DEVS组合设计和模拟复杂系统的多模型(WIP)
作者:
Benjamin Camus
;
Christine Bourjot
;
Vincent Chevrier
会议名称:
《Symposium on Theory of Modeling and Simulation》
|
2015年
关键词:
Complex system;
Multi-model;
Meta-model;
Multi-agent;
DEVS;
41.
Building partitioning graphs in Parallel-DEVS context for parallel simulations (WIP)
机译:
在并行模拟的并行开发上下文中构建分区图(WIP)
作者:
C. Herbez
;
G. Quesnel
;
E. Ramat
会议名称:
《Symposium on Theory of Modeling and Simulation》
|
2015年
关键词:
Simulation;
Optimisation;
Graph;
Partition;
Multilevel;
GGGP;
DEVS;
42.
Activity Diagrams for DEVS Models: A Case Study Modeling Health Care Behavior (WIP)
机译:
DEVS模型的活动图:案例研究造型卫生保健行为(WIP)
作者:
Ozgur Ozmen
;
James Nutaro
会议名称:
《Symposium on Theory of Modeling and Simulation》
|
2015年
关键词:
DEVS;
Activity diagram;
Agent-based;
Activity life-cycle;
Health care modeling;
43.
Simulating information diffusion in a multidimensional social network using the DEVS formalism (WIP)
机译:
使用DEVS形式主义模拟多维社交网络中的信息扩散(WIP)
作者:
Youssef Bouanan
;
Mathilde Forestier
;
Judicael Ribault
;
Gregory Zacharewicz
;
Bruno Vallespir
;
Nejib Moalla
会议名称:
《Symposium on Theory of Modeling and Simulation》
|
2015年
关键词:
Multidimensional social network;
DEVS Formalism;
Information Propagation;
Human behavior;
Modeling and simulation;
44.
A Modular Representation of Fluid Stochastic Petri Nets
机译:
流体随机培养网的模块化表示
作者:
Fernando Barros
会议名称:
《Symposium on Theory of Modeling and Simulation》
|
2015年
关键词:
Fluid Stochastic Petri nets;
Modular representations;
HFSS formalism;
Hybrid systems;
45.
Simulating the Impact of Blind-Spots on the Frequency of Side-Sweep Accidents
机译:
模拟盲点对侧扫意外频率的影响
作者:
Gamini Bulumelle
;
Ladislau Boloni
会议名称:
《Symposium on Theory of Modeling and Simulation》
|
2015年
关键词:
Side Sweep;
Blind Spots;
Automobile Crashes;
Simulation Architecture;
Vehicle Dynamics;
46.
Improving the Flexibility of Simulation Modeling with Aspects
机译:
提高仿真建模与方面的灵活性
作者:
Priyasree Bhowmik
;
Nathaniel Osgood
;
Christopher Dutchyn
会议名称:
《Symposium on Theory of Modeling and Simulation》
|
2015年
关键词:
Flexibility;
Reproducibility;
Aspects;
Logging;
Tracing;
47.
Dimension Reduction in Statistical Simulation of Digital Circuits
机译:
数字电路统计模拟尺寸减小
作者:
Armin Alaghi
;
John P. Hayes
会议名称:
《Symposium on Theory of Modeling and Simulation》
|
2015年
关键词:
Statistical simulation;
Logic simulation;
Dimension reduction;
Logic design;
Boolean functions;
Correlation analysis;
48.
Explicit Modelling of a Parallel DEVS Experimentation Environment
机译:
并行开发实验环境的显式建模
作者:
Simon Van Mierlo
;
Yentl Van Tendeloo
;
Bruno Barroca
;
Sadaf Mustafiz
;
Hans Vangheluwe
会议名称:
《Symposium on Theory of Modeling and Simulation》
|
2015年
关键词:
Parallel DEVS;
Debugging;
Statecharts;
49.
Instrumentation and Preservation of Extra-Functional Properties of Simulink Models
机译:
Simulink模型的仪表和保护的仪器
作者:
Joachim Denil
;
Hany Kashif
;
Pansy Arafa
;
Hans Vangheluwe
;
Sebastian Fischmeister
会议名称:
《Symposium on Theory of Modeling and Simulation》
|
2015年
关键词:
Model Transformation;
MDE;
Instrumentation;
Simulink;
Real-time;
50.
Parsing and Model Generation for Biological Processes
机译:
解析和模型生物过程生成
作者:
Laouen Belloli
;
Gabriel Wainer
;
Rafael Najmanovich
会议名称:
《Symposium on Theory of Modeling and Simulation》
|
2016年
51.
Modeling Human Behavior to Anticipate Insider Attacks via System Dynamics
机译:
通过系统动态建模人类行为以期待内幕攻击
作者:
David Ackerman
;
Hoda Mehrpouyan
会议名称:
《Symposium on Theory of Modeling and Simulation》
|
2016年
关键词:
System dynamics;
Insider attack;
Modeling human behavior;
52.
An Aspect Oriented Framework to Applying Markov Chain Monte Carlo Methods with Dynamic Models
机译:
以动态模型应用马尔可夫链Monte Carlo方法的一个方面导向的框架
作者:
Priyasree Bhowmik
;
Christopher Dutchyn
;
Nathaniel Osgood
会议名称:
《Symposium on Theory of Modeling and Simulation》
|
2016年
关键词:
Markov Chain Monte Carlo (MCMC);
Dynamic Models;
Aspects;
53.
Hybrid Co-simulation of FMUs using DEVDESS in MECSYCO
机译:
MECSYCO中使用DEV&DESS的杂交共同仿真
作者:
Benjamin Camus
;
Virginie Galtier
;
Mathieu Caujolle
会议名称:
《Symposium on Theory of Modeling and Simulation》
|
2016年
关键词:
Co-simulation;
Hybrid model;
DEVS;
DEVamp;
DESS;
FMI;
54.
Teaching the Fundamentals of the Modelling of Cyber-Physical Systems
机译:
教导网络物理系统建模的基础
作者:
Yentl Van Tendeloo
;
Hans Vangheluwe
会议名称:
《Symposium on Theory of Modeling and Simulation》
|
2016年
关键词:
Simulation;
Modelling;
Cyber-Physical Systems;
Teaching;
55.
Integration of UML models in FMI-Based co-simulation
机译:
基于FMI的共模中UML模型的集成
作者:
Sahar Guermazi
;
Saadia Dhouib
;
Arnaud Cuccuru
;
Camille Letavernier
;
Sebastien Gerard
会议名称:
《Symposium on Theory of Modeling and Simulation》
|
2016年
关键词:
Co-simulation;
CPS;
FMI;
Executable UML;
56.
DesignDEVS: Reinforcing Theoretical Principles in a Practical and Lightweight Simulation Environment
机译:
DesignDevs:在实用和轻质仿真环境中加强理论原则
作者:
Rhys Goldstein
;
Simon Breslav
;
Azam Khan
会议名称:
《Symposium on Theory of Modeling and Simulation》
|
2016年
关键词:
Simulation development environment;
DEVS theory;
Lua programming language;
Modeling constraints;
Best practices;
57.
A Modular Representation of Asynchronous, Geometric Solvers
机译:
异步,几何求解器的模块化表示
作者:
Fernando J. Barros
会议名称:
《Symposium on Theory of Modeling and Simulation》
|
2016年
关键词:
Geometric solvers;
Multi-sampling solvers;
HFSS formalism;
Multi-paradigm models;
Hybrid systems;
Model interoperability;
Hamiltonian systems;
58.
A Quantum of Continuous Simulated Time
机译:
连续模拟时间量子
作者:
Rhys Goldstein
;
Simon Breslav
;
Azam Khan
会议名称:
《Symposium on Theory of Modeling and Simulation》
|
2016年
关键词:
Simulated time;
Discrete-event simulation;
Time precision;
Hierarchical model analysis;
Simultaneous events;
59.
Performance analysis of a PDEVS simulator supporting multiple synchronization protocols
机译:
支持多同步协议的PDEVS模拟器的性能分析
作者:
Ben Cardoen
;
Stijn Manhaeve
;
Tim Tuijn
;
Yentl Van Tendeloo
;
Kurt Vanmechelen
;
Hans Vangheluwe
;
Jan Broeckhove
会议名称:
《Symposium on Theory of Modeling and Simulation》
|
2016年
关键词:
Simulation;
Optimistic Synchronization;
Conservative Synchronization;
Performance;
Parallel DEVS;
60.
Towards performance-oriented perfective evolution of BPMN models
机译:
朝向以性能为导向的BPMN模型的完美演进
作者:
Andrea DAmbrogio
;
Emiliano Paglia
;
Paolo Bocciarelli
;
Andrea Giglio
会议名称:
《Symposium on Theory of Modeling and Simulation》
|
2016年
关键词:
Business Process;
BPMN;
MDA;
Simulation;
61.
Modular Design of Hybrid Languages by Explicit Modeling of Semantic Adaptation
机译:
用语义适应明确建模的混合语言模块化设计
作者:
Sadaf Mustafiz
;
Claudio Gomes
;
Hans Vangheluwe
;
Bruno Barroca
会议名称:
《Symposium on Theory of Modeling and Simulation》
|
2016年
关键词:
Modular language engineering;
Semantic adaptation;
Language composition;
Hybrid languages;
Fragments;
62.
Levelized Compiled Code Multi-Delay Logic Simulation
机译:
稳定编译代码多延迟逻辑模拟
作者:
Peter M. Maurer
会议名称:
《Symposium on Theory of Modeling and Simulation》
|
2015年
关键词:
Logic Simulation;
Oblivious Simulation;
Multi-Delay Simulation;
Levelized Compiled Code Simulation;
63.
DEVS Execution Acceleration with Machine Learning
机译:
使用机器学习开发执行加速度
作者:
Hesham Saadawi
;
Gabriel Wainer
;
German Pliego
会议名称:
《Symposium on Theory of Modeling and Simulation》
|
2016年
关键词:
Discrete Event System Specification DEVS;
Machine Learning;
Regression Models;
64.
A Study of the Automobile Blind-Spots' Spatial Dimensions and Angle of Orientation on Side-Sweep Accidents
机译:
侧扫事故汽车盲斑的空间尺寸和取向角度的研究
作者:
Gamini Bulumulle
;
Ladislau Boloni
会议名称:
《Symposium on Theory of Modeling and Simulation》
|
2016年
关键词:
Side Sweep;
Spatial Dimensions and Orientation;
Blind Spots;
Time to Change Lane;
Simulation Architecture;
65.
Towards an Efficient High-Level Modeling of Heterogeneous Image Processing Systems
机译:
朝着异构图像处理系统的高级别建模
作者:
Anna Deitsch
;
Vitali Schneider
;
Jennifer Kane
;
Winfried Dulz
;
Reinhard German
会议名称:
《Symposium on Theory of Modeling and Simulation》
|
2016年
关键词:
Model-driven engineering;
UML;
SysML;
MARTE;
UTP;
Heterogeneous Image Systems;
66.
Automatic Simulation Model Generation in the Context of Micro Manufacturing (WIP)
机译:
微型制造背景下的自动仿真模型生成(WIP)
作者:
Michael Lutjen
;
Daniel Rippel
;
Michael Freitag
会议名称:
《Symposium on Theory of Modeling and Simulation》
|
2015年
关键词:
Automatic Simulation Model Generation;
Manufacturing and Logistic Planning;
Micro Manufacturing;
Complex Logistic Functions;
意见反馈
回到顶部
回到首页