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.
{"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":null,"pages":null},"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}
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.
{"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":null,"pages":null},"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}
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.
{"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":null,"pages":null},"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}
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.
{"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":null,"pages":null},"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}
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.
{"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":null,"pages":null},"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}
J. K. Tamgno, E. Barnard, C. Lishou, Morgan Richomme
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.
{"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":null,"pages":null},"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}
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.
{"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":null,"pages":null},"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}
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.
{"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":null,"pages":null},"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}
R. Bares, J. Griffiths, Vincent A. Knight, Janet E. Williams, K. Baboolal, Andrew Nelson
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.
{"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":null,"pages":null},"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}
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.
{"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":null,"pages":null},"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}
京公网安备 11010802042870号
京ICP备2023020795号-1
扫码关注我们
求助内容：
应助结果提醒方式：