A very successful tool for model-driven engineering of embedded systems is finite-state machines whose transitions are labeled with expressions of a common-sense logic. The deployment of models to different platforms and different programming languages makes it more imperative to confirm that the models are correct. However, systems are usually composed of concurrent behaviours, which complicates the potential use of model-checking technology. We structure models composed of several finite-state machines into a vector whose execution is a round-robin sequential off-line schedule. This enables model-checking of the requirements. We illustrate this with two case studies widely discussed in the literature. The models can be executed on diverse platforms, and we utilise the same interpreter to generate the corresponding Kripke structure suitable for verification with tools such as NUSMV.
{"title":"Efficient Model Checking and FMEA Analysis with Deterministic Scheduling of Transition-Labeled Finite-State Machines","authors":"V. Estivill-Castro, R. Hexel, D. Rosenblueth","doi":"10.1109/WCSE.2012.20","DOIUrl":"https://doi.org/10.1109/WCSE.2012.20","url":null,"abstract":"A very successful tool for model-driven engineering of embedded systems is finite-state machines whose transitions are labeled with expressions of a common-sense logic. The deployment of models to different platforms and different programming languages makes it more imperative to confirm that the models are correct. However, systems are usually composed of concurrent behaviours, which complicates the potential use of model-checking technology. We structure models composed of several finite-state machines into a vector whose execution is a round-robin sequential off-line schedule. This enables model-checking of the requirements. We illustrate this with two case studies widely discussed in the literature. The models can be executed on diverse platforms, and we utilise the same interpreter to generate the corresponding Kripke structure suitable for verification with tools such as NUSMV.","PeriodicalId":244586,"journal":{"name":"2012 Third World Congress on Software Engineering","volume":"17 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2012-11-06","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"134046105","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}
Accurately and effectively measuring the similarity between terms is one way to enhance the performance of information retrieval systems. At present, the extended data source which is used for Mongolian semantic query expansion is still not perfect. A new query expansion method based on Mongolian semantics is proposed for expressing the user's intention more precisely. This query expansion method includes two steps. The first step is to build an associated-dictionary by associated term rearrangement algorithm. The second step is to expand the original query by the associated-dictionary. The core of the method adopted in this paper is associated term rearrangement algorithm and re-weight expansion terms algorithm. Experiments with Lemur tools show that the retrieval results have been greatly improved by this method.
{"title":"Query Expansion Based on Mongolian Semantics","authors":"Na Liu, Junyi Wang, Guiping Liu","doi":"10.1109/WCSE.2012.13","DOIUrl":"https://doi.org/10.1109/WCSE.2012.13","url":null,"abstract":"Accurately and effectively measuring the similarity between terms is one way to enhance the performance of information retrieval systems. At present, the extended data source which is used for Mongolian semantic query expansion is still not perfect. A new query expansion method based on Mongolian semantics is proposed for expressing the user's intention more precisely. This query expansion method includes two steps. The first step is to build an associated-dictionary by associated term rearrangement algorithm. The second step is to expand the original query by the associated-dictionary. The core of the method adopted in this paper is associated term rearrangement algorithm and re-weight expansion terms algorithm. Experiments with Lemur tools show that the retrieval results have been greatly improved by this method.","PeriodicalId":244586,"journal":{"name":"2012 Third World Congress on Software Engineering","volume":"111 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2012-11-06","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"125754875","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 this paper, notions of general algebraic information systems and dense abstract bases are introduced. Their relationships with algebraic dcpo's are investigated. It is shown that they both represent exactly the algebraic dcpo's. Technically, the corresponding categories of these three structures are equivalent with each other.
{"title":"Representations of Algebraic Dcpo's by Information Systems and Abstract Bases","authors":"Lankun Guo, Qingguo Li, Yaping Lin, Hongping Liu","doi":"10.1109/WCSE.2012.21","DOIUrl":"https://doi.org/10.1109/WCSE.2012.21","url":null,"abstract":"In this paper, notions of general algebraic information systems and dense abstract bases are introduced. Their relationships with algebraic dcpo's are investigated. It is shown that they both represent exactly the algebraic dcpo's. Technically, the corresponding categories of these three structures are equivalent with each other.","PeriodicalId":244586,"journal":{"name":"2012 Third World Congress on Software Engineering","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2012-11-06","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"129241260","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}
Yahui Yang, Youbing Zhang, Pengtao Xia, Zezhi Ren, Bo Li
The identification documents (IDs) management system is designed according to the trifles of documents transfer in traditional auto after-sales service and the long cycle of claiming for compensation. The system uses the J2EE language development platform, choose Oracle 9i database and use B/S structure with the functions of IDs entry, replenishment and deduction (R&D) entry, audit, settlement, inquiries and so on. This system in DF automotive after-sales filed application shows that the system greatly shortens the processing time of documents and also shortens the cycle of compensation for claims, which directly improve the company's work efficiency, improve the maintenance service quality and service level of service station, improve the customer satisfaction and promote the ascension of station service's management level and information level. All in all, the system helps to solve some key problems in auto after-sales service management of enterprises.
{"title":"Applied Research on the Identification Documents Management System for Auto After-sales Service Based on CRM","authors":"Yahui Yang, Youbing Zhang, Pengtao Xia, Zezhi Ren, Bo Li","doi":"10.1109/WCSE.2012.37","DOIUrl":"https://doi.org/10.1109/WCSE.2012.37","url":null,"abstract":"The identification documents (IDs) management system is designed according to the trifles of documents transfer in traditional auto after-sales service and the long cycle of claiming for compensation. The system uses the J2EE language development platform, choose Oracle 9i database and use B/S structure with the functions of IDs entry, replenishment and deduction (R&D) entry, audit, settlement, inquiries and so on. This system in DF automotive after-sales filed application shows that the system greatly shortens the processing time of documents and also shortens the cycle of compensation for claims, which directly improve the company's work efficiency, improve the maintenance service quality and service level of service station, improve the customer satisfaction and promote the ascension of station service's management level and information level. All in all, the system helps to solve some key problems in auto after-sales service management of enterprises.","PeriodicalId":244586,"journal":{"name":"2012 Third World Congress on Software Engineering","volume":"7 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2012-11-06","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"132314532","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}
Lu Lu, Yulong Hong, Ying Huang, Kai Su, Yuping Yan
Current status of mobile application testing is commonly used artificial test. In order to reduce the test costs and improve the availability and system stability of the android mobile applications, through an activity page based model to optimize the page crawling algorithm to generate a test case sequence, combined with some open source tools and frameworks, this paper proposed a low cost practical functional test automation for Android applications.
{"title":"Activity Page Based Functional Test Automation for Android Application","authors":"Lu Lu, Yulong Hong, Ying Huang, Kai Su, Yuping Yan","doi":"10.1109/WCSE.2012.15","DOIUrl":"https://doi.org/10.1109/WCSE.2012.15","url":null,"abstract":"Current status of mobile application testing is commonly used artificial test. In order to reduce the test costs and improve the availability and system stability of the android mobile applications, through an activity page based model to optimize the page crawling algorithm to generate a test case sequence, combined with some open source tools and frameworks, this paper proposed a low cost practical functional test automation for Android applications.","PeriodicalId":244586,"journal":{"name":"2012 Third World Congress on Software Engineering","volume":"53 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2012-11-06","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"127799026","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}
NOMOHi (Node Mobile Hibrid Intelligent) networks are the result of trying to create a platform to the " collaboration"and "communication" between different types of devices (mobile phones, fixed wireless, nomadic, pervasive) that have the" ability" to communicate in two or more radio technologies (e.g., a cell phone linked to a GSM cell to transmit and receive a phone call, at the same time are surfing the Internet via wireless 802.11and simultaneously, another phone is downloading pictures and photos via Bluetooth. But what if we imagine is also a network of wireless sensors (WSN), or industrial Machine to Machine(M2M) communications network, which at some point, to use our phone as a Gateway, or in a more timely case in a tourist area where coexist different wireless devices (phones, PDA `s, Tablets, laptops, temperature sensors, wifi Access point, etc) peacefully(ignoring interference problems) but without help or communicate with each other, due to its different communication channels (some used Zigbee, other Bluetooth, other wireless, other ANT +), well, imagine a situation of emergency or Human disaster, these devices could work like a "team" and take the sign of "a fire sensor", to a simple tablet, forgotten, and this tablet might send, in the extreme, a wireless signal to a GSM phone, which would transmit the emergency signal to the focus of civil protection. Imagine also that this "tablet" used like a "HybridGateway" was controlled by a Java software, running artificial intelligence routines of Fuzzy logic, which allowed this communication occurs. In this theoretical work, briefly explains the usefulness of this system from the aspect software engineering, as well as the tools to design and what would be their main functions. Currently this project is developed by researchers at Acantelys group to display in the National park"Gran sabana" a network of emergency communications in natural disasters and to transmit educational content of Satellite Simon Bolivar, Venezuela.
{"title":"NOMOHiOS: Fundamental Aspects of Artificial Intelligence and Software Engineering in the Design of Management Systems","authors":"Juan Martinez, K. Rodriguez, Johnny V. Martinez","doi":"10.1109/WCSE.2012.28","DOIUrl":"https://doi.org/10.1109/WCSE.2012.28","url":null,"abstract":"NOMOHi (Node Mobile Hibrid Intelligent) networks are the result of trying to create a platform to the \" collaboration\"and \"communication\" between different types of devices (mobile phones, fixed wireless, nomadic, pervasive) that have the\" ability\" to communicate in two or more radio technologies (e.g., a cell phone linked to a GSM cell to transmit and receive a phone call, at the same time are surfing the Internet via wireless 802.11and simultaneously, another phone is downloading pictures and photos via Bluetooth. But what if we imagine is also a network of wireless sensors (WSN), or industrial Machine to Machine(M2M) communications network, which at some point, to use our phone as a Gateway, or in a more timely case in a tourist area where coexist different wireless devices (phones, PDA `s, Tablets, laptops, temperature sensors, wifi Access point, etc) peacefully(ignoring interference problems) but without help or communicate with each other, due to its different communication channels (some used Zigbee, other Bluetooth, other wireless, other ANT +), well, imagine a situation of emergency or Human disaster, these devices could work like a \"team\" and take the sign of \"a fire sensor\", to a simple tablet, forgotten, and this tablet might send, in the extreme, a wireless signal to a GSM phone, which would transmit the emergency signal to the focus of civil protection. Imagine also that this \"tablet\" used like a \"HybridGateway\" was controlled by a Java software, running artificial intelligence routines of Fuzzy logic, which allowed this communication occurs. In this theoretical work, briefly explains the usefulness of this system from the aspect software engineering, as well as the tools to design and what would be their main functions. Currently this project is developed by researchers at Acantelys group to display in the National park\"Gran sabana\" a network of emergency communications in natural disasters and to transmit educational content of Satellite Simon Bolivar, Venezuela.","PeriodicalId":244586,"journal":{"name":"2012 Third World Congress on Software Engineering","volume":"80 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2012-11-06","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"114859012","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}
Information is one of most important bases in unconventional emergency response. The paper establishes system dynamics simulation model of informational control based on the law and principle of information behavior in unconventional emergency response. A case study of "723" high-speed railway accident reveals that information channel load, information technological development, information professional level etc., have important role in emergency response. Emergency managers should pay attention to improvement of information receiving and processing to enhance emergency decision-making efficiency and rapid response capability. one of the most important bases in unconventional emergency response. The paper establishes system dynamics simulation model of informational control based on the law and principle of information behavior in unconventional emergency response. A case study of "723" high-speed railway accident reveals that information channel load, information technological development, information professional level etc., have important role in emergency response. Emergency managers should pay attention to improvement of information receiving and processing to enhance emergency decision-making efficiency and rapid response capability.
{"title":"Simulation Analysis of Information Control for \"723\" Wenzhou High-speed Railway Accident in China Based on System Dynamics","authors":"Qian Wu, Kefan Xie","doi":"10.1109/WCSE.2012.45","DOIUrl":"https://doi.org/10.1109/WCSE.2012.45","url":null,"abstract":"Information is one of most important bases in unconventional emergency response. The paper establishes system dynamics simulation model of informational control based on the law and principle of information behavior in unconventional emergency response. A case study of \"723\" high-speed railway accident reveals that information channel load, information technological development, information professional level etc., have important role in emergency response. Emergency managers should pay attention to improvement of information receiving and processing to enhance emergency decision-making efficiency and rapid response capability. one of the most important bases in unconventional emergency response. The paper establishes system dynamics simulation model of informational control based on the law and principle of information behavior in unconventional emergency response. A case study of \"723\" high-speed railway accident reveals that information channel load, information technological development, information professional level etc., have important role in emergency response. Emergency managers should pay attention to improvement of information receiving and processing to enhance emergency decision-making efficiency and rapid response capability.","PeriodicalId":244586,"journal":{"name":"2012 Third World Congress on Software Engineering","volume":"2002 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2012-11-06","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"128312361","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}
Since the endless new networking applications and security issues, it's urgent for governments, corporations and ISPs to identify, classify and control the network flows. Comparing with DPI technologies, flow-based behavior recognition has advantages of continuity and extensibility, but has the problems of scalability, efficiency and coordination which greatly restrict its implementation in high-speed core network. Base on related research and experiments, this paper presents optimizations to improve the performance of time and space of flow-based behavior recognition.
{"title":"Optimizations of Flow-based Behavior Recognition System within Hi-speed Network","authors":"Peng Xiaotian","doi":"10.1109/WCSE.2012.40","DOIUrl":"https://doi.org/10.1109/WCSE.2012.40","url":null,"abstract":"Since the endless new networking applications and security issues, it's urgent for governments, corporations and ISPs to identify, classify and control the network flows. Comparing with DPI technologies, flow-based behavior recognition has advantages of continuity and extensibility, but has the problems of scalability, efficiency and coordination which greatly restrict its implementation in high-speed core network. Base on related research and experiments, this paper presents optimizations to improve the performance of time and space of flow-based behavior recognition.","PeriodicalId":244586,"journal":{"name":"2012 Third World Congress on Software Engineering","volume":"119 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2012-11-06","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"116174634","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 describes a novel method for surface mesh simplification. Given an initial surface mesh, the goal is to reduce the number of mesh elements and preserve the geometric approximation as well as the shape quality of the resulting mesh. We present a novel method - triangle contraction to simplify the mesh, and two tolerance areas with respect to the reference mesh have been introduced to preserve the geometry of the surface. The reference mesh is then simplified and optimized in order that the resulting mesh belongs to these tolerance areas.
{"title":"A Novel Method of Mesh Simplification Using Hausdoff Distance","authors":"Xuegang Ma, Jinjin Zheng, Yong Shui, Hongjun Zhou, Lianguan Shen","doi":"10.1109/WCSE.2012.32","DOIUrl":"https://doi.org/10.1109/WCSE.2012.32","url":null,"abstract":"This paper describes a novel method for surface mesh simplification. Given an initial surface mesh, the goal is to reduce the number of mesh elements and preserve the geometric approximation as well as the shape quality of the resulting mesh. We present a novel method - triangle contraction to simplify the mesh, and two tolerance areas with respect to the reference mesh have been introduced to preserve the geometry of the surface. The reference mesh is then simplified and optimized in order that the resulting mesh belongs to these tolerance areas.","PeriodicalId":244586,"journal":{"name":"2012 Third World Congress on Software Engineering","volume":"169 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2012-11-06","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"122189911","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 laser beam riding guidance system, the information field of laser beam is the control information of guiding the missile flighting and it is the main test content of the missile weapon system state analysis. In the course of guidance, the information in different periods, positions and distances are different, however, it is consistent in the same period, position and distance, it is four-dimensional variable that contains a three-dimensional space variable and an one-dimensional time variable and the correlative nature is revealed between the time and distance variable. It is always a problem that the test of the information field with strict support conditions is difficult to adjust and need a long time, and the equipments are damaged heavily in the test. At present, the key content in the test of the information field is to extract the position information in the information field and assess the state through position information. The assessment method of information field of laser beam and the technique of feature extraction in the position of information field has been introduced in detail.
{"title":"Research on Feature Extraction of the Laser Beam Information Field Riding Guidance Technology Based on Wavelet Transform","authors":"Du-En Xiang, Wang Wei","doi":"10.1109/WCSE.2012.43","DOIUrl":"https://doi.org/10.1109/WCSE.2012.43","url":null,"abstract":"In laser beam riding guidance system, the information field of laser beam is the control information of guiding the missile flighting and it is the main test content of the missile weapon system state analysis. In the course of guidance, the information in different periods, positions and distances are different, however, it is consistent in the same period, position and distance, it is four-dimensional variable that contains a three-dimensional space variable and an one-dimensional time variable and the correlative nature is revealed between the time and distance variable. It is always a problem that the test of the information field with strict support conditions is difficult to adjust and need a long time, and the equipments are damaged heavily in the test. At present, the key content in the test of the information field is to extract the position information in the information field and assess the state through position information. The assessment method of information field of laser beam and the technique of feature extraction in the position of information field has been introduced in detail.","PeriodicalId":244586,"journal":{"name":"2012 Third World Congress on Software Engineering","volume":"38 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2012-11-06","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"123147910","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
扫码关注我们
求助内容：
应助结果提醒方式：