2012 International Conference on Systems and Informatics (ICSAI2012)最新文献

筛选
英文 中文
About feedback vaccination rules for a true-mass action-type SEIR epidemic model 真质量行动型SEIR流行病模型的反馈接种规则
2012 International Conference on Systems and Informatics (ICSAI2012) Pub Date : 2012-07-18 DOI: 10.1109/ICIEA.2012.6360760
M. de La Sen, S. Alonso-Quesada, A. Ibeas
{"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}
引用次数: 0
Enhanced accuracy of position based on Multi-mode location system 基于多模式定位系统的定位精度提高
2012 International Conference on Systems and Informatics (ICSAI2012) Pub Date : 2012-06-25 DOI: 10.1109/ICSAI.2012.6223557
Shuang Hu, Fang Zhao, Bo Lu, Tao Lu
{"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}
引用次数: 0
How to cope with the evolution of classic software during the test generation based on CPN 在基于CPN的测试生成过程中,如何应对经典软件的演变
2012 International Conference on Systems and Informatics (ICSAI2012) Pub Date : 2012-06-25 DOI: 10.1109/ICSAI.2012.6223232
N. He, Hua Li, Bin Pang, Hui-Min Xie, Hongji Yang
{"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}
引用次数: 0
Soil moisture quantitative study of the Nanhui tidal flat in the Yangtze River Estuary by using ENVISAT ASAR data 基于ENVISAT ASAR数据的长江口南汇潮滩土壤水分定量研究
2012 International Conference on Systems and Informatics (ICSAI2012) Pub Date : 2012-06-25 DOI: 10.1109/ICSAI.2012.6223485
Zhen Han, F. Peng
{"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}
引用次数: 2
Formal verification of signature monitoring mechanisms using model checking 使用模型检查对签名监控机制进行正式验证
2012 International Conference on Systems and Informatics (ICSAI2012) Pub Date : 2012-06-25 DOI: 10.1109/ICSAI.2012.6223275
Lanfang Tan, QingPing Tan, Jianjun Xu, Huiping Zhou
{"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}
引用次数: 1
Anti-radiation missile optimal detonation strategy study 反辐射导弹最优引爆策略研究
2012 International Conference on Systems and Informatics (ICSAI2012) Pub Date : 2012-06-25 DOI: 10.1109/ICSAI.2012.6223270
Zhen Zhang, Xiaoyan Qu, Dengwu Ma, D. Zhu, Ling Wang
{"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}
引用次数: 3
Generating text description from content-based annotated image 从基于内容的注释图像生成文本描述
2012 International Conference on Systems and Informatics (ICSAI2012) Pub Date : 2012-05-19 DOI: 10.1109/ICSAI.2012.6223132
Yan Zhu, Hui Xiang, Wenjuan Feng
{"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}
引用次数: 0
Fast data dissemination in Kautz-based modular datacenter network 基于kautz的模块化数据中心网络中的快速数据传播
2012 International Conference on Systems and Informatics (ICSAI2012) Pub Date : 2012-05-19 DOI: 10.1109/ICSAI.2012.6223348
Feng Huang, Jingbo Dai
{"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}
引用次数: 0
The research of touch-screen calibration algorithm and its application to the embedded system 触摸屏标定算法的研究及其在嵌入式系统中的应用
2012 International Conference on Systems and Informatics (ICSAI2012) Pub Date : 2012-05-19 DOI: 10.1109/ICSAI.2012.6223041
Shuangye Chen, Xiaoyu Qin
{"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}
引用次数: 3
Used the plug-ins of DreamScape and GroundCrew to simulate lake and mountain in the 3Ds max 使用DreamScape和GroundCrew插件在3Ds max中模拟湖泊和山脉
2012 International Conference on Systems and Informatics (ICSAI2012) Pub Date : 2012-05-19 DOI: 10.1109/ICSAI.2012.6223189
Zhongyang Li, Ruping Cao
{"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}
引用次数: 0
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学术文献互助群
群 号:481959085
Book学术官方微信