2012 Third World Congress on Software Engineering最新文献

筛选
英文 中文
Efficient Model Checking and FMEA Analysis with Deterministic Scheduling of Transition-Labeled Finite-State Machines 过渡标记有限状态机确定性调度的有效模型检验与FMEA分析
2012 Third World Congress on Software Engineering Pub Date : 2012-11-06 DOI: 10.1109/WCSE.2012.20
V. Estivill-Castro, R. Hexel, D. Rosenblueth
{"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}
引用次数: 13
Query Expansion Based on Mongolian Semantics 基于蒙古语语义的查询扩展
2012 Third World Congress on Software Engineering Pub Date : 2012-11-06 DOI: 10.1109/WCSE.2012.13
Na Liu, Junyi Wang, Guiping Liu
{"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}
引用次数: 2
Representations of Algebraic Dcpo's by Information Systems and Abstract Bases 用信息系统和抽象基表示代数Dcpo
2012 Third World Congress on Software Engineering Pub Date : 2012-11-06 DOI: 10.1109/WCSE.2012.21
Lankun Guo, Qingguo Li, Yaping Lin, Hongping Liu
{"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}
引用次数: 1
Applied Research on the Identification Documents Management System for Auto After-sales Service Based on CRM 基于CRM的汽车售后服务证件管理系统的应用研究
2012 Third World Congress on Software Engineering Pub Date : 2012-11-06 DOI: 10.1109/WCSE.2012.37
Yahui Yang, Youbing Zhang, Pengtao Xia, Zezhi Ren, Bo Li
{"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}
引用次数: 3
Activity Page Based Functional Test Automation for Android Application 基于活动页的Android应用功能测试自动化
2012 Third World Congress on Software Engineering Pub Date : 2012-11-06 DOI: 10.1109/WCSE.2012.15
Lu Lu, Yulong Hong, Ying Huang, Kai Su, Yuping Yan
{"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}
引用次数: 15
NOMOHiOS: Fundamental Aspects of Artificial Intelligence and Software Engineering in the Design of Management Systems 管理系统设计中人工智能和软件工程的基本方面
2012 Third World Congress on Software Engineering Pub Date : 2012-11-06 DOI: 10.1109/WCSE.2012.28
Juan Martinez, K. Rodriguez, Johnny V. Martinez
{"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}
引用次数: 0
Simulation Analysis of Information Control for "723" Wenzhou High-speed Railway Accident in China Based on System Dynamics 基于系统动力学的“723”温州高铁事故信息控制仿真分析
2012 Third World Congress on Software Engineering Pub Date : 2012-11-06 DOI: 10.1109/WCSE.2012.45
Qian Wu, Kefan Xie
{"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}
引用次数: 2
Optimizations of Flow-based Behavior Recognition System within Hi-speed Network 高速网络中基于流量的行为识别系统优化
2012 Third World Congress on Software Engineering Pub Date : 2012-11-06 DOI: 10.1109/WCSE.2012.40
Peng Xiaotian
{"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}
引用次数: 1
A Novel Method of Mesh Simplification Using Hausdoff Distance 一种基于Hausdoff距离的网格简化方法
2012 Third World Congress on Software Engineering Pub Date : 2012-11-06 DOI: 10.1109/WCSE.2012.32
Xuegang Ma, Jinjin Zheng, Yong Shui, Hongjun Zhou, Lianguan Shen
{"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}
引用次数: 7
Research on Feature Extraction of the Laser Beam Information Field Riding Guidance Technology Based on Wavelet Transform 基于小波变换的激光信息场骑行制导技术特征提取研究
2012 Third World Congress on Software Engineering Pub Date : 2012-11-06 DOI: 10.1109/WCSE.2012.43
Du-En Xiang, Wang Wei
{"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}
引用次数: 1
0
×
引用
GB/T 7714-2015
复制
MLA
复制
APA
复制
导出至
BibTeX EndNote RefMan NoteFirst NoteExpress
×
提示
您的信息不完整,为了账户安全,请先补充。
现在去补充
×
提示
您因"违规操作"
具体请查看互助需知
我知道了
×
提示
确定
请完成安全验证×
相关产品
×
本文献相关产品
联系我们:info@booksci.cn Book学术提供免费学术资源搜索服务,方便国内外学者检索中英文文献。致力于提供最便捷和优质的服务体验。 Copyright © 2023 布克学术 All rights reserved.
京ICP备2023020795号-1
ghs 京公网安备 11010802042870号
Book学术文献互助
Book学术文献互助群
群 号:604180095
Book学术官方微信