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

2016 Third International Conference on Trustworthy Systems and their Applications (TSA)最新文献

筛选
英文 中文
Design of a Creative Encryption Approach Based on Pataphysics 一种基于密码物理的创新加密方法设计
2016 Third International Conference on Trustworthy Systems and their Applications (TSA) Pub Date : 2016-09-01 DOI: 10.1109/TSA.2016.29
Xuan Wang, Lu Zhang, Hongji Yang
{"title":"Design of a Creative Encryption Approach Based on Pataphysics","authors":"Xuan Wang, Lu Zhang, Hongji Yang","doi":"10.1109/TSA.2016.29","DOIUrl":"https://doi.org/10.1109/TSA.2016.29","url":null,"abstract":"Encryption algorithms are widely used to enhance the data confidentiality and integrity in software systems. Most of the conventional encryption algorithms are designed based onmathematical methods. Sometimes there are traces left behind, which can be possibly detected and utilised by attackers. Basedon the ideas of knowledge combination derived from CreativeComputing, in order to provide a safer user experience, thispaper attempts to introduce a creative encryption approachbased on Pataphysics. Pataphysics is widely known as the scienceof imaginary solutions and laws, governing exceptions. One of themost important advantages of Pataphysics is the novel orinnovative methods to understand and explore the surroundingworld. It is believed that based on the key concepts provided byPataphysics, Clinamen, something new might be discovered fortraditional encryption design. The creative approach aims toutilise the ambiguity in language to enhance the confidentiality ofencryption algorithms. We hope the proposed approach couldprovide a promising direction for software and information security.","PeriodicalId":114541,"journal":{"name":"2016 Third International Conference on Trustworthy Systems and their Applications (TSA)","volume":"14 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2016-09-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"134558919","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
Laboratory Reliability Testing Design of Solenoid Operated Directional-Control Valves for Industrial Application 工业用电磁换向阀实验室可靠性试验设计
2016 Third International Conference on Trustworthy Systems and their Applications (TSA) Pub Date : 2016-09-01 DOI: 10.1109/TSA.2016.24
Xinbo Qian, Congchang Zhan
{"title":"Laboratory Reliability Testing Design of Solenoid Operated Directional-Control Valves for Industrial Application","authors":"Xinbo Qian, Congchang Zhan","doi":"10.1109/TSA.2016.24","DOIUrl":"https://doi.org/10.1109/TSA.2016.24","url":null,"abstract":"To improve the reliability of high-end hydraulic parts for domestic hydraulic industry, a framework of industrial standard is proposed for reliability testing procedures for solenoid operated directional-control valves. Solenoid operated directional-control valve is one of the most basic components, and the experimental standards for directional valve can be an essential reference for reliability testing for other hydraulic components. Based on the design of the hydraulic diagram of reliability testing for solenoid operated directional-control valves, the experiment procedures include stages of preparation, recording, inspections, data collection and the reliability assessment. Reliability assessment can be derived from data by Weibull distribution. Moreover, safety assessment can also be derived from reliability assessment. Finally, future research work directions are outlined.","PeriodicalId":114541,"journal":{"name":"2016 Third International Conference on Trustworthy Systems and their Applications (TSA)","volume":"14 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2016-09-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"133877834","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
Distributed Cloud Storage and Parallel Topology Processing of Power Network 分布式云存储与电网并行拓扑处理
2016 Third International Conference on Trustworthy Systems and their Applications (TSA) Pub Date : 2016-09-01 DOI: 10.1109/TSA.2016.33
Xianlong Lv, Xingong Cheng, Yongxi Lv
{"title":"Distributed Cloud Storage and Parallel Topology Processing of Power Network","authors":"Xianlong Lv, Xingong Cheng, Yongxi Lv","doi":"10.1109/TSA.2016.33","DOIUrl":"https://doi.org/10.1109/TSA.2016.33","url":null,"abstract":"With the rapid development of information communication, computer and control technology, the smart grid has become a direction and trend of the development of electric power industry. The ultimate goal of smart grid is to build a panoramic real-time system which covers the whole production process of power system. However, it is difficult to meet the demand of the power system dispatching department to store and process large scale data in the current power system. In view of the above reasons, this paper develops the Mysql-CIM model, realizes the distributed cloud storage of power network data, and develops the application of the parallel topology processing of power network. Verified by the case, this paper develops the model Mysql-CIM fully meet requirements of the smart grid of system reliability, availability, high throughput; In this paper, the development of the power network based on CIM parallel topological processing is applied to realize the fast network topology processing and topology island formation, its running time scale increased to milliseconds, greatly improving the work efficiency of the system.","PeriodicalId":114541,"journal":{"name":"2016 Third International Conference on Trustworthy Systems and their Applications (TSA)","volume":"12 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2016-09-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"130780649","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 Induction to the Development of Software Quality Model Standards 软件质量模型标准的发展综述
2016 Third International Conference on Trustworthy Systems and their Applications (TSA) Pub Date : 2016-09-01 DOI: 10.1109/TSA.2016.28
Jiayu Gong, Jiawen Lu, Lizhi Cai
{"title":"An Induction to the Development of Software Quality Model Standards","authors":"Jiayu Gong, Jiawen Lu, Lizhi Cai","doi":"10.1109/TSA.2016.28","DOIUrl":"https://doi.org/10.1109/TSA.2016.28","url":null,"abstract":"Quality plays a key role in software life-cycle. With the purpose of specializing and evaluating software product quality, ISO had published software quality model standards, SQuaRE series standards. In order to meet the growing demand for software quality measurement, ISO have revised the ISO/IEC 2502n series of standards, recently. This paper introduces evolution of software quality model standards and the details of SQuaRE series standards. Furthermore, the shortcomings of ISO/IEC 2502n software quality measurement series standards were analyzed and a road map of new systems and software product quality measurement reference model was proposed. These outcomes were accepted by ISO in the ISO/IEC JTC1 SC7 plenary meeting, which held in May 2016, and will be integrated into next version of ISO/IEC 25020.","PeriodicalId":114541,"journal":{"name":"2016 Third International Conference on Trustworthy Systems and their Applications (TSA)","volume":"256 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2016-09-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"114358154","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}
引用次数: 7
Mutual Exclusion Verification of Peterson's Solution in Isabelle/HOL Isabelle/HOL中Peterson解的互斥验证
2016 Third International Conference on Trustworthy Systems and their Applications (TSA) Pub Date : 2016-09-01 DOI: 10.1109/TSA.2016.22
Xiaojun Ji, Li-Hui Song
{"title":"Mutual Exclusion Verification of Peterson's Solution in Isabelle/HOL","authors":"Xiaojun Ji, Li-Hui Song","doi":"10.1109/TSA.2016.22","DOIUrl":"https://doi.org/10.1109/TSA.2016.22","url":null,"abstract":"Peterson's solution is a classical algorithm for mutual exclusion problem. But rigorous works on analyzing its properties of safety or liveness are rare so far. In theorem prover Isabelle/HOL, we formally modelled Peterson's solution for two processes, and proved that it satisfies mutual exclusion property. With Paulson's inductive approach, the algorithm is inductively defined as a set of all possible event lists of two concurrent processes, in which event is defined as atomic action of concurrent processe. All of the reasoning codes have been checked by Isabelle/HOL. Comparing with those works based on model checking, our work can be easily generalized to the analysis of Peterson's solution for n (n>2) processes. And the model we defined for Peterson's solution could be extended to analyze liveness property of Peterson's solution. The process of proving also produces some good advices on how to programming Peterson's solution.","PeriodicalId":114541,"journal":{"name":"2016 Third International Conference on Trustworthy Systems and their Applications (TSA)","volume":"77 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2016-09-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"114716539","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
A Fast Regression Testing Method Using for EMS System Engineering Project 用于EMS系统工程项目的快速回归测试方法
2016 Third International Conference on Trustworthy Systems and their Applications (TSA) Pub Date : 2016-09-01 DOI: 10.1109/TSA.2016.26
Kai Xie, Chao Sun
{"title":"A Fast Regression Testing Method Using for EMS System Engineering Project","authors":"Kai Xie, Chao Sun","doi":"10.1109/TSA.2016.26","DOIUrl":"https://doi.org/10.1109/TSA.2016.26","url":null,"abstract":"EMS(Energy Management System) is a software system with complex structure, which is used in power grid dispatching automation. In the life cycle of the system, it will go through a number of tests, such as FAT(factory test), SAT(acceptance test), etc, whose test cases will be as many as ten thousand. In the maintenance of EMS system, requirements may be often changed, which motivates the component modification to create new versions and their accompany tests. Regression testing strategies aim at the retest for modification affection in EMS software maintenance. This paper presents a EMS system regression testing method based on a new Component Testing Association Model. In this method, previously executed test cases are selected to generate the minimal regression test suite by the identification and impact analysis for the modification-affected component groups. Compared with traditional methods, our approach focus on the complicated interaction between components, which is more applicable to component system regression testing. Our method greatly saves the EMS system regression testing costs which go through the functional adjustment. In practical projects the execution of a moderate scale regression test was reduced by about 2 weeks.","PeriodicalId":114541,"journal":{"name":"2016 Third International Conference on Trustworthy Systems and their Applications (TSA)","volume":"2 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2016-09-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"127912797","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
Optimal PMU Placement for the System Observability Based on System Topology Model 基于系统拓扑模型的PMU可观测性优化布局
2016 Third International Conference on Trustworthy Systems and their Applications (TSA) Pub Date : 2016-09-01 DOI: 10.1109/TSA.2016.34
Hongyu Wang, Xingong Cheng, X. Zong
{"title":"Optimal PMU Placement for the System Observability Based on System Topology Model","authors":"Hongyu Wang, Xingong Cheng, X. Zong","doi":"10.1109/TSA.2016.34","DOIUrl":"https://doi.org/10.1109/TSA.2016.34","url":null,"abstract":"In order to improve the synchronous phasor measurement unit (PMU) configuration efficiency and enlarge its application in the large-scale system, a novel PMU configuration method based on the system topology model and considering zero injection buses is proposed. This proposed method considers different cases of buses connection including leaf nodes, buses with the most and same number of connection branches and buses with two branches. For the buses with the most number of connection branches, the degree of links between buses is proposed to determine PMU placement. In addition, in the process of PMU configuration, the observable and unobservable buses are directly obtained by topology model, which avoids matrix operations and speeds up the speed. The proposed method is tested on the three systems and the results show the proposed method is correct and effective.","PeriodicalId":114541,"journal":{"name":"2016 Third International Conference on Trustworthy Systems and their Applications (TSA)","volume":"123 3 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2016-09-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"128391536","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
An Empirical Analysis Method of Incentives for Talent Innovation Behavior 人才创新行为激励的实证分析方法
2016 Third International Conference on Trustworthy Systems and their Applications (TSA) Pub Date : 2016-09-01 DOI: 10.1109/TSA.2016.31
Xiaolan Chang, Yongle Zhao
{"title":"An Empirical Analysis Method of Incentives for Talent Innovation Behavior","authors":"Xiaolan Chang, Yongle Zhao","doi":"10.1109/TSA.2016.31","DOIUrl":"https://doi.org/10.1109/TSA.2016.31","url":null,"abstract":"Nowadays, big data has brought us a lot of results which we did not expect as before. Development of cultural and creative enterprises is greatly significant to enhance the country's cultural soft power, which is every enterprise managers need to consider. Innovation behavior of cultural and creative talents affects the relationship between incentives and analysis, whereby incentives make recommendations on the construction of cultural and creative enterprises. Using crowdsourcing method, through the cultural and creative enterprises, Jiangsu Province, dividing the questionnaire survey to obtain the relevant data, factor analysis by SPSS (Statistical Product and Service Solutions), statistical methods, correlation and regression analysis for data analysis. Finally got there is a significant correlation between incentives and technological innovation behavior.","PeriodicalId":114541,"journal":{"name":"2016 Third International Conference on Trustworthy Systems and their Applications (TSA)","volume":"2 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2016-09-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"130248112","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
Manufacturing Ontology Development Based on Industry 4.0 Demonstration Production Line 基于工业4.0示范生产线的制造本体开发
2016 Third International Conference on Trustworthy Systems and their Applications (TSA) Pub Date : 2016-09-01 DOI: 10.1109/TSA.2016.17
Haibo Cheng, P. Zeng, Lingling Xue, Zhao Shi, Peng Wang, Haibin Yu
{"title":"Manufacturing Ontology Development Based on Industry 4.0 Demonstration Production Line","authors":"Haibo Cheng, P. Zeng, Lingling Xue, Zhao Shi, Peng Wang, Haibin Yu","doi":"10.1109/TSA.2016.17","DOIUrl":"https://doi.org/10.1109/TSA.2016.17","url":null,"abstract":"The increasing pressures faced by manufacturers, the shortening of innovation cycles and the growing importance of high-efficiency manufacturing demand a higher versatility of factory automation. In order to achieve this target, engineering tasks currently performed manually need to be automated. In this case, ontologies emerge as a significant method for representing manufacturing knowledge in a machine-interpretable way. This knowledge can then be used by automated problem-solving methods to reconfigure the control software that coordinates and supervises manufacturing systems. Besides, Ontology can play a very important role in the process of creating as well as managing the knowledge. This paper addresses the important issues in developing domain-specific ontology for manufacturing used in industry 4.0 demonstration production line. A generic ontology is developed considering all the aspects about product from customized order to resulting production.","PeriodicalId":114541,"journal":{"name":"2016 Third International Conference on Trustworthy Systems and their Applications (TSA)","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2016-09-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"131241914","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}
引用次数: 45
Contrast and Analysis about the Characteristics of MPS and CDP in GPU Kepler Architecture GPU Kepler架构中MPS和CDP特性的对比分析
2016 Third International Conference on Trustworthy Systems and their Applications (TSA) Pub Date : 2016-09-01 DOI: 10.1109/TSA.2016.32
Peng Yikang, Huang Zhibin, Zhou Feng
{"title":"Contrast and Analysis about the Characteristics of MPS and CDP in GPU Kepler Architecture","authors":"Peng Yikang, Huang Zhibin, Zhou Feng","doi":"10.1109/TSA.2016.32","DOIUrl":"https://doi.org/10.1109/TSA.2016.32","url":null,"abstract":"The new generation architecture of NVIDIA launched Multi-Process Services (MPS), which provides a context manager in the software layer to handle tasks with different processes. MPS can only be used on the Linux platform, and requires a computing capability of 5.0 or higher NVIDIA GPU card [1]. Although these constraints limit the applicability, but it is a relatively inexpensive way to make multiple processes take full advantage of GPU resources. CUDA Parallel Dynamic (CDP) is the other new execution model introduced in Kepler GK110, which allows GPU kernel function to create additional task for itself. It can control the new task scheduling work and synchronization the results without CPU intervention [2]. So that CUDA application is no longer constrained by the rule that the kernel function on GPU must be called from the CPU program. Kernel function can call a new kernel function directly from the GPU kernel function, thereby enhancing the GPU parallelism.","PeriodicalId":114541,"journal":{"name":"2016 Third International Conference on Trustworthy Systems and their Applications (TSA)","volume":"25 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2016-09-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"116894210","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学术官方微信