首页 > 最新文献

2012 International Conference on Machine Learning and Cybernetics最新文献

英文 中文
ROBUST H∞ filtering for a class of nonlinear uncertain singular systems with time-varying delay 一类时变时滞非线性不确定奇异系统的鲁棒H∞滤波
Pub Date : 2013-09-30 DOI: 10.1142/S0219691313500355
J. Qiu, Zirui Xing, Li Li, Mohan Yang, Yi Li
This paper focuses on the problem of robust H∞ filtering for a class of nonlinear uncertain singular systems with time-varying delay. First of all, the dermition of robust H∞ filter is given. Considering the nonlinear disturbance link to uncertain singular systems with time-varying delay effects, we come up with the design idea of full order robust H∞ filter based on the Lyapunov stability theory. Under the condition that nonlinear uncertain functions satisfy Lipschitz condition, using Lyapunov stability theory and linear matrix inequality (LMI) methods, a sufficient condition of such nonlinear uncertain delayed filtering error singular systems which are asymptotically stable and satisfy the robust H∞ performance is obtained. Finally, two numerical examples are given to show the applicability of the proposed method.
研究一类具有时变时滞的非线性不确定奇异系统的鲁棒H∞滤波问题。首先给出了鲁棒H∞滤波器的定义。针对具有时变时滞效应的不确定奇异系统的非线性扰动环节,提出了基于李雅普诺夫稳定性理论的全阶鲁棒H∞滤波器的设计思想。在非线性不确定函数满足Lipschitz条件下,利用Lyapunov稳定性理论和线性矩阵不等式(LMI)方法,得到了非线性不确定延迟滤波误差奇异系统渐近稳定并满足鲁棒H∞性能的充分条件。最后给出了两个数值算例,说明了所提方法的适用性。
{"title":"ROBUST H∞ filtering for a class of nonlinear uncertain singular systems with time-varying delay","authors":"J. Qiu, Zirui Xing, Li Li, Mohan Yang, Yi Li","doi":"10.1142/S0219691313500355","DOIUrl":"https://doi.org/10.1142/S0219691313500355","url":null,"abstract":"This paper focuses on the problem of robust H∞ filtering for a class of nonlinear uncertain singular systems with time-varying delay. First of all, the dermition of robust H∞ filter is given. Considering the nonlinear disturbance link to uncertain singular systems with time-varying delay effects, we come up with the design idea of full order robust H∞ filter based on the Lyapunov stability theory. Under the condition that nonlinear uncertain functions satisfy Lipschitz condition, using Lyapunov stability theory and linear matrix inequality (LMI) methods, a sufficient condition of such nonlinear uncertain delayed filtering error singular systems which are asymptotically stable and satisfy the robust H∞ performance is obtained. Finally, two numerical examples are given to show the applicability of the proposed method.","PeriodicalId":128006,"journal":{"name":"2012 International Conference on Machine Learning and Cybernetics","volume":"15 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2013-09-30","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"121142386","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}
引用次数: 5
Discriminati on between external short circuit and internal winding fault in power transformer using discrete wavelet transform and back-propagation neural network 基于离散小波变换和反向传播神经网络的电力变压器外部短路与内部绕组故障判别
Pub Date : 2012-11-26 DOI: 10.1109/ICMLC.2012.6359484
C. Jettanasen, J. Klomjit, S. Bunjongjit, A. Ngaopitakkul, B. Suechoey, N. Suttisinthong, B. Seewirote
This paper proposes an algorithm based on a combination of discrete wavelet transform (DWT) and back-propagation neural network (BPNN) for detecting and identifying internal winding fault of three-phase two-winding transformer. The maximum ratio obtained from division algorithm between coefficient from DWT of differential current and zero sequence for post-fault differential current waveforms is employed as an input for the training pattern in order to discriminate between internal fault and external short circuit. Various cases studies based on Thailand electricity transmission and distribution systems have been investigated so that the algorithm can be implemented. Results show that the proposed technique has good accuracy to detect fault and to identify its position in the considered system.
提出了一种基于离散小波变换(DWT)和反向传播神经网络(BPNN)相结合的三相双绕组变压器绕组内故障检测与识别算法。为了区分内部故障和外部短路,将故障后差分电流波形的DWT系数与零序系数的最大比值作为训练模式的输入。基于泰国电力传输和分配系统的各种案例研究已经进行了调查,以便该算法可以实施。结果表明,该方法对故障检测和故障位置识别具有较好的准确性。
{"title":"Discriminati on between external short circuit and internal winding fault in power transformer using discrete wavelet transform and back-propagation neural network","authors":"C. Jettanasen, J. Klomjit, S. Bunjongjit, A. Ngaopitakkul, B. Suechoey, N. Suttisinthong, B. Seewirote","doi":"10.1109/ICMLC.2012.6359484","DOIUrl":"https://doi.org/10.1109/ICMLC.2012.6359484","url":null,"abstract":"This paper proposes an algorithm based on a combination of discrete wavelet transform (DWT) and back-propagation neural network (BPNN) for detecting and identifying internal winding fault of three-phase two-winding transformer. The maximum ratio obtained from division algorithm between coefficient from DWT of differential current and zero sequence for post-fault differential current waveforms is employed as an input for the training pattern in order to discriminate between internal fault and external short circuit. Various cases studies based on Thailand electricity transmission and distribution systems have been investigated so that the algorithm can be implemented. Results show that the proposed technique has good accuracy to detect fault and to identify its position in the considered system.","PeriodicalId":128006,"journal":{"name":"2012 International Conference on Machine Learning and Cybernetics","volume":"154 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2012-11-26","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"114320896","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
Hybrid linear and nonlinear weight Particle Swarm Optimization algorithm 混合线性和非线性权重粒子群优化算法
Pub Date : 2012-11-26 DOI: 10.1109/ICMLC.2012.6359532
Jian-Ru Zheng, Guo-Li Zhang, Hua Zuo
The inertia weight is an important parameter in the Particle Swarm Optimization algorithm, which controls the degree of influence of the contemporary speed to the next generation and plays a role of balancing global search and local search. In the iteration process, the inertia weight will decrease nonlinearly at the early stage and decrease linearly at the later stage. The improved algorithm will effectively prevent premature convergence of the algorithm. The simulation results show that the improved algorithm is superior to the particle swarm optimization algorithm of the linear decreasing weight.
惯性权值是粒子群优化算法中的一个重要参数,它控制着当前速度对下一代的影响程度,起到平衡全局搜索和局部搜索的作用。在迭代过程中,惯性权重在前期非线性减小,后期线性减小。改进后的算法可以有效地防止算法的过早收敛。仿真结果表明,改进算法优于权值线性递减的粒子群优化算法。
{"title":"Hybrid linear and nonlinear weight Particle Swarm Optimization algorithm","authors":"Jian-Ru Zheng, Guo-Li Zhang, Hua Zuo","doi":"10.1109/ICMLC.2012.6359532","DOIUrl":"https://doi.org/10.1109/ICMLC.2012.6359532","url":null,"abstract":"The inertia weight is an important parameter in the Particle Swarm Optimization algorithm, which controls the degree of influence of the contemporary speed to the next generation and plays a role of balancing global search and local search. In the iteration process, the inertia weight will decrease nonlinearly at the early stage and decrease linearly at the later stage. The improved algorithm will effectively prevent premature convergence of the algorithm. The simulation results show that the improved algorithm is superior to the particle swarm optimization algorithm of the linear decreasing weight.","PeriodicalId":128006,"journal":{"name":"2012 International Conference on Machine Learning and Cybernetics","volume":"157 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2012-11-26","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"127228883","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
Transcriptional cooperativity in molecular dynamics based on normal mode analysis 基于正态分析的分子动力学转录协同性
Pub Date : 2012-11-26 DOI: 10.1109/ICMLC.2012.6359491
D. D. Wang, Hong Yan, Qiang Be
Transcriptional regulation is an important component in genetics, with transcriptional factors (TFs) and regulatory DNA regions involved in. In this paper, we observe cooperativity between two significant TFs Oct-1 and Sox-2 at their enhancer DNA binding sites in collective motions. Normal mode analysis (NMA) is carried out to simulate the motions of two POU/HMG/DNA complexes, with molecular dynamics (MD) results used as a comparison. We have discovered several types of cooperative interactions between the two TFs in these obtained motions.
转录调控是遗传学的一个重要组成部分,转录因子和调控DNA区域参与了转录调控。在本文中,我们观察了两个重要的tf Oct-1和Sox-2在集体运动中增强子DNA结合位点的协同性。用正态分析(NMA)模拟了两种POU/HMG/DNA复合物的运动,并用分子动力学(MD)结果作为比较。在得到的这些运动中,我们发现了两种tf之间的几种合作相互作用。
{"title":"Transcriptional cooperativity in molecular dynamics based on normal mode analysis","authors":"D. D. Wang, Hong Yan, Qiang Be","doi":"10.1109/ICMLC.2012.6359491","DOIUrl":"https://doi.org/10.1109/ICMLC.2012.6359491","url":null,"abstract":"Transcriptional regulation is an important component in genetics, with transcriptional factors (TFs) and regulatory DNA regions involved in. In this paper, we observe cooperativity between two significant TFs Oct-1 and Sox-2 at their enhancer DNA binding sites in collective motions. Normal mode analysis (NMA) is carried out to simulate the motions of two POU/HMG/DNA complexes, with molecular dynamics (MD) results used as a comparison. We have discovered several types of cooperative interactions between the two TFs in these obtained motions.","PeriodicalId":128006,"journal":{"name":"2012 International Conference on Machine Learning and Cybernetics","volume":"25 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2012-11-26","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"131178665","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
Image retrieval based on Gaussian Mixture Model 基于高斯混合模型的图像检索
Pub Date : 2012-07-15 DOI: 10.1109/ICMLC.2012.6359498
Fan-Hui Kong
This paper presents some explorations and studies on image retrieval. Firstly, RGB color space is converted to HSV color space for feature extraction. Then, the texture features are obtained by using wavelet, which are combined with some color features based on wavelet transform. Finally, the multi-features generated by Gaussian Mixture Model (GMM) are employed to an image retrieval algorithm. The experimental results on an image database show the effectiveness and competitive performance of the GMM-based image retrieval algorithm.
本文对图像检索进行了一些探索和研究。首先将RGB色彩空间转换为HSV色彩空间进行特征提取;然后,利用小波变换将纹理特征与基于小波变换的颜色特征相结合,得到纹理特征;最后,将高斯混合模型(GMM)生成的多特征用于图像检索算法。在图像数据库上的实验结果表明了基于gmm的图像检索算法的有效性和竞争力。
{"title":"Image retrieval based on Gaussian Mixture Model","authors":"Fan-Hui Kong","doi":"10.1109/ICMLC.2012.6359498","DOIUrl":"https://doi.org/10.1109/ICMLC.2012.6359498","url":null,"abstract":"This paper presents some explorations and studies on image retrieval. Firstly, RGB color space is converted to HSV color space for feature extraction. Then, the texture features are obtained by using wavelet, which are combined with some color features based on wavelet transform. Finally, the multi-features generated by Gaussian Mixture Model (GMM) are employed to an image retrieval algorithm. The experimental results on an image database show the effectiveness and competitive performance of the GMM-based image retrieval algorithm.","PeriodicalId":128006,"journal":{"name":"2012 International Conference on Machine Learning and Cybernetics","volume":"30 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2012-07-15","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"115229605","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
An intersection-based coverage algorithm for PEGASIS architecture in Wireless sensor networks 基于交点的无线传感器网络PEGASIS结构覆盖算法
Pub Date : 2012-07-15 DOI: 10.1109/ICMLC.2012.6359635
Young-Long Chen, Yu-Cheng Lin, Neng-Chung Wang
In Wireless sensor networks (WSNs), the energy of sensor node is finite, it's an important issue that how to reduce the energy consumption and extend the lifetime of entire network. In power-efficient gathering in sensor information systems (pEGASIS) topology architecture, the energy consumption of each sensor node is fewer and more average than low-energy adaptive clustering hierarchy (LEACH). Accordingly, we combine the PEGASIS topology architecture and intersection-based coverage algorithm (IBCA) to decrease the energy consumption. First of all, we find out the redundant sensor nodes to enter to the sleep mode by means of IBCA. Then, it builds the PEGASIS topology architecture by active sensor nodes which are not chosen to enter to sleep mode by IBCA. Through a series of simulations, the performances of our novel scheme outperform LEACH with PBCA in terms of energy consumption, number of alive nodes and sensing areas.
在无线传感器网络中,传感器节点的能量是有限的,如何降低节点的能量消耗,延长整个网络的使用寿命是一个重要的问题。在能量高效采集传感器信息系统(pEGASIS)拓扑结构中,每个传感器节点的能量消耗比低能量自适应聚类结构(LEACH)更少且更平均。因此,我们将PEGASIS拓扑结构与基于交集的覆盖算法(IBCA)相结合,以降低能耗。首先,我们利用IBCA找出冗余的传感器节点进入休眠模式。然后,利用IBCA不选择进入休眠模式的主动传感器节点构建PEGASIS拓扑结构;通过一系列的仿真,我们的新方案在能量消耗、活动节点数量和感知区域方面都优于PBCA的LEACH。
{"title":"An intersection-based coverage algorithm for PEGASIS architecture in Wireless sensor networks","authors":"Young-Long Chen, Yu-Cheng Lin, Neng-Chung Wang","doi":"10.1109/ICMLC.2012.6359635","DOIUrl":"https://doi.org/10.1109/ICMLC.2012.6359635","url":null,"abstract":"In Wireless sensor networks (WSNs), the energy of sensor node is finite, it's an important issue that how to reduce the energy consumption and extend the lifetime of entire network. In power-efficient gathering in sensor information systems (pEGASIS) topology architecture, the energy consumption of each sensor node is fewer and more average than low-energy adaptive clustering hierarchy (LEACH). Accordingly, we combine the PEGASIS topology architecture and intersection-based coverage algorithm (IBCA) to decrease the energy consumption. First of all, we find out the redundant sensor nodes to enter to the sleep mode by means of IBCA. Then, it builds the PEGASIS topology architecture by active sensor nodes which are not chosen to enter to sleep mode by IBCA. Through a series of simulations, the performances of our novel scheme outperform LEACH with PBCA in terms of energy consumption, number of alive nodes and sensing areas.","PeriodicalId":128006,"journal":{"name":"2012 International Conference on Machine Learning and Cybernetics","volume":"21 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2012-07-15","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"115459133","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}
引用次数: 11
Image search reranking with Ranking Linear Discriminant Analysis 基于排序线性判别分析的图像搜索再排序
Pub Date : 2012-07-15 DOI: 10.1109/ICMLC.2012.6359585
Tianshi Yu, Zhong Ji, Peiguang Jing, Yuting Su
Feature dimensionality reduction is an important step for data processing, which is used to reduce data's dimensionalities in many areas. In this paper, we apply dimensionality reduction to image search reranking. As a supervised dimensionality reduction method, Linear Discriminant Analysis (LDA) performs well in classification applications, but is not the case for ranking tasks. Firstly, it does not take the relevance degrees into consideration, which is important for ranking problem. Secondly, owing to the supervised nature of LDA, a plenty of labeled samples are required, which are often costly and difficult to obtain. Therefore, based on LDA, we propose an improved method named Ranking Linear Discriminant Analysis (RLDA) by using the relevance degrees as labels. Meanwhile, both labeled and unlabeled samples are utilized so that it is a semi-supervised approach. Experiments are carried out to confirm the good performance of the proposed algorithm.
特征降维是数据处理的一个重要步骤,在许多领域都用于数据的降维。本文将降维技术应用于图像搜索重排序。线性判别分析(LDA)作为一种监督降维方法,在分类应用中表现良好,但在排序任务中表现不佳。首先,它没有考虑相关度,而相关度对排序问题很重要。其次,由于LDA的监督性质,需要大量的标记样本,这些样本往往成本高昂且难以获得。因此,我们在LDA的基础上,提出了一种改进的排序线性判别分析(RLDA)方法,以关联度作为标签。同时,使用了标记和未标记的样本,因此它是一种半监督方法。通过实验验证了该算法的良好性能。
{"title":"Image search reranking with Ranking Linear Discriminant Analysis","authors":"Tianshi Yu, Zhong Ji, Peiguang Jing, Yuting Su","doi":"10.1109/ICMLC.2012.6359585","DOIUrl":"https://doi.org/10.1109/ICMLC.2012.6359585","url":null,"abstract":"Feature dimensionality reduction is an important step for data processing, which is used to reduce data's dimensionalities in many areas. In this paper, we apply dimensionality reduction to image search reranking. As a supervised dimensionality reduction method, Linear Discriminant Analysis (LDA) performs well in classification applications, but is not the case for ranking tasks. Firstly, it does not take the relevance degrees into consideration, which is important for ranking problem. Secondly, owing to the supervised nature of LDA, a plenty of labeled samples are required, which are often costly and difficult to obtain. Therefore, based on LDA, we propose an improved method named Ranking Linear Discriminant Analysis (RLDA) by using the relevance degrees as labels. Meanwhile, both labeled and unlabeled samples are utilized so that it is a semi-supervised approach. Experiments are carried out to confirm the good performance of the proposed algorithm.","PeriodicalId":128006,"journal":{"name":"2012 International Conference on Machine Learning and Cybernetics","volume":"12 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2012-07-15","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"115459237","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
Design a location-time based ethnic advertising recommendation system using degree of memberships 利用隶属度设计了一个基于位置时间的民族广告推荐系统
Pub Date : 2012-07-15 DOI: 10.1109/ICMLC.2012.6359632
Chun-Yuan Lo, Kun-Ming Yu, Ouyang Wen, Chang-Hsing Lee
Traditional recommendation systems are mostly based on similarity discrimination which requires sufficient data and recommends high correlated items. It becomes very difficult to accurately recommend products when data are not enough. Thus, the research about Cold Start Problem becomes important which emphasizes in effective item recommendation when too little data are provided. In this work, we propose a novel method called Location-Time based Recommendation System (LTRS) to address the Cold Start Problem with location and time as the initial factors together with degree of membership from fuzzy theory to produce more effective and precise item recommendation. From experimental results, LTRS improves the effectiveness of item recommendation, not only in normal situations but also in Cold Start scenarios.
传统的推荐系统大多基于相似性判别,需要足够的数据,推荐相关度高的项目。在数据不足的情况下,准确推荐产品变得非常困难。因此,对冷启动问题的研究就显得尤为重要,研究的重点是在数据不足的情况下进行有效的项目推荐。在这项工作中,我们提出了一种新的方法,称为基于位置时间的推荐系统(LTRS),以位置和时间为初始因素,结合模糊理论的隶属度来解决冷启动问题,以产生更有效和精确的项目推荐。从实验结果来看,LTRS不仅在正常情况下提高了项目推荐的有效性,而且在冷启动场景下也提高了项目推荐的有效性。
{"title":"Design a location-time based ethnic advertising recommendation system using degree of memberships","authors":"Chun-Yuan Lo, Kun-Ming Yu, Ouyang Wen, Chang-Hsing Lee","doi":"10.1109/ICMLC.2012.6359632","DOIUrl":"https://doi.org/10.1109/ICMLC.2012.6359632","url":null,"abstract":"Traditional recommendation systems are mostly based on similarity discrimination which requires sufficient data and recommends high correlated items. It becomes very difficult to accurately recommend products when data are not enough. Thus, the research about Cold Start Problem becomes important which emphasizes in effective item recommendation when too little data are provided. In this work, we propose a novel method called Location-Time based Recommendation System (LTRS) to address the Cold Start Problem with location and time as the initial factors together with degree of membership from fuzzy theory to produce more effective and precise item recommendation. From experimental results, LTRS improves the effectiveness of item recommendation, not only in normal situations but also in Cold Start scenarios.","PeriodicalId":128006,"journal":{"name":"2012 International Conference on Machine Learning and Cybernetics","volume":"8 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2012-07-15","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"114669434","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
Formal analysis of cryptographic protocols by reasoning based on deontic relevant logic: A case study in Needham-Schroeder Shared-Key protocol 基于义务相关逻辑推理的密码协议形式化分析:以Needham-Schroeder共享密钥协议为例
Pub Date : 2012-07-15 DOI: 10.1109/ICMLC.2012.6359660
Kazunori Wagatsuma, Y. Goto, Jingde Cheng
Formal analysis of cryptographic protocols is necessary to assure security before using it. In traditional approaches, analysts have to specify security goals or necessary conditions of the analysis firstly. However, it is difficult to specify all security goals or necessary conditions. A reasoning approach without the problem was proposed, but its concrete method is not established. In this paper, as the first step to elaborate the reasoning approach of cryptographic protocols, we analyzed Needham-Schroeder Shared-Key protocol by reasoning based on deontic relevant logic. By the case study, we show that the reasoning approach can find vulnerability of the cryptographic protocol as well as traditional approach, and can expect to find new vulnerability that has not been recognized. Then, we discuss about the concrete method for formal analysis of cryptographic protocols by the reasoning approach.
在使用加密协议之前,必须对其进行形式化分析,以确保其安全性。在传统方法中,分析人员必须首先指定安全目标或分析的必要条件。然而,很难指定所有的安全目标或必要的条件。提出了一种不存在该问题的推理方法,但没有建立具体的方法。在本文中,作为阐述密码协议推理方法的第一步,我们通过基于道义相关逻辑的推理分析了Needham-Schroeder共享密钥协议。通过实例研究表明,推理方法可以像传统方法一样发现加密协议的漏洞,并有望发现尚未被识别的新漏洞。然后,我们讨论了用推理方法对密码协议进行形式化分析的具体方法。
{"title":"Formal analysis of cryptographic protocols by reasoning based on deontic relevant logic: A case study in Needham-Schroeder Shared-Key protocol","authors":"Kazunori Wagatsuma, Y. Goto, Jingde Cheng","doi":"10.1109/ICMLC.2012.6359660","DOIUrl":"https://doi.org/10.1109/ICMLC.2012.6359660","url":null,"abstract":"Formal analysis of cryptographic protocols is necessary to assure security before using it. In traditional approaches, analysts have to specify security goals or necessary conditions of the analysis firstly. However, it is difficult to specify all security goals or necessary conditions. A reasoning approach without the problem was proposed, but its concrete method is not established. In this paper, as the first step to elaborate the reasoning approach of cryptographic protocols, we analyzed Needham-Schroeder Shared-Key protocol by reasoning based on deontic relevant logic. By the case study, we show that the reasoning approach can find vulnerability of the cryptographic protocol as well as traditional approach, and can expect to find new vulnerability that has not been recognized. Then, we discuss about the concrete method for formal analysis of cryptographic protocols by the reasoning approach.","PeriodicalId":128006,"journal":{"name":"2012 International Conference on Machine Learning and Cybernetics","volume":"34 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2012-07-15","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"127443930","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}
引用次数: 4
Skeletonization based on the medial-axis and symmetry information 基于中轴和对称信息的骨架化
Pub Date : 2012-07-15 DOI: 10.1109/ICMLC.2012.6359609
Yung-Sheng Chen, Ming-Te Chao
The classical and potential thinning issues such as bias effect, boundary noise immunity, and even rotation invariant, are quite worthy of studying in image processing field. In this paper, based on the fundamental medial axis transformation (MAT) concept, we developed an approach including extraction of medial axis with symmetry information, clustering, linking, and post rule-based thinning to investigate the possibility of reducing the bias effect and increasing the boundary noise immunity. A rotation invariant rule-based thinning algorithm was adopted for experimental comparisons. The primary result confirms that the proposed approach is one of the feasible directions to overcome these issues.
在图像处理领域,诸如偏倚效应、边界噪声抗扰性甚至旋转不变性等经典的和潜在的细化问题是非常值得研究的。本文基于基本中间轴变换(MAT)的概念,提出了一种基于对称信息的中间轴提取、聚类、链接和基于后规则的细化方法,探讨了减少偏置效应和提高边界噪声抗扰性的可能性。采用基于旋转不变规则的细化算法进行实验比较。初步结果证实了所提出的方法是克服这些问题的可行方向之一。
{"title":"Skeletonization based on the medial-axis and symmetry information","authors":"Yung-Sheng Chen, Ming-Te Chao","doi":"10.1109/ICMLC.2012.6359609","DOIUrl":"https://doi.org/10.1109/ICMLC.2012.6359609","url":null,"abstract":"The classical and potential thinning issues such as bias effect, boundary noise immunity, and even rotation invariant, are quite worthy of studying in image processing field. In this paper, based on the fundamental medial axis transformation (MAT) concept, we developed an approach including extraction of medial axis with symmetry information, clustering, linking, and post rule-based thinning to investigate the possibility of reducing the bias effect and increasing the boundary noise immunity. A rotation invariant rule-based thinning algorithm was adopted for experimental comparisons. The primary result confirms that the proposed approach is one of the feasible directions to overcome these issues.","PeriodicalId":128006,"journal":{"name":"2012 International Conference on Machine Learning and Cybernetics","volume":"11 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2012-07-15","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"124839337","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
期刊
2012 International Conference on Machine Learning and Cybernetics
全部 Acc. Chem. Res. ACS Applied Bio Materials ACS Appl. Electron. Mater. ACS Appl. Energy Mater. ACS Appl. Mater. Interfaces ACS Appl. Nano Mater. ACS Appl. Polym. Mater. ACS BIOMATER-SCI ENG ACS Catal. ACS Cent. Sci. ACS Chem. Biol. ACS Chemical Health & Safety ACS Chem. Neurosci. ACS Comb. Sci. ACS Earth Space Chem. ACS Energy Lett. ACS Infect. Dis. ACS Macro Lett. ACS Mater. Lett. ACS Med. Chem. Lett. ACS Nano ACS Omega ACS Photonics ACS Sens. ACS Sustainable Chem. Eng. ACS Synth. Biol. Anal. Chem. BIOCHEMISTRY-US Bioconjugate Chem. BIOMACROMOLECULES Chem. Res. Toxicol. Chem. Rev. Chem. Mater. CRYST GROWTH DES ENERG FUEL Environ. Sci. Technol. Environ. Sci. Technol. Lett. Eur. J. Inorg. Chem. IND ENG CHEM RES Inorg. Chem. J. Agric. Food. Chem. J. Chem. Eng. Data J. Chem. Educ. J. Chem. Inf. Model. J. Chem. Theory Comput. J. Med. Chem. J. Nat. Prod. J PROTEOME RES J. Am. Chem. Soc. LANGMUIR MACROMOLECULES Mol. Pharmaceutics Nano Lett. Org. Lett. ORG PROCESS RES DEV ORGANOMETALLICS J. Org. Chem. J. Phys. Chem. J. Phys. Chem. A J. Phys. Chem. B J. Phys. Chem. C J. Phys. Chem. Lett. Analyst Anal. Methods Biomater. Sci. Catal. Sci. Technol. Chem. Commun. Chem. Soc. Rev. CHEM EDUC RES PRACT CRYSTENGCOMM Dalton Trans. Energy Environ. Sci. ENVIRON SCI-NANO ENVIRON SCI-PROC IMP ENVIRON SCI-WAT RES Faraday Discuss. Food Funct. Green Chem. Inorg. Chem. Front. Integr. Biol. J. Anal. At. Spectrom. J. Mater. Chem. A J. Mater. Chem. B J. Mater. Chem. C Lab Chip Mater. Chem. Front. Mater. Horiz. MEDCHEMCOMM Metallomics Mol. Biosyst. Mol. Syst. Des. Eng. Nanoscale Nanoscale Horiz. Nat. Prod. Rep. New J. Chem. Org. Biomol. Chem. Org. Chem. Front. PHOTOCH PHOTOBIO SCI PCCP Polym. Chem.
×
引用
GB/T 7714-2015
复制
MLA
复制
APA
复制
导出至
BibTeX EndNote RefMan NoteFirst NoteExpress
×
0
微信
客服QQ
Book学术公众号 扫码关注我们
反馈
×
意见反馈
请填写您的意见或建议
请填写您的手机或邮箱
×
提示
您的信息不完整,为了账户安全,请先补充。
现在去补充
×
提示
您因"违规操作"
具体请查看互助需知
我知道了
×
提示
现在去查看 取消
×
提示
确定
Book学术官方微信
Book学术文献互助
Book学术文献互助群
群 号:481959085
Book学术
文献互助 智能选刊 最新文献 互助须知 联系我们:info@booksci.cn
Book学术提供免费学术资源搜索服务,方便国内外学者检索中英文文献。致力于提供最便捷和优质的服务体验。
Copyright © 2023 Book学术 All rights reserved.
ghs 京公网安备 11010802042870号 京ICP备2023020795号-1