发布求助
文献互助 智能选刊 最新文献

The 2014 2nd International Conference on Systems and Informatics (ICSAI 2014)最新文献

筛选
英文 中文
Fire video recognition based on flame and smoke characteristics 基于火焰和烟雾特征的火灾视频识别
The 2014 2nd International Conference on Systems and Informatics (ICSAI 2014) Pub Date : 2014-11-01 DOI: 10.1109/ICSAI.2014.7009270
Yaqin Zhao, Guizhong Tang
{"title":"Fire video recognition based on flame and smoke characteristics","authors":"Yaqin Zhao, Guizhong Tang","doi":"10.1109/ICSAI.2014.7009270","DOIUrl":"https://doi.org/10.1109/ICSAI.2014.7009270","url":null,"abstract":"The fire detection methods by using pure flame or pure smoke often lead to the phenomenon of missing alarm. This paper presents a novel fire video recognition method based on both flame and smoke. Firstly, fire regions of interest are detected using Kalman Filter. Then, three major features of flame including flickering, spatio-temporal consistency and texture feature based on Local Binary Pattern (LBP) are extracted from flame-like regions. Three major features of smoke including flutter feature, energy analysis and color feature are extracted from smoke-like regions. Finally, D-S evidence theory fuses two evidences generated by Neural Network to recognize fire images. Experimental results show that the proposed method can significantly reduce missing alarm rate and false alarm rate.","PeriodicalId":143221,"journal":{"name":"The 2014 2nd International Conference on Systems and Informatics (ICSAI 2014)","volume":"22 15","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2014-11-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"113964811","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
Classified removable storage medium control based on the access control matrix 基于访问控制矩阵的可移动存储介质分类控制
The 2014 2nd International Conference on Systems and Informatics (ICSAI 2014) Pub Date : 2014-11-01 DOI: 10.1109/ICSAI.2014.7009362
Degang Sun, W. Yang, Meng Zhang, Shaojia Huang
{"title":"Classified removable storage medium control based on the access control matrix","authors":"Degang Sun, W. Yang, Meng Zhang, Shaojia Huang","doi":"10.1109/ICSAI.2014.7009362","DOIUrl":"https://doi.org/10.1109/ICSAI.2014.7009362","url":null,"abstract":"According to the research of access control technology, this paper proposed a novel security model to the classified removable storage medium control system. Firstly, we defined a suite of access control strategies among the computer system, users and the classified removable storage medium. And then, we established a security model of the removable storage medium control based on ACM (Access Control Matrix) model combined with access control strategies. Finally, we gave the model's safety and reliability demonstration on data interaction between the computer system and the classified mobile storage medium.","PeriodicalId":143221,"journal":{"name":"The 2014 2nd International Conference on Systems and Informatics (ICSAI 2014)","volume":"24 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2014-11-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"128098521","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 sketch-based query interface for 3D CAD model retrieval 基于草图的三维CAD模型检索查询接口
The 2014 2nd International Conference on Systems and Informatics (ICSAI 2014) Pub Date : 2014-11-01 DOI: 10.1109/ICSAI.2014.7009409
Xinxiang Wang, Jiale Wang, Weifeng Pan
{"title":"A sketch-based query interface for 3D CAD model retrieval","authors":"Xinxiang Wang, Jiale Wang, Weifeng Pan","doi":"10.1109/ICSAI.2014.7009409","DOIUrl":"https://doi.org/10.1109/ICSAI.2014.7009409","url":null,"abstract":"A sketch-based query interface is proposed for retrieving 3D CAD models. The maximum distribution of normal vectors of a 3D model is computed to assist the PCA algorithm to normalize the pose of the 3D model, and then the outline views of the 3D model can be coordinated with the freehand sketches submitted by users. To retrieve the 3D models similar with the user sketches, an image similarity assessment algorithm is employed to compare the shape similarity between user sketches and the outline views of 3D models. Experiments demonstrate that users can express the query shape through the proposed query interface rapidly and the retrieval performance is satisfactory.","PeriodicalId":143221,"journal":{"name":"The 2014 2nd International Conference on Systems and Informatics (ICSAI 2014)","volume":"18 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2014-11-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"125260555","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
A mesh generation method for geometric features based on knowledge-based engineering 基于知识工程的几何特征网格生成方法
The 2014 2nd International Conference on Systems and Informatics (ICSAI 2014) Pub Date : 2014-11-01 DOI: 10.1109/ICSAI.2014.7009326
Heng Liu, P. Xi
{"title":"A mesh generation method for geometric features based on knowledge-based engineering","authors":"Heng Liu, P. Xi","doi":"10.1109/ICSAI.2014.7009326","DOIUrl":"https://doi.org/10.1109/ICSAI.2014.7009326","url":null,"abstract":"Although many mesh generation methods have been developed, difficulties still exist in generating high-quality structured hex-meshes for specific local geometric features such as holes and columns in three-dimensional models. In this paper, a mesh generation approach is proposed to overcome the problem of meshing local features having regular structure with high quality. Firstly, analyze the feature's geometry information and customize its mesh process. Secondly, introduce parametric design into the optimization of mesh customization. Scaled Jacobian and aspect ratio are taken as indexes of the objective functions. Thirdly, an optimized module of the feature is set up by integrating the meshing scheme into program. By establishing a knowledge base of optimized modules corresponding to geometric features, a local feature can be automatically meshed according to its geometry information. Experiments in this paper reveal that the method is applicable and stable for generating high-quality meshes for local geometric features with regular structure.","PeriodicalId":143221,"journal":{"name":"The 2014 2nd International Conference on Systems and Informatics (ICSAI 2014)","volume":"144 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2014-11-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"127922425","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
Development of probabilistic timed CEGAR 概率定时CEGAR的发展
The 2014 2nd International Conference on Systems and Informatics (ICSAI 2014) Pub Date : 2014-11-01 DOI: 10.1109/ICSAI.2014.7009336
S. Yamane, T. Shimizu
{"title":"Development of probabilistic timed CEGAR","authors":"S. Yamane, T. Shimizu","doi":"10.1109/ICSAI.2014.7009336","DOIUrl":"https://doi.org/10.1109/ICSAI.2014.7009336","url":null,"abstract":"In this paper, we present an efficient verification method for probabilistic timed automaton. This method based on predicate abstractions and refinements realizes effective automated verifications for real-time and probabilistic embedded systems.","PeriodicalId":143221,"journal":{"name":"The 2014 2nd International Conference on Systems and Informatics (ICSAI 2014)","volume":"14 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2014-11-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"130067681","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
A cloud computing resource scheduling scheme based on estimation of distribution algorithm 一种基于分布估计算法的云计算资源调度方案
The 2014 2nd International Conference on Systems and Informatics (ICSAI 2014) Pub Date : 2014-11-01 DOI: 10.1109/ICSAI.2014.7009304
Niansheng Chen, X. Fang, Xin Wang
{"title":"A cloud computing resource scheduling scheme based on estimation of distribution algorithm","authors":"Niansheng Chen, X. Fang, Xin Wang","doi":"10.1109/ICSAI.2014.7009304","DOIUrl":"https://doi.org/10.1109/ICSAI.2014.7009304","url":null,"abstract":"Resource scheduling is one of the key problems of cloud computing, no wonder, the scheduling policy and algorithm affect the performance of the cloud system directly. In order to improve the utilization of cloud computing resources and keep load balancing, a cloud computing resource scheduling algorithm based on estimation of distribution algorithm is proposed. In this algorithm, the idea of population based incremental learning(PBIL) algorithm is fully used. In this paper, cloud computing resource scheduling algorithm model is established firstly, and then objective solution is made by using the PBIL algorithm. Finally, the simulation analysis of algorithm performance is conducted. The simulation results show that the PBIL algorithm can take shorter time to complete task and achieve resource load balancing, especially, for the resource scheduling with large-scale task, the advantages are more apparent.","PeriodicalId":143221,"journal":{"name":"The 2014 2nd International Conference on Systems and Informatics (ICSAI 2014)","volume":"72 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2014-11-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"131205378","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}
引用次数: 10
An admission control scheme based on the game theory for LEO satellite networks 基于博弈论的低轨道卫星网络准入控制方案
The 2014 2nd International Conference on Systems and Informatics (ICSAI 2014) Pub Date : 2014-11-01 DOI: 10.1109/ICSAI.2014.7009343
Jian Zhou, Lijuan Sun, Tianshi Liu, Zhang Tao, Fu Xiao
{"title":"An admission control scheme based on the game theory for LEO satellite networks","authors":"Jian Zhou, Lijuan Sun, Tianshi Liu, Zhang Tao, Fu Xiao","doi":"10.1109/ICSAI.2014.7009343","DOIUrl":"https://doi.org/10.1109/ICSAI.2014.7009343","url":null,"abstract":"This paper considers the characteristics of the resource scarcity and the frequent handoff in LEO systems. In view of more types of service and more users, it is much more significant to design the new admission control scheme for LEO satellite networks. The overall utility is taken as the standard, and the utility function is used to construct the game model. When the free channel resource is not enough, the channel and the service have to play a game to decide whether degrade or not, and figure out the degradation resource if the degradation is needed. Simulation results show that, by using this scheme, the overall utility and the resource utilization are greatly improved.","PeriodicalId":143221,"journal":{"name":"The 2014 2nd International Conference on Systems and Informatics (ICSAI 2014)","volume":"13 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2014-11-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"133364219","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
An efficient algorithm for pairwise test case generation in presence of constraints 在约束条件下成对生成测试用例的有效算法
The 2014 2nd International Conference on Systems and Informatics (ICSAI 2014) Pub Date : 2014-11-01 DOI: 10.1109/ICSAI.2014.7009323
Shiwei Gao, Binglei Du, Yaruo Jiang, J. Lv, Shilong Ma
{"title":"An efficient algorithm for pairwise test case generation in presence of constraints","authors":"Shiwei Gao, Binglei Du, Yaruo Jiang, J. Lv, Shilong Ma","doi":"10.1109/ICSAI.2014.7009323","DOIUrl":"https://doi.org/10.1109/ICSAI.2014.7009323","url":null,"abstract":"Constraints handling problem in combinational testing is an intensive computation process. In this paper, we present an effective algorithm, called IPO SAT (In-Parameter-Order-Satisfiability), for pairwise test case generation in presence of constraints. In our strategy, constraints are denoted as forbidden tuples, which are converted to conjunctive normal form. Then, the combination test cases which meet the constraints are found out by calling Boolean satisfiability(SAT) solvers. Besides, an optimization upon the process is given, in order to improve the performance of IPO SAT by reducing the number of times of calling SAT solver and avoiding checking irrelevant constraints. Finally, experimental results show that the proposed IPO SAT algorithm is efficient and the optimization has obvious improvements on reducing time cost.","PeriodicalId":143221,"journal":{"name":"The 2014 2nd International Conference on Systems and Informatics (ICSAI 2014)","volume":"26 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2014-11-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"133531377","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}
引用次数: 8
Design and implementation of an elevator wireless adjustment system 电梯无线调节系统的设计与实现
The 2014 2nd International Conference on Systems and Informatics (ICSAI 2014) Pub Date : 2014-11-01 DOI: 10.1109/ICSAI.2014.7009313
Cheng Jing, Guo-jun Zhao
{"title":"Design and implementation of an elevator wireless adjustment system","authors":"Cheng Jing, Guo-jun Zhao","doi":"10.1109/ICSAI.2014.7009313","DOIUrl":"https://doi.org/10.1109/ICSAI.2014.7009313","url":null,"abstract":"The existing cable adjustment system has a long adjustment cycle on the adjustment of flat floor, running curves and involving running part for the car. On the other hand, it usually requires the close coordination between two adjustors. So this paper designs an elevator wireless adjustment system, involving Bluetooth technology, WIFI technology, Android phone technology and microcontroller technology. The elevator wireless adjustment system makes the process of adjustment intuitive, reduces the workload of adjustor and speeds up the elevator adjustment cycle. Compared with the traditional elevator adjustment method, this system makes it possible that using an Android phone as an elevator adjustment tool to debug the elevator with WIFI or Bluetooth. Besides compared with other wireless elevator adjustment methods, the wireless module is fixed on the controller for elevator car instead of the elevator controller, this method avoids the limit of wireless distance, and the adjustor just needs to stay in the elevator car when adjusting the parameter of elevator car instead of running up and down, the real-time adjustment result is able to be seen in the Android phone. Test has proved that the feasibility, effectiveness and reliability of the design of an elevator wireless adjustment system.","PeriodicalId":143221,"journal":{"name":"The 2014 2nd International Conference on Systems and Informatics (ICSAI 2014)","volume":"34 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2014-11-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"132099926","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
Continuous but non-smooth adaptive observer of a class of nonlinear systems 一类非线性系统的连续非光滑自适应观测器
The 2014 2nd International Conference on Systems and Informatics (ICSAI 2014) Pub Date : 2014-11-01 DOI: 10.1109/ICSAI.2014.7009252
Yanjun Shen, Qinghua Jiang, Peng Miao
{"title":"Continuous but non-smooth adaptive observer of a class of nonlinear systems","authors":"Yanjun Shen, Qinghua Jiang, Peng Miao","doi":"10.1109/ICSAI.2014.7009252","DOIUrl":"https://doi.org/10.1109/ICSAI.2014.7009252","url":null,"abstract":"In this paper, we study continuous but non-smooth adaptive observer of a class of nonlinear systems. Compared with the traditional adaptive observers, there is an additional homogeneous nonlinear part. The additional part can not only accelerate the convergent speed of the estimation errors of the states and the unknown parameters, but also improve robust against additional noises. The main results are derived by using the geometric homogeneity theory and the high gain techniques. The results can also been extended to nonlinear systems with nonlinear parameterization. Numerical simulation is used to show the efficiency of the new methods.","PeriodicalId":143221,"journal":{"name":"The 2014 2nd International Conference on Systems and Informatics (ICSAI 2014)","volume":"32 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2014-11-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"133123813","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学术官方微信