掌桥科研
一站式科研服务平台
科技查新
收录引用
专题文献检索
外文数据库(机构版)
更多产品
首页
成为会员
我要充值
退出
我的积分:
中文会员
开通
中文文献批量获取
外文会员
开通
外文文献批量获取
我的订单
会员中心
我的包量
我的余额
登录/注册
文献导航
中文期刊
>
中文会议
>
中文学位
>
中国专利
>
外文期刊
>
外文会议
>
外文学位
>
外国专利
>
外文OA文献
>
外文科技报告
>
中文图书
>
外文图书
>
工业技术
基础科学
医药卫生
农业科学
教科文艺
经济财政
社会科学
哲学政法
其他
工业技术
基础科学
医药卫生
农业科学
教科文艺
经济财政
社会科学
哲学政法
其他
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
材料科学
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
马克思主义、列宁主义、毛泽东思想、邓小平理论
哲学、宗教
社会科学总论
政治、法律
军事
经济
文化、科学、教育、体育
语言、文字
文学
艺术
历史、地理
自然科学总论
数理科学和化学
天文学、地球科学
生物科学
医药、卫生
农业科学
工业技术
交通运输
航空、航天
环境科学、安全科学
综合性图书
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
材料科学
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
材料科学
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
美国国防部AD报告
美国能源部DE报告
美国航空航天局NASA报告
美国商务部PB报告
外军国防科技报告
美国国防部
美国参联会主席指示
美国海军
美国空军
美国陆军
美国海军陆战队
美国国防技术信息中心(DTIC)
美军标
美国航空航天局(NASA)
战略与国际研究中心
美国国土安全数字图书馆
美国科学研究出版社
兰德公司
美国政府问责局
香港科技大学图书馆
美国海军研究生院图书馆
OALIB数据库
在线学术档案数据库
数字空间系统
剑桥大学机构知识库
欧洲核子研究中心机构库
美国密西根大学论文库
美国政府出版局(GPO)
加利福尼亚大学数字图书馆
美国国家学术出版社
美国国防大学出版社
美国能源部文献库
美国国防高级研究计划局
美国陆军协会
美国陆军研究实验室
英国空军
美国国家科学基金会
美国战略与国际研究中心-导弹威胁网
美国科学与国际安全研究所
法国国际关系战略研究院
法国国际关系研究所
国际宇航联合会
美国防务日报
国会研究处
美国海运司令部
北约
盟军快速反应部队
北约浅水行动卓越中心
北约盟军地面部队司令部
北约通信信息局
北约稳定政策卓越中心
美国国会研究服务处
美国国防预算办公室
美国陆军技术手册
一般OA
科技期刊论文
科技会议论文
图书
科技报告
科技专著
标准
其它
美国卫生研究院文献
分子生物学
神经科学
药学
外科
临床神经病学
肿瘤学
细胞生物学
遗传学
公共卫生&环境&职业病
应用微生物学
全科医学
免疫学
动物学
精神病学
兽医学
心血管
放射&核医学&医学影像学
儿科
医学进展
微生物学
护理学
生物学
牙科&口腔外科
毒理学
生理学
医院管理
妇产科学
病理学
生化技术
胃肠&肝脏病学
运动科学
心理学
营养学
血液学
泌尿科学&肾病学
生物医学工程
感染病
生物物理学
矫形
外周血管病
药物化学
皮肤病学
康复学
眼科学
行为科学
呼吸学
进化生物学
老年医学
耳鼻喉科学
发育生物学
寄生虫学
病毒学
医学实验室检查技术
生殖生物学
风湿病学
麻醉学
危重病护理
生物材料
移植
医学情报
其他学科
人类生活必需品
作业;运输
化学;冶金
纺织;造纸
固定建筑物
机械工程;照明;加热;武器;爆破
物理
电学
人类生活必需品
作业;运输
化学;冶金
纺织;造纸
固定建筑物
机械工程;照明;加热;武器;爆破
物理
电学
马克思主义、列宁主义、毛泽东思想、邓小平理论
哲学、宗教
社会科学总论
政治、法律
军事
经济
文化、科学、教育、体育
语言、文字
文学
艺术
历史、地理
自然科学总论
数理科学和化学
天文学、地球科学
生物科学
医药、卫生
农业科学
工业技术
交通运输
航空、航天
环境科学、安全科学
综合性图书
主题
主题
题名
作者
关键词
摘要
高级搜索 >
外文期刊
外文会议
外文学位
外国专利
外文图书
外文OA文献
中文期刊
中文会议
中文学位
中国专利
中文图书
外文科技报告
清除
历史搜索
清空历史
首页
>
外文期刊
>
Transactions of the Society for Modeling and Simulation International
Transactions of the Society for Modeling and Simulation International
中文名称:国际建模与仿真学会学报
ISSN:
0740-6797
出版周期:
-
发文量:40
期刊论文
热门论文
年度选择
2001
第1期
第2期
2000
第1期
第2期
第3期
1999
第1期
第2期
第3期
第4期
1996
第1期
第2期
第3期
第4期
1995
第1期
第2期
第3期
第4期
更多>>
全选(
0
)
清除
导出
1.
A Framework for Verifying Discrete Event Models Within a DEVS-Based System Development Methodology
机译:
在基于DEVS的系统开发方法中验证离散事件模型的框架
作者:
Gyung Pyo Hong
;
Tag Gon Kim
期刊名称:
《Transactions of the Society for Modeling and Simulation International》
|
1996年第1期
关键词:
model verification;
DEVS formalism;
temporal logic;
dual specification;
2.
An Approach to Validation of Stochastic Dynamic Models with Initial State Uncertainty
机译:
具有初始状态不确定性的随机动力学模型的验证方法
作者:
Z. Yuan
;
G.C. Vansteenkiste
期刊名称:
《Transactions of the Society for Modeling and Simulation International》
|
1996年第1期
关键词:
model credibility;
model validation;
state space models;
kalman filter;
3.
The Dynamic Structure Discrete Event System Specification Formalism
机译:
动态结构离散事件系统规范形式主义
作者:
F.J. Barros
期刊名称:
《Transactions of the Society for Modeling and Simulation International》
|
1996年第1期
关键词:
dynamic structure models;
DSDEVS formalism;
adaptive systems;
4.
Differential Inclusions in System Simulation
机译:
系统仿真中的微分包含
作者:
Stanislaw Raczynski
期刊名称:
《Transactions of the Society for Modeling and Simulation International》
|
1996年第1期
关键词:
combined simulation;
DEVS formalism;
model coupling;
PASION;
5.
Parallel DEVS: A parallel, hierarchical, modular modeling formalism and its distributed simulator
机译:
并行DEVS:并行,分层,模块化的建模形式及其分布式模拟器
作者:
A. C.-H. Chow
期刊名称:
《Transactions of the Society for Modeling and Simulation International》
|
1996年第2期
关键词:
system specification;
discrete event simulation;
DEVS;
object-oriented modeling and simulation;
distributed/parallel simulation;
modeling methodology;
6.
Tearing algebraic loops in bond graphs
机译:
消除键图中的代数循环
作者:
W. Borutzky
;
F. E. Cellier
期刊名称:
《Transactions of the Society for Modeling and Simulation International》
|
1996年第2期
关键词:
bond graphs;
algebraic loops;
combined symbolicumerical solution of index-one DAEs;
tearing;
algebraic companion model of a storage element;
7.
An artificial neural network simulator with integrated fault simulation capabilities
机译:
具有集成故障模拟功能的人工神经网络模拟器
作者:
L. A. Belfore II
期刊名称:
《Transactions of the Society for Modeling and Simulation International》
|
1996年第2期
关键词:
artificial neural networks;
fault simulation;
reliability;
VLSI;
ANN description language;
8.
A template-based modeling approach for system design: Theory and implementation
机译:
基于模板的系统设计建模方法:理论与实现
作者:
J. L. Stein
;
L. S. Louca
期刊名称:
《Transactions of the Society for Modeling and Simulation International》
|
1996年第2期
关键词:
component templates;
automated modeling;
system design;
model acceptance;
model credibility;
computer-aided modeling;
9.
Cycle Time Estimation For Simulating a Tandem Queuing System Using Aggregation Techniques
机译:
使用聚集技术模拟串联排队系统的周期时间估计
作者:
P.A. Savory
;
G.T. Mackulak
期刊名称:
《Transactions of the Society for Modeling and Simulation International》
|
1996年第3期
关键词:
tandem queues;
approximating techniques;
random variable generation;
10.
Distributed Simulation of Hierarchical DEVS Models: Hierarchical Scheduling Locally and Time Warp Globally
机译:
分层DEVS模型的分布式仿真:局部分层调度和全局时间扭曲
作者:
Ki Hyung Kim
;
Yeong Rak Seong
;
Tag Gon Kim
;
Kyu Ho Park
期刊名称:
《Transactions of the Society for Modeling and Simulation International》
|
1996年第3期
关键词:
parallel/distributed discrete-event simulation;
DEVS formalism;
time warp;
hierarchical simulation;
11.
The Aggressive Adaptive-Risk Approach for Parallel Simulation
机译:
激进的自适应风险并行仿真方法
作者:
Hussam M. Soliman
;
Adel S. Elmaghraby
期刊名称:
《Transactions of the Society for Modeling and Simulation International》
|
1996年第3期
关键词:
parallel simulation;
aggressiveness;
risk;
adaptability;
performance;
12.
Design, Simulation, and Experiments on the Delay Compensation for a Vehicle Simulator
机译:
车辆模拟器延迟补偿的设计,仿真与实验
作者:
Joseph D. Dumas II
;
Harold I. Klee
期刊名称:
《Transactions of the Society for Modeling and Simulation International》
|
1996年第3期
关键词:
vehicle simulators;
flight simulators;
real-time systems;
time delay;
compensation;
digital filters;
13.
Model Abstraction via Solution of a General Inverse Problem to Define a Metamodel
机译:
通过一般反问题的解决方案定义抽象模型的模型抽象
作者:
Don Caughlin
期刊名称:
《Transactions of the Society for Modeling and Simulation International》
|
1996年第4期
关键词:
model abstraction;
system idenification;
metamodel;
inverse problem;
14.
DEVS Representation and Aggregation of Spatially Distributed Systems: Speed-Versus-Error Tradeoffs
机译:
空间分布式系统的DEVS表示和聚合:速度与误差的权衡
作者:
Bernard P. Zeigler
;
Yoonkeon Moon
期刊名称:
《Transactions of the Society for Modeling and Simulation International》
|
1996年第4期
关键词:
discrete-event system specification;
watershed model;
spatial aggregation;
15.
A Methodology for Dynamic Model Abstraction
机译:
动态模型抽象的方法论
作者:
Kangsun Lee
;
Paul A. Fishwick
期刊名称:
《Transactions of the Society for Modeling and Simulation International》
|
1996年第4期
关键词:
model abstraction;
modeling methodology;
system identification;
nonlinear dynamics;
16.
General Morphism for Modeling Relations in Multimodeling
机译:
多模型中建模关系的一般形态
作者:
Shingo Takahashi
期刊名称:
《Transactions of the Society for Modeling and Simulation International》
|
1996年第4期
关键词:
modeling methodology;
modeling relation;
morphism;
multimodeling;
17.
OBJECT-ORIENTED SIMULATION FOR THE SUPERCONDUCTING SUPER COLLIDER
机译:
超导超级撞针的面向对象的仿真
作者:
Jiasheng J. Zhou
;
Moon-Jung Chung
期刊名称:
《Transactions of the Society for Modeling and Simulation International》
|
1995年第1期
关键词:
framework;
containment hierarchy;
generalization-specialization hierarchy;
object-oriented decomposition;
18.
COMPUTER SIMULATION OF QUANTUM TRANSPORT IN HIGH ELECTRON MOBILITY TRANSISTOR PART 1: THE BOLTZMANN-POISSON-SCHROEDINGER SOLVER
机译:
高电子迁移率晶体管中量子输运的计算机模拟:第1部分:Boltzmann-Poisson-Schroedinger求解器
作者:
R. Khoie
期刊名称:
《Transactions of the Society for Modeling and Simulation International》
|
1995年第1期
关键词:
quantum;
transport;
HEMT;
simulator;
self-consistent;
scattering;
19.
COMPUTER SIMULATION OF QUANTUM TRANSPORT IN HIGH ELECTRON MOBILITY TRANSISTOR PART Ⅱ: THE FULL QUANTUM TRANSPORT
机译:
高电子迁移率晶体管中量子传输的计算机模拟Ⅱ:全量子传输
作者:
R. Khoie
期刊名称:
《Transactions of the Society for Modeling and Simulation International》
|
1995年第1期
关键词:
quantum;
transport;
HEMT;
simulator;
self-consistent;
scattering;
20.
VARIOUS DISK CONFIGURATIONS AND THEIR PERFORMANCE
机译:
各种磁盘配置及其性能
作者:
Chiahon Chien
;
Nikolaos G. Bourbakis
期刊名称:
《Transactions of the Society for Modeling and Simulation International》
|
1995年第1期
关键词:
I/O disk storage subsystem architectures;
performance evaluation;
disk performance analysis;
two-head disk systems;
21.
SIMULATION OF REED-SOLOMON ENCODER/DECODER SYSTEMS USING COMPUTER ALGEBRA
机译:
利用计算机代数模拟里德-所罗门编码器/解码器系统
作者:
Gerald E. Sobelman
期刊名称:
《Transactions of the Society for Modeling and Simulation International》
|
1995年第2期
关键词:
reed-soloman encoder/decoder;
mathematica;
discrete fourier transform (DFT);
22.
INTEGRATION OF CONTROLLED MULTIBODY MECHANICAL SYSTEMS WITH BOTH STIFF AND NONSTIFF SUBSYSTEMS
机译:
具有刚性和非刚性子系统的受控多体机械系统的集成
作者:
Shih-Tin Lin
期刊名称:
《Transactions of the Society for Modeling and Simulation International》
|
1995年第2期
关键词:
hybrid integration algorithm;
controlled multibody system;
stiff ODE;
23.
A COMPUTERIZED FORMAL MEANS TO REASON ABOUT COMPONENTS IN SIMULATION MODELS AND ENVIRONMENTS: Part Ⅰ: A Logic-Based Reasoning Methodology
机译:
模拟模型和环境中构成要素的计算机化形式化方法:第一部分:基于逻辑的推理方法
作者:
K. D. Reilly
;
J. H. Barrett
;
J. J. Tarng
;
R. M. Hyatt
期刊名称:
《Transactions of the Society for Modeling and Simulation International》
|
1995年第2期
关键词:
logic-based reasoning in simulation;
formal methods;
relational semantics;
logic programming;
automatically generated implementations generating specifications;
AI and simulation;
combined numerical-symbolic simulation;
general purpose simulation environ;
24.
Using the DFT to Synthesize Multivariate Orthogonal White Noise Series
机译:
使用DFT合成多元正交白噪声级数
作者:
J. Figwer
;
A. Niederlinski
期刊名称:
《Transactions of the Society for Modeling and Simulation International》
|
1995年第3期
关键词:
simulation of stochastic time series;
multivariate orthogonal white noise;
simulated identification;
multisine random time-series;
fast fourier transform;
25.
A Computerized Formal Means To Reason About Components In Simulation Models And Environments Part Ⅱ: Module Development Theory
机译:
仿真模型和环境中组成部分的计算机化形式化手段第二部分:模块开发理论
作者:
J. H. Barrett
;
K. D. Reilly
;
J. J. Tarng
;
R. M. Hyatt
期刊名称:
《Transactions of the Society for Modeling and Simulation International》
|
1995年第3期
关键词:
artificial intelligence and simulation;
formalisms in simulation;
model development facility;
runnable specifications;
automated generation of implementations;
knowledge based simulation;
simulation support environments;
combined numerical-symbolic simul;
26.
Approximation of Seek Time for Merged Disks
机译:
合并磁盘的寻道时间的近似值
作者:
Chiahon Chien
;
Nikolaos G. Bourbakis
期刊名称:
《Transactions of the Society for Modeling and Simulation International》
|
1995年第3期
关键词:
disk I/O storage subsystem;
performance evaluation;
disk performance analysis;
average disk seek time;
markov chain;
27.
Some Stepsize Adjustment Procedures for Parallel ODE Solvers
机译:
并行ODE解算器的一些步长调整过程
作者:
L.G. Birta
;
M. Yang
期刊名称:
《Transactions of the Society for Modeling and Simulation International》
|
1995年第4期
关键词:
stepsize adjustment;
parallel solution of ordinary differential equations;
28.
KbDif: A Knowledge-Based Approach For Continuous Simulation
机译:
KbDif:基于知识的连续仿真方法
作者:
Nasser Ghasem-Aghaee
;
Tuncer I. Oeren
期刊名称:
《Transactions of the Society for Modeling and Simulation International》
|
1995年第4期
关键词:
KbDif;
knowledge-based continuous simulation;
29.
A Study on the Effects That An Absence of a Pure-Error Component has in Multipopulation Simulation Experiments
机译:
纯误差成分的缺失对多种群模拟实验的影响研究
作者:
Marnita D. Crenshaw
;
Jeffrey D. Tew
期刊名称:
《Transactions of the Society for Modeling and Simulation International》
|
1995年第4期
关键词:
schruben-margolin correlation-induction strategy;
multipopulation;
30.
Combined Discrete/Continuous Simulation of Process Plans I: Simulation Methodology
机译:
工艺计划的离散/连续组合仿真I:仿真方法
作者:
John T. Olson
;
John Britanik
;
Michael M. Marefat
期刊名称:
《Transactions of the Society for Modeling and Simulation International》
|
1999年第4期
关键词:
combined simulation;
discrete/continuous simulation;
process planning;
manufacturing;
31.
Development of Channel Models for Simulation of Wireless Systems in OPNET
机译:
OPNET中无线系统仿真的信道模型的开发
作者:
Jocelyn Chow
期刊名称:
《Transactions of the Society for Modeling and Simulation International》
|
1999年第3期
关键词:
channel modeling;
TDMA;
co-channel interference;
cellular systems;
wireless systems;
OPNET;
32.
Priority Call Service on PCS Networks
机译:
PCS网络上的优先呼叫服务
作者:
Wei-Zu Yang
;
Ming-Feng Chang
;
Yi-Bing Lin
期刊名称:
《Transactions of the Society for Modeling and Simulation International》
|
1999年第3期
关键词:
PCS;
new call blocking probability;
force-termination;
probability;
call incompletion probability;
33.
A Conceptual Methodology for Conducting Faster-Than-Real-Time Experiments
机译:
进行比实时更快的实验的概念方法
作者:
D. Anagnostopoulos
;
M. Nikolaidou
;
P. Georgiadis
期刊名称:
《Transactions of the Society for Modeling and Simulation International》
|
1999年第2期
关键词:
real-time simulation;
simulation methodology;
34.
The Threshold of Event Simultaneity
机译:
事件同时发生的阈值
作者:
Frederick Wieland
期刊名称:
《Transactions of the Society for Modeling and Simulation International》
|
1999年第1期
关键词:
simultaneity;
event simultaneity;
parallel and distributed simulation;
35.
Spectral Analysis of State Derivatives
机译:
状态导数的频谱分析
作者:
Michael J. Panzitta
;
Harold I. Klee
期刊名称:
《Transactions of the Society for Modeling and Simulation International》
|
1999年第2期
关键词:
integrators;
numerical integration;
quantutative analysis;
continuous system simulation;
spectral snalysis;
state derivatives;
36.
Simulation Verification, Validation and Confidence: A Tutorial
机译:
仿真验证,验证和信心:教程
作者:
Stewart Robinson
期刊名称:
《Transactions of the Society for Modeling and Simulation International》
|
1999年第2期
关键词:
verification;
validation;
confidence;
37.
The Essence of the Process Specification Language
机译:
工艺规范语言的本质
作者:
Craig Schlenoff
;
Michael Gruninger
;
Mihai Ciocoiu
;
Jintae Lee
期刊名称:
《Transactions of the Society for Modeling and Simulation International》
|
1999年第4期
关键词:
manufacturing process specification;
PSL;
interoperability;
ontology;
38.
Structured Performance Modeling for the Open service Wireless Systems
机译:
开放服务无线系统的结构化性能建模
作者:
Faruk S. Hadziomerovic
期刊名称:
《Transactions of the Society for Modeling and Simulation International》
|
1999年第3期
关键词:
performance modeling;
real-time software;
real-time systems;
wireless services;
object-oriented software;
protocols;
LAPD performance;
39.
Parallelising the Mean Value Analysis Algorithm
机译:
并行均值分析算法
作者:
Claudio Gennaro
;
Peter J. B. King
期刊名称:
《Transactions of the Society for Modeling and Simulation International》
|
1999年第1期
关键词:
mean value analysis;
queueing networks;
product form;
pipelined algorithm;
parallel simulation;
40.
Combined Discrete/Continuous Simulation of Process Plans II: Automatic Model Generation
机译:
工艺计划的离散/连续组合仿真II:自动模型生成
作者:
John T. Olson
;
John Britanik
;
Michael M. Marefat
期刊名称:
《Transactions of the Society for Modeling and Simulation International》
|
1999年第4期
关键词:
automatic model generation;
process planning;
discrete/continuous simulation;
manufacturing;
41.
A Multi-Pass Simulation-Based, Real-Time Scheduling and Shop Floor Control System
机译:
基于多通道仿真的实时调度和车间控制系统
作者:
Young Jun Son
;
Hector Rodriguez-Rivera
;
Richard A. Wysk
期刊名称:
《Transactions of the Society for Modeling and Simulation International》
|
1999年第4期
关键词:
manufacturing simulation;
shop floor control;
simulation-based control;
real-time scheduling;
real-time simulation;
Arena;
visual basic application;
flexible manufacturing systems;
42.
Automatic Generation of System Entity Structure Alternatives: Application to Initial Manufacturing Facility Design
机译:
自动生成系统实体结构替代方案:在初始制造工厂设计中的应用
作者:
J. M. Couretas
;
Bernard P. Zeigler
;
Utpal Patel
期刊名称:
《Transactions of the Society for Modeling and Simulation International》
|
1999年第4期
关键词:
system entity structure;
hierarchy;
discrete event simulation;
manufacturing factory design;
43.
Efficient parallel SImulation of Large-Scale PCS Networks
机译:
大型PCS网络的高效并行模拟
作者:
Azzedine Boukerche
;
Sajal K. Das
;
Alessandro Fabbri
;
Oktay Yildiz
期刊名称:
《Transactions of the Society for Modeling and Simulation International》
|
1999年第3期
关键词:
wireless communication;
personal communication service networks;
PCS;
wireless network design;
parallel discrete-event simulation;
event precomputation;
fixed channel assignment scheme;
44.
Simulation Testbed for Sensible Agent-based Systems in Dynamic and Uncertain Environments
机译:
动态和不确定环境中基于智能代理的系统的仿真测试台
作者:
K. S. Barber
;
A. Goel
;
D. Han
;
J. Kim
;
T. H. Liu
;
C. E. Martin
;
R. M. McKay
期刊名称:
《Transactions of the Society for Modeling and Simulation International》
|
1999年第4期
关键词:
autonomous agents;
multi-agent systems;
manufacturing;
sensible agents;
dynamic adaptive;
autonomy;
agent-based systems;
45.
High-Performance Hardware Description Language Simulation: Modeling Issues and Recommended Practices
机译:
高性能硬件描述语言仿真:建模问题和推荐做法
作者:
Gregory D. Peterson
;
John C. Willis
期刊名称:
《Transactions of the Society for Modeling and Simulation International》
|
1999年第1期
关键词:
parallel simulation;
hardware description languages;
design automation standards;
VHDL;
VHDL-AMS;
verilog;
46.
Incorporating Support for Model Execution within the Condition Specification
机译:
在条件规范中纳入对模型执行的支持
作者:
Ernest H. Page
;
Richard E. Nance
期刊名称:
《Transactions of the Society for Modeling and Simulation International》
|
1999年第2期
关键词:
simulation languages;
model development;
discrete event simulation;
algorithms;
simulation theroy;
automation;
model diagnosis;
condition specification;
CS;
conical methodology;
47.
On the selection of the state saving Strategy In Time Warp Parallel Simulations
机译:
时间扭曲并行仿真中状态保存策略的选择
作者:
Hussam M. Soliman
期刊名称:
《Transactions of the Society for Modeling and Simulation International》
|
1999年第1期
关键词:
parallel simulation;
checkpointing;
performance evaluation;
time warp algorithm;
48.
GDEVS: A Generalized Discrete Event Specification for Accurate Modeling of Dynamic Systems
机译:
GDEVS:动态系统的精确建模的广义离散事件规范
作者:
Norbert Giambiasi
;
Bruno Escude
;
Sumit Ghosh
期刊名称:
《Transactions of the Society for Modeling and Simulation International》
|
2000年第3期
关键词:
dynamic systems;
discrete event model;
GDEVS;
DEVS;
hybrid continuous systems;
discrete real-world systems;
piecewise linear input-output trajectory;
piecewise non-linear input-output trajectory;
49.
Improved Cellular Models with Parallel Cell-DEVS
机译:
具有并行Cell-DEVS的改进的蜂窝模型
作者:
Gabriel A. Wainer
期刊名称:
《Transactions of the Society for Modeling and Simulation International》
|
2000年第2期
关键词:
parallel DEVS models;
DEVS paradigm;
Cell-DEVS models;
discrete event simulation;
modelling methodologies;
50.
Evaluating alternative System Designs
机译:
评估替代系统设计
作者:
Sung-Do Chi
;
Jong-Keun Lee
期刊名称:
《Transactions of the Society for Modeling and Simulation International》
|
2000年第3期
关键词:
discrete event modeling and simulation;
symbolic DEVS simulation;
performance evaluation;
rule-based system entity structure;
design automation;
51.
Improved Functional Identification Using Genetic Simulation
机译:
使用遗传模拟改进的功能识别
作者:
Lamine Ngom
;
Claude Baron
;
Jean-Claude Geffroy
期刊名称:
《Transactions of the Society for Modeling and Simulation International》
|
2000年第1期
关键词:
finite state machine;
identification;
genetic simulation;
system design;
system testing and diagnosis;
52.
Interpreting Trainee Intent in Real Time in a Simulation-based Training System
机译:
在基于模拟的培训系统中实时解释受训者的意图
作者:
Avelino J. Gonzalez
;
Peter J. Drewes
;
William Gerber
期刊名称:
《Transactions of the Society for Modeling and Simulation International》
|
2000年第3期
关键词:
automated performance monitoring simulation and training;
human behavior representation;
after-action review;
case-based reasoning;
training;
flight training;
template-based interpretation;
53.
Data Representation for Sensor Models within a Synthetic Natural Environment (SEDRIS)
机译:
合成自然环境(SEDRIS)中传感器模型的数据表示
作者:
Michael D. Proctor
;
Patrick E. Connors II
期刊名称:
《Transactions of the Society for Modeling and Simulation International》
|
2000年第2期
关键词:
virtual reality;
interoperability;
synthetic natural environment;
sensors;
data model;
SEDRIS;
54.
An Empirical Comparison of Methodologies for Obtaining Results with Specific Accuracy and for Run-Length Control in Quantitative Simulation
机译:
定量模拟中获得特定精度结果和运行长度控制的方法的经验比较
作者:
Victor Yau
期刊名称:
《Transactions of the Society for Modeling and Simulation International》
|
2000年第2期
关键词:
credibility of results;
quantitative simulation;
precision control;
coverage;
run length;
computational complexity;
55.
A Simulation Model of Correlated Traffic Sources Based on Random Repetition of Random Variables
机译:
基于随机变量随机重复的相关交通源仿真模型
作者:
Aurelio La Corte
期刊名称:
《Transactions of the Society for Modeling and Simulation International》
|
2000年第1期
关键词:
correlation;
random number generation;
multimedia synchronization;
communication systems;
56.
Automatic Generation of Simulation-Based Web Courses and Model Documentation
机译:
自动生成基于仿真的Web课程和模型文档
作者:
Manuel Alfonseca
;
Juan de Lara
期刊名称:
《Transactions of the Society for Modeling and Simulation International》
|
2000年第3期
关键词:
continuous simulation;
course generation;
Web-based simulation;
distributed simulation;
multimedia-enriched simulation;
automatic documentation;
education;
OOCSMP;
HTML;
Java;
C-OOL;
57.
A Multi-Agent Simulation Framework
机译:
多代理仿真框架
作者:
Zahia Guessoum
期刊名称:
《Transactions of the Society for Modeling and Simulation International》
|
2000年第1期
关键词:
multi-agent system;
agent architecture;
event;
simulation;
model;
firms;
DIMA;
KQML;
58.
A Framework for Learning Implicit Expert Knowledge through Observation
机译:
通过观察学习内隐专家知识的框架
作者:
Taha A. Sidani
;
Avelino J. Gonzalez
期刊名称:
《Transactions of the Society for Modeling and Simulation International》
|
2000年第2期
关键词:
machine learning;
automated knowledge acquisition;
intelligent simulations;
59.
Two-Dimensional Distributed Delays for Simulating Two Competing Biological Processes
机译:
用于模拟两个竞争生物过程的二维分布延迟
作者:
Timothy S. Larkin
;
Raymond I. Carruthers
;
Benjamin C. Legaspi Jr.
期刊名称:
《Transactions of the Society for Modeling and Simulation International》
|
2000年第1期
关键词:
insect disease;
time varying distributed delay;
biological processes;
60.
Efficient simulation of traffic control algorithms for broadband networks
机译:
宽带网络流量控制算法的高效仿真
作者:
Jon M. Peha
期刊名称:
《Transactions of the Society for Modeling and Simulation International》
|
2001年第1期
关键词:
ATM;
Broadband;
Dropping;
Fluid flow;
Scheduling;
Telecommunications;
Traffic control;
61.
A generic rollback manger for optimistic HLA simulations
机译:
用于乐观HLA仿真的通用回滚管理器
作者:
Fernando Vardanega
;
Carlos Maziero
期刊名称:
《Transactions of the Society for Modeling and Simulation International》
|
2001年第2期
关键词:
Distributed simulation;
HLA;
Time management;
Computational reflection;
62.
Flow control and dynamic load balancing in time warp
机译:
时间扭曲中的流量控制和动态负载平衡
作者:
Myongsu Choe
;
Carl Tropper
期刊名称:
《Transactions of the Society for Modeling and Simulation International》
|
2001年第1期
关键词:
Distributed simulation;
Time warp;
Stochastic learning automata;
Stability;
Flow control;
Dynamic load balancing;
63.
An architecture for constructing large VRML worlds
机译:
用于构建大型VRML世界的架构
作者:
Lee A. Belfore II
期刊名称:
《Transactions of the Society for Modeling and Simulation International》
|
2001年第1期
关键词:
VRML;
Virtual reality;
Architecture;
Live updates;
64.
A time warp mechanism based on temporal uncertainty
机译:
基于时间不确定性的时间扭曲机制
作者:
Roberto Beraldi
;
Libero Nigro
期刊名称:
《Transactions of the Society for Modeling and Simulation International》
|
2001年第2期
关键词:
Parallel discrete-event simulation;
Time warp;
Time interval based event delivery;
Event causal order;
Java;
Cellular model;
65.
Distributed supply-chain simulation using high level architecture
机译:
使用高级架构的分布式供应链仿真
作者:
Stephen J. Turner
;
Wentong Cai
;
Boon Ping Gan
期刊名称:
《Transactions of the Society for Modeling and Simulation International》
|
2001年第2期
关键词:
High level architecture (HLA);
Run-time infrastructure (RTI);
Supply-chain simulation;
Semiconductor manufacturing;
Visualization;
66.
On the integration of HLA into SCEs
机译:
关于将HLA集成到SCE中
作者:
Sven Pawletta
;
Wolfgang Drewelov
;
Thorsten Pawletta
期刊名称:
《Transactions of the Society for Modeling and Simulation International》
|
2001年第2期
关键词:
HLA;
SCEs;
Distributed simulation;
RTI;
MATLAB;
CACSD-systems;
67.
WATIS{sup}2 design and application of an environment simulation system for test improvement of control software for automatic logistic systems
机译:
WATIS {sup} 2为自动化物流系统的控制软件的测试改进而设计的环境仿真系统的设计和应用
作者:
Christian Kreiner
;
Christian Steger
;
Reinhold Weiss
期刊名称:
《Transactions of the Society for Modeling and Simulation International》
|
2001年第2期
关键词:
Environment simulation;
Cosimulation;
Software test;
Reactive systems;
68.
Model-based architecture for evolutionary intelligent systems
机译:
进化智能系统的基于模型的架构
作者:
Sung-Do Chi
;
Jang-Se Lee
期刊名称:
《Transactions of the Society for Modeling and Simulation International》
|
2001年第1期
关键词:
Model-based architecture;
Evolutionary intelligent systems;
Genetic algorithm;
Endomorphic modeling;
Artificial life;
SES/MB framework;
69.
Scheduling for virtual environments and games using visibility and priorities
机译:
使用可见性和优先级计划虚拟环境和游戏
作者:
Chris Faisstnauer
;
Dieter Schmalstieg
;
Werner Purgathofer
期刊名称:
《Transactions of the Society for Modeling and Simulation International》
|
2001年第2期
关键词:
Distributed virtual environments;
Networked games;
Resource bottleneck;
Scheduling;
Priorities;
Visibility culling;
意见反馈
回到顶部
回到首页