Pub Date : 2012-07-18DOI: 10.1109/ICIEA.2012.6360760
M. de La Sen, S. Alonso-Quesada, A. Ibeas
This paper relies on a vaccination-based control strategy for a SEIR (susceptible plus infected plus infectious plus removed populations) propagation disease model. The control objective is to asymptotically track the removed-by-immunity population to the total population while achieving simultaneously the remaining population (i.e. susceptible plus infected plus infectious) to asymptotically converge to zero.
{"title":"About feedback vaccination rules for a true-mass action-type SEIR epidemic model","authors":"M. de La Sen, S. Alonso-Quesada, A. Ibeas","doi":"10.1109/ICIEA.2012.6360760","DOIUrl":"https://doi.org/10.1109/ICIEA.2012.6360760","url":null,"abstract":"This paper relies on a vaccination-based control strategy for a SEIR (susceptible plus infected plus infectious plus removed populations) propagation disease model. The control objective is to asymptotically track the removed-by-immunity population to the total population while achieving simultaneously the remaining population (i.e. susceptible plus infected plus infectious) to asymptotically converge to zero.","PeriodicalId":164945,"journal":{"name":"2012 International Conference on Systems and Informatics (ICSAI2012)","volume":"226 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2012-07-18","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"133481191","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 : 2012-06-25DOI: 10.1109/ICSAI.2012.6223557
Shuang Hu, Fang Zhao, Bo Lu, Tao Lu
One of the major issues about location-technique-based servers concerns how to make positioning more accurate. A general solution is to separately explore advanced algorithm on a particular location technique. However, this paper proposes a new concept called Multi-mode positioning which combines several location techniques. After a brief overview of existing technologies, the writer focuses on the function principles of multi-mode positioning system based on Client-Server architecture. The center of a triangle's incircle is used for calculating to get a more accurate positioning result on the server sides. In addition, detailed analysis of relating experimentation conducted by the writers will show the current prospects and benefits of multi-mode location system.
{"title":"Enhanced accuracy of position based on Multi-mode location system","authors":"Shuang Hu, Fang Zhao, Bo Lu, Tao Lu","doi":"10.1109/ICSAI.2012.6223557","DOIUrl":"https://doi.org/10.1109/ICSAI.2012.6223557","url":null,"abstract":"One of the major issues about location-technique-based servers concerns how to make positioning more accurate. A general solution is to separately explore advanced algorithm on a particular location technique. However, this paper proposes a new concept called Multi-mode positioning which combines several location techniques. After a brief overview of existing technologies, the writer focuses on the function principles of multi-mode positioning system based on Client-Server architecture. The center of a triangle's incircle is used for calculating to get a more accurate positioning result on the server sides. In addition, detailed analysis of relating experimentation conducted by the writers will show the current prospects and benefits of multi-mode location system.","PeriodicalId":164945,"journal":{"name":"2012 International Conference on Systems and Informatics (ICSAI2012)","volume":"29 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2012-06-25","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"115009278","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 : 2012-06-25DOI: 10.1109/ICSAI.2012.6223232
N. He, Hua Li, Bin Pang, Hui-Min Xie, Hongji Yang
Software evolution is the process to meet the market requirements. The software after evolution has many new features worth of research. In this paper, we analyze the evolution of Linux, Windows, and Minix in detail, and analyzes from OSPF-v2 to OSPFv3 by RFC. The kernel call and system call of Minix3 and OSPF protocol are modeled with Colored Petri Net (CPN) Tools. Fork, as an example of system call, its CPN model is given. Reachable graph can be generated automatically from model with CPN. Then there is an algorithm for test generation based on reachable graph.
软件进化是满足市场需求的过程。进化后的软件有许多值得研究的新特点。本文详细分析了Linux、Windows和Minix的演进过程，并通过RFC分析了从OSPF-v2到OSPFv3的演进过程。利用CPN (Colored Petri Net)工具对Minix3的内核调用和系统调用以及OSPF协议进行建模。以Fork为例，给出了它的CPN模型。具有CPN的模型可以自动生成可达图。然后提出了一种基于可达图的测试生成算法。
{"title":"How to cope with the evolution of classic software during the test generation based on CPN","authors":"N. He, Hua Li, Bin Pang, Hui-Min Xie, Hongji Yang","doi":"10.1109/ICSAI.2012.6223232","DOIUrl":"https://doi.org/10.1109/ICSAI.2012.6223232","url":null,"abstract":"Software evolution is the process to meet the market requirements. The software after evolution has many new features worth of research. In this paper, we analyze the evolution of Linux, Windows, and Minix in detail, and analyzes from OSPF-v2 to OSPFv3 by RFC. The kernel call and system call of Minix3 and OSPF protocol are modeled with Colored Petri Net (CPN) Tools. Fork, as an example of system call, its CPN model is given. Reachable graph can be generated automatically from model with CPN. Then there is an algorithm for test generation based on reachable graph.","PeriodicalId":164945,"journal":{"name":"2012 International Conference on Systems and Informatics (ICSAI2012)","volume":"22 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2012-06-25","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"132103664","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 : 2012-06-25DOI: 10.1109/ICSAI.2012.6223485
Zhen Han, F. Peng
Soil moisture is one of the important ecological parameters of the tidal flat. In this paper, the Nanhui tidal flat in the Yangtze River Estuary as study area, the two close time and HH polarized ENVISAT-ASAR images with different small incidence angles for inversion were received on May 2 and 3, 2005. Then the images based on data pretreatment were normalized for angles, and inversed bare surface roughness and moisture of the Nanhui tidal flat by using Zribi-Dechambre model. The results showed that soil roughness mostly ranged from 0.05cm~0.8cm and soil moisture mainly distributes in the range of 1%~3.8%. At last, the inversed results of soil moisture were validated by field measured data from Shanghai Geological Survey Academy. The RMSE was 3.62%. This research provided an available and suitable method which extracted soil moisture information by using synthetic aperture radar.
{"title":"Soil moisture quantitative study of the Nanhui tidal flat in the Yangtze River Estuary by using ENVISAT ASAR data","authors":"Zhen Han, F. Peng","doi":"10.1109/ICSAI.2012.6223485","DOIUrl":"https://doi.org/10.1109/ICSAI.2012.6223485","url":null,"abstract":"Soil moisture is one of the important ecological parameters of the tidal flat. In this paper, the Nanhui tidal flat in the Yangtze River Estuary as study area, the two close time and HH polarized ENVISAT-ASAR images with different small incidence angles for inversion were received on May 2 and 3, 2005. Then the images based on data pretreatment were normalized for angles, and inversed bare surface roughness and moisture of the Nanhui tidal flat by using Zribi-Dechambre model. The results showed that soil roughness mostly ranged from 0.05cm~0.8cm and soil moisture mainly distributes in the range of 1%~3.8%. At last, the inversed results of soil moisture were validated by field measured data from Shanghai Geological Survey Academy. The RMSE was 3.62%. This research provided an available and suitable method which extracted soil moisture information by using synthetic aperture radar.","PeriodicalId":164945,"journal":{"name":"2012 International Conference on Systems and Informatics (ICSAI2012)","volume":"14 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2012-06-25","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"133309150","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 recent decades, reliability in the presence of transient faults is already a significant problem for concern. To mitigate the effects of such faults, fault-tolerant techniques are proposed. However, validating the effectiveness of such fault-tolerant techniques constitutes another problem. In this paper, we put forward an original approach to evaluate the effectiveness of signature monitoring mechanisms. It is based on model checking principles. Firstly, the program strengthened by signature monitoring algorithm is modeled as a state transition system. Then a translation procedure is proposed to describe how to translate the state transition system into the input program of model checker NuSMV. By NuSMV, two reprehensive signature monitoring algorithms are verified. The verification results reveal some undetected errors which have not been found before.
{"title":"Formal verification of signature monitoring mechanisms using model checking","authors":"Lanfang Tan, QingPing Tan, Jianjun Xu, Huiping Zhou","doi":"10.1109/ICSAI.2012.6223275","DOIUrl":"https://doi.org/10.1109/ICSAI.2012.6223275","url":null,"abstract":"In recent decades, reliability in the presence of transient faults is already a significant problem for concern. To mitigate the effects of such faults, fault-tolerant techniques are proposed. However, validating the effectiveness of such fault-tolerant techniques constitutes another problem. In this paper, we put forward an original approach to evaluate the effectiveness of signature monitoring mechanisms. It is based on model checking principles. Firstly, the program strengthened by signature monitoring algorithm is modeled as a state transition system. Then a translation procedure is proposed to describe how to translate the state transition system into the input program of model checker NuSMV. By NuSMV, two reprehensive signature monitoring algorithms are verified. The verification results reveal some undetected errors which have not been found before.","PeriodicalId":164945,"journal":{"name":"2012 International Conference on Systems and Informatics (ICSAI2012)","volume":"65 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2012-06-25","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"121527054","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 : 2012-06-25DOI: 10.1109/ICSAI.2012.6223270
Zhen Zhang, Xiaoyan Qu, Dengwu Ma, D. Zhu, Ling Wang
This paper describes the characteristics of anti-radiation missile/radar target end game, and points out the disadvantages of ARM only with contact burst model. An adaptive burst strategy is put forward to estimate proximity fuze detonation delay-time, so as to improve the destruction probability. A Monte-Carlo simulation study is discussed.
{"title":"Anti-radiation missile optimal detonation strategy study","authors":"Zhen Zhang, Xiaoyan Qu, Dengwu Ma, D. Zhu, Ling Wang","doi":"10.1109/ICSAI.2012.6223270","DOIUrl":"https://doi.org/10.1109/ICSAI.2012.6223270","url":null,"abstract":"This paper describes the characteristics of anti-radiation missile/radar target end game, and points out the disadvantages of ARM only with contact burst model. An adaptive burst strategy is put forward to estimate proximity fuze detonation delay-time, so as to improve the destruction probability. A Monte-Carlo simulation study is discussed.","PeriodicalId":164945,"journal":{"name":"2012 International Conference on Systems and Informatics (ICSAI2012)","volume":"135 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2012-06-25","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"134342708","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 : 2012-05-19DOI: 10.1109/ICSAI.2012.6223132
Yan Zhu, Hui Xiang, Wenjuan Feng
This paper proposes a statistical generative model to generate sentences from an annotated picture. The images are segmented into regions (using Graph-based algorithms) and then features are computed over each of these regions. Given a training set of images with annotations, we parse the image to get position information. We use SVM to get the probabilities of combinations between labels and prepositions, obtain the data to text set. We use a standard semantic representation to express the image message. Finally generate sentence from the xml report. In view of landscape pictures, this paper implemented experiments on the dataset we collected and annotated, obtained ideal results.
{"title":"Generating text description from content-based annotated image","authors":"Yan Zhu, Hui Xiang, Wenjuan Feng","doi":"10.1109/ICSAI.2012.6223132","DOIUrl":"https://doi.org/10.1109/ICSAI.2012.6223132","url":null,"abstract":"This paper proposes a statistical generative model to generate sentences from an annotated picture. The images are segmented into regions (using Graph-based algorithms) and then features are computed over each of these regions. Given a training set of images with annotations, we parse the image to get position information. We use SVM to get the probabilities of combinations between labels and prepositions, obtain the data to text set. We use a standard semantic representation to express the image message. Finally generate sentence from the xml report. In view of landscape pictures, this paper implemented experiments on the dataset we collected and annotated, obtained ideal results.","PeriodicalId":164945,"journal":{"name":"2012 International Conference on Systems and Informatics (ICSAI2012)","volume":"3 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2012-05-19","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"121025695","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 : 2012-05-19DOI: 10.1109/ICSAI.2012.6223348
Feng Huang, Jingbo Dai
Modular datacenters (MDC) use shipping containers, which encapsulate thousands of servers, as large pluggable building blocks for mega datacenter. We present a novel modular datacenter network (MDCN) based on Kautz, called SCautz, and design a fast data dissemination algorithm, called FDAA. FDDA is able to construct 2d edge-disjoint spanning trees for parallel data dissemination. Results from theoretical analysis and simulations show that FDDA can achieve 2d order of magnitude speedup for one-to-all traffic.
{"title":"Fast data dissemination in Kautz-based modular datacenter network","authors":"Feng Huang, Jingbo Dai","doi":"10.1109/ICSAI.2012.6223348","DOIUrl":"https://doi.org/10.1109/ICSAI.2012.6223348","url":null,"abstract":"Modular datacenters (MDC) use shipping containers, which encapsulate thousands of servers, as large pluggable building blocks for mega datacenter. We present a novel modular datacenter network (MDCN) based on Kautz, called SCautz, and design a fast data dissemination algorithm, called FDAA. FDDA is able to construct 2d edge-disjoint spanning trees for parallel data dissemination. Results from theoretical analysis and simulations show that FDDA can achieve 2d order of magnitude speedup for one-to-all traffic.","PeriodicalId":164945,"journal":{"name":"2012 International Conference on Systems and Informatics (ICSAI2012)","volume":"6 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2012-05-19","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"124816988","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 : 2012-05-19DOI: 10.1109/ICSAI.2012.6223041
Shuangye Chen, Xiaoyu Qin
An calibration algorithm of the touch-screen is researched which exploring an eliminating noise method after the analysis of linear principle. The block diagram of the touch-screen system is introduced, and the calibration program is designed based on the four-point linear calibration algorithm in this paper. An embedded system with touch-screen software is designed with the development tool ADS. The stability and precision of touch screen system with the improvement of algorithm calibration is proved by the testing and valid dating of the algorithm in practical system.
{"title":"The research of touch-screen calibration algorithm and its application to the embedded system","authors":"Shuangye Chen, Xiaoyu Qin","doi":"10.1109/ICSAI.2012.6223041","DOIUrl":"https://doi.org/10.1109/ICSAI.2012.6223041","url":null,"abstract":"An calibration algorithm of the touch-screen is researched which exploring an eliminating noise method after the analysis of linear principle. The block diagram of the touch-screen system is introduced, and the calibration program is designed based on the four-point linear calibration algorithm in this paper. An embedded system with touch-screen software is designed with the development tool ADS. The stability and precision of touch screen system with the improvement of algorithm calibration is proved by the testing and valid dating of the algorithm in practical system.","PeriodicalId":164945,"journal":{"name":"2012 International Conference on Systems and Informatics (ICSAI2012)","volume":"47 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2012-05-19","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"124831882","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 : 2012-05-19DOI: 10.1109/ICSAI.2012.6223189
Zhongyang Li, Ruping Cao
The DreamScape & GroundCrew are plug-ins of the famous 3ds Max, the former is used to make environments and the latter is used to make maps. They are won the support of the majority of users with friendly interface and simply operation. In this paper, we give some experimental procedures that the effects of the comprehensive application of plug-ins and in order to show the charm of them.
{"title":"Used the plug-ins of DreamScape and GroundCrew to simulate lake and mountain in the 3Ds max","authors":"Zhongyang Li, Ruping Cao","doi":"10.1109/ICSAI.2012.6223189","DOIUrl":"https://doi.org/10.1109/ICSAI.2012.6223189","url":null,"abstract":"The DreamScape & GroundCrew are plug-ins of the famous 3ds Max, the former is used to make environments and the latter is used to make maps. They are won the support of the majority of users with friendly interface and simply operation. In this paper, we give some experimental procedures that the effects of the comprehensive application of plug-ins and in order to show the charm of them.","PeriodicalId":164945,"journal":{"name":"2012 International Conference on Systems and Informatics (ICSAI2012)","volume":"19 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2012-05-19","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"125081805","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
扫码关注我们
求助内容：
应助结果提醒方式：