首页 > 最新文献

Online World Conference on Soft Computing in Industrial Applications最新文献

英文 中文
Simulation and software through 50 years 通过50年的模拟和软件
Pub Date : 2013-12-01 DOI: 10.1109/WSC.2013.6721401
R. Nance
Reflections and recollections spanning a professional lifetime disclose a number of the usual or expected influencing factors or aspects by which an individual's career might be characterized, perhaps even gauged. Persons, projects, organizations, events, and technology advances are familiar shapers of a professional record. However, a surprising factor in this chronology is the role of a classical problem: machine interference or machine repair. This persistent problem recurs at various junctures, sometimes quite subtly at other times rather starkly, throughout the past 50 years. Descriptions of the effects of the expected factors are intertwined with the machine interference problem in this recap of a career in computer simulation and software engineering.
跨越职业生涯的反思和回忆揭示了一些通常或预期的影响因素或方面,这些因素或方面可能是个人职业生涯的特征,甚至可能是衡量标准。个人、项目、组织、事件和技术进步都是专业记录熟悉的塑造者。然而,在这个年表中,一个令人惊讶的因素是一个经典问题的作用:机器干扰或机器修理。在过去50年里,这个持续存在的问题在不同的时刻反复出现,有时相当微妙,有时相当明显。在本计算机模拟和软件工程的职业回顾中,对预期因素的影响的描述与机器干扰问题交织在一起。
{"title":"Simulation and software through 50 years","authors":"R. Nance","doi":"10.1109/WSC.2013.6721401","DOIUrl":"https://doi.org/10.1109/WSC.2013.6721401","url":null,"abstract":"Reflections and recollections spanning a professional lifetime disclose a number of the usual or expected influencing factors or aspects by which an individual's career might be characterized, perhaps even gauged. Persons, projects, organizations, events, and technology advances are familiar shapers of a professional record. However, a surprising factor in this chronology is the role of a classical problem: machine interference or machine repair. This persistent problem recurs at various junctures, sometimes quite subtly at other times rather starkly, throughout the past 50 years. Descriptions of the effects of the expected factors are intertwined with the machine interference problem in this recap of a career in computer simulation and software engineering.","PeriodicalId":287132,"journal":{"name":"Online World Conference on Soft Computing in Industrial Applications","volume":"70 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2013-12-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"121095469","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 1
Using agent-based simulation to understand cooperation in business organizational settings 使用基于代理的模拟来理解商业组织设置中的合作
Pub Date : 2012-12-09 DOI: 10.5555/2429759.2430234
Claudia Ribeiro, J. Borbinha, J. Tribolet, J. Pereira
There is no doubt around the dynamics and uncertainty characterizing organizations and their environments. Consequently, contemporary organizational thinking has evolved to embrace paradigms supported by complexity theory and its principles. Complexity theory involves the study of many actors and their interactions. One of the central topics regarding interaction between self-interested agents is cooperation. Cooperation is crucial for societies and organizations, since it allows the creation of common goods that no single individual could establish alone. However, this situation itself presents a dilemma, because as the creation of these goods requires an individual effort and the result is shared by everyone, there is the temptation to make an individual contribution as little as possible and receive as much of the result as one can. The problem of how can cooperation emerge in a organization of self-interested individuals is one of the central questions addressed by social sciences, game theory, political science and behavioural and evolutionary economics. The study of large number of actors with changing patterns of interaction often gets too difficult for a mathematical solution, therefore other type of solutions need to be used. A primary research tool of complexity theory is computer simulation. The basic underlying function of this tool is to specify how the agents interact, and then observe properties that occur at the level of the whole organization. The simulation of agents and their interactions is known as agent-based modelling (ABM) (Miller and Page 2007). Although agent-based modelling employs simulation, it does not aim to provide an accurate representation of a particular empirical application (Axelrod 1997). Instead, the goal of agent-based modelling is to enrich our understanding of fundamental processes that may appear in a variety of applications. This is the assumptions underlying the proposal described in this paper. To represent the functioning of an organization DEMO's Ψ-theory (Dietz 2006) was used. The Ψ-theory explains how and why people cooperate and communicate. It postulates that the operation of an organization can be expressed by a specification of the commitments that the organizational subjects enter into and comply with. Based on this theory and concepts developed in Game Theory this paper proposes a agent-based simulation with an underlying conceptual model that allows to experiment and analyse the different patterns that emerge when organizational subjects use different kind of strategies to handle commitments to produce organizational output.
毫无疑问,动态和不确定性是组织及其环境的特征。因此,当代组织思维已经发展到包含由复杂性理论及其原理支持的范式。复杂性理论涉及对许多行动者及其相互作用的研究。关于自利主体之间互动的中心主题之一是合作。合作对社会和组织至关重要,因为它可以创造出任何个人都无法单独创造的共同利益。然而,这种情况本身就呈现出一种困境,因为这些商品的创造需要个人的努力,而结果是由每个人分享的,因此存在一种诱惑,即尽可能少地做出个人贡献,而获得尽可能多的结果。合作如何在一个由自利个体组成的组织中出现,是社会科学、博弈论、政治学、行为与进化经济学研究的核心问题之一。研究大量具有不断变化的交互模式的参与者通常对于数学解决方案来说过于困难,因此需要使用其他类型的解决方案。复杂性理论的主要研究工具是计算机模拟。此工具的基本底层功能是指定代理如何交互,然后观察整个组织级别上发生的属性。代理及其相互作用的模拟被称为基于代理的建模(ABM) (Miller and Page 2007)。虽然基于主体的建模采用了仿真,但它的目的不是提供特定经验应用的准确表示(Axelrod 1997)。相反,基于代理的建模的目标是丰富我们对可能出现在各种应用程序中的基本过程的理解。这是本文所述建议的基本假设。为了表示组织的运作,使用DEMO的Ψ-theory (Dietz 2006)。Ψ-theory解释了人们如何以及为什么要合作和沟通。它假设一个组织的运作可以通过组织主体进入并遵守的承诺的规范来表达。基于这一理论和博弈论中发展的概念,本文提出了一个基于主体的模拟,它具有一个潜在的概念模型,允许实验和分析当组织主体使用不同类型的策略来处理承诺以产生组织产出时出现的不同模式。
{"title":"Using agent-based simulation to understand cooperation in business organizational settings","authors":"Claudia Ribeiro, J. Borbinha, J. Tribolet, J. Pereira","doi":"10.5555/2429759.2430234","DOIUrl":"https://doi.org/10.5555/2429759.2430234","url":null,"abstract":"There is no doubt around the dynamics and uncertainty characterizing organizations and their environments. Consequently, contemporary organizational thinking has evolved to embrace paradigms supported by complexity theory and its principles.\u0000 Complexity theory involves the study of many actors and their interactions. One of the central topics regarding interaction between self-interested agents is cooperation. Cooperation is crucial for societies and organizations, since it allows the creation of common goods that no single individual could establish alone. However, this situation itself presents a dilemma, because as the creation of these goods requires an individual effort and the result is shared by everyone, there is the temptation to make an individual contribution as little as possible and receive as much of the result as one can. The problem of how can cooperation emerge in a organization of self-interested individuals is one of the central questions addressed by social sciences, game theory, political science and behavioural and evolutionary economics.\u0000 The study of large number of actors with changing patterns of interaction often gets too difficult for a mathematical solution, therefore other type of solutions need to be used. A primary research tool of complexity theory is computer simulation. The basic underlying function of this tool is to specify how the agents interact, and then observe properties that occur at the level of the whole organization. The simulation of agents and their interactions is known as agent-based modelling (ABM) (Miller and Page 2007).\u0000 Although agent-based modelling employs simulation, it does not aim to provide an accurate representation of a particular empirical application (Axelrod 1997). Instead, the goal of agent-based modelling is to enrich our understanding of fundamental processes that may appear in a variety of applications. This is the assumptions underlying the proposal described in this paper. To represent the functioning of an organization DEMO's Ψ-theory (Dietz 2006) was used. The Ψ-theory explains how and why people cooperate and communicate. It postulates that the operation of an organization can be expressed by a specification of the commitments that the organizational subjects enter into and comply with. Based on this theory and concepts developed in Game Theory this paper proposes a agent-based simulation with an underlying conceptual model that allows to experiment and analyse the different patterns that emerge when organizational subjects use different kind of strategies to handle commitments to produce organizational output.","PeriodicalId":287132,"journal":{"name":"Online World Conference on Soft Computing in Industrial Applications","volume":"52 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2012-12-09","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"115055186","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
Automated transformation between modeling languages with different expressiveness: challenges and results from a use case with SBML and ML-Rules 具有不同表达能力的建模语言之间的自动转换:来自使用SBML和ML-Rules的用例的挑战和结果
Pub Date : 2012-12-09 DOI: 10.5555/2429759.2430245
Sebastian Nähring, Carsten Maus, Roland Ewald, A. Uhrmacher
Automated transformation between modeling languages is often useful, e.g., to make tools (like simulators) based on one language applicable to models defined in other languages. However, several problems arise when the expressive powers of the modeling languages differ. We consider the automated transformation between models specified in the systems biology markup language (SBML) and ML-Rules, a rule-based multilevel modeling language. While both languages allow for modeling aspects that cannot be expressed in its counterpart and thus prevent a complete and fully automated transformation, it is still possible to transform many useful classes of models. Even more models can be transformed by relying on certain heuristics or user input.
建模语言之间的自动转换通常是有用的,例如,使基于一种语言的工具(如模拟器)适用于用其他语言定义的模型。然而,当建模语言的表达能力不同时,会出现一些问题。我们考虑了系统生物学标记语言(SBML)和基于规则的多层建模语言ML-Rules中指定的模型之间的自动转换。虽然这两种语言都允许对无法用其对应语言表达的方面进行建模,从而阻止了完整和完全自动化的转换,但是仍然可以转换许多有用的模型类。甚至更多的模型可以通过依赖某些启发式方法或用户输入进行转换。
{"title":"Automated transformation between modeling languages with different expressiveness: challenges and results from a use case with SBML and ML-Rules","authors":"Sebastian Nähring, Carsten Maus, Roland Ewald, A. Uhrmacher","doi":"10.5555/2429759.2430245","DOIUrl":"https://doi.org/10.5555/2429759.2430245","url":null,"abstract":"Automated transformation between modeling languages is often useful, e.g., to make tools (like simulators) based on one language applicable to models defined in other languages. However, several problems arise when the expressive powers of the modeling languages differ. We consider the automated transformation between models specified in the systems biology markup language (SBML) and ML-Rules, a rule-based multilevel modeling language. While both languages allow for modeling aspects that cannot be expressed in its counterpart and thus prevent a complete and fully automated transformation, it is still possible to transform many useful classes of models. Even more models can be transformed by relying on certain heuristics or user input.","PeriodicalId":287132,"journal":{"name":"Online World Conference on Soft Computing in Industrial Applications","volume":"2 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2012-12-09","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"128662357","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
A forthcoming useful tool: enhancing understanding of models through analysis 一个即将到来的有用工具:通过分析增强对模型的理解
Pub Date : 2012-12-09 DOI: 10.5555/2429759.2430171
Kara A. Olson
Simulation is used increasingly throughout research and development for many purposes. While model output is often the primary interest, insights into the system gained through the simulation process can also be valuable. These insights can come from building and validating the model as well as analyzing its behaviors and output; however, much that could be informative may not be easily discernible through traditional approaches, particularly for complex models. The author is developing an analysis tool to provide simulation modelers with additional information about the models they are using. The focus is to extend the information available. A key component is a compiler for a C-like language in which modelers specify (code) their models. With the ability to directly monitor and record interactions, additional information could be presented to the modeler in order to facilitate new insights.
仿真越来越多地用于研究和开发的许多目的。虽然模型输出通常是主要的兴趣,但通过模拟过程获得的对系统的洞察也很有价值。这些见解可以来自于构建和验证模型以及分析其行为和输出;然而,通过传统的方法,特别是对于复杂的模型,许多信息可能不容易识别。作者正在开发一种分析工具,为仿真建模者提供他们正在使用的模型的附加信息。重点是扩展可用的信息。一个关键组件是类c语言的编译器,建模者在其中指定(代码)他们的模型。有了直接监视和记录交互的能力,可以向建模者提供额外的信息,以促进新的见解。
{"title":"A forthcoming useful tool: enhancing understanding of models through analysis","authors":"Kara A. Olson","doi":"10.5555/2429759.2430171","DOIUrl":"https://doi.org/10.5555/2429759.2430171","url":null,"abstract":"Simulation is used increasingly throughout research and development for many purposes. While model output is often the primary interest, insights into the system gained through the simulation process can also be valuable. These insights can come from building and validating the model as well as analyzing its behaviors and output; however, much that could be informative may not be easily discernible through traditional approaches, particularly for complex models.\u0000 The author is developing an analysis tool to provide simulation modelers with additional information about the models they are using. The focus is to extend the information available. A key component is a compiler for a C-like language in which modelers specify (code) their models. With the ability to directly monitor and record interactions, additional information could be presented to the modeler in order to facilitate new insights.","PeriodicalId":287132,"journal":{"name":"Online World Conference on Soft Computing in Industrial Applications","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2012-12-09","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"133107847","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
Simulating the impact of policy changes in Icelandic lumpsucker fishery 模拟政策变化对冰岛鳕鱼渔业的影响
Pub Date : 2012-12-09 DOI: 10.5555/2429759.2430251
Sigríður Sigurðardóttir, Kristófer Gunnlaugsson
In the fishing year 2012 a new regulation was enforced in the Icelandic lumpsucker fishery which made it obligatory for fishermen to land everything they catch. Before 2012 the common practice involved cutting the fish belly open on-board, removing the roe sac and then discarding the flesh as it has had little commercial value. A bio-economic model of the lumpsucker fishery was constructed and simulated for the next 25 years with the aim of assessing the impact of this non-discard policy on the profitability margin of the fishery and the number of jobs within the fishery. A system dynamics approach was applied; a causal loop diagram was developed describing how variables affect one another followed by model implementation in Stella.
在2012年捕鱼年,冰岛实施了一项新规定,规定渔民必须将他们捕获的所有东西放上岸。在2012年之前,常见的做法是在船上切开鱼肚,取出鱼卵囊,然后扔掉鱼肉,因为它没有什么商业价值。建立并模拟了今后25年的吸鱼渔业生物经济模型,目的是评估这种不丢弃政策对渔业利润率和渔业内就业人数的影响。采用了系统动力学方法;我们开发了一个因果循环图,描述变量如何相互影响,然后在Stella中实现模型。
{"title":"Simulating the impact of policy changes in Icelandic lumpsucker fishery","authors":"Sigríður Sigurðardóttir, Kristófer Gunnlaugsson","doi":"10.5555/2429759.2430251","DOIUrl":"https://doi.org/10.5555/2429759.2430251","url":null,"abstract":"In the fishing year 2012 a new regulation was enforced in the Icelandic lumpsucker fishery which made it obligatory for fishermen to land everything they catch. Before 2012 the common practice involved cutting the fish belly open on-board, removing the roe sac and then discarding the flesh as it has had little commercial value. A bio-economic model of the lumpsucker fishery was constructed and simulated for the next 25 years with the aim of assessing the impact of this non-discard policy on the profitability margin of the fishery and the number of jobs within the fishery. A system dynamics approach was applied; a causal loop diagram was developed describing how variables affect one another followed by model implementation in Stella.","PeriodicalId":287132,"journal":{"name":"Online World Conference on Soft Computing in Industrial Applications","volume":"70 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2012-12-09","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"127994674","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 1
Introduction to Emulate3D: emulation, simulation, and demonstration Emulate3D简介:仿真,仿真和演示
Pub Date : 2012-12-09 DOI: 10.5555/2429759.2430322
I. McGregor
The Emulate3D product range is designed to fulfil the requirements of industrial engineers working with a wide range of partly or fully automated projects including warehousing, distribution, production and baggage handling. Emulate3D products are used for many purposes by different departments at various times throughout the project lifecycle, and an efficient workflow is made possible by employing the same core model throughout. Increasing time and resource constraints imposed upon project managers mean that the broad brush academic approach offered by classic simulation products is no longer appropriate within industry, and that the tools of tomorrow will be more task-specific, and quicker to put into useful operation. Emulate3D products are matched to the skill sets of their target users, and aim to reduce the learning curve and increase first-look familiarity.
Emulate3D产品系列旨在满足工业工程师对各种部分或完全自动化项目的要求,包括仓储,配送,生产和行李处理。Emulate3D产品在整个项目生命周期的不同时间被不同部门用于多种目的,并且通过在整个过程中使用相同的核心模型,可以实现高效的工作流程。越来越多的时间和资源限制强加在项目经理身上,这意味着由经典模拟产品提供的粗放式学术方法不再适用于行业,而未来的工具将更具体地针对特定任务,并更快地投入有用的操作。Emulate3D产品与目标用户的技能相匹配,旨在减少学习曲线并增加第一眼熟悉度。
{"title":"Introduction to Emulate3D: emulation, simulation, and demonstration","authors":"I. McGregor","doi":"10.5555/2429759.2430322","DOIUrl":"https://doi.org/10.5555/2429759.2430322","url":null,"abstract":"The Emulate3D product range is designed to fulfil the requirements of industrial engineers working with a wide range of partly or fully automated projects including warehousing, distribution, production and baggage handling. Emulate3D products are used for many purposes by different departments at various times throughout the project lifecycle, and an efficient workflow is made possible by employing the same core model throughout. Increasing time and resource constraints imposed upon project managers mean that the broad brush academic approach offered by classic simulation products is no longer appropriate within industry, and that the tools of tomorrow will be more task-specific, and quicker to put into useful operation. Emulate3D products are matched to the skill sets of their target users, and aim to reduce the learning curve and increase first-look familiarity.","PeriodicalId":287132,"journal":{"name":"Online World Conference on Soft Computing in Industrial Applications","volume":"29 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2012-12-09","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"124556610","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 2
Using simulation to forecast the demand for hospital emergency services at the regional level 运用模拟方法预测区域医院急救服务需求
Pub Date : 2012-12-09 DOI: 10.5555/2429759.2430232
B. Mielczarek, Justyna Uzialko-Mydlikowska
We present a general simulation framework designed to model the Polish regional emergency hospital services system. Based partly on the last year's demand and structure, the National Health Fund grants contracts for admission units and emergency wards (AU/EW) to cover the next year's costs of treatment of acute patients. The hybrid simulation model examines the impact of forecasted regional demographic fluctuations on the expected type, volume, and cost of medical procedures for patients in emergency departments. Two simulation models are developed. A Monte Carlo model examines the influence of the observed demographic trends on the volume of emergency demand directed toward AU/EW in the region. The discrete-event model simulates patients' pathways and received services. The model's output may help healthcare decision makers to estimate future needs for emergency hospital care that must be satisfied at the regional level.
我们提出了一个通用的模拟框架,旨在模拟波兰地区急救医院服务系统。根据去年的需求和结构,国家卫生基金授予住院单位和急诊病房(AU/EW)合同,以支付下一年治疗急性病人的费用。混合模拟模型检验了预测的区域人口波动对急诊室患者医疗程序的预期类型、数量和成本的影响。建立了两种仿真模型。蒙特卡洛模型考察了观察到的人口趋势对该区域面向非盟/EW的紧急需求数量的影响。离散事件模型模拟患者的路径和接受的服务。该模型的输出可以帮助医疗保健决策者估计未来必须在区域一级满足的医院急诊护理需求。
{"title":"Using simulation to forecast the demand for hospital emergency services at the regional level","authors":"B. Mielczarek, Justyna Uzialko-Mydlikowska","doi":"10.5555/2429759.2430232","DOIUrl":"https://doi.org/10.5555/2429759.2430232","url":null,"abstract":"We present a general simulation framework designed to model the Polish regional emergency hospital services system. Based partly on the last year's demand and structure, the National Health Fund grants contracts for admission units and emergency wards (AU/EW) to cover the next year's costs of treatment of acute patients. The hybrid simulation model examines the impact of forecasted regional demographic fluctuations on the expected type, volume, and cost of medical procedures for patients in emergency departments. Two simulation models are developed. A Monte Carlo model examines the influence of the observed demographic trends on the volume of emergency demand directed toward AU/EW in the region. The discrete-event model simulates patients' pathways and received services. The model's output may help healthcare decision makers to estimate future needs for emergency hospital care that must be satisfied at the regional level.","PeriodicalId":287132,"journal":{"name":"Online World Conference on Soft Computing in Industrial Applications","volume":"19 2","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2012-12-09","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"114133674","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 7
Keynote on "the propagation approach for computing biochemical reaction networks" 主题演讲“计算生化反应网络的传播方法”
Pub Date : 2012-12-09 DOI: 10.1109/WSC.2012.6464975
T. Henzinger
Joint work with Maria Mateescu. Propagation models provide a framework for describing algorithms for the transient analysis of stochastic state transition systems, such as computing event probabilities, expectancies, and variances on biochemical reaction networks. We discuss the syntax, semantics, and pragmatics of propagation models. We give three use cases for propagation models: the chemical master equation, the reaction rate equation, and a hybrid method that combines these two equations. We present a propagation abstract data type (ADT) for implementing uniformization and integration algorithms on propagation models. The propagation ADT is based on an update operator, which propagates continuous mass values through a discrete state space. The update operator can be implemented using a threshold abstraction, which propagates only "significant" mass values and thus achieves a controllable compromise between efficiency and accuracy.
与Maria Mateescu合作。传播模型为描述随机状态转移系统的瞬态分析算法提供了一个框架,例如计算生化反应网络上的事件概率、期望和方差。我们将讨论传播模型的语法、语义和语用。我们给出了传播模型的三种用例:化学主方程、反应速率方程和结合这两个方程的混合方法。提出了一种传播抽象数据类型(ADT),用于在传播模型上实现统一和集成算法。传播ADT基于更新算子,该算子通过离散状态空间传播连续质量值。更新操作符可以使用阈值抽象来实现,它只传播“重要”的质量值,从而在效率和准确性之间实现可控的折衷。
{"title":"Keynote on \"the propagation approach for computing biochemical reaction networks\"","authors":"T. Henzinger","doi":"10.1109/WSC.2012.6464975","DOIUrl":"https://doi.org/10.1109/WSC.2012.6464975","url":null,"abstract":"Joint work with Maria Mateescu.\u0000 Propagation models provide a framework for describing algorithms for the transient analysis of stochastic state transition systems, such as computing event probabilities, expectancies, and variances on biochemical reaction networks. We discuss the syntax, semantics, and pragmatics of propagation models. We give three use cases for propagation models: the chemical master equation, the reaction rate equation, and a hybrid method that combines these two equations. We present a propagation abstract data type (ADT) for implementing uniformization and integration algorithms on propagation models. The propagation ADT is based on an update operator, which propagates continuous mass values through a discrete state space. The update operator can be implemented using a threshold abstraction, which propagates only \"significant\" mass values and thus achieves a controllable compromise between efficiency and accuracy.","PeriodicalId":287132,"journal":{"name":"Online World Conference on Soft Computing in Industrial Applications","volume":"126 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2012-12-09","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"131685641","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
A binary partition-based matching algorithm for data distribution management 一种基于二进制分区的数据分布管理匹配算法
Pub Date : 2011-12-11 DOI: 10.1109/WSC.2011.6147978
J. Ahn, C. Sung, T. Kim
Data Distribution Management (DDM) is one of the High Level Architecture (HLA) services that reduce message traffic over the network. The major purpose of the DDM is to filter the exchange of data between federates during a federation. However, this traffic reduction usually suffers from higher computational overhead when calculating the intersection between update regions and subscription regions in a matching process. In order to reduce the computational overhead for the matching process, this paper proposes a binary partition-based matching algorithm for DDM in the HLA-based distributed simulation. The new matching algorithm is fundamentally based on a divide-and-conquer approach. The proposed algorithm recursively performs binary partitioning which divides the regions into two partitions that entirely cover those regions. This approach promises low computational overhead, since it does not require unnecessary comparisons within regions in different partitions. The experimental results show that the proposed algorithm performs better than the existing DDM matching algorithms and improves the scalability of the DDM.
数据分发管理(DDM)是减少网络上消息流量的高级体系结构(HLA)服务之一。DDM的主要目的是在联邦期间过滤联邦之间的数据交换。但是,在匹配过程中计算更新区域和订阅区域之间的交集时,这种流量减少通常会带来更高的计算开销。为了减少匹配过程的计算开销,本文提出了一种基于二元分区的DDM匹配算法。新的匹配算法基本上是基于分治的方法。该算法递归地执行二进制分区,将区域划分为两个完全覆盖这些区域的分区。这种方法保证了较低的计算开销,因为它不需要在不同分区的区域内进行不必要的比较。实验结果表明,该算法优于现有的DDM匹配算法,提高了DDM的可扩展性。
{"title":"A binary partition-based matching algorithm for data distribution management","authors":"J. Ahn, C. Sung, T. Kim","doi":"10.1109/WSC.2011.6147978","DOIUrl":"https://doi.org/10.1109/WSC.2011.6147978","url":null,"abstract":"Data Distribution Management (DDM) is one of the High Level Architecture (HLA) services that reduce message traffic over the network. The major purpose of the DDM is to filter the exchange of data between federates during a federation. However, this traffic reduction usually suffers from higher computational overhead when calculating the intersection between update regions and subscription regions in a matching process. In order to reduce the computational overhead for the matching process, this paper proposes a binary partition-based matching algorithm for DDM in the HLA-based distributed simulation. The new matching algorithm is fundamentally based on a divide-and-conquer approach. The proposed algorithm recursively performs binary partitioning which divides the regions into two partitions that entirely cover those regions. This approach promises low computational overhead, since it does not require unnecessary comparisons within regions in different partitions. The experimental results show that the proposed algorithm performs better than the existing DDM matching algorithms and improves the scalability of the DDM.","PeriodicalId":287132,"journal":{"name":"Online World Conference on Soft Computing in Industrial Applications","volume":"2 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2011-12-11","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"125590433","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 9
A multicriteria simulation optimization method for injection molding 注射成型多准则仿真优化方法
Pub Date : 2011-09-01 DOI: 10.1515/polyeng.2011.087
María Guadalupe Villarreal Marroquín, J. Castro, M. Cabrera-Ríos
Abstract Injection molding is the most important process for mass-producing plastic products. To help improve and facilitate the molding of plastic parts, advanced computer simulation tools have been developed. While modeling is complicated by itself, the difficulty of optimizing the injection molding process is that the performance measures involving the injection molding process usually show conflicting behaviors. Therefore, the best solution for one performance measure is usually not the best in some other performance measures. This paper introduces a simulation optimization method which considers multiple performance measures and is able to find a set of efficient solutions without having to evaluate a large number of simulations. The main components of the method are metamodeling, design of experiments, and data envelopment analysis. The method is illustrated and detailed here using a simple test example, and it is applied to a real injection molding case. The performance of the method using a different design of experiments is also discussed.
摘要注射成型是大批量生产塑料制品的重要工艺。为了帮助改进和方便塑料零件的成型,先进的计算机仿真工具已经开发出来。注塑成型本身就很复杂,而注塑工艺优化的难点在于涉及注塑工艺的各项性能指标往往表现出相互冲突的行为。因此,一个性能度量的最佳解决方案通常不是其他性能度量的最佳解决方案。本文介绍了一种考虑多种性能指标的仿真优化方法,该方法能够在不需要评估大量仿真的情况下找到一组有效的解决方案。该方法的主要组成部分是元建模、实验设计和数据包络分析。本文通过一个简单的测试实例对该方法进行了详细说明,并将其应用于实际的注塑件。本文还讨论了采用不同实验设计时该方法的性能。
{"title":"A multicriteria simulation optimization method for injection molding","authors":"María Guadalupe Villarreal Marroquín, J. Castro, M. Cabrera-Ríos","doi":"10.1515/polyeng.2011.087","DOIUrl":"https://doi.org/10.1515/polyeng.2011.087","url":null,"abstract":"Abstract Injection molding is the most important process for mass-producing plastic products. To help improve and facilitate the molding of plastic parts, advanced computer simulation tools have been developed. While modeling is complicated by itself, the difficulty of optimizing the injection molding process is that the performance measures involving the injection molding process usually show conflicting behaviors. Therefore, the best solution for one performance measure is usually not the best in some other performance measures. This paper introduces a simulation optimization method which considers multiple performance measures and is able to find a set of efficient solutions without having to evaluate a large number of simulations. The main components of the method are metamodeling, design of experiments, and data envelopment analysis. The method is illustrated and detailed here using a simple test example, and it is applied to a real injection molding case. The performance of the method using a different design of experiments is also discussed.","PeriodicalId":287132,"journal":{"name":"Online World Conference on Soft Computing in Industrial Applications","volume":"67 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2011-09-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"121448687","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 19
期刊
Online World Conference on Soft Computing in Industrial Applications
全部 Acc. Chem. Res. ACS Applied Bio Materials ACS Appl. Electron. Mater. ACS Appl. Energy Mater. ACS Appl. Mater. Interfaces ACS Appl. Nano Mater. ACS Appl. Polym. Mater. ACS BIOMATER-SCI ENG ACS Catal. ACS Cent. Sci. ACS Chem. Biol. ACS Chemical Health & Safety ACS Chem. Neurosci. ACS Comb. Sci. ACS Earth Space Chem. ACS Energy Lett. ACS Infect. Dis. ACS Macro Lett. ACS Mater. Lett. ACS Med. Chem. Lett. ACS Nano ACS Omega ACS Photonics ACS Sens. ACS Sustainable Chem. Eng. ACS Synth. Biol. Anal. Chem. BIOCHEMISTRY-US Bioconjugate Chem. BIOMACROMOLECULES Chem. Res. Toxicol. Chem. Rev. Chem. Mater. CRYST GROWTH DES ENERG FUEL Environ. Sci. Technol. Environ. Sci. Technol. Lett. Eur. J. Inorg. Chem. IND ENG CHEM RES Inorg. Chem. J. Agric. Food. Chem. J. Chem. Eng. Data J. Chem. Educ. J. Chem. Inf. Model. J. Chem. Theory Comput. J. Med. Chem. J. Nat. Prod. J PROTEOME RES J. Am. Chem. Soc. LANGMUIR MACROMOLECULES Mol. Pharmaceutics Nano Lett. Org. Lett. ORG PROCESS RES DEV ORGANOMETALLICS J. Org. Chem. J. Phys. Chem. J. Phys. Chem. A J. Phys. Chem. B J. Phys. Chem. C J. Phys. Chem. Lett. Analyst Anal. Methods Biomater. Sci. Catal. Sci. Technol. Chem. Commun. Chem. Soc. Rev. CHEM EDUC RES PRACT CRYSTENGCOMM Dalton Trans. Energy Environ. Sci. ENVIRON SCI-NANO ENVIRON SCI-PROC IMP ENVIRON SCI-WAT RES Faraday Discuss. Food Funct. Green Chem. Inorg. Chem. Front. Integr. Biol. J. Anal. At. Spectrom. J. Mater. Chem. A J. Mater. Chem. B J. Mater. Chem. C Lab Chip Mater. Chem. Front. Mater. Horiz. MEDCHEMCOMM Metallomics Mol. Biosyst. Mol. Syst. Des. Eng. Nanoscale Nanoscale Horiz. Nat. Prod. Rep. New J. Chem. Org. Biomol. Chem. Org. Chem. Front. PHOTOCH PHOTOBIO SCI PCCP Polym. Chem.
×
引用
GB/T 7714-2015
复制
MLA
复制
APA
复制
导出至
BibTeX EndNote RefMan NoteFirst NoteExpress
×
0
微信
客服QQ
Book学术公众号 扫码关注我们
反馈
×
意见反馈
请填写您的意见或建议
请填写您的手机或邮箱
×
提示
您的信息不完整,为了账户安全,请先补充。
现在去补充
×
提示
您因"违规操作"
具体请查看互助需知
我知道了
×
提示
现在去查看 取消
×
提示
确定
Book学术官方微信
Book学术文献互助
Book学术文献互助群
群 号:481959085
Book学术
文献互助 智能选刊 最新文献 互助须知 联系我们:info@booksci.cn
Book学术提供免费学术资源搜索服务,方便国内外学者检索中英文文献。致力于提供最便捷和优质的服务体验。
Copyright © 2023 Book学术 All rights reserved.
ghs 京公网安备 11010802042870号 京ICP备2023020795号-1