2012 UKSim 14th International Conference on Computer Modelling and Simulation最新文献

筛选
英文 中文
Saber Model Automatic Translation Tool for Aeronautical Simulations 军刀模型航空模拟自动转换工具
B. Guida, A. Cavallo
{"title":"Saber Model Automatic Translation Tool for Aeronautical Simulations","authors":"B. Guida, A. Cavallo","doi":"10.1109/UKSim.2012.55","DOIUrl":"https://doi.org/10.1109/UKSim.2012.55","url":null,"abstract":"In this paper, the process for deriving a translation tool in order to convert SABER schematics into MODELICA equivalent representation is discussed. First input domain is analyzed, in order to evidence the key features of the MAST language. Successively, the correspondences with MODELICA output domain are illustrated, considering the different cases of standard library element, subsystems and user-defined components. The performed language translation process is next defined, applying the classical approach composed by scanner, parser and semantic analyzer to the specific case. A final section illustrates the obtained results in the frame of SMART project.","PeriodicalId":405479,"journal":{"name":"2012 UKSim 14th International Conference on Computer Modelling and Simulation","volume":"365 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2012-03-28","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"133235760","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
A Cognitive Model of Immune System for Increasing Security in Distributed Systems 提高分布式系统安全性的免疫系统认知模型
Elnaz B. Noeparast, T. Banirostam
{"title":"A Cognitive Model of Immune System for Increasing Security in Distributed Systems","authors":"Elnaz B. Noeparast, T. Banirostam","doi":"10.1109/UKSim.2012.33","DOIUrl":"https://doi.org/10.1109/UKSim.2012.33","url":null,"abstract":"With developing of systems, the security of distributed systems such as Grid is going to be a fundamental challenge. However various methods and tools were used to increasing the security, but the most of them impose a centralized management. In this paper, a cognitive model based on Biological Immune System modeling will be proposed. In the proposed model four groups of autonomous agents are used. Each agent has learning ability and could interact with other agents. The structure of agents is based on Biological Agents that has memory and could use previous experiments. Each group of agents is designed in two levels. In the first level, the model of the agent, its components and the relation between them are presented. In the second level, the interactions of agents are designed and illustrated. The two levels are based on the B cell and T cell lymphocytes modeling. Furthermore, the behavior flowchart of agents will be presented and explained. The proposed model is based on collaboration of the agents and doesn't need centralized management.","PeriodicalId":405479,"journal":{"name":"2012 UKSim 14th International Conference on Computer Modelling and Simulation","volume":"47 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2012-03-28","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"133287357","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
Malware Analysis with Multiple Features 恶意软件分析与多个功能
M. N. A. Zabidi, M. A. Maarof, A. Zainal
{"title":"Malware Analysis with Multiple Features","authors":"M. N. A. Zabidi, M. A. Maarof, A. Zainal","doi":"10.1109/UKSim.2012.40","DOIUrl":"https://doi.org/10.1109/UKSim.2012.40","url":null,"abstract":"Malware analysis process is being categorized into static analysis and dynamic analysis. Both static and dynamic analysis have their own strengths and weaknesses. In this paper, we present a tool written in Python programming language called as pingaji, which could assist the work of malware analyst to get the static features of malware. pingaji contains several modules - Application Programming Interface (API) calls extractor, binary entropy information, anti virtual machine and anti debugger detector and XOR encrypted strings decrypt or. pingaji was developed in order to assist our work in getting malware features. pingaji is focusing on ripping Microsoft Windows executable binaries' malicious features.","PeriodicalId":405479,"journal":{"name":"2012 UKSim 14th International Conference on Computer Modelling and Simulation","volume":"86 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2012-03-28","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"122403906","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}
引用次数: 13
Processing of Collision Data to Support Efficient Diagnosis of Concussion in Sports Athletes 碰撞数据处理支持运动员脑震荡的有效诊断
Dayananda Suratkal
{"title":"Processing of Collision Data to Support Efficient Diagnosis of Concussion in Sports Athletes","authors":"Dayananda Suratkal","doi":"10.1109/UKSim.2012.21","DOIUrl":"https://doi.org/10.1109/UKSim.2012.21","url":null,"abstract":"Collision/Contact sports persons, particularly football and hockey players are involved in very high impact collisions during play. The player may be subjected to Concussion a medical term related to the disturbance in the brain function following a blow to head or a violent impact. This Concussion may result in to Mild Traumatic Brain Injury (MTBI). Often it is difficult to assess the severity of the blow to athletes who suffer head impacts during a practice or game situation and physicians, trainers, and coaches utilize standard neurological examinations and cognitive questioning to determine the relative severity of the impact and its effect on the athlete. The statement of problem is to generate medians of amplitude of the collision signal and build an output waveform reflecting the exact nature of variation of this impact, to be made available to medical team. If a medical data bank is available to relate the above data of impact with type of MTBI, the diagnosis will be more effective and less time consuming. This paper presents the details of the work related to the \"Simulation and Real Time Processing Of Athletes Collision Data Using Accelerometer and Matlab\" in the virtual sports field to address the above statement of problem.","PeriodicalId":405479,"journal":{"name":"2012 UKSim 14th International Conference on Computer Modelling and Simulation","volume":"388 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2012-03-28","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"116657829","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
Complexity Measure as a Feature to Classify Schizophrenic and Healthy Participants 复杂性测量作为分类精神分裂症和健康参与者的特征
S. Katebi, M. Sabeti
{"title":"Complexity Measure as a Feature to Classify Schizophrenic and Healthy Participants","authors":"S. Katebi, M. Sabeti","doi":"10.1109/UKSim.2012.61","DOIUrl":"https://doi.org/10.1109/UKSim.2012.61","url":null,"abstract":"Nonlinear analysis of electroencephalogram (EEG) signals reflects new information in understanding of brain activity. Here, a complicated signal like EEG is considered as an output of a nonlinear dynamic system (brain). The intrinsic changes of the EEG signals are described as the variation of their fractal dimension. In this study, EEG signal complexity of ten schizophrenic patients and ten age-matched healthy participants are analyzed in two different approaches, time-domain and phase-space. In the time-domain approach, three popular methods are used to compute the complexity. In the second approach, the chaotic dynamical attractors expressed in the phase space are reconstructed and their correlation dimension (D2) which is a measure of the complexity is calculated. In this study, an efficient algorithm to calculate a time-varying dimension estimate is applied. The results indicate a diminished complexity in the EEGs of the schizophrenic patients and confirm findings associated with the fact that schizophrenic patients are characterized by less complex neurobehavioral measures than healthy participants. Finally, Support Vector Machine (SVM) is applied on the estimated fractal dimension and results show 86.4%, 81.0%, 73.9% and 70.4% classification accuracy using correlation, Higuchi, Katz and Petrosian respectively.","PeriodicalId":405479,"journal":{"name":"2012 UKSim 14th International Conference on Computer Modelling and Simulation","volume":"37 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2012-03-28","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"114718287","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
Wolof Speech Recognition Model of Digits and Limited-Vocabulary Based on HMM and ToolKit 基于HMM和ToolKit的数字和有限词汇的Wolof语音识别模型
2012 UKSim 14th International Conference on Computer Modelling and Simulation Pub Date : 2012-03-28 DOI: 10.1109/UKSim.2012.118
J. K. Tamgno, E. Barnard, C. Lishou, Morgan Richomme
{"title":"Wolof Speech Recognition Model of Digits and Limited-Vocabulary Based on HMM and ToolKit","authors":"J. K. Tamgno, E. Barnard, C. Lishou, Morgan Richomme","doi":"10.1109/UKSim.2012.118","DOIUrl":"https://doi.org/10.1109/UKSim.2012.118","url":null,"abstract":"This paper is concerned with Automatic Speech Recognition (ASR) using trainable systems. The aim of this work is to build acoustic models for spoken language Wolof. This is done by employing Hidden Markov Models (HMM) and using the different lexicons and knowledge bases of Wolof to train their parameters. Acoustic modeling has been worked out at a phonetic level, allowing general speech recognition applications, even though a simplified task (natural number recognition and Limited-Vocabulary Speech) has been considered for model evaluation. The work performed during the study was built on keywords of the vernacular language Wolof, based on many open source software toolkits, particularly HTK (HMM ToolKit). Much research have been developed in this area; our goal is also to find solution for an innovative approach to Speech Recognition to facilitate access to information and technology to illiterate persons, to build a phonetic crowdsourcing based on acoustic and linguistic features of local languages.","PeriodicalId":405479,"journal":{"name":"2012 UKSim 14th International Conference on Computer Modelling and Simulation","volume":"96 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2012-03-28","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"127105329","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
Traffic Simulation Framework 交通模拟架构
P. Góra
{"title":"Traffic Simulation Framework","authors":"P. Góra","doi":"10.1109/UKSim.2012.57","DOIUrl":"https://doi.org/10.1109/UKSim.2012.57","url":null,"abstract":"In the paper, a software Traffic Simulation Framework is presented. This is an advanced tool for simulating and investigating real vehicular traffic in cities. The software is being developed for few years by the author of the paper and gained recognition and popularity among scientists all over the world. It can be used for conducting advanced experiments related to predicting, managing and optimizing vehicular traffic in cities. The paper introduces cellular automaton-based simulation model, TSF Model, inspired by well-known Nagel-Schreckenberg Model for simulating vehicular traffic on highways. The TSF Model was implemented as a core simulation engine in the TSF software. The paper also presents software's main features, functionalities, recently introduced improvements, plans for the further development and summarizes its previous applications.","PeriodicalId":405479,"journal":{"name":"2012 UKSim 14th International Conference on Computer Modelling and Simulation","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2012-03-28","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"124800341","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}
引用次数: 20
Image Matching CAPTCHAs 图像匹配验证码
2012 UKSim 14th International Conference on Computer Modelling and Simulation Pub Date : 2012-03-28 DOI: 10.1109/UKSim.2012.119
H. Hajjdiab, Ashraf Khalil
{"title":"Image Matching CAPTCHAs","authors":"H. Hajjdiab, Ashraf Khalil","doi":"10.1109/UKSim.2012.119","DOIUrl":"https://doi.org/10.1109/UKSim.2012.119","url":null,"abstract":"With the proliferation of Web services, it is imperative to minimize spamming and security risks. Spammers use software to automate the process of creating fake online accounts to be used later as a source of spam and illegal activities or simply to waste the resources of the website. In order to mitigate this risk, CAPTCHA was introduced with the main purpose of identifying whether the end-user is a human or a computer (i.e computer program). The benefits of CAPTCHA are now well-established and all major websites use it for registering new users. In this paper we introduce a novel CAPTCHA tecnique that is based on matching images. To avoid maintaining a data base of images, the images are. To avoid maintaining a data base of images, the images are created by the computer with random patterns that are simple for human users to match and extremely challenging for CAPTCHA breaker software to solve.","PeriodicalId":405479,"journal":{"name":"2012 UKSim 14th International Conference on Computer Modelling and Simulation","volume":"33 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2012-03-28","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"124804016","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
Simulating Bed Capacity: Evaluating the Impact of Healthcare Service Transfers 模拟床位容量:评估医疗服务转移的影响
R. Bares, J. Griffiths, Vincent A. Knight, Janet E. Williams, K. Baboolal, Andrew Nelson
{"title":"Simulating Bed Capacity: Evaluating the Impact of Healthcare Service Transfers","authors":"R. Bares, J. Griffiths, Vincent A. Knight, Janet E. Williams, K. Baboolal, Andrew Nelson","doi":"10.1109/UKSim.2012.59","DOIUrl":"https://doi.org/10.1109/UKSim.2012.59","url":null,"abstract":"Bed capacity management is an important factor in the effective provision of hospital services. Despite the prevalence of analytical tools suitable for this task, a barrier remains between the techniques available to operational researchers and strategic decision makers. In this paper we introduce a bespoke discrete event simulation package for the analysis of bed usage, which has been developed with a focus on usability and extendibility. A case study is presented for the transfer of Neurosurgery services between two sites, demonstrating the advantages of discrete event simulation over deterministic approaches which do not account for variation in the hospital system.","PeriodicalId":405479,"journal":{"name":"2012 UKSim 14th International Conference on Computer Modelling and Simulation","volume":"81 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2012-03-28","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"124127186","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
Development of Dynamics and Control Simulator for Mobile CT Device and Its Implementation 移动CT设备动力学与控制模拟器的开发与实现
Duckjune Kim, S. Ji, Kwang-Hee Lee
{"title":"Development of Dynamics and Control Simulator for Mobile CT Device and Its Implementation","authors":"Duckjune Kim, S. Ji, Kwang-Hee Lee","doi":"10.1109/UKSim.2012.50","DOIUrl":"https://doi.org/10.1109/UKSim.2012.50","url":null,"abstract":"This paper presents development of simulators for mobile CT device. For mobile CT device, it is important to rotate the gantry system at constant speed. Rotating a gantry speed at constant speed is important because uniformity of angular distance among hundreds of taken X-ray images is highly related to quality of 3D reconstructed CT image. Therefore, in this paper, modeling of the gantry system and simulator is developed for control verification. Mobile CT device is a heavy system so it has a safety issues for engineer. Hence, it is preferred to develop a simulator which is really close to the real system. Then, implementation of the system will be easier after verification of the system using a simulator. The simulator which verifies control algorithm and sequence is presented using Lab view and Solid works and it can be implemented to the real system directly.","PeriodicalId":405479,"journal":{"name":"2012 UKSim 14th International Conference on Computer Modelling and Simulation","volume":"4 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2012-03-28","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"124207725","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
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学术官方微信