Pub Date : 2017-04-01DOI: 10.1109/ICMSAO.2017.7934857
A. Haddad, K. El-Fakih, G. Barlas
Derivation of input sequences for distinguishing states of a finite state machine (FSM) specification is well studied in the context of FSM-based functional testing. We present a parallel multithreaded implementation of the exact algorithm using Open Multi-Processing (OpenMP). Experiments are conducted to assess the performance of the parallel implementation as compared to the sequential implementation using both execution time speedup and efficiency.
{"title":"Parallel implementation for deriving preset distinguishing experiments of nondeterministic finite state machines","authors":"A. Haddad, K. El-Fakih, G. Barlas","doi":"10.1109/ICMSAO.2017.7934857","DOIUrl":"https://doi.org/10.1109/ICMSAO.2017.7934857","url":null,"abstract":"Derivation of input sequences for distinguishing states of a finite state machine (FSM) specification is well studied in the context of FSM-based functional testing. We present a parallel multithreaded implementation of the exact algorithm using Open Multi-Processing (OpenMP). Experiments are conducted to assess the performance of the parallel implementation as compared to the sequential implementation using both execution time speedup and efficiency.","PeriodicalId":265345,"journal":{"name":"2017 7th International Conference on Modeling, Simulation, and Applied Optimization (ICMSAO)","volume":"3 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2017-04-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"122724692","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}
Pub Date : 2017-04-01DOI: 10.1109/ICMSAO.2017.7934869
M. AlHamaydeh, Laith Elayyan
The Steel Plate Shear Walls (SPSW) system is one of many Lateral Force Resisting Systems (LFRS) added to the design codes over recent years. It comprises an array of steel plates or walls (referred to as the Web) that are welded into a steel beams and columns frame (Horizontal and Vertical Boundary Elements, HBE and VBE). When subjected to lateral forces, these web plates buckle diagonally and develop a tension field along the opposite diagonal. Under substantial earthquake loads, these plates are allowed to yield along the tension diagonal which provides the necessary energy dissipation during seismic activity. The city of Dubai, UAE has become an international and regional business hub featuring hundreds of tall building structures. The degree of seismic risk that Dubai faces is yet to be agreed upon amongst researchers and structural engineering practitioners. This paper presents the design and analysis of a standard 20-story steel structure employing SPSW to be built in Dubai, UAE subjected to three varying levels of seismic activity reported by researchers. The structural performance of the varying designs is quantified via nonlinear monotonic pushover analyses in the OpenSees platform.
{"title":"Impact of diverse seismic hazard estimates on design and performance of Steel Plate Shear Walls buildings in Dubai, UAE","authors":"M. AlHamaydeh, Laith Elayyan","doi":"10.1109/ICMSAO.2017.7934869","DOIUrl":"https://doi.org/10.1109/ICMSAO.2017.7934869","url":null,"abstract":"The Steel Plate Shear Walls (SPSW) system is one of many Lateral Force Resisting Systems (LFRS) added to the design codes over recent years. It comprises an array of steel plates or walls (referred to as the Web) that are welded into a steel beams and columns frame (Horizontal and Vertical Boundary Elements, HBE and VBE). When subjected to lateral forces, these web plates buckle diagonally and develop a tension field along the opposite diagonal. Under substantial earthquake loads, these plates are allowed to yield along the tension diagonal which provides the necessary energy dissipation during seismic activity. The city of Dubai, UAE has become an international and regional business hub featuring hundreds of tall building structures. The degree of seismic risk that Dubai faces is yet to be agreed upon amongst researchers and structural engineering practitioners. This paper presents the design and analysis of a standard 20-story steel structure employing SPSW to be built in Dubai, UAE subjected to three varying levels of seismic activity reported by researchers. The structural performance of the varying designs is quantified via nonlinear monotonic pushover analyses in the OpenSees platform.","PeriodicalId":265345,"journal":{"name":"2017 7th International Conference on Modeling, Simulation, and Applied Optimization (ICMSAO)","volume":"30 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2017-04-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"121816603","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}
Pub Date : 2017-04-01DOI: 10.1109/ICMSAO.2017.7934905
S. Lazarova-Molnar, N. Mohamed
The potential for saving on energy related cost with timely and accurate Fault Detection and Diagnosis (FDD) in Building Management Systems (BMS) has been estimated to ca. 15–30% of the overall building energy-related cost. Due to the expansion of well-equipped smart buildings that feature multitudes of sensors and meters that enable collection of large amounts of data, FDD data-based methods have become very popular. Sensor and meter data, however, have been found as insufficient for FDD purposes, and it needs to be complemented with event/fault data that is more difficult to obtain. To account for the unavailability of event/fault data, BMS can benefit from sharing each other's data and utilize it for collaborative FDD. To support collaborative FDD and sharing of data, we rely on cloud computing. In this paper we present a framework for collaborative FDD of smart buildings that utilizes cloud computing and enables BMS to share and benefit from each other's data.
{"title":"A framework for collaborative cloud-based fault detection and diagnosis in smart buildings","authors":"S. Lazarova-Molnar, N. Mohamed","doi":"10.1109/ICMSAO.2017.7934905","DOIUrl":"https://doi.org/10.1109/ICMSAO.2017.7934905","url":null,"abstract":"The potential for saving on energy related cost with timely and accurate Fault Detection and Diagnosis (FDD) in Building Management Systems (BMS) has been estimated to ca. 15–30% of the overall building energy-related cost. Due to the expansion of well-equipped smart buildings that feature multitudes of sensors and meters that enable collection of large amounts of data, FDD data-based methods have become very popular. Sensor and meter data, however, have been found as insufficient for FDD purposes, and it needs to be complemented with event/fault data that is more difficult to obtain. To account for the unavailability of event/fault data, BMS can benefit from sharing each other's data and utilize it for collaborative FDD. To support collaborative FDD and sharing of data, we rely on cloud computing. In this paper we present a framework for collaborative FDD of smart buildings that utilizes cloud computing and enables BMS to share and benefit from each other's data.","PeriodicalId":265345,"journal":{"name":"2017 7th International Conference on Modeling, Simulation, and Applied Optimization (ICMSAO)","volume":"6 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2017-04-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"116473041","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}
Pub Date : 2017-04-01DOI: 10.1109/ICMSAO.2017.7934923
V. Vilfred
We present different properties of circulant graphs that includes (i) On the existence of self-complementary circulant graphs; (ii) Type-2 isomorphism, a new type of isomorphism other than already known Adam's isomorphism of circulant graphs and new abelian groups; (iii) Cartesian product and factorization of circulant graphs similar to the theory of product and factorization of natural numbers.
{"title":"A few properties of circulant graphs: Self-complementary, isomorphism, Cartesian product and factorization","authors":"V. Vilfred","doi":"10.1109/ICMSAO.2017.7934923","DOIUrl":"https://doi.org/10.1109/ICMSAO.2017.7934923","url":null,"abstract":"We present different properties of circulant graphs that includes (i) On the existence of self-complementary circulant graphs; (ii) Type-2 isomorphism, a new type of isomorphism other than already known Adam's isomorphism of circulant graphs and new abelian groups; (iii) Cartesian product and factorization of circulant graphs similar to the theory of product and factorization of natural numbers.","PeriodicalId":265345,"journal":{"name":"2017 7th International Conference on Modeling, Simulation, and Applied Optimization (ICMSAO)","volume":"21 2 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2017-04-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"131511404","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}
Pub Date : 2017-04-01DOI: 10.1109/ICMSAO.2017.7934895
S. Taghvaei, Y. Hirata, K. Kosuge
Human action/behavior classification plays an important role for controlling systems having interaction with human users. Safety and dependability of such systems are crucial especially for walking assist systems. In this paper, upper body joint model of a user of a walking assist system is extracted using a depth sensor and a probabilistic model is proposed to detect possible non-walking states that might happen to the user. The 3D model of upper body skeleton, is reduced in dimension by applying Principal Component Analysis (PCA). The principal components are tested to have a normal distribution allowing a multivariate normal distribution fitting for walking data. The model is shown to be capable of recognizing four different falling scenarios and sitting. In these non-walking states, the motion of a passive-type walker called “RT Walker”, is controlled by generating brake force to assure fall prevention and sitting/standing up support. The experimental data is gathered from an experienced physical therapist capable of imitating different walking problems.
{"title":"Visual human action classification for control of a passive walker","authors":"S. Taghvaei, Y. Hirata, K. Kosuge","doi":"10.1109/ICMSAO.2017.7934895","DOIUrl":"https://doi.org/10.1109/ICMSAO.2017.7934895","url":null,"abstract":"Human action/behavior classification plays an important role for controlling systems having interaction with human users. Safety and dependability of such systems are crucial especially for walking assist systems. In this paper, upper body joint model of a user of a walking assist system is extracted using a depth sensor and a probabilistic model is proposed to detect possible non-walking states that might happen to the user. The 3D model of upper body skeleton, is reduced in dimension by applying Principal Component Analysis (PCA). The principal components are tested to have a normal distribution allowing a multivariate normal distribution fitting for walking data. The model is shown to be capable of recognizing four different falling scenarios and sitting. In these non-walking states, the motion of a passive-type walker called “RT Walker”, is controlled by generating brake force to assure fall prevention and sitting/standing up support. The experimental data is gathered from an experienced physical therapist capable of imitating different walking problems.","PeriodicalId":265345,"journal":{"name":"2017 7th International Conference on Modeling, Simulation, and Applied Optimization (ICMSAO)","volume":"50 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2017-04-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"131714762","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}
Pub Date : 2017-04-01DOI: 10.1109/ICMSAO.2017.7934909
Urvah Shabbir, B. Wajid, Sana Akhtar
Xpert MTB/RIF (Cepheid) and GenoType MTBDRplus (Hain Lifescience) are two widely used tests for rapid diagnosis of tuberculosis. The aim of this study is to compare Xpert MTB/RIF and GenoType MTBDRplus to determine overall accuracy of diagnosis using these two tests. Based on search on PubMed, Embase and Google Scholar databases, publications were identified that compared Xpert MTB/RIF and GenoType MTBDRplus on the same dataset. A total of 6 studies with 4921 specimens were selected. Based on sensitivity and specificity, a pooled estimation of diagnostic odd ratio (DOR) and area under summary ROC curve (AUC) was calculated based on Random-Effect model. Both assays showed encouraging results for tuberculosis diagnosis but Xpert MTB/RIF depicted slightly better results based on recent studies.
{"title":"Comparison of Xpert MTB/RIF and GenoType MTBDRplus for rapid diagnosis of tuberculosis","authors":"Urvah Shabbir, B. Wajid, Sana Akhtar","doi":"10.1109/ICMSAO.2017.7934909","DOIUrl":"https://doi.org/10.1109/ICMSAO.2017.7934909","url":null,"abstract":"Xpert MTB/RIF (Cepheid) and GenoType MTBDRplus (Hain Lifescience) are two widely used tests for rapid diagnosis of tuberculosis. The aim of this study is to compare Xpert MTB/RIF and GenoType MTBDRplus to determine overall accuracy of diagnosis using these two tests. Based on search on PubMed, Embase and Google Scholar databases, publications were identified that compared Xpert MTB/RIF and GenoType MTBDRplus on the same dataset. A total of 6 studies with 4921 specimens were selected. Based on sensitivity and specificity, a pooled estimation of diagnostic odd ratio (DOR) and area under summary ROC curve (AUC) was calculated based on Random-Effect model. Both assays showed encouraging results for tuberculosis diagnosis but Xpert MTB/RIF depicted slightly better results based on recent studies.","PeriodicalId":265345,"journal":{"name":"2017 7th International Conference on Modeling, Simulation, and Applied Optimization (ICMSAO)","volume":"30 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2017-04-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"124799640","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}
Pub Date : 2017-04-01DOI: 10.1109/ICMSAO.2017.7934904
Heba Abu Sharbain, A. Osman, A. El-Hag
This paper presents an artificial intelligent based method to detect ferroresonance. The proposed detection method utilizes wavelet transform combined with artificial neural network to detect ferroresonance. Using this method, ferroresonance can be identified and differentiated. The results show that the proposed procedure is effective in identifying ferroresonance from other transients such as capacitor switching. Moreover, they indicate that the used neural network model has an acceptable precision in the recognition of ferroresonance and by adjusting the right parameters, the highest precision is achieved.
{"title":"Detection and identification of ferroresonance","authors":"Heba Abu Sharbain, A. Osman, A. El-Hag","doi":"10.1109/ICMSAO.2017.7934904","DOIUrl":"https://doi.org/10.1109/ICMSAO.2017.7934904","url":null,"abstract":"This paper presents an artificial intelligent based method to detect ferroresonance. The proposed detection method utilizes wavelet transform combined with artificial neural network to detect ferroresonance. Using this method, ferroresonance can be identified and differentiated. The results show that the proposed procedure is effective in identifying ferroresonance from other transients such as capacitor switching. Moreover, they indicate that the used neural network model has an acceptable precision in the recognition of ferroresonance and by adjusting the right parameters, the highest precision is achieved.","PeriodicalId":265345,"journal":{"name":"2017 7th International Conference on Modeling, Simulation, and Applied Optimization (ICMSAO)","volume":"126 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2017-04-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"116312483","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}
Pub Date : 2017-04-01DOI: 10.1109/ICMSAO.2017.7934919
A. Ghazal, Y. Zurigat
Due to their high latent heat content, phase change materials (PCMs) have gained an increasing use for thermal storage and temperature control in many engineering applications including buildings envelop. In this paper, a numerical study of a PCM integrated multilayer light weight building wall under UAE climate is examined. First, the formulation of the finite-volume numerical method as applied to heat conduction in the wall assembly under convective and radiative boundary conditions is presented. Then, the effects of integrating PCMs in reducing the cooling load by peak shifting and magnitude reduction are highlighted. The results showed that under UAE's summer climate, the peak could be shifted by three hours and reduced by 5.2 W/m2.
{"title":"Numerical simulation of integrating PCM in multilayer wall construction in UAE","authors":"A. Ghazal, Y. Zurigat","doi":"10.1109/ICMSAO.2017.7934919","DOIUrl":"https://doi.org/10.1109/ICMSAO.2017.7934919","url":null,"abstract":"Due to their high latent heat content, phase change materials (PCMs) have gained an increasing use for thermal storage and temperature control in many engineering applications including buildings envelop. In this paper, a numerical study of a PCM integrated multilayer light weight building wall under UAE climate is examined. First, the formulation of the finite-volume numerical method as applied to heat conduction in the wall assembly under convective and radiative boundary conditions is presented. Then, the effects of integrating PCMs in reducing the cooling load by peak shifting and magnitude reduction are highlighted. The results showed that under UAE's summer climate, the peak could be shifted by three hours and reduced by 5.2 W/m2.","PeriodicalId":265345,"journal":{"name":"2017 7th International Conference on Modeling, Simulation, and Applied Optimization (ICMSAO)","volume":"46 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2017-04-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"123083146","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}
Pub Date : 2017-04-01DOI: 10.1109/ICMSAO.2017.7934867
R. Mohamad, Harlisya Harun
Cross-entropy (CE) based stopping criteria is known for its early termination capability of the turbo decoding iterations without scarifying its performance, in terms of bit error rate (BER). This advantage, however, performs well in high signal-to-noise ratio (SNR) albeit requiring infinite iterations at low SNR, thereby resulting in more unwanted computations and decoding delays. In this paper, a simple turning point (TP) measurement from the BER and average iteration number (AIN) graphs of the Genie stopping criterion has been introduced. The motivation is twofold; to terminate the iteration at the early stage in low SNR and maintaining the same level of performance of the existing method in high SNR, by using the proposed TP measurement. From the simulation results, the enhanced CE-based stopping criteria improve the early termination in low SNR and maintain the BER performance for various frame sizes compared to existing stopping criteria.
{"title":"Enhancement of cross-entropy based stopping criteria via turning point indicator","authors":"R. Mohamad, Harlisya Harun","doi":"10.1109/ICMSAO.2017.7934867","DOIUrl":"https://doi.org/10.1109/ICMSAO.2017.7934867","url":null,"abstract":"Cross-entropy (CE) based stopping criteria is known for its early termination capability of the turbo decoding iterations without scarifying its performance, in terms of bit error rate (BER). This advantage, however, performs well in high signal-to-noise ratio (SNR) albeit requiring infinite iterations at low SNR, thereby resulting in more unwanted computations and decoding delays. In this paper, a simple turning point (TP) measurement from the BER and average iteration number (AIN) graphs of the Genie stopping criterion has been introduced. The motivation is twofold; to terminate the iteration at the early stage in low SNR and maintaining the same level of performance of the existing method in high SNR, by using the proposed TP measurement. From the simulation results, the enhanced CE-based stopping criteria improve the early termination in low SNR and maintain the BER performance for various frame sizes compared to existing stopping criteria.","PeriodicalId":265345,"journal":{"name":"2017 7th International Conference on Modeling, Simulation, and Applied Optimization (ICMSAO)","volume":"78 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2017-04-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"117199103","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}
Pub Date : 2017-04-01DOI: 10.1109/ICMSAO.2017.7934882
Zahra Jafari Shahbazzadeh, Fateme Fotouhi Ardakani, R. Vatankhah
The movement of a human arm is simulated by controlling the musculoskeletal nonlinear model of the arm in this work. In many incidents of spinal cord damage due to car accident, the functionality of hands is disturbed while the hand muscles are intact and healthy. In another words, hands don't receive proper motion signals from brain. In this study a nonlinear controller is developed to produce a replacement motion signal for the missed original signal. Derived equations are forced to satisfy the gravity forces and the arm's six muscles performance. This model is designed to satisfy the main two goals of “regulation” and “tracking” and at the same time reduce the “chattering” of the system.
{"title":"Exponential sliding mode controller for a nonlinear musculoskeletal human arm model","authors":"Zahra Jafari Shahbazzadeh, Fateme Fotouhi Ardakani, R. Vatankhah","doi":"10.1109/ICMSAO.2017.7934882","DOIUrl":"https://doi.org/10.1109/ICMSAO.2017.7934882","url":null,"abstract":"The movement of a human arm is simulated by controlling the musculoskeletal nonlinear model of the arm in this work. In many incidents of spinal cord damage due to car accident, the functionality of hands is disturbed while the hand muscles are intact and healthy. In another words, hands don't receive proper motion signals from brain. In this study a nonlinear controller is developed to produce a replacement motion signal for the missed original signal. Derived equations are forced to satisfy the gravity forces and the arm's six muscles performance. This model is designed to satisfy the main two goals of “regulation” and “tracking” and at the same time reduce the “chattering” of the system.","PeriodicalId":265345,"journal":{"name":"2017 7th International Conference on Modeling, Simulation, and Applied Optimization (ICMSAO)","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2017-04-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"129196617","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
扫码关注我们
求助内容：
应助结果提醒方式：