发布求助
文献互助 智能选刊 最新文献

Int. J. Simul. Process. Model.最新文献

筛选
英文 中文
Decision supporting for ship collision avoidance in restricted waters 受限水域船舶避碰决策支持
Int. J. Simul. Process. Model. Pub Date : 2020-04-21 DOI: 10.1504/ijspm.2020.10028719
Yuanqiang Zhang, Guoyou Shi, Hu Liu, Weifeng Li
{"title":"Decision supporting for ship collision avoidance in restricted waters","authors":"Yuanqiang Zhang, Guoyou Shi, Hu Liu, Weifeng Li","doi":"10.1504/ijspm.2020.10028719","DOIUrl":"https://doi.org/10.1504/ijspm.2020.10028719","url":null,"abstract":"To solve the problem of ship collision avoidance in restricted waters, a method is proposed, in this paper, for obtaining the time to the closest point of approach (TCPA), the distance to the closest point of approach (DCPA) and the meeting position considering multileg route, the proposed method considers the turning position and turning time of the ship. For ships with a collision risk, a safe speed can be obtained by setting a new meeting position. The safe speed considers the time elapsed for altering speed. At the end, the proposed method is used to get the collision risk and avoidance measures for three different encounter situations. A navigation simulator is used to verify the avoidance measures. The experimental results show that the proposed algorithm can obtain more accurate results than the existing algorithms.","PeriodicalId":266151,"journal":{"name":"Int. J. Simul. Process. Model.","volume":"42 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2020-04-21","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"123759025","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}
引用次数: 3
Energy consumption models in dialysis clinics for agent-based decision support 基于agent决策支持的透析诊所能耗模型
Int. J. Simul. Process. Model. Pub Date : 2020-04-21 DOI: 10.1504/ijspm.2020.10028741
Stefan Wandler, S. Bai, W. Raskob
{"title":"Energy consumption models in dialysis clinics for agent-based decision support","authors":"Stefan Wandler, S. Bai, W. Raskob","doi":"10.1504/ijspm.2020.10028741","DOIUrl":"https://doi.org/10.1504/ijspm.2020.10028741","url":null,"abstract":"This paper describes an approach to predict the consumptions of water and power in dialysis clinics by simulating the internal processes. Better understanding is essential to prevent and mitigate adverse health impact on patients. Our methods are based on literature about dialysis processes and dialysis clinics, which are first-hand technical reports. The nonlinear model comprises the energy consumption of the technical systems together with their working schedules and the time schedule of the number of patients to be treated. Our model will be used as sub-model in an agent-based simulation system aiming to optimise the use of resources in an emergency with power outages or brownouts. The results presented in this study can be treated as a benchmark for decision makers to estimate the performance of a dialysis clinic or centre based on the amount of electricity and water needed and available.","PeriodicalId":266151,"journal":{"name":"Int. J. Simul. Process. Model.","volume":"44 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2020-04-21","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"129214004","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
Two-sided M-Bayesian limits of credibility of reliability parameters in the case of zero-failure data and a case study 零失效数据下可靠性参数可信度的双侧m -贝叶斯极限及实例研究
Int. J. Simul. Process. Model. Pub Date : 2020-04-21 DOI: 10.1504/ijspm.2020.10028730
Wanyi Dai, Siqi Li, Mei Zhang, Yueming Hu, D. Mei
{"title":"Two-sided M-Bayesian limits of credibility of reliability parameters in the case of zero-failure data and a case study","authors":"Wanyi Dai, Siqi Li, Mei Zhang, Yueming Hu, D. Mei","doi":"10.1504/ijspm.2020.10028730","DOIUrl":"https://doi.org/10.1504/ijspm.2020.10028730","url":null,"abstract":"In this paper, a novel method of two-sided M-Bayesian credible limit is proposed to deal with the interval estimation problem of reliability parameters with exponential distribution in the case of zero-failure data. The properties of two-sided M-Bayesian limits of credibility are discussed and some new theorems are proven including the impact of the upper bound c of hyper parameters and the influence of different prior distributions of hyper parameters on two-sided M-Bayesian limits of credibility when the reliability of estimation was determined by the exponential distribution. The paper extended the conclusions drawn in two previous studies regarding the relationships among the many kinds of two-sided M-Bayesian limits of credibility and two-sided classical confidence. Finally, a real dataset about engines is discussed with different model parameters. By means of an example, the presented method of this paper is compared with the classical confidence limits. The results verify the properties of two-sided M-Bayesian limits of credibility and indicate that the method is efficient and easy to perform.","PeriodicalId":266151,"journal":{"name":"Int. J. Simul. Process. Model.","volume":"38 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2020-04-21","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"131455100","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
Seamless development in Java of distributed real-time systems using actors 使用actor的分布式实时系统的Java无缝开发
Int. J. Simul. Process. Model. Pub Date : 2020-04-21 DOI: 10.1504/ijspm.2020.10028715
F. Cicirelli, L. Nigro, P. F. Sciammarella
{"title":"Seamless development in Java of distributed real-time systems using actors","authors":"F. Cicirelli, L. Nigro, P. F. Sciammarella","doi":"10.1504/ijspm.2020.10028715","DOIUrl":"https://doi.org/10.1504/ijspm.2020.10028715","url":null,"abstract":"The work described in this paper is concerned with a model-driven development of distributed real-time systems, like cyber-physical systems. A challenge in such systems' development consists of ensuring that a final implementation is compliant with its model used for functional and temporal property checking. In particular, a modern Java framework called Theatre is described which enables the modelling, analysis and synthesis of distributed real-time systems in a way which preserves such compliance. Theatre is based on the paradigm of actors, that is highly modular and encapsulated software entities which communicate with each other by asynchronous message-passing. Theatre rests on lightweight actors regulated by a customisable reflective control layer. Key features of Theatre are its support to seamless application development and timing predictability. The same model can be developed, without distortions, from early analysis through design and to a series of implementations. The paper describes Theatre and demonstrates its application to the development of a distributed dependable real-time system. Both modelling and property checking by simulation and real-time prototyping are illustrated. Theatre's current level of maturity and practical implementation in Java are detailed.","PeriodicalId":266151,"journal":{"name":"Int. J. Simul. Process. Model.","volume":"7 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2020-04-21","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"131659655","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}
引用次数: 10
Validating trustworthy service composition through VIPLE and pi-calculus 通过VIPLE和pi-calculus验证可信赖的服务组合
Int. J. Simul. Process. Model. Pub Date : 2020-04-21 DOI: 10.1504/ijspm.2020.10028722
Shenghui Zhao, Yuemin Li, Yang Wang, Yinong Chen
{"title":"Validating trustworthy service composition through VIPLE and pi-calculus","authors":"Shenghui Zhao, Yuemin Li, Yang Wang, Yinong Chen","doi":"10.1504/ijspm.2020.10028722","DOIUrl":"https://doi.org/10.1504/ijspm.2020.10028722","url":null,"abstract":"The current formal verification practice focuses on functionality and does not consider verification of the non-functional attributes. In this study, we propose a method in which non-functional attributes are incorporated into the logic rules of inference in terms of composition of the linear logic and pi-calculus. Giving the credibility to non-functional attributes is important, especially in the cloud computing platform and IoT environments, where trust and security are ultra-important. Such studies have not been paid much attention by researchers and practitioners. In our approach, the evolvement of the non-functional attributes is included in the process of formal verification of the service composition scheme. In addition to theoretical analysis, we applied a tool named Visual IoT/robotics Programming Language Environment (VIPLE) to execute and verify the validity of the service composition model's function. We translate the proving process of the linear logic into the corresponding pi-calculus expressions. VIPLE can translate visual work flow into pi-calculus and can verify the correctness of pi-calculus expressions.","PeriodicalId":266151,"journal":{"name":"Int. J. Simul. Process. Model.","volume":"85 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2020-04-21","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"123581638","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
Optimisation of customer satisfaction index model for business hall of operator 运营商营业厅客户满意度指数模型的优化
Int. J. Simul. Process. Model. Pub Date : 2020-04-21 DOI: 10.1504/ijspm.2020.10028742
Wanru Wang, Xinxiong Liu, Yuhan Su
{"title":"Optimisation of customer satisfaction index model for business hall of operator","authors":"Wanru Wang, Xinxiong Liu, Yuhan Su","doi":"10.1504/ijspm.2020.10028742","DOIUrl":"https://doi.org/10.1504/ijspm.2020.10028742","url":null,"abstract":"Business hall plays an important role in telecom operator's service. Modelling the customer satisfaction of the service provided by business hall is of help for telecom operators to improve their service quality. Traditional customer satisfaction models are too abstract and general, which makes the satisfaction analysis not precise enough to model the satisfaction index of a specific service. This paper focuses on modelling customer satisfaction of service provided by the business hall. An optimisation process on traditional TCSI model was conducted based on the data acquired from questionnaire survey. Based on the optimised model, suggestions about designing business hall at current time are proposed.","PeriodicalId":266151,"journal":{"name":"Int. J. Simul. Process. Model.","volume":"59 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2020-04-21","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"114733452","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
Fast fractal image retrieval algorithm based on HV partition 基于HV分割的快速分形图像检索算法
Int. J. Simul. Process. Model. Pub Date : 2020-04-21 DOI: 10.1504/ijspm.2020.10028729
Hejin Yuan, Mingjie Li, Wei-hua Niu, Linna Zhang, K. Cui
{"title":"Fast fractal image retrieval algorithm based on HV partition","authors":"Hejin Yuan, Mingjie Li, Wei-hua Niu, Linna Zhang, K. Cui","doi":"10.1504/ijspm.2020.10028729","DOIUrl":"https://doi.org/10.1504/ijspm.2020.10028729","url":null,"abstract":"Existing quadtree-based fractal algorithms and fractal algorithms based on horizontal vertical (HV) have the problems of long encoding time and low accuracy in the task of image retrieval. In this paper, an improved fast fractal image retrieval algorithm based on HV segmentation is proposed, which speeds up the coding time and improves the accuracy for real-time searching. In order to improve the coding efficiency, the proposed algorithm restricts R block segmentation to certain direction and location in the coding phase and uses the local codebook to find the optimal matching of the partitioned blocks. We also introduce a weighting equation calculating method of area intersection to the image matching. New weighting parameters with respect to the sizes of partitioning blocks are proposed to improve the accuracy of image retrieval. The constraint-based HV segmentation algorithm and the local codebook matching strategy are tested on the texture and Olivetti Research Laboratory (ORL) face datasets. The experimental results show that the proposed algorithm accelerates the speed of image encoding. When the recall ratio is 100%, the precision of our algorithm has improved significantly. The proposed algorithm based on HV segmentation outperforms traditional fractal search algorithms in terms of adaption adaptivity.","PeriodicalId":266151,"journal":{"name":"Int. J. Simul. Process. Model.","volume":"44 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2020-04-21","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"125610526","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
Large-scale text classification with deeper and wider convolution neural network 基于更深更广卷积神经网络的大规模文本分类
Int. J. Simul. Process. Model. Pub Date : 2020-04-21 DOI: 10.1504/ijspm.2020.10028731
Min Huang, Wei Huang
{"title":"Large-scale text classification with deeper and wider convolution neural network","authors":"Min Huang, Wei Huang","doi":"10.1504/ijspm.2020.10028731","DOIUrl":"https://doi.org/10.1504/ijspm.2020.10028731","url":null,"abstract":"The dominant approaches for most natural language processing (NLP) tasks like text classification are recurrent neural networks (RNNs) and convolutional neural networks (CNNs). These architectures are usually shallow and only have one or two layers, which cannot easily extract inner patterns in natural language. Different from the original feature of image pixels with regularity, words and phrases are highly abstracted from human knowledge without direct correlation. Shallow models only capture the surface relation between them while deep models cannot directly apply them. Therefore, a shuffle convolution neural network (SCNN) is proposed to address the shallow learning problem by introducing wider inception cell and deeper residual connection. In the paper, the difficulty of applying deep models to NLP problems is overcome by tricks of shuffling channel input and reshaping the output dimension in the first layer. The results of the experiments carried out in this research work demonstrate that the proposed SCNN makes a great improvement in accuracy and efficiency compared to shallow models.","PeriodicalId":266151,"journal":{"name":"Int. J. Simul. Process. Model.","volume":"195 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2020-04-21","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"132369440","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
Modelling and application of laparoscopic simulation system for panhysterectomy 腹腔镜全子宫切除术模拟系统的建模与应用
Int. J. Simul. Process. Model. Pub Date : 2020-04-20 DOI: 10.1504/ijspm.2020.10028714
Meilin Liu, Xiao-Yan Huang, Haoying Wang, Ying Pan, Xue Wang, Lili Xuan
{"title":"Modelling and application of laparoscopic simulation system for panhysterectomy","authors":"Meilin Liu, Xiao-Yan Huang, Haoying Wang, Ying Pan, Xue Wang, Lili Xuan","doi":"10.1504/ijspm.2020.10028714","DOIUrl":"https://doi.org/10.1504/ijspm.2020.10028714","url":null,"abstract":"Laparoscopic surgery simulation training system uses human anatomy visual reproduction and force-feedback technology, and uses a variety of medical image data on your computer to establish a virtual environment with vision, hearing, speaking, dynamic, smell, feel, touch. Surgeons conduct surgical training in the virtual environment, which includes suture, knotting, hand-eye coordination, organisational separation, and directional adaptation. In this paper, the issue of simulation-based training with laparoscopic simulation system is dealt with for training of internship surgeons in panhysterectomy. The model is built and the practical training results are analysed and compared for the performance of two groups of internship surgeons under model-based training and conventional training, respectively. The results show that there was no significant difference in total abdominal hysterectomy (TAH) and crossover test for the two groups of internship surgeons, whereas practice test scores increased significantly (p < 0.05), with the group using the model of laparoscopic simulation system scoring higher than the other group. It proves that the laparoscopic simulation system application in gynaecological surgery will help to improve the clinical skills of internship surgeons. The advanced simulation system makes a great contribution to reducing medical accidents, and improves progress of surgery and training.","PeriodicalId":266151,"journal":{"name":"Int. J. Simul. Process. Model.","volume":"24 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2020-04-20","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"125955368","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
Dynamic performance of high supporting formwork under horizontal impact load 高支撑模板在水平冲击荷载作用下的动力性能
Int. J. Simul. Process. Model. Pub Date : 2019-12-09 DOI: 10.1504/ijspm.2019.10025757
Zhengran Lu, M. Zhang, Chao Guo
{"title":"Dynamic performance of high supporting formwork under horizontal impact load","authors":"Zhengran Lu, M. Zhang, Chao Guo","doi":"10.1504/ijspm.2019.10025757","DOIUrl":"https://doi.org/10.1504/ijspm.2019.10025757","url":null,"abstract":"Dynamic performance of a high full-scale supporting formwork (HSF) subjected to horizontal impact loading was examined. It could be concluded that transverse X-bracings in the horizontal impact load direction have a more significant effect on the bearing performance and dynamic characteristics of an HSF than longitudinal X-bracings. An increase in the amount of poured concrete and the failure of the X-bracings reduces the natural frequency of the HSF. With the gradual increase in the amount of poured concrete, the maximum dynamic axial force of posts may increase from 4.33 kN to 12.77 kN under different X-bracing conditions during concrete placement. With failure of some main nodes, any impact load significantly increases the axial force acting on the posts. Dynamic axial force acting on some of the posts can increase by as much as 120% if 5% of fasteners fail during concrete pouring compared with that when all fasteners and X-bracings are intact.","PeriodicalId":266151,"journal":{"name":"Int. J. Simul. Process. Model.","volume":"30 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2019-12-09","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"133001853","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
首页 上一页 下一页 尾页
0
×
引用
GB/T 7714-2015
复制
MLA
复制
APA
复制
导出至
BibTeX EndNote RefMan NoteFirst NoteExpress
×
提示
您的信息不完整，为了账户安全，请先补充。
现在去补充
×
提示
您因"违规操作"
具体请查看互助需知
我知道了
×
提示
现在去查看 取消
×
提示
确定
请完成安全验证×
相关产品
×
本文献相关产品
联系我们：info@booksci.cn Book学术提供免费学术资源搜索服务，方便国内外学者检索中英文文献。致力于提供最便捷和优质的服务体验。 Copyright © 2023 布克学术 All rights reserved.
京ICP备2023020795号-1
ghs 京公网安备 11010802042870号
Book学术文献互助
Book学术文献互助群
群 号：481959085
Book学术官方微信