Pub Date : 2018-12-01DOI: 10.1109/ICSENG.2018.8638193
Farag M. Bahr Abd El-Aziz, Ezz El-Deen F. Abd-El kawy, Ahmed Khamis, D. Zydek
eLoran is considered as the most promising backup for Global Navigation Satellite System in maritime applications. A proposal study to establish eLoran navigation system for Egyptian maritime harbors is presented to act as an international and national backup to GPS for marine navigation, and other applications using MATLAB. The required levels of Integrity as a requirement of the International Maritime Organization had been verified over all the Egyptian harbors.
{"title":"Integrity Performance of Egyptian eLoran System for Maritime Application","authors":"Farag M. Bahr Abd El-Aziz, Ezz El-Deen F. Abd-El kawy, Ahmed Khamis, D. Zydek","doi":"10.1109/ICSENG.2018.8638193","DOIUrl":"https://doi.org/10.1109/ICSENG.2018.8638193","url":null,"abstract":"eLoran is considered as the most promising backup for Global Navigation Satellite System in maritime applications. A proposal study to establish eLoran navigation system for Egyptian maritime harbors is presented to act as an international and national backup to GPS for marine navigation, and other applications using MATLAB. The required levels of Integrity as a requirement of the International Maritime Organization had been verified over all the Egyptian harbors.","PeriodicalId":356324,"journal":{"name":"2018 26th International Conference on Systems Engineering (ICSEng)","volume":"11 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2018-12-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"117222711","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 : 2018-12-01DOI: 10.1109/ICSENG.2018.8638209
G. Yan, David Tien, Xiaojun Sun
The unknown system error is widespread, but it is difficult to be verified or corrected. Furthermore, it also will yield to relatively large filtering errors. As an effective solution, the incremental equation is introduced, which can eliminate these unknown system errors. Meanwhile, the accuracy of state estimators will be improved. Then, a kind of distributed fusion incremental Kalman filter is presented in this paper. It can greatly improve the accuracy of state estimation for the multisensor systems under poor observation condition. The proposed algorithm is easy to be applied in engineering practice because of its simple form and small computational burden so. The simulation results show that it is effective and feasible.
{"title":"A Kind of Distributed Fusion Incremental Kalman Filter","authors":"G. Yan, David Tien, Xiaojun Sun","doi":"10.1109/ICSENG.2018.8638209","DOIUrl":"https://doi.org/10.1109/ICSENG.2018.8638209","url":null,"abstract":"The unknown system error is widespread, but it is difficult to be verified or corrected. Furthermore, it also will yield to relatively large filtering errors. As an effective solution, the incremental equation is introduced, which can eliminate these unknown system errors. Meanwhile, the accuracy of state estimators will be improved. Then, a kind of distributed fusion incremental Kalman filter is presented in this paper. It can greatly improve the accuracy of state estimation for the multisensor systems under poor observation condition. The proposed algorithm is easy to be applied in engineering practice because of its simple form and small computational burden so. The simulation results show that it is effective and feasible.","PeriodicalId":356324,"journal":{"name":"2018 26th International Conference on Systems Engineering (ICSEng)","volume":"358 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2018-12-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"122815260","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 : 2018-12-01DOI: 10.1109/ICSENG.2018.8638210
S. Kempegowda, Z. Chaczko
The technology landscape has evolved from Mainframe to Digital platform. In this paper, we are proposing the skills that are essential for an Enterprise Architect to be successful in the Digital Era.
技术领域已经从大型机发展到数字平台。在本文中，我们提出了企业架构师在数字时代取得成功所必需的技能。
{"title":"Essential Skill of Enterprise Architect Practitioners for Digital Era","authors":"S. Kempegowda, Z. Chaczko","doi":"10.1109/ICSENG.2018.8638210","DOIUrl":"https://doi.org/10.1109/ICSENG.2018.8638210","url":null,"abstract":"The technology landscape has evolved from Mainframe to Digital platform. In this paper, we are proposing the skills that are essential for an Enterprise Architect to be successful in the Digital Era.","PeriodicalId":356324,"journal":{"name":"2018 26th International Conference on Systems Engineering (ICSEng)","volume":"63 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2018-12-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"114318802","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}
Theoretically, chaotic systems or chaotic maps have ideal complex dynamics. However, due to the finite precisions of the simulation software and digital devices, dynamic degradation and short period phenomenon will occur which is known as the finite precision effect. Thus, the short period phenomenon severely affects the performances of chaotic system in its application of secure communication and multimedia encryption etc. In this paper, the hash table is used to fast position the period of chaotic sequence, then calculate and analyze the relationships between computational precision and period length of digital chaotic systems. The experimental results show that the finite precision has a great influence on the periods of chaotic systems. The proposed method provides a quantitative analysis for the finite precision effect of the chaotic systems, which can aid designing the mechanisms to counteract the dynamic degradations and enhance the security performance.
{"title":"Period Analysis of Chaotic Systems under Finite Precisions","authors":"Xue Ouyang, Yuling Luo, Junxiu Liu, Yunqi Liu, Jinjie Bi, Senhui Qiu","doi":"10.1109/ICSENG.2018.8638177","DOIUrl":"https://doi.org/10.1109/ICSENG.2018.8638177","url":null,"abstract":"Theoretically, chaotic systems or chaotic maps have ideal complex dynamics. However, due to the finite precisions of the simulation software and digital devices, dynamic degradation and short period phenomenon will occur which is known as the finite precision effect. Thus, the short period phenomenon severely affects the performances of chaotic system in its application of secure communication and multimedia encryption etc. In this paper, the hash table is used to fast position the period of chaotic sequence, then calculate and analyze the relationships between computational precision and period length of digital chaotic systems. The experimental results show that the finite precision has a great influence on the periods of chaotic systems. The proposed method provides a quantitative analysis for the finite precision effect of the chaotic systems, which can aid designing the mechanisms to counteract the dynamic degradations and enhance the security performance.","PeriodicalId":356324,"journal":{"name":"2018 26th International Conference on Systems Engineering (ICSEng)","volume":"11 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2018-12-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"134017571","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 : 2018-12-01DOI: 10.1109/ICSENG.2018.8638021
Anis Otmane Cherif, B. Monsuez, V. Paun, Michel Nakhlé
The evolution of the design of complex systems leads to increasing complexity and requires the joint analysis and refinement of different views of the same system which generally consist of: (1) A functional view that describes the main features of the system; (2) An implementation view that allocates functions on system constituents; (3) A non-functional view ensuring that properties such as quality of services, real-time constraints… are satisfied by the system; (4) As well as a dysfunctional view that defines the reliability requirements. Despite the complexity of systems, the consistency of views when exploring the solution space must be ensured. For example: (1) A decision on the required availability may induce new functions or involve redundancy of function/constituent; (2) Another difficulty comes from the fact that the functions are being described using different formalisms, therefore the system engineer must always be able to handle all the following aspects: the availability or reliability models that are mainly based on probabilistic models, the functional view that can be expressed using finite state machines or by event models; the quality of the services that can be expressed either by using a probabilistic approach or an approach based on a bounded set… The work described in this paper focuses on the implementation of a unified industrial modeling process using the graphical language of Hi-Graphs, a specific class of hyper graphs, in support to SysML. This process brings in addition functional views, taking into account, at all stages of the life cycle, non-functional and dysfunctional views of the system in order to make the right choices / compromises in terms of both software engineering and formal verification. It provides end-to-end assurance that the system meets the requirements and contracts associated with service quality during the process of exploring and refining the solution among the different views of the system. It also offers multiple semantics so that existing modeling languages and tools are taken into account.
{"title":"Using HiGraph to define a Formal Integrated System Modeling Framework that ensures Complete System Consistency","authors":"Anis Otmane Cherif, B. Monsuez, V. Paun, Michel Nakhlé","doi":"10.1109/ICSENG.2018.8638021","DOIUrl":"https://doi.org/10.1109/ICSENG.2018.8638021","url":null,"abstract":"The evolution of the design of complex systems leads to increasing complexity and requires the joint analysis and refinement of different views of the same system which generally consist of: (1) A functional view that describes the main features of the system; (2) An implementation view that allocates functions on system constituents; (3) A non-functional view ensuring that properties such as quality of services, real-time constraints… are satisfied by the system; (4) As well as a dysfunctional view that defines the reliability requirements. Despite the complexity of systems, the consistency of views when exploring the solution space must be ensured. For example: (1) A decision on the required availability may induce new functions or involve redundancy of function/constituent; (2) Another difficulty comes from the fact that the functions are being described using different formalisms, therefore the system engineer must always be able to handle all the following aspects: the availability or reliability models that are mainly based on probabilistic models, the functional view that can be expressed using finite state machines or by event models; the quality of the services that can be expressed either by using a probabilistic approach or an approach based on a bounded set… The work described in this paper focuses on the implementation of a unified industrial modeling process using the graphical language of Hi-Graphs, a specific class of hyper graphs, in support to SysML. This process brings in addition functional views, taking into account, at all stages of the life cycle, non-functional and dysfunctional views of the system in order to make the right choices / compromises in terms of both software engineering and formal verification. It provides end-to-end assurance that the system meets the requirements and contracts associated with service quality during the process of exploring and refining the solution among the different views of the system. It also offers multiple semantics so that existing modeling languages and tools are taken into account.","PeriodicalId":356324,"journal":{"name":"2018 26th International Conference on Systems Engineering (ICSEng)","volume":"3 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2018-12-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"123728045","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 : 2018-12-01DOI: 10.1109/ICSENG.2018.8638022
Sherif M. Hassan, M. Abozied, Ahmed Khamis, D. Zydek
this paper focuses on deriving the equations of motion of generic mathematical model in six degrees of freedom for autonomous underwater vehicles. For precise modeling, we used the hydrodynamic coefficients and derivatives of NPS AUV-II benchmark. The derived nonlinear model is simulated using LabVIEW software package. This makes the simulation process more realistic and easy for implementation with compatible embedded system boards. Moreover, it provides more accurate results which; verifies the model through an animated graphical user interface. This interface facilitates the simulation testing and evaluation process. The open loop simulation was acceptable, responsive and paved the way for using different control techniques for the autonomous underwater vehicle.
{"title":"Non-Linear Modeling and Simulation with 3-D Animation for 6-DOF Autonomous Underwater Vehicle","authors":"Sherif M. Hassan, M. Abozied, Ahmed Khamis, D. Zydek","doi":"10.1109/ICSENG.2018.8638022","DOIUrl":"https://doi.org/10.1109/ICSENG.2018.8638022","url":null,"abstract":"this paper focuses on deriving the equations of motion of generic mathematical model in six degrees of freedom for autonomous underwater vehicles. For precise modeling, we used the hydrodynamic coefficients and derivatives of NPS AUV-II benchmark. The derived nonlinear model is simulated using LabVIEW software package. This makes the simulation process more realistic and easy for implementation with compatible embedded system boards. Moreover, it provides more accurate results which; verifies the model through an animated graphical user interface. This interface facilitates the simulation testing and evaluation process. The open loop simulation was acceptable, responsive and paved the way for using different control techniques for the autonomous underwater vehicle.","PeriodicalId":356324,"journal":{"name":"2018 26th International Conference on Systems Engineering (ICSEng)","volume":"41 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2018-12-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"132980920","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 : 2018-12-01DOI: 10.1109/ICSENG.2018.8638201
I. Pozniak-Koszalka, L. Koszalka, A. Kasprzak, G. Chmaj, D. Zydek
The considered problem of finding drilling machine route is a modified version of TSP. The modification consists in necessity of cyclic drill change which requires returning to starting point after performing a certain number of bores - depending on physical parameters of the particular process. In order to find the best route AI approaches have been applied. In the paper the properties of the implemented algorithms based on Simulated Annealing, Genetic ideas, Ant Colony Optimization have been studied. The Brute Force as reference algorithm as well as Simulated Bee Colony algorithm was implemented, either. The analysis of properties of algorithms was made by processing the results of two-stage simulation experiments. The experiments were carried out with the created and implemented experimentation system. The system also can be used by the practical users for solving their problems.
{"title":"Route Optimization for Drilling Machine: Properties of AI Algorithms and An Experimentation System for the Practical Users","authors":"I. Pozniak-Koszalka, L. Koszalka, A. Kasprzak, G. Chmaj, D. Zydek","doi":"10.1109/ICSENG.2018.8638201","DOIUrl":"https://doi.org/10.1109/ICSENG.2018.8638201","url":null,"abstract":"The considered problem of finding drilling machine route is a modified version of TSP. The modification consists in necessity of cyclic drill change which requires returning to starting point after performing a certain number of bores - depending on physical parameters of the particular process. In order to find the best route AI approaches have been applied. In the paper the properties of the implemented algorithms based on Simulated Annealing, Genetic ideas, Ant Colony Optimization have been studied. The Brute Force as reference algorithm as well as Simulated Bee Colony algorithm was implemented, either. The analysis of properties of algorithms was made by processing the results of two-stage simulation experiments. The experiments were carried out with the created and implemented experimentation system. The system also can be used by the practical users for solving their problems.","PeriodicalId":356324,"journal":{"name":"2018 26th International Conference on Systems Engineering (ICSEng)","volume":"95 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2018-12-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"130255084","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 : 2018-12-01DOI: 10.1109/ICSENG.2018.8638165
T. Górski, J. Bednarski, Z. Chaczko
The paper presents the concept of renewable energy management system. The idea behind the system is to exploit the potential of renewable energy generation sources so as to provide additional energy services and participation in a competitive energy market. These actions can significantly affect the shortening of the period of return on investment of individual customer in renewable energy sources. The paper contains a concept of Electricity Consumption and Supply Management System (ECSM) with application of blockchain technology. ECSM provides functionality to monitor and record continuously information about inbound and outbound energy to/from power grid. Except monitoring inbound and outbound energy, solution will provide the possibility to manage in automatic and manual way when energy should be sent to energy grid. Information about inbound/outbound energy will be part of smart contract which will be confirmed and stored in every node.
{"title":"Blockchain-based renewable energy exchange management system","authors":"T. Górski, J. Bednarski, Z. Chaczko","doi":"10.1109/ICSENG.2018.8638165","DOIUrl":"https://doi.org/10.1109/ICSENG.2018.8638165","url":null,"abstract":"The paper presents the concept of renewable energy management system. The idea behind the system is to exploit the potential of renewable energy generation sources so as to provide additional energy services and participation in a competitive energy market. These actions can significantly affect the shortening of the period of return on investment of individual customer in renewable energy sources. The paper contains a concept of Electricity Consumption and Supply Management System (ECSM) with application of blockchain technology. ECSM provides functionality to monitor and record continuously information about inbound and outbound energy to/from power grid. Except monitoring inbound and outbound energy, solution will provide the possibility to manage in automatic and manual way when energy should be sent to energy grid. Information about inbound/outbound energy will be part of smart contract which will be confirmed and stored in every node.","PeriodicalId":356324,"journal":{"name":"2018 26th International Conference on Systems Engineering (ICSEng)","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2018-12-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"130452865","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 : 2018-12-01DOI: 10.1109/ICSENG.2018.8638194
Junying Chen, Xiao Xu, J. Wan
To solve the problem of high energy consumption in traditional data-gathering protocols and to balance the network load, a spatiotemporal correlation-based clustering method for compressive data gathering (SCCM-CDG) is proposed. First, we present a mathematical model to measure the spatiotemporal correlation of neighborhood nodes. Second, a spatiotemporal correlation-based clustering method (SCCM) is proposed and then applied to the data-gathering protocol. Sensor nodes within a cluster send a small number of linear projections to cluster heads using compressive sensing theory, and then cluster heads send sample data along the shortest square distance spanning tree among cluster heads and the sink. Results of the simulation and experiment verify the accuracy of the SCCM algorithm, revealing that the SCCM-CDG algorithm can substantially reduce energy consumption, prolong network lifetime, and promote improvements in data recovery at the sink compared with existing compressive sensing-based data-gathering schemes.
{"title":"Compressed Data-Gathering Method based on Spatiotemporal Correlation Clustering in Wireless Sensor Networks","authors":"Junying Chen, Xiao Xu, J. Wan","doi":"10.1109/ICSENG.2018.8638194","DOIUrl":"https://doi.org/10.1109/ICSENG.2018.8638194","url":null,"abstract":"To solve the problem of high energy consumption in traditional data-gathering protocols and to balance the network load, a spatiotemporal correlation-based clustering method for compressive data gathering (SCCM-CDG) is proposed. First, we present a mathematical model to measure the spatiotemporal correlation of neighborhood nodes. Second, a spatiotemporal correlation-based clustering method (SCCM) is proposed and then applied to the data-gathering protocol. Sensor nodes within a cluster send a small number of linear projections to cluster heads using compressive sensing theory, and then cluster heads send sample data along the shortest square distance spanning tree among cluster heads and the sink. Results of the simulation and experiment verify the accuracy of the SCCM algorithm, revealing that the SCCM-CDG algorithm can substantially reduce energy consumption, prolong network lifetime, and promote improvements in data recovery at the sink compared with existing compressive sensing-based data-gathering schemes.","PeriodicalId":356324,"journal":{"name":"2018 26th International Conference on Systems Engineering (ICSEng)","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2018-12-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"121304280","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 : 2018-12-01DOI: 10.1109/ICSENG.2018.8638202
C. Tian, David Tien, Guanran Wang
Based on cloud platforms, workload management system aims to implement the standardized workload management of the teaching staff, and provides a convenient way to calculate teachers’ teaching-hour subsidy. This workload management system is developed on cloud platforms and embedded a better human-computer interface with data visu-alization, which provides more reliable data for the leadership in decision-making.
{"title":"The Design and Implementation of the Workload Management System Based on Cloud Platforms","authors":"C. Tian, David Tien, Guanran Wang","doi":"10.1109/ICSENG.2018.8638202","DOIUrl":"https://doi.org/10.1109/ICSENG.2018.8638202","url":null,"abstract":"Based on cloud platforms, workload management system aims to implement the standardized workload management of the teaching staff, and provides a convenient way to calculate teachers’ teaching-hour subsidy. This workload management system is developed on cloud platforms and embedded a better human-computer interface with data visu-alization, which provides more reliable data for the leadership in decision-making.","PeriodicalId":356324,"journal":{"name":"2018 26th International Conference on Systems Engineering (ICSEng)","volume":"20 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2018-12-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"121619776","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
扫码关注我们
求助内容：
应助结果提醒方式：