首页 > 最新文献

Proceedings of the 10th International Conference on Computer Modeling and Simulation最新文献

英文 中文
Numerical Analysis of dustproof effect of windbreak net for Coal Yard 煤场防风网防尘效果的数值分析
Shiqi Zhao, Qianxi Zhang
This article indicates that windbreaks are efficient barriers to reducing or redirecting wind velocity to prevent coal dust transfer by comparing several dustproof techniques and investigating the coal dust pollution status of the coal yard in coastal port. The dustproof principle is analyzed accordingly, and numerical simulation of air flow distribution after windbreak net is performed to obtain the main parameters of the net and the result suggests using windbreak net as main approach, combined with dry or wet method, as well as shelterbelt, and the best scheme of designing the windbreak net is put forward.
本文通过对几种防尘技术的比较和对沿海港口煤场煤尘污染现状的调查,指出防风林是降低或改变风速以防止煤尘转移的有效屏障。据此对防风网的防尘原理进行了分析,并对防风网后的气流分布进行了数值模拟,得到了防风网的主要参数,建议以防风网为主要途径,结合干湿法和防护林,提出了防风网的最佳设计方案。
{"title":"Numerical Analysis of dustproof effect of windbreak net for Coal Yard","authors":"Shiqi Zhao, Qianxi Zhang","doi":"10.1145/3177457.3191707","DOIUrl":"https://doi.org/10.1145/3177457.3191707","url":null,"abstract":"This article indicates that windbreaks are efficient barriers to reducing or redirecting wind velocity to prevent coal dust transfer by comparing several dustproof techniques and investigating the coal dust pollution status of the coal yard in coastal port. The dustproof principle is analyzed accordingly, and numerical simulation of air flow distribution after windbreak net is performed to obtain the main parameters of the net and the result suggests using windbreak net as main approach, combined with dry or wet method, as well as shelterbelt, and the best scheme of designing the windbreak net is put forward.","PeriodicalId":297531,"journal":{"name":"Proceedings of the 10th International Conference on Computer Modeling and Simulation","volume":"31 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2018-01-08","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"129675758","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
An Improved Three-stage DEA as Business Intelligence for Benchmarking Luxury Hotels with Environmental Effect 改进的三阶段DEA作为环境效应豪华酒店标杆管理的商业智能
Long-fei Chen
Investors need efficient method to effectively evaluate true performance in the big data era. An improved three-stage slack-based DEA method is proposed as business intelligence to overcome the independently identically distributed (i.i.d.) restriction on small sample size in the popular three-stage DEA proposed by Fried. Later, it is applied to find the relative efficiencies for international hotels. By treating environmental variable (near airport) as non-discretionary input, each hotel can consider non-discretionary input as exogenous variable to adjust input by filtering out environmental effects and statistical noise. The improved relative efficiencies can be resulted from referred hotels. The results show the environmental effect is significant but not as important as internal resources.
在大数据时代,投资者需要有效评估真实业绩的有效方法。提出了一种改进的三阶段基于松弛的DEA方法作为商业智能,克服了弗里德流行的三阶段DEA中独立同分布的小样本量限制。然后,将其应用到国际酒店的相对效率中。通过将环境变量(机场附近)作为非自由支配输入,各酒店可以将非自由支配输入视为外生变量,通过过滤掉环境效应和统计噪声来调整输入。通过推荐酒店,可以提高相对效率。结果表明,环境效应显著,但不如内部资源重要。
{"title":"An Improved Three-stage DEA as Business Intelligence for Benchmarking Luxury Hotels with Environmental Effect","authors":"Long-fei Chen","doi":"10.1145/3177457.3177489","DOIUrl":"https://doi.org/10.1145/3177457.3177489","url":null,"abstract":"Investors need efficient method to effectively evaluate true performance in the big data era. An improved three-stage slack-based DEA method is proposed as business intelligence to overcome the independently identically distributed (i.i.d.) restriction on small sample size in the popular three-stage DEA proposed by Fried. Later, it is applied to find the relative efficiencies for international hotels. By treating environmental variable (near airport) as non-discretionary input, each hotel can consider non-discretionary input as exogenous variable to adjust input by filtering out environmental effects and statistical noise. The improved relative efficiencies can be resulted from referred hotels. The results show the environmental effect is significant but not as important as internal resources.","PeriodicalId":297531,"journal":{"name":"Proceedings of the 10th International Conference on Computer Modeling and Simulation","volume":"17 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2018-01-08","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"130171965","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
Standard Values of Service Level of Intersection for Collection and Distribution Roads of Container Terminals 集装箱码头集散道路交叉口服务水平标准值
Ningning Li, Jingjing Yu, Na Chu
In the container terminal, the proportion of heavy trucks at the road intersections for container terminal is large, which is significantly different from the urban road traffic flow mainly dominated by sedan cars. Therefore, we established a microscopic traffic simulation model to analyze the dynamic change of service traffic volume under the different service levels of the large vehicles, and the grading standard on service level of evacuation road intersections for container terminals could also be determined. The results showed that the average delay and the queue length could be effected obviously by the rate of large vehicles when the loading degree was within 0.7~0.9. And the case study demonstrated that compared with the recommended values of evaluation index for road intersection service level from Code for Planning Intersections on Urban Roads, the proposed evaluation values would be more reasonable for container terminals.
在集装箱码头中,重型卡车在集装箱码头道路交叉口所占比例较大,这与以轿车为主的城市道路交通流有明显不同。因此,我们建立微观交通仿真模型,分析大型车辆不同服务水平下服务交通量的动态变化,并确定集装箱码头疏散道路交叉口服务水平的分级标准。结果表明,在装载度在0.7~0.9范围内时,大型车辆率对平均延误和排队长度有明显影响。案例研究表明,与《城市道路交叉口规划规范》中交叉口服务水平评价指标推荐值相比,本文提出的评价值对于集装箱码头更为合理。
{"title":"Standard Values of Service Level of Intersection for Collection and Distribution Roads of Container Terminals","authors":"Ningning Li, Jingjing Yu, Na Chu","doi":"10.1145/3177457.3177475","DOIUrl":"https://doi.org/10.1145/3177457.3177475","url":null,"abstract":"In the container terminal, the proportion of heavy trucks at the road intersections for container terminal is large, which is significantly different from the urban road traffic flow mainly dominated by sedan cars. Therefore, we established a microscopic traffic simulation model to analyze the dynamic change of service traffic volume under the different service levels of the large vehicles, and the grading standard on service level of evacuation road intersections for container terminals could also be determined. The results showed that the average delay and the queue length could be effected obviously by the rate of large vehicles when the loading degree was within 0.7~0.9. And the case study demonstrated that compared with the recommended values of evaluation index for road intersection service level from Code for Planning Intersections on Urban Roads, the proposed evaluation values would be more reasonable for container terminals.","PeriodicalId":297531,"journal":{"name":"Proceedings of the 10th International Conference on Computer Modeling and Simulation","volume":"221 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2018-01-08","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"114688124","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
SW: a blind LSBR image steganalysis technique 一种盲的LSBR图像隐写分析技术
Saman Shojae Chaeikar, A. Ahmadi
Blind image steganalysis is exploring body of digital images for the likely presence of hidden secret messages without knowledge of the employed steganographic technique. This paper proposes a novel image steganalysis technique to attack spatial domain LSBR stego images. The chosen steganalytic feature is the relation between length of the embedded message and the regressed proportion of intensity identical pixels and color channels. A trained SVM analyzes the pixels and the final decision is made based on union of the pixel analysis results. In SW, a number of innovative contributions are made to the field of blind image steganalysis. First, measuring pixel and cannel color correlativity as steganalytic feature. Second, defining pixel membership degree, thereby the pixels gain different level of influence on the process. Third, generating six references for statistical patterns of cover and stego pixels. And fourth, achieving 99.626% steganalyzer sensitivity on 0.25bpp stego images by only two analysis dimensions.
盲图像隐写分析是在不知道所采用的隐写技术的情况下,探索数字图像中可能存在隐藏的秘密信息。针对空间域LSBR隐写图像,提出了一种新的图像隐写分析技术。所选择的隐写分析特征是嵌入信息的长度与强度相同像素和颜色通道的回归比例之间的关系。训练后的支持向量机对像素进行分析,并根据像素分析结果的并集做出最终决策。在SW中,盲图像隐写分析领域做出了许多创新贡献。首先,测量像素和通道颜色的相关性作为隐写特征。其次,定义像素的隶属度,从而使像素对过程获得不同程度的影响。第三,生成6个覆盖和隐影像素统计模式的参考。第四,仅用两个分析维度就能在0.25bpp的隐写图像上实现99.626%的隐写分析器灵敏度。
{"title":"SW: a blind LSBR image steganalysis technique","authors":"Saman Shojae Chaeikar, A. Ahmadi","doi":"10.1145/3177457.3177488","DOIUrl":"https://doi.org/10.1145/3177457.3177488","url":null,"abstract":"Blind image steganalysis is exploring body of digital images for the likely presence of hidden secret messages without knowledge of the employed steganographic technique. This paper proposes a novel image steganalysis technique to attack spatial domain LSBR stego images. The chosen steganalytic feature is the relation between length of the embedded message and the regressed proportion of intensity identical pixels and color channels. A trained SVM analyzes the pixels and the final decision is made based on union of the pixel analysis results. In SW, a number of innovative contributions are made to the field of blind image steganalysis. First, measuring pixel and cannel color correlativity as steganalytic feature. Second, defining pixel membership degree, thereby the pixels gain different level of influence on the process. Third, generating six references for statistical patterns of cover and stego pixels. And fourth, achieving 99.626% steganalyzer sensitivity on 0.25bpp stego images by only two analysis dimensions.","PeriodicalId":297531,"journal":{"name":"Proceedings of the 10th International Conference on Computer Modeling and Simulation","volume":"22 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2018-01-08","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"114794101","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}
引用次数: 4
Numerical Modelling and Simulation of Ferro Casting Ductile Shear Keys for Precast Concrete Girders 混凝土预制梁铸铁韧性剪切键的数值模拟与仿真
H. Purnomo, M. Orientilize, R. Nursani, F. Hardjanto
This paper discusses the numerical modelling and simulation of Ferro casting ductile (FCD) metal shear key, or connector, without epoxy used for joining segmental precast concrete girders. In contrast to other types of cast iron, FCD metals exhibit higher level of ductility. In an effort to identify an optimum shape of an FCD metal shear key the numerical study in this paper investigates the response of four different geometries of full scale FCD metal shear key to shearing force from the concrete members and prestressing force acting in the centreline of the connector. Nonlinear finite element analysis of the shear key and the adjoining concrete members are conducted using ANSYS academic package. The appropriate constitutive relations for the FCD metal and concrete materials are obtained from test results and published values in the literature. The study considers two different magnitudes of prestressing force and two different concrete compressive strengths. Numerical results indicate that introducing a taper onto the forward ring plate of the male part of the shear key results in a significant increase in its load-bearing capacity.
本文讨论了不含环氧树脂的铸铁球墨金属剪切键连接节段预制混凝土梁的数值模拟与仿真。与其他类型的铸铁相比,FCD金属具有更高的延展性。为了确定FCD金属剪切键的最佳形状,本文进行了数值研究,研究了四种不同几何形状的全尺寸FCD金属剪切键对混凝土构件剪力和作用在连接件中线的预应力的响应。利用ANSYS理论包对剪力键及相邻混凝土构件进行了非线性有限元分析。FCD金属和混凝土材料的适当本构关系是由试验结果和已发表的文献值得出的。研究考虑了两种不同的预应力大小和两种不同的混凝土抗压强度。数值计算结果表明,在剪力键公部前环板上引入锥度可以显著提高剪力键公部前环板的承载能力。
{"title":"Numerical Modelling and Simulation of Ferro Casting Ductile Shear Keys for Precast Concrete Girders","authors":"H. Purnomo, M. Orientilize, R. Nursani, F. Hardjanto","doi":"10.1145/3177457.3177479","DOIUrl":"https://doi.org/10.1145/3177457.3177479","url":null,"abstract":"This paper discusses the numerical modelling and simulation of Ferro casting ductile (FCD) metal shear key, or connector, without epoxy used for joining segmental precast concrete girders. In contrast to other types of cast iron, FCD metals exhibit higher level of ductility. In an effort to identify an optimum shape of an FCD metal shear key the numerical study in this paper investigates the response of four different geometries of full scale FCD metal shear key to shearing force from the concrete members and prestressing force acting in the centreline of the connector. Nonlinear finite element analysis of the shear key and the adjoining concrete members are conducted using ANSYS academic package. The appropriate constitutive relations for the FCD metal and concrete materials are obtained from test results and published values in the literature. The study considers two different magnitudes of prestressing force and two different concrete compressive strengths. Numerical results indicate that introducing a taper onto the forward ring plate of the male part of the shear key results in a significant increase in its load-bearing capacity.","PeriodicalId":297531,"journal":{"name":"Proceedings of the 10th International Conference on Computer Modeling and Simulation","volume":"25 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2018-01-08","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"132829820","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
The Application of Mathematical Models for Industrial Centrifugal Compressor Optimal Design 数学模型在工业离心压缩机优化设计中的应用
Y. Galerkin, K. Soldatova, A. Drozdov
The authors present the design approach aiming to reach maximum possible efficiency of an industrial centrifugal compressor. To reach the goal the flow coefficient of stages must lie within the range where velocity at an impeller inlet are not more than 0,7 of blade speed. Flow path channels must not be less than 0,05 of an impeller diameter. A loading factor must vary between 0,4 and 0,5. Design limitations are important too. The Universal Modeling Method of effective design and reliable calculation is shortly described. The original two-zone model is being processed by implemented in PC programs to optimize basic dimensions of a flow path and to calculate gas dynamic performances. Q3D calculations are applied to optimize 2D and 3D blade cascades. CFD calculations are used as a finishing operation. Two samples of high effective compressors developed in cooperation with PAO SMPO (Sumy city, Ukraine) are presented. 16 MW booster compressor demonstrated efficiency close to 88% due to proper choice of number of stages'. 32 MW single-stage compressor design was based on most effective scheme and parameters offered by PAO SMPO. The Industrial partner designed, manufactured and tested 1:2 scale model. The tests have verified the project gas dynamic performances with high accuracy. Polytropic efficiency of 90% was reached for the first time in the Authors' design practice.
作者提出了一种旨在使工业离心压缩机达到最大效率的设计方法。为了达到这一目的,各级的流量系数必须在叶轮入口速度不大于叶片速度0.7的范围内。流道通道不得小于叶轮直径的0.05。负载因子必须在0,4和0,5之间变化。设计限制也很重要。简要介绍了有效设计和可靠计算的通用建模方法。原始的两区模型正在PC程序中进行处理,以优化流道的基本尺寸并计算气体的动态性能。Q3D计算应用于优化二维和三维叶片叶栅。CFD计算被用作收尾操作。介绍了与PAO SMPO(乌克兰苏梅市)合作开发的两种高效压缩机样品。通过对级数的合理选择,16mw增压压缩机的效率接近88%。32mw单级压缩机的设计是根据PAO SMPO提供的最有效方案和参数进行的。工业合作伙伴设计、制造和测试了1:2比例模型。试验验证了该工程的气体动力性能,具有较高的精度。在笔者的设计实践中,首次达到了90%的多向效率。
{"title":"The Application of Mathematical Models for Industrial Centrifugal Compressor Optimal Design","authors":"Y. Galerkin, K. Soldatova, A. Drozdov","doi":"10.1145/3177457.3177468","DOIUrl":"https://doi.org/10.1145/3177457.3177468","url":null,"abstract":"The authors present the design approach aiming to reach maximum possible efficiency of an industrial centrifugal compressor. To reach the goal the flow coefficient of stages must lie within the range where velocity at an impeller inlet are not more than 0,7 of blade speed. Flow path channels must not be less than 0,05 of an impeller diameter. A loading factor must vary between 0,4 and 0,5. Design limitations are important too. The Universal Modeling Method of effective design and reliable calculation is shortly described. The original two-zone model is being processed by implemented in PC programs to optimize basic dimensions of a flow path and to calculate gas dynamic performances. Q3D calculations are applied to optimize 2D and 3D blade cascades. CFD calculations are used as a finishing operation. Two samples of high effective compressors developed in cooperation with PAO SMPO (Sumy city, Ukraine) are presented. 16 MW booster compressor demonstrated efficiency close to 88% due to proper choice of number of stages'. 32 MW single-stage compressor design was based on most effective scheme and parameters offered by PAO SMPO. The Industrial partner designed, manufactured and tested 1:2 scale model. The tests have verified the project gas dynamic performances with high accuracy. Polytropic efficiency of 90% was reached for the first time in the Authors' design practice.","PeriodicalId":297531,"journal":{"name":"Proceedings of the 10th International Conference on Computer Modeling and Simulation","volume":"72 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2018-01-08","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"131595053","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}
引用次数: 14
Estimating Parameter for the Mixture Generalized Gamma Distribution 混合广义伽玛分布的参数估计
W. Phaphan
Mixture generalized gamma distribution is a combination of two distributions -- Generalized gamma distribution and length biased generalized gamma distribution. This distribution is presented by Suksaengrakcharoen and Bodhisuwan in 2014. The findings showed that probability density function (pdf) had fairly complexities, so it made problems in estimating parameters. The problem occurred in parameter estimation was that we were unable to calculate estimators in the form of critical expression. Thus, we will use numerical estimation to find the estimators. In this study, we presented a new method of the parameter estimation by using the expectation -- maximization algorithm (EM), the conjugate gradient method, and the quasi-Newton method. The data was generated by acceptance-rejection method which is used for estimating α, β λ and p. λ is the scale parameter, p is the weight parameter, α and β are the shape parameters. We will use Monte Carlo technique to find the estimator's performance. Determining the size of sample equals 30, 100 and the simulation were repeated 20 times in each case. We evaluated the effectiveness of the estimators which was introduced by considering values of the mean squared errors and the bias. The findings revealed that the EM-algorithm had proximity to the actual values determined. Also, the maximum likelihood estimators via the conjugate gradient and the quasi-Newton method are less precision than the maximum likelihood estimators via the EM-algorithm.
混合广义伽玛分布是广义伽玛分布和长度偏倚广义伽玛分布两种分布的组合。这个分布由Suksaengrakcharoen和Bodhisuwan在2014年提出。结果表明,概率密度函数具有一定的复杂性,在参数估计中存在一定的问题。在参数估计中出现的问题是我们无法以临界表达式的形式计算估计量。因此,我们将使用数值估计来找到估计量。本文提出了一种利用期望最大化算法、共轭梯度法和拟牛顿法进行参数估计的新方法。采用接受-拒绝法对α、β λ和p进行估计,λ为尺度参数,p为权重参数,α和β为形状参数。我们将使用蒙特卡罗技术来找到估计器的性能。确定样本大小为30、100,每种情况下重复模拟20次。我们通过考虑均方误差和偏差的值来评估引入的估计器的有效性。结果表明,em算法与实际确定的值接近。此外,共轭梯度法和拟牛顿法的极大似然估计精度低于em -算法的极大似然估计精度。
{"title":"Estimating Parameter for the Mixture Generalized Gamma Distribution","authors":"W. Phaphan","doi":"10.1145/3177457.3177492","DOIUrl":"https://doi.org/10.1145/3177457.3177492","url":null,"abstract":"Mixture generalized gamma distribution is a combination of two distributions -- Generalized gamma distribution and length biased generalized gamma distribution. This distribution is presented by Suksaengrakcharoen and Bodhisuwan in 2014. The findings showed that probability density function (pdf) had fairly complexities, so it made problems in estimating parameters. The problem occurred in parameter estimation was that we were unable to calculate estimators in the form of critical expression. Thus, we will use numerical estimation to find the estimators. In this study, we presented a new method of the parameter estimation by using the expectation -- maximization algorithm (EM), the conjugate gradient method, and the quasi-Newton method. The data was generated by acceptance-rejection method which is used for estimating α, β λ and p. λ is the scale parameter, p is the weight parameter, α and β are the shape parameters. We will use Monte Carlo technique to find the estimator's performance. Determining the size of sample equals 30, 100 and the simulation were repeated 20 times in each case. We evaluated the effectiveness of the estimators which was introduced by considering values of the mean squared errors and the bias. The findings revealed that the EM-algorithm had proximity to the actual values determined. Also, the maximum likelihood estimators via the conjugate gradient and the quasi-Newton method are less precision than the maximum likelihood estimators via the EM-algorithm.","PeriodicalId":297531,"journal":{"name":"Proceedings of the 10th International Conference on Computer Modeling and Simulation","volume":"170 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2018-01-08","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"134334466","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
Material Handling System Modeling of a Modern FAB 现代FAB物料搬运系统建模
Kwanwoo Lee, D. Chang, S. C. Park
This paper presents a modeling methodology for a material handling system of a modern FAB. These days, a system of the modern FAB is complex owing to reentrant process characteristic of the semiconductor FAB process. This research introduces briefly about AMHS and the notion about DEV&DESS (Discrete Event System and Differential Equation System Specification). It presents the OHT (Overhead Hoist Transport) movement model has described using the DEV&DESS formalism. The reason for using DEV&DESS in this research is that it is suitable formalism to describe complex systems. Specially, we had to avoid a collision between OHT vehicles while performing a simulation. Finally, it shows the implementation result of the OHT in sample semiconductor FAB model to validate a model which we had modeled.
本文提出了一种现代FAB物料搬运系统的建模方法。目前,由于半导体FAB工艺的可重入工艺特点,现代FAB系统较为复杂。本文简要介绍了离散事件系统和微分方程系统规范(DEV&DESS)的概念。提出了用DEV&DESS形式描述的OHT(架空葫芦运输)运动模型。在本研究中使用DEV&DESS的原因是它是一种适合描述复杂系统的形式主义。特别地,我们必须在模拟时避免OHT车辆之间的碰撞。最后,给出了OHT在样品半导体FAB模型中的实现结果,验证了我们所建立的模型。
{"title":"Material Handling System Modeling of a Modern FAB","authors":"Kwanwoo Lee, D. Chang, S. C. Park","doi":"10.1145/3177457.3177490","DOIUrl":"https://doi.org/10.1145/3177457.3177490","url":null,"abstract":"This paper presents a modeling methodology for a material handling system of a modern FAB. These days, a system of the modern FAB is complex owing to reentrant process characteristic of the semiconductor FAB process. This research introduces briefly about AMHS and the notion about DEV&DESS (Discrete Event System and Differential Equation System Specification). It presents the OHT (Overhead Hoist Transport) movement model has described using the DEV&DESS formalism. The reason for using DEV&DESS in this research is that it is suitable formalism to describe complex systems. Specially, we had to avoid a collision between OHT vehicles while performing a simulation. Finally, it shows the implementation result of the OHT in sample semiconductor FAB model to validate a model which we had modeled.","PeriodicalId":297531,"journal":{"name":"Proceedings of the 10th International Conference on Computer Modeling and Simulation","volume":"9 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2018-01-08","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"131338056","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
Symbolic backward simulation of Java bytecode program Java字节码程序的符号逆向模拟
Tetsuya Inafune, S. Miura, T. Taketa, Y. Hiranaka
We present a new method, symbolic backward simulation, for detecting bugs in Java bytecode programs. In order to find bugs comprehensively, the method determines conditions on the input side by tracing back from the tail of the program while performing reverse execution for each bytecode. Generally, reverse execution is difficult, especially for instructions of two-input-one-output operations and branches. Our method solves the problem symbolically with essentially fewer simulation cases than numerical testing and forward symbolic analysis. We also show simulation results which detected a branch condition error and a real number processing error.
提出了一种检测Java字节码程序错误的新方法——符号逆向模拟。为了全面发现错误,该方法在对每个字节码执行反向执行的同时,通过从程序尾部回溯来确定输入端的条件。通常,反向执行是困难的,特别是对于双输入一输出操作和分支的指令。与数值测试和正演符号分析相比,我们的方法用更少的模拟案例以符号化的方式解决了问题。并给出了检测分支条件误差和实数处理误差的仿真结果。
{"title":"Symbolic backward simulation of Java bytecode program","authors":"Tetsuya Inafune, S. Miura, T. Taketa, Y. Hiranaka","doi":"10.1145/3177457.3177480","DOIUrl":"https://doi.org/10.1145/3177457.3177480","url":null,"abstract":"We present a new method, symbolic backward simulation, for detecting bugs in Java bytecode programs. In order to find bugs comprehensively, the method determines conditions on the input side by tracing back from the tail of the program while performing reverse execution for each bytecode. Generally, reverse execution is difficult, especially for instructions of two-input-one-output operations and branches. Our method solves the problem symbolically with essentially fewer simulation cases than numerical testing and forward symbolic analysis. We also show simulation results which detected a branch condition error and a real number processing error.","PeriodicalId":297531,"journal":{"name":"Proceedings of the 10th International Conference on Computer Modeling and Simulation","volume":"31 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2018-01-08","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"116477896","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
An Overview on the Application of Self-Adaptive Differential Evolution 自适应差分进化的应用综述
Sarah Hazwani Adnan, Shir Li Wang, H. Ibrahim, T. F. Ng
Differential Evolution (DE) is possibly the most current powerful stochastic real-parameter optimization algorithm and has been used in multiple diverse area such as neural networks, logistics, scheduling, modelling and others. Its simplicity, ease of implementation and reliability had captures many practitioners and scientists in implementing the algorithm. As different problems require different parameter setting, the implementation of DE in tackling complex computational optimization problem is quite challenging. Nevertheless, success of the algorithm depends on the ability to choose the right parameter setting based on problems in hand. Thus, extra attention is needed in order to fine tune the perfect parameter for each problem. Self-adaptive Differential Evolution (SADE) algorithm had been introduced in order to simplify the search for the right parameter to be used in DE algorithm. With the introduction of SADE in optimization areas, where the choice of learning strategy and parameter setting do not require predefining, parameter tuning has become less confusing. This paper aims at providing an overview on significant application that have benefited from SADE implementation. SADE had been applied in numerous disciplines such as electromagnetics, power system, computer performance, fermentation, polyester process and more. SADE has also proven to achieve better performance compared to conventional DE algorithm. By collecting and analyzing related articles that have implemented SADE in solving problem, a significant trends on the application of SADE will be provided.
差分进化(DE)可能是目前最强大的随机实参数优化算法,已被应用于神经网络、物流、调度、建模等多个领域。它的简单性、易实现性和可靠性吸引了许多从业者和科学家在实现算法。由于不同的问题需要不同的参数设置,因此在处理复杂的计算优化问题时实现DE具有很大的挑战性。然而,算法的成功取决于基于手头问题选择正确参数设置的能力。因此,需要额外的注意,以便为每个问题微调完美的参数。引入自适应差分进化(SADE)算法,简化了自适应差分进化算法中参数的查找过程。随着SADE在优化领域的引入,学习策略的选择和参数设置不需要预先定义,参数调优变得不那么混乱。本文旨在概述从SADE实施中受益的重要应用。SADE已应用于电磁学、电力系统、计算机性能、发酵、聚酯工艺等众多学科。与传统DE算法相比,SADE也被证明具有更好的性能。通过收集和分析将SADE应用于解决问题的相关文章,提供SADE应用的重要趋势。
{"title":"An Overview on the Application of Self-Adaptive Differential Evolution","authors":"Sarah Hazwani Adnan, Shir Li Wang, H. Ibrahim, T. F. Ng","doi":"10.1145/3177457.3177504","DOIUrl":"https://doi.org/10.1145/3177457.3177504","url":null,"abstract":"Differential Evolution (DE) is possibly the most current powerful stochastic real-parameter optimization algorithm and has been used in multiple diverse area such as neural networks, logistics, scheduling, modelling and others. Its simplicity, ease of implementation and reliability had captures many practitioners and scientists in implementing the algorithm. As different problems require different parameter setting, the implementation of DE in tackling complex computational optimization problem is quite challenging. Nevertheless, success of the algorithm depends on the ability to choose the right parameter setting based on problems in hand. Thus, extra attention is needed in order to fine tune the perfect parameter for each problem. Self-adaptive Differential Evolution (SADE) algorithm had been introduced in order to simplify the search for the right parameter to be used in DE algorithm. With the introduction of SADE in optimization areas, where the choice of learning strategy and parameter setting do not require predefining, parameter tuning has become less confusing. This paper aims at providing an overview on significant application that have benefited from SADE implementation. SADE had been applied in numerous disciplines such as electromagnetics, power system, computer performance, fermentation, polyester process and more. SADE has also proven to achieve better performance compared to conventional DE algorithm. By collecting and analyzing related articles that have implemented SADE in solving problem, a significant trends on the application of SADE will be provided.","PeriodicalId":297531,"journal":{"name":"Proceedings of the 10th International Conference on Computer Modeling and Simulation","volume":"119 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2018-01-08","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"120938578","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
期刊
Proceedings of the 10th International Conference on Computer Modeling and Simulation
全部 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