Pub Date : 2016-08-01DOI: 10.1109/ICSESS.2016.7883202
Dong Huo, Hui Liu, Zhenhong Shang, Runxin Li
The image features play an important role in object detection and recognition, the method of object detection based on Histogram of Oriented Gradient(HOG) for its good detection result receives extensive attention to many researchers. This article describes the approaches to Histogram of Oriented Gradient and support vector machine, focusing on studying the HOG feature and application, detailing the process of HOG feature extracted and the design of classifiers in pedestrian detection. In this paper, pedestrian sample library was built and the Histogram of Oriented Gradient feature of the samples was extracted. The pedestrian classifier was obtained by using support vector machine and the performance of the classifier was tested.
图像特征在目标检测和识别中起着重要的作用，基于梯度直方图(Histogram of Oriented Gradient, HOG)的目标检测方法以其良好的检测效果受到众多研究者的广泛关注。本文介绍了面向梯度直方图和支持向量机的方法，重点研究了HOG特征及其应用，详细介绍了HOG特征提取过程和分类器在行人检测中的设计。本文建立了行人样本库，提取了样本的梯度特征直方图。利用支持向量机得到行人分类器，并对分类器的性能进行了测试。
{"title":"Research for pedestrian detection classifier","authors":"Dong Huo, Hui Liu, Zhenhong Shang, Runxin Li","doi":"10.1109/ICSESS.2016.7883202","DOIUrl":"https://doi.org/10.1109/ICSESS.2016.7883202","url":null,"abstract":"The image features play an important role in object detection and recognition, the method of object detection based on Histogram of Oriented Gradient(HOG) for its good detection result receives extensive attention to many researchers. This article describes the approaches to Histogram of Oriented Gradient and support vector machine, focusing on studying the HOG feature and application, detailing the process of HOG feature extracted and the design of classifiers in pedestrian detection. In this paper, pedestrian sample library was built and the Histogram of Oriented Gradient feature of the samples was extracted. The pedestrian classifier was obtained by using support vector machine and the performance of the classifier was tested.","PeriodicalId":175933,"journal":{"name":"2016 7th IEEE International Conference on Software Engineering and Service Science (ICSESS)","volume":"34 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2016-08-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"124830393","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 : 2016-08-01DOI: 10.1109/ICSESS.2016.7883097
Nan Jiang, Guoqi Li, B. Liu
As the complexity of the safety-critical system grows, the difficulty for safety engineers to validate and ensure system safety increases too. Formal languages have been introduced as an alternative to natural language (NL) requirement descriptions. Sometimes, the safety requirements are put forward in natural language such as requirements from stakeholders and nonexperts. The transformation and verification work of the requirements are completed manually. A tool called DODT can semi-automatically transforms NL requirements into semi-formal boilerplate requirements which reduce the manual work of transformation largely. Alloy is a formal modeling language which is amenable to automatic analyses. We use it as a tool to make safety analysis taking benefit from the model-based aspect of Alloy and its expressiveness for the specification of the properties to check. In this paper, we combine DDOT with Alloy. The attributes we use in boilerplates can be transformed into Alloy sentences easily. Hence, the formal requirements can be expressed in Alloy easily and checked by Alloy Analyzer, reducing manual work largely. Last, we illustrate our method with a fire detection system.
{"title":"Safety analysis for safety-critical system based on boilerplate and Alloy","authors":"Nan Jiang, Guoqi Li, B. Liu","doi":"10.1109/ICSESS.2016.7883097","DOIUrl":"https://doi.org/10.1109/ICSESS.2016.7883097","url":null,"abstract":"As the complexity of the safety-critical system grows, the difficulty for safety engineers to validate and ensure system safety increases too. Formal languages have been introduced as an alternative to natural language (NL) requirement descriptions. Sometimes, the safety requirements are put forward in natural language such as requirements from stakeholders and nonexperts. The transformation and verification work of the requirements are completed manually. A tool called DODT can semi-automatically transforms NL requirements into semi-formal boilerplate requirements which reduce the manual work of transformation largely. Alloy is a formal modeling language which is amenable to automatic analyses. We use it as a tool to make safety analysis taking benefit from the model-based aspect of Alloy and its expressiveness for the specification of the properties to check. In this paper, we combine DDOT with Alloy. The attributes we use in boilerplates can be transformed into Alloy sentences easily. Hence, the formal requirements can be expressed in Alloy easily and checked by Alloy Analyzer, reducing manual work largely. Last, we illustrate our method with a fire detection system.","PeriodicalId":175933,"journal":{"name":"2016 7th IEEE International Conference on Software Engineering and Service Science (ICSESS)","volume":"20 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2016-08-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"121564728","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 : 2016-08-01DOI: 10.1109/ICSESS.2016.7883161
Yongqiang Cheng, Yan Zhou
Most power information platforms are using IEC 61970 common information model (CIM) which has not focused on the on-line monitoring system at all. This is also the reason why each manufacturer produced its own productions and they usually have their own designing system. This situation has already become an obstacle for designing and implement the visual management system for power transmission and transformation equipment. This paper analyzed the method to extend CIM and proposed a CIM extended power transmission and transformation on-line monitoring system model which is able to comprehensively describe the monitoring equipment. This model shows a strong versatility and scalability while it's used in power transmission and transformation equipment status visual management system. The system shows the main connection drawing through combining this model with SVG.
{"title":"A CIM extended power transmission and transformation on-line monitoring system model","authors":"Yongqiang Cheng, Yan Zhou","doi":"10.1109/ICSESS.2016.7883161","DOIUrl":"https://doi.org/10.1109/ICSESS.2016.7883161","url":null,"abstract":"Most power information platforms are using IEC 61970 common information model (CIM) which has not focused on the on-line monitoring system at all. This is also the reason why each manufacturer produced its own productions and they usually have their own designing system. This situation has already become an obstacle for designing and implement the visual management system for power transmission and transformation equipment. This paper analyzed the method to extend CIM and proposed a CIM extended power transmission and transformation on-line monitoring system model which is able to comprehensively describe the monitoring equipment. This model shows a strong versatility and scalability while it's used in power transmission and transformation equipment status visual management system. The system shows the main connection drawing through combining this model with SVG.","PeriodicalId":175933,"journal":{"name":"2016 7th IEEE International Conference on Software Engineering and Service Science (ICSESS)","volume":"59 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2016-08-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"122796954","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 : 2016-08-01DOI: 10.1109/ICSESS.2016.7883150
Li Chao, Wu Lingda, Zhao Bin
Flow is one of the most fundamental physical process in natural world. Flow visualization can give an intuitive view of flow fields and contribute to the observation and analysis of flow. Really flow fields are all dynamic while traditional visualization approaches are not able to reflect the trends of flows or the diversity inside them. Based on the research of Lagrangian Coherent Structures in Computational Fluid Dynamics, the concept of flow field topology is redefined, two typical 2D dynamic vector fields are selected for topology analysis, and the results are used to optimize the visual effects of geometric visualization. Experiments show that visualization of 2D dynamic vector fields based on topology analysis can extract the coherent structures of flows which are helpful to the comprehension of flow for researchers and description of characteristic difference inside flows.
{"title":"Application of topology analysis in visualization of 2D dynamic vector fields","authors":"Li Chao, Wu Lingda, Zhao Bin","doi":"10.1109/ICSESS.2016.7883150","DOIUrl":"https://doi.org/10.1109/ICSESS.2016.7883150","url":null,"abstract":"Flow is one of the most fundamental physical process in natural world. Flow visualization can give an intuitive view of flow fields and contribute to the observation and analysis of flow. Really flow fields are all dynamic while traditional visualization approaches are not able to reflect the trends of flows or the diversity inside them. Based on the research of Lagrangian Coherent Structures in Computational Fluid Dynamics, the concept of flow field topology is redefined, two typical 2D dynamic vector fields are selected for topology analysis, and the results are used to optimize the visual effects of geometric visualization. Experiments show that visualization of 2D dynamic vector fields based on topology analysis can extract the coherent structures of flows which are helpful to the comprehension of flow for researchers and description of characteristic difference inside flows.","PeriodicalId":175933,"journal":{"name":"2016 7th IEEE International Conference on Software Engineering and Service Science (ICSESS)","volume":"15 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2016-08-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"125816261","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 : 2016-08-01DOI: 10.1109/ICSESS.2016.7883171
Zhonghong Xu, Lingjun Yang, Sanxing Cao
People getting video information from the mobile lightweight TV media has become one of mainstream demands. Accordingly, this paper is based on an Android mobile App, which belongs to the Center of Radio and Television in Fengtai Beijing. To design and implementation of this mobile lightweight TV media system based on android, I take use of Java, PHP, HTML5, CSS3, JavaScript technology and the combination of MySQL, Transfer JSON data through the Ajax technology to make the interaction asynchronously come true between the client side and server side. In short, the research of mobile lightweight TV media system is of great significance to the integration of new media and traditional media in our country.
{"title":"Design and implementation of mobile lightweight TV media system based on Android","authors":"Zhonghong Xu, Lingjun Yang, Sanxing Cao","doi":"10.1109/ICSESS.2016.7883171","DOIUrl":"https://doi.org/10.1109/ICSESS.2016.7883171","url":null,"abstract":"People getting video information from the mobile lightweight TV media has become one of mainstream demands. Accordingly, this paper is based on an Android mobile App, which belongs to the Center of Radio and Television in Fengtai Beijing. To design and implementation of this mobile lightweight TV media system based on android, I take use of Java, PHP, HTML5, CSS3, JavaScript technology and the combination of MySQL, Transfer JSON data through the Ajax technology to make the interaction asynchronously come true between the client side and server side. In short, the research of mobile lightweight TV media system is of great significance to the integration of new media and traditional media in our country.","PeriodicalId":175933,"journal":{"name":"2016 7th IEEE International Conference on Software Engineering and Service Science (ICSESS)","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2016-08-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"129605527","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 : 2016-08-01DOI: 10.1109/ICSESS.2016.7883078
Qiang Liu, Xiaoshe Dong, Heng Chen, Zhengdong Zhu, Yinfeng Wang
Traditional delay scheduling algorithm processes the task scheduling through a fixed time waiting threshold to achieve better data locality. However, this fixed manner often leads to low resource utilization and job performance degradation, especially for short jobs. This paper proposes a predicting delay scheduling algorithm, called P-Delay. P-Delay leverages both the job characteristic and dynamic resource availability to accelerate the short job execution. It provides a dynamic delay scheduling by comparing the transferring cost with the predicted waiting cost to make reasonable wait. Experimental results show that P-Delay can achieve a speedup of 1.45× for short jobs than traditional Delay Scheduling algorithm.
{"title":"An efficient predicting delay algorithm for short jobs","authors":"Qiang Liu, Xiaoshe Dong, Heng Chen, Zhengdong Zhu, Yinfeng Wang","doi":"10.1109/ICSESS.2016.7883078","DOIUrl":"https://doi.org/10.1109/ICSESS.2016.7883078","url":null,"abstract":"Traditional delay scheduling algorithm processes the task scheduling through a fixed time waiting threshold to achieve better data locality. However, this fixed manner often leads to low resource utilization and job performance degradation, especially for short jobs. This paper proposes a predicting delay scheduling algorithm, called P-Delay. P-Delay leverages both the job characteristic and dynamic resource availability to accelerate the short job execution. It provides a dynamic delay scheduling by comparing the transferring cost with the predicted waiting cost to make reasonable wait. Experimental results show that P-Delay can achieve a speedup of 1.45× for short jobs than traditional Delay Scheduling algorithm.","PeriodicalId":175933,"journal":{"name":"2016 7th IEEE International Conference on Software Engineering and Service Science (ICSESS)","volume":"8 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2016-08-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"128829131","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 : 2016-08-01DOI: 10.1109/ICSESS.2016.7883156
J. Chen
Based on the digital bit synchronization technology, Compared the characteristic QPSK demodulation and QAM demodulation of signals, To improve Gardner algorithm and use the Matlab simulation. Designed based on the Gardner algorithm 16QAM baseband signal bit synchronization, and used Modelsim simulation analysis, Demodution the improved algorithm to achieve the desired results.
{"title":"Research and implementation of 16QAM based on FPGA","authors":"J. Chen","doi":"10.1109/ICSESS.2016.7883156","DOIUrl":"https://doi.org/10.1109/ICSESS.2016.7883156","url":null,"abstract":"Based on the digital bit synchronization technology, Compared the characteristic QPSK demodulation and QAM demodulation of signals, To improve Gardner algorithm and use the Matlab simulation. Designed based on the Gardner algorithm 16QAM baseband signal bit synchronization, and used Modelsim simulation analysis, Demodution the improved algorithm to achieve the desired results.","PeriodicalId":175933,"journal":{"name":"2016 7th IEEE International Conference on Software Engineering and Service Science (ICSESS)","volume":"35 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2016-08-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"121858688","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 : 2016-08-01DOI: 10.1109/ICSESS.2016.7883142
Shufan Zhang, Sanxing Cao
With the rapid development of mobile smart phone and 4G network, online micro-video has come into the view of more and more people. The providers for the micro-videos hope that if they put their micro-video on a video website, they can get as much attention as possible. So it is becoming more and more meaningful to research the users' interest in different video websites. First of all, this system captures the static data, dynamic data and comments data. Then it applies the algorithm of data mining to find which kind of micro-video is more preferred in one video website. Finally the results are submitted to the providers for the micro-videos and they can decide which website is more suitable to put their micro-video on.
{"title":"Data analysis system for users' interest on micro-video in different websites","authors":"Shufan Zhang, Sanxing Cao","doi":"10.1109/ICSESS.2016.7883142","DOIUrl":"https://doi.org/10.1109/ICSESS.2016.7883142","url":null,"abstract":"With the rapid development of mobile smart phone and 4G network, online micro-video has come into the view of more and more people. The providers for the micro-videos hope that if they put their micro-video on a video website, they can get as much attention as possible. So it is becoming more and more meaningful to research the users' interest in different video websites. First of all, this system captures the static data, dynamic data and comments data. Then it applies the algorithm of data mining to find which kind of micro-video is more preferred in one video website. Finally the results are submitted to the providers for the micro-videos and they can decide which website is more suitable to put their micro-video on.","PeriodicalId":175933,"journal":{"name":"2016 7th IEEE International Conference on Software Engineering and Service Science (ICSESS)","volume":"21 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2016-08-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"122330678","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 : 2016-08-01DOI: 10.1109/ICSESS.2016.7883133
Xu Guo, Zongyuang Yang
This paper presents a quantitative analysis of Itai's leader election algorithm using probabilistic model checking. In particular, a leading probabilistic model checker PRISM is utilized to simulate the algorithm executions. From performance analysis perspective, this paper investigates execution efficiency of this algorithm. Properties to be considered is the expected round of leader election under certain situations. Moreover, as an important performance concern, energy consumption is also simulated in the experiment. This paper also extends the assumptions of the original algorithm to study the performance over unreliable channels. Experimental results show that for certain number of processes, the algorithm will terminate with probability 1. Conclusion can also be drawn that the reliability of channels does have great effect on the performance of this algorithm. In order to achieve better performance, it is a better choice to decrease the number of process in the election and extend the choice scope for each process.
{"title":"Analyzing leader election protocol by probabilistic model checking","authors":"Xu Guo, Zongyuang Yang","doi":"10.1109/ICSESS.2016.7883133","DOIUrl":"https://doi.org/10.1109/ICSESS.2016.7883133","url":null,"abstract":"This paper presents a quantitative analysis of Itai's leader election algorithm using probabilistic model checking. In particular, a leading probabilistic model checker PRISM is utilized to simulate the algorithm executions. From performance analysis perspective, this paper investigates execution efficiency of this algorithm. Properties to be considered is the expected round of leader election under certain situations. Moreover, as an important performance concern, energy consumption is also simulated in the experiment. This paper also extends the assumptions of the original algorithm to study the performance over unreliable channels. Experimental results show that for certain number of processes, the algorithm will terminate with probability 1. Conclusion can also be drawn that the reliability of channels does have great effect on the performance of this algorithm. In order to achieve better performance, it is a better choice to decrease the number of process in the election and extend the choice scope for each process.","PeriodicalId":175933,"journal":{"name":"2016 7th IEEE International Conference on Software Engineering and Service Science (ICSESS)","volume":"598 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2016-08-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"126905532","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 : 2016-08-01DOI: 10.1109/ICSESS.2016.7883067
Jiong Fu, Ai-min Luo, Xueshan Luo, Junxian Liu
Service deployment is an important phase of aligning business to IT systems in the Service-oriented Architecture (SOA)-based C4ISR system integration. Current methodologies of service deployment mostly focus on system-level service deployment as well as service composition, while the deployment of enterprise-level services to align business processes to IT systems is ignored. This paper deals with the service deployment for business/IT alignments in the perspective of architecture designing. First, we redefine the service deployment problem in C4ISR system integration, and then propose the process of service deployment based on DoDAF 2.0 to meet the business requirements and goals. Finally, we present a service deployment model based on the Quality of Service (QoS) and use the Immune Genetic Algorithm (IGA) to solve an optimal problem. Through a comprehensive case study, we find that IT systems can align with business by applying our process and model in service deployment.
{"title":"Study on service deployment in C4ISR system integration","authors":"Jiong Fu, Ai-min Luo, Xueshan Luo, Junxian Liu","doi":"10.1109/ICSESS.2016.7883067","DOIUrl":"https://doi.org/10.1109/ICSESS.2016.7883067","url":null,"abstract":"Service deployment is an important phase of aligning business to IT systems in the Service-oriented Architecture (SOA)-based C4ISR system integration. Current methodologies of service deployment mostly focus on system-level service deployment as well as service composition, while the deployment of enterprise-level services to align business processes to IT systems is ignored. This paper deals with the service deployment for business/IT alignments in the perspective of architecture designing. First, we redefine the service deployment problem in C4ISR system integration, and then propose the process of service deployment based on DoDAF 2.0 to meet the business requirements and goals. Finally, we present a service deployment model based on the Quality of Service (QoS) and use the Immune Genetic Algorithm (IGA) to solve an optimal problem. Through a comprehensive case study, we find that IT systems can align with business by applying our process and model in service deployment.","PeriodicalId":175933,"journal":{"name":"2016 7th IEEE International Conference on Software Engineering and Service Science (ICSESS)","volume":"2 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2016-08-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"125719197","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
扫码关注我们
求助内容：
应助结果提醒方式：