Non-interactive non-repudiation is a very important property of signcryption which enables a receiver to settle a repudiation dispute with the help of a judge without the need to engage in costly multi-round interactive communications with the judge. In this paper, we construct the generic "Sign-then-Encrypt" and "Encrypt-then-Sign" compositions for signcryption with non-interactive non-repudiation by making use of a normal digital signature primitive as well as a primitive called public key encryption with non-interactive opening. We then analyze the security of both types of compositions.
{"title":"Generic Constructions for Signcryption with Non-interactive Non-repudiation","authors":"Jia Fan, Lijun Zhang","doi":"10.1109/CSMA.2015.10","DOIUrl":"https://doi.org/10.1109/CSMA.2015.10","url":null,"abstract":"Non-interactive non-repudiation is a very important property of signcryption which enables a receiver to settle a repudiation dispute with the help of a judge without the need to engage in costly multi-round interactive communications with the judge. In this paper, we construct the generic \"Sign-then-Encrypt\" and \"Encrypt-then-Sign\" compositions for signcryption with non-interactive non-repudiation by making use of a normal digital signature primitive as well as a primitive called public key encryption with non-interactive opening. We then analyze the security of both types of compositions.","PeriodicalId":205396,"journal":{"name":"2015 International Conference on Computer Science and Mechanical Automation (CSMA)","volume":"87 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2015-10-23","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"121017054","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}
Dan Xu, Lulu Qian, Yi Wang, Mengyi Wang, Chenyan Shen, Tingyu Zhang, Jingjing Zhang
Smart-phone is a major channel of interpersonal communication. As the rapid development of communication technology, its function is becoming ever more powerful. Meanwhile, people are far more dependent on it. This study aims at investigating how long undergraduate students spend on their smart-phones everyday and the relationship between the time of smart-phone use and loneliness, as while as examining the role of interpersonal personality characteristics in moderating this relationship. The design of the study involved an experience sampling methodology (ESM), 97 undergraduates completed loneliness survey and reported time of smart-phone use every day for a whole week, resulting in a total of 679 observations. And the Inventory of Interpersonal Problems (IIP-32) was used to attain their needs and motivations on interpersonal communication. Results showed that: a) college students spend 5.26±3.40 hours on the smart-phone including 2.37 hours for social communication, b) there is no significant correlation between the time of smart-phone use and loneliness, c) Social-Avoidant (FG) of IIP was negatively associated with smart-phone use, and Exploitable (JK) was positively associated with this time, especially on social communication, d) Cold (DE) impacts the degree of association between loneliness and smart-phone social communication, mainly in the aspect of online social communication.
{"title":"Understanding the Dynamic Relationships among Interpersonal Personality Characteristics, Loneliness, and Smart-Phone Use: Evidence from Experience Sampling","authors":"Dan Xu, Lulu Qian, Yi Wang, Mengyi Wang, Chenyan Shen, Tingyu Zhang, Jingjing Zhang","doi":"10.1109/CSMA.2015.11","DOIUrl":"https://doi.org/10.1109/CSMA.2015.11","url":null,"abstract":"Smart-phone is a major channel of interpersonal communication. As the rapid development of communication technology, its function is becoming ever more powerful. Meanwhile, people are far more dependent on it. This study aims at investigating how long undergraduate students spend on their smart-phones everyday and the relationship between the time of smart-phone use and loneliness, as while as examining the role of interpersonal personality characteristics in moderating this relationship. The design of the study involved an experience sampling methodology (ESM), 97 undergraduates completed loneliness survey and reported time of smart-phone use every day for a whole week, resulting in a total of 679 observations. And the Inventory of Interpersonal Problems (IIP-32) was used to attain their needs and motivations on interpersonal communication. Results showed that: a) college students spend 5.26±3.40 hours on the smart-phone including 2.37 hours for social communication, b) there is no significant correlation between the time of smart-phone use and loneliness, c) Social-Avoidant (FG) of IIP was negatively associated with smart-phone use, and Exploitable (JK) was positively associated with this time, especially on social communication, d) Cold (DE) impacts the degree of association between loneliness and smart-phone social communication, mainly in the aspect of online social communication.","PeriodicalId":205396,"journal":{"name":"2015 International Conference on Computer Science and Mechanical Automation (CSMA)","volume":"44 3","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2015-10-23","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"121005128","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}
The combination of spectral and spatial information for classification of hyper spectral image is an effective way in improving classification accuracy. In the paper, we proposed a new spectral-spatial method for textural feature extraction based on morphological attribute profiles and guided bilateral filter. Firstly, we obtained multi-level characters through the cascade of many attribute profiles to present the spatial and spectral information of remote sensing image. Then, bilateral filter preserved the edges of features with guide of the segmentation image generated by entropy rate super pixel algorithm. Finally, a pixel-wise classifier, e.g., Support vector machine and sparse representation, is used for classification based on the features. Experiments of two benchmark hyper spectral data sets showed better performance of the proposed method than other state-of-the-art methods.
{"title":"Spectral-Spatial Hyperspectral Image Classification Using Extended Multi Attribute Profiles and Guided Bilateral Filter","authors":"Kunzhun Wang, Rui Huang, Qian Song","doi":"10.1109/CSMA.2015.54","DOIUrl":"https://doi.org/10.1109/CSMA.2015.54","url":null,"abstract":"The combination of spectral and spatial information for classification of hyper spectral image is an effective way in improving classification accuracy. In the paper, we proposed a new spectral-spatial method for textural feature extraction based on morphological attribute profiles and guided bilateral filter. Firstly, we obtained multi-level characters through the cascade of many attribute profiles to present the spatial and spectral information of remote sensing image. Then, bilateral filter preserved the edges of features with guide of the segmentation image generated by entropy rate super pixel algorithm. Finally, a pixel-wise classifier, e.g., Support vector machine and sparse representation, is used for classification based on the features. Experiments of two benchmark hyper spectral data sets showed better performance of the proposed method than other state-of-the-art methods.","PeriodicalId":205396,"journal":{"name":"2015 International Conference on Computer Science and Mechanical Automation (CSMA)","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2015-10-23","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"122245340","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}
To solve the impact from the oscillation at the edge of the target and background in synthetic aperture radiometer image, the characteristics of synthetic aperture radiation image has been analyzed, and an algorithms of synthetic aperture radiation image background suppression and target detection based on wave atom transform has been proposed. The simulation and experimental results show that the method can efficiently detect the small target in synthetic aperture radiometer image.
{"title":"Dim Target Detection in Synthetic Aperture Radiometer Image Based on Wave Atom Transform","authors":"W. Ni, Wei Chen","doi":"10.1109/CSMA.2015.47","DOIUrl":"https://doi.org/10.1109/CSMA.2015.47","url":null,"abstract":"To solve the impact from the oscillation at the edge of the target and background in synthetic aperture radiometer image, the characteristics of synthetic aperture radiation image has been analyzed, and an algorithms of synthetic aperture radiation image background suppression and target detection based on wave atom transform has been proposed. The simulation and experimental results show that the method can efficiently detect the small target in synthetic aperture radiometer image.","PeriodicalId":205396,"journal":{"name":"2015 International Conference on Computer Science and Mechanical Automation (CSMA)","volume":"47 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2015-10-23","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"125932785","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}
Xiulan Bao, S. Li, L. Meng, Muyuan Zhong, Yanlin Zhang
In order to provide orchard transport with an objective assessment of running performance, and provide reasonable improvement of relevant technical parameters with basic data, a common mountain orchard transport test system on experiment platform was constructed based on PLC. Torque and rotational speed of the driving shaft, guide wheel speed, wear and tear of the driving shaft wheels groove, vehicle vibration acceleration and other varieties of physical quantity can be measured on the system. The system hardware include load adjustable orchard transport vehicle, slope adjustable track, some test element such as eddy current sensor, data logger etc. The system software obtain test data through muti-channel data logger added in the PC, and most function such as data collection, data processing, final graphic display and data storage will be realized on it. It was revealed by running experiment that the test system can be used for multiple parameters of overall performance of the rail transport and offer test conditions or theoretical basis to optimization of transport running performance.
{"title":"An Experiment Platform for Common Mountain Orchard Transport","authors":"Xiulan Bao, S. Li, L. Meng, Muyuan Zhong, Yanlin Zhang","doi":"10.1109/CSMA.2015.60","DOIUrl":"https://doi.org/10.1109/CSMA.2015.60","url":null,"abstract":"In order to provide orchard transport with an objective assessment of running performance, and provide reasonable improvement of relevant technical parameters with basic data, a common mountain orchard transport test system on experiment platform was constructed based on PLC. Torque and rotational speed of the driving shaft, guide wheel speed, wear and tear of the driving shaft wheels groove, vehicle vibration acceleration and other varieties of physical quantity can be measured on the system. The system hardware include load adjustable orchard transport vehicle, slope adjustable track, some test element such as eddy current sensor, data logger etc. The system software obtain test data through muti-channel data logger added in the PC, and most function such as data collection, data processing, final graphic display and data storage will be realized on it. It was revealed by running experiment that the test system can be used for multiple parameters of overall performance of the rail transport and offer test conditions or theoretical basis to optimization of transport running performance.","PeriodicalId":205396,"journal":{"name":"2015 International Conference on Computer Science and Mechanical Automation (CSMA)","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2015-10-23","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"130728953","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}
3DSMAX powerful modeling, animation function is known, But the application of MAX Script is relatively little. In this paper, the assembly system of machine tool is made by MAX Script language. Add. NET component and connect SQL 2008 database, Rich UI design and Realization of assembly parts model data added, deleted, changed, checked. By importing the dynamic link library file (.DLL) written in C# language, the assembly sequence card is generated, which can guide the actual assembly. Although this design has many shortcomings to improve and perfect, but it enriches and expands the virtual assembly technology.
{"title":"Design and Research of Virtual Assembly System for Machine Tool Based on Maxscript Language","authors":"Fuping Li, Chuangjia Zhang","doi":"10.1109/CSMA.2015.59","DOIUrl":"https://doi.org/10.1109/CSMA.2015.59","url":null,"abstract":"3DSMAX powerful modeling, animation function is known, But the application of MAX Script is relatively little. In this paper, the assembly system of machine tool is made by MAX Script language. Add. NET component and connect SQL 2008 database, Rich UI design and Realization of assembly parts model data added, deleted, changed, checked. By importing the dynamic link library file (.DLL) written in C# language, the assembly sequence card is generated, which can guide the actual assembly. Although this design has many shortcomings to improve and perfect, but it enriches and expands the virtual assembly technology.","PeriodicalId":205396,"journal":{"name":"2015 International Conference on Computer Science and Mechanical Automation (CSMA)","volume":"295 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2015-10-23","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"132630979","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}
Based on the modified Denavit-Hartenberg (D-H) modeling methods for ground fixed base industrial robots and the conservation of momentum and conservation of angular momentum suitable for Space Robot (SR), continuous motion trajectory control modeling algorithm based on Recursive Generalized Jacobian Matrix (RGJM) for SR has been proposed and developed. First, kinematics model for SR is researched based on the principle of the ground-based Jacobian and modified D-H method. Then, the effective algorithms for controlling continuous motion trajectory and calculating recursive GJM of SR with visual feedback and torque feedback have been presented. Finally, correctness and validity of the algorithms proposed have been verified through three dimensional computer graphics simulation. The SR conceptual model and kinematics modeling method based on the modified D-H notation in this paper can be extended to any degree of freedom single arm or multi arm SR with tree structure link containing rotary joints and translational joints.
{"title":"Continual Motion Control Based on RGJM for Space Robot","authors":"Huazhong Li, Z. Liang","doi":"10.1109/CSMA.2015.65","DOIUrl":"https://doi.org/10.1109/CSMA.2015.65","url":null,"abstract":"Based on the modified Denavit-Hartenberg (D-H) modeling methods for ground fixed base industrial robots and the conservation of momentum and conservation of angular momentum suitable for Space Robot (SR), continuous motion trajectory control modeling algorithm based on Recursive Generalized Jacobian Matrix (RGJM) for SR has been proposed and developed. First, kinematics model for SR is researched based on the principle of the ground-based Jacobian and modified D-H method. Then, the effective algorithms for controlling continuous motion trajectory and calculating recursive GJM of SR with visual feedback and torque feedback have been presented. Finally, correctness and validity of the algorithms proposed have been verified through three dimensional computer graphics simulation. The SR conceptual model and kinematics modeling method based on the modified D-H notation in this paper can be extended to any degree of freedom single arm or multi arm SR with tree structure link containing rotary joints and translational joints.","PeriodicalId":205396,"journal":{"name":"2015 International Conference on Computer Science and Mechanical Automation (CSMA)","volume":"88 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2015-10-23","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"116312262","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}
Constructing key exchange protocols which can resist the quantum-attack is a hot topic. In China Crypt2014, S. Mao et al claimed a new quantum-resistant key exchange protocol and also recommended a set of practical parameter. In this paper, we present a passive attack against this key exchange protocol. Specifically, an eavesdropper can recover the exchange key in polynomial time provided with an oracle solving the discrete logarithm problem. Particularly, this key exchange protocol with the recommended parameter can be attacked by a polynomial time algorithm.
{"title":"A Passive Attack against an Asymmetric Key Exchange Protocol","authors":"Yunfei Cao, Jian Bai","doi":"10.1109/CSMA.2015.16","DOIUrl":"https://doi.org/10.1109/CSMA.2015.16","url":null,"abstract":"Constructing key exchange protocols which can resist the quantum-attack is a hot topic. In China Crypt2014, S. Mao et al claimed a new quantum-resistant key exchange protocol and also recommended a set of practical parameter. In this paper, we present a passive attack against this key exchange protocol. Specifically, an eavesdropper can recover the exchange key in polynomial time provided with an oracle solving the discrete logarithm problem. Particularly, this key exchange protocol with the recommended parameter can be attacked by a polynomial time algorithm.","PeriodicalId":205396,"journal":{"name":"2015 International Conference on Computer Science and Mechanical Automation (CSMA)","volume":"14 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2015-10-23","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"123035183","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}
The research focus on a domestic Double Tauren EDM machine, Analysis of the deformation of the spindle head Y axial and Z axial in the machine tool by simulation analysis. The 3D model is built and simplified by Solid works software, then analysis the static deformation by ANSYS software. In considering the effect of gravity, get the Y axial and Z axial displacement of the spindle head installation datum centroid point O. By changing the stroke of the Y axis and the Z axis, the deformation data corresponding to different travel are obtained. According to the stroke-displacement simulation data, the stroke-deformation curve is fitted, and the corresponding mathematical expression is obtained for the error compensation.
{"title":"Research on the Deformation of the Spindle Head of Double Tauren EDM Machine Tool Based on ANSYS","authors":"Jianhua Wang, Qiushi Hu, Zhifeng Liu, Ying Li","doi":"10.1109/CSMA.2015.73","DOIUrl":"https://doi.org/10.1109/CSMA.2015.73","url":null,"abstract":"The research focus on a domestic Double Tauren EDM machine, Analysis of the deformation of the spindle head Y axial and Z axial in the machine tool by simulation analysis. The 3D model is built and simplified by Solid works software, then analysis the static deformation by ANSYS software. In considering the effect of gravity, get the Y axial and Z axial displacement of the spindle head installation datum centroid point O. By changing the stroke of the Y axis and the Z axis, the deformation data corresponding to different travel are obtained. According to the stroke-displacement simulation data, the stroke-deformation curve is fitted, and the corresponding mathematical expression is obtained for the error compensation.","PeriodicalId":205396,"journal":{"name":"2015 International Conference on Computer Science and Mechanical Automation (CSMA)","volume":"25 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2015-10-23","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"129310753","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}
Shuai-bing Lu, J. Pang, Yawen Pan, Jie Tan, Tao Dai
While high performance computing (HPC) is flourishing these years, the lack of HPC applications is increasingly serious. Conventional binary translation focused on desktop applications and embedded software, which could not be scaled up to HPC. This paper proposed a novel static binary translator MPI-QEMU aiming at MPI programs, the most commonly used on HPC platforms. Firstly, the efficient dynamic binary translator QEMU was altered to a static binary translator to translate the source binary to target platforms. Secondly, by analysing the symbol table and global offset table, the library function name and address were extracted and jacketed. Finally, the generated codes were linked with corresponding native library functions including MPI to generate the target executive binary. The experiments on NPB and IMB benchmarks show that MPI-QEMU translates the benchmarks successfully and gains dramatically speedup.
{"title":"A MPI-Friendly Efficient Static Binary Translator Based on QEMU","authors":"Shuai-bing Lu, J. Pang, Yawen Pan, Jie Tan, Tao Dai","doi":"10.1109/CSMA.2015.14","DOIUrl":"https://doi.org/10.1109/CSMA.2015.14","url":null,"abstract":"While high performance computing (HPC) is flourishing these years, the lack of HPC applications is increasingly serious. Conventional binary translation focused on desktop applications and embedded software, which could not be scaled up to HPC. This paper proposed a novel static binary translator MPI-QEMU aiming at MPI programs, the most commonly used on HPC platforms. Firstly, the efficient dynamic binary translator QEMU was altered to a static binary translator to translate the source binary to target platforms. Secondly, by analysing the symbol table and global offset table, the library function name and address were extracted and jacketed. Finally, the generated codes were linked with corresponding native library functions including MPI to generate the target executive binary. The experiments on NPB and IMB benchmarks show that MPI-QEMU translates the benchmarks successfully and gains dramatically speedup.","PeriodicalId":205396,"journal":{"name":"2015 International Conference on Computer Science and Mechanical Automation (CSMA)","volume":"24 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2015-10-23","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"125407079","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
扫码关注我们
求助内容：
应助结果提醒方式：