检索结果-内蒙古大学图书馆

5th International Conference on Artificial Intelligence and Security, ICAIS 2019

作者： Zhao, Na Cao, Min Song, Chenming Shi, Shuang Yu, Yong Li, Shudong Electric Power Research Institute of Yunnan Power Grid Co. Ltd. Kunming650217 China Key Laboratory in Software Engineering of Yunnan Province School of Software Yunnan University Kunming650091 China Cyberspace Institute of Advanced Technology Guangzhou University Guangzhou510006 China

ISBN: (纸本)9783030242671

Since software evolution has become ineluctable for many trusted systems, the research works in this paper will be focused on a hot topic in the present trusted software researches-key theories and technologies of component-based trusted software evolution. In this paper, we analysed the evolution of trusted software architecture on the basis of the characteristics of trusted component, and proposed the cohesion-based trusted component decomposition algorithm on the basis of trusted component description and modelling based on OR-transit Petri Net in our previous works. © 2019, Springer Nature Switzerland AG.

关键词： Petri nets

来源：评论

学校读者我要写书评

暂无评论

Review of Firmware Homology Detection: a System Aspect

Review of Firmware Homology Detection: a System Aspect

引用

IEEE International Conference on Data Science in Cyberspace (DSC)

作者： Song Yan Wang Binbin Yu Xiaohu Li Tinghui Zhu Shanshan He Daojing Yang Guisong Chan Sammy State Grid Shanghai Municipal Electrical Power Research Institute Shanghai China School of software engineering East China Normal University Shanghai China East China Normal University Shanghai China University of Shanghai for Science and Technology Shanghai China City University of Hong Kong Hong Kong China

ISBN: (纸本)9781665418164

In recent years, Internet of Things (IoT) devices have received extensive attention and can be seen everywhere in daily life. Attacks against firmware vulnerabilities are becoming more and more frequent. Homology analysis technology is a hot topic in recent years. Firmware vulnerability analysis based on homology analysis can classify the firmware of different versions or even different devices, and detect the vulnerabilities in the firmware by detecting the homology of the open source library. This paper provides a literature review of firmware homology detection. Firstly, the background of firmware vulnerability analysis and the research status of homology detection at home and abroad are briefly introduced. Then, under the source code based homology analysis technology, according to whether it chooses to use the intermediate form to explain the source code and the different intermediate forms, three different homology analysis technologies based on text, token and structure are divided, and the three technologies are compared horizontally. Then, in the non source code based homology analysis technology, the overall process of homology detection based on binary files is introduced, as well as the main technologies such as byte stream comparison and reverse analysis. Finally, various homology analysis methods are analyzed and compared from the aspects of efficiency and accuracy, and the research focus and direction in this field are summarized and prospected.

关键词： Codes Plagiarism Face recognition software algorithms Semantics Syntactics software

来源：评论

学校读者我要写书评

暂无评论

A study about configuration management process for safety DCS software V&V in nuclear power plant 3rd

A study about configuration management process for safety DC...

引用

3rd International Symposium on software Reliability, Industrial Safety, Cyber Security and Physical Protection of Nuclear power Plant, ISNPP 2018

作者： Xiong, Wei He, Ya-Nan Gu, Peng-Fei Liang, Hui-Hui Tang, Jian-Zhong State Key Laboratory of Nuclear Power Safety Monitoring Technology and Equipment I&C Equipemnt Qualification and Software V&V Laboratory China Nuclear Power Engineering Co. Ltd Shenzhen518172 China

ISBN: (纸本)9789811331121

software verification and validation (V&V) is the key technology to improve the quality of software in nuclear power plant and ensure the safe operation of DCS. The configuration management (CM) is an important mean to standardize the software V&V process and improve the efficiency and quality of the software V&V. However, in the current configuration management process for safety DCS software V&V in nuclear power plant, the baseline management of input files has some deficiencies. The paper proposes a method for input file baseline management through research standards and combined practical experience, which can provide reference for the CM in subsequent software V&V project. © 2019, Springer Nature Singapore Pte Ltd.

关键词： Nuclear power plants

来源：评论

学校读者我要写书评

暂无评论

Chattering-free fixed-time sliding mode control for bilateral teleoperation under unknown time-varying delay via disturbance and state observers

Advanced Control for Applications: Engineering and Industria...

引用

Advanced Control for Applications: engineering and Industrial Systems 2020年第4期2卷

作者： Abadi, Ali Soltani Sharif Hosseinabadi, Pooyan Alinaghi Mekhilef, Saad Ordys, Andrzej Department of Electrical Engineering Faculty of Engineering Yazd University Yazd Iran Faculty of Engineering University of Malaya Kuala Lumpur Malaysia School of Software and Electrical Engineering Faculty of Science Engineering and Technology Swinburne University of Technology Melbourne Australia Center of Research Excellence in Renewable Energy and Power Systems King Abdulaziz University Jeddah Saudi Arabia The Institute of Automatic Control and Robotics Faculty of Mechatronics Warsaw University of Technology Warsaw Poland

This paper proposes a new chattering-free Fixed-time Observer-Based Sliding Mode Control (FOBSMC) scheme for synchronization of two bilateral teleoperations under unknown time-varying delay. The system is subjected to unknown disturbances which are estimated in a fixed time by utilizing the Disturbance Observer-based SMC scheme. The fixed-time State Observer-based SMC is designed to estimate the unmeasured velocity state, while the position state is assumed to be available. Fixed-time stability method is used to provide the system convergence time independently of initial states. A FOBSMC scheme is first designed for master system of bilateral teleoperation under unknown time-varying delay to track the environmental torque by the human operating torque in the presence of time delay in the communication channel, as well as estimating the unknown disturbances and unmeasured states. A FOBSMC scheme is designed to synchronize slave system to master system in the presence of time delay in the communication channel, as well as estimating disturbances and states. The stability analysis is performed for closed-loop system of combined controller-observer by using Lyapunov theory. The efficacy of the proposed method to fulfill a good transparency and stability under time-varying communication delays is tested by performing numerical simulation in Simulink/MATLAB. © 2020 John Wiley & Sons Ltd.

关键词： Time delay

来源：评论

学校读者我要写书评

暂无评论

GCSTormer: Gated swin transformer with channel weights for image denoising

引用

Expert Systems with Applications 2025年 284卷

作者： Zhu, Minling Xu, Zhixin Zhang, Qi Liu, Yonglin Gu, Dongbing Xu, Sendren Shengdong School of Computer Science Beijing Information Science and Technology University Beijing100101 China State Key Laboratory for Novel Software Technology Nanjing University Jiangsu Nanjing China School of Economics and Management Harbin Institute of Technology Shandong Weihai China School of Public Management and Media Beijing Information Science and Technology University Beijing100192 China School of Computer Science and Electronic Engineering University of Essex CO4 3SQ Colchester United Kingdom Department of Power Mechanical Engineering National Tsing Hua University Taiwan Hsinchu300044 China

In recent years, deep learning models typified by CNN and Transformer have achieved remarkable success in computer vision. However, CNN struggles to capture global information and lacks effective cross-region interaction. Transformer excels in global feature modeling but comes with high computational complexity and a large number of *** this paper, we propose GCSTormer, a novel image denoising model that integrates shallow and deep feature extraction. For shallow feature extraction, we employ a three-layer atrous convolution with dense skip connections. This design enhances CNN's ability to capture global information. In the main architecture of the model, we utilize the U-Net structure to learn multi-scale image information and adopt the improved Swin Transformer block as the basic layer. This block has been improved in two aspects. First, we use gated convolution to optimize information flow. Second, we apply transposed attention to compute attention in the channel domain. To evaluate the model performance, we conduct denoising experiments on grayscale and color images with synthetic Gaussian noise. The experimental results show our model has good results in both quantitative metrics and visual quality while maintaining a certain number of parameters and complexity. © 2025 Elsevier Ltd

关键词： Image denoising

来源：评论

学校读者我要写书评

暂无评论

LCL-AKA: Lightweight Authentication and Key Agreement Protocol for power IoT

引用

IEEE Transactions on Smart Grid 2025年

作者： Liu, Zewei Hu, Chunqiang Ruan, Conghao Pu, Yuwen Hu, Pengfei Yu, Jiguo Cyber Physical Society Ministry of Education Key Laboratory of Dependable Service Computing Chongqing University China Chongqing University School of Big Data and Software Engineering Chongqing China China Southern Power Grid Joint Laboratory on Cyberspace Security China Shandong University School of Computer Science and Technology Shandong China Qilu University of Technology Shandong Academy of Sciences School of Computer Science and Technology Jinan250353 China Shandong Laboratory of Computer Networks Jinan250014 China

The rapid adoption of power Internet of Things (PIoT) systems has made security a critical concern, particularly as existing certificateless authentication and key agreement (CL-AKA) protocols face three fundamental limitations that hinder their practical deployment: excessive computational overhead from multi-round interactions, inadequate protection against advanced cryptanalytic attacks, and inflexible architectures unsuitable for dynamic grid environments. To tackle the previously mentioned challenges, this paper proposes lightweight authentication and key agreement protocol (LCL-AKA) for PIoT. Firstly, this protocol efficiently completes the process of identity authentication and session key agreement within a single round of communication interaction, significantly reducing computational costs and improving communication efficiency. Security is rigorously validated through formal proofs under the eCK model and comprehensive analysis showing resistance to key compromise impersonation, unknown key-share attack. Ultimately, comparative experiments are executed to delve into the security and performance characteristics of the proposed protocol. Compared to benchmark protocols deployed in PIoT, the authentication delay of LCL-AKA is decreased by at least 14.88%;in addition, the energy consumption of LCL-AKA is decreased by at least 11.28%. © 2010-2012 IEEE.

关键词： certificateless authentication and key agreement communication efficiency PIoT security proofs

来源：评论

学校读者我要写书评

暂无评论

Research on the verification and validation method of commercial grade software in nuclear power plants 1

引用

3rd International Symposium on software Reliability, Industrial Safety, Cyber Security and Physical Protection of Nuclear power Plant, ISNPP 2018

作者： Ye, Wang-Ping He, Ya-Nan Gu, Peng-Fei Chen, Wei-Hua State Key Laboratory of Nuclear Power Safety Monitoring Technology and Equipment I&C Equipment Qualification and Software V&V Laboratory China Nuclear Power Engineering Co. Ltd. ShenzhenGuangdong518172 China

ISBN: (数字)9789811331138

ISBN: (纸本)9789811331121

With the development of digital technology in nuclear power plants, more and more commercial grade software is being widely used in nuclear power plants. However, there has not been formed a unified dedication standards at domestic and overseas, which not only brings certain difficulties for dedication, but also has a certain impact on the safety of nuclear power plants. Based on the analysis of related standards at domestic and overseas, combined with the software V&V experience in practical work, this paper presents a set of practical Commercial grade software dedication methods. It can not only guide the dedication of Commercial grade software of China’s nuclear power plants, but also can provide a reference for the dedication of commercial grade software of HPR1000. © 2019, Springer Nature Singapore Pte Ltd.

关键词： Nuclear power plants

来源：评论

学校读者我要写书评

暂无评论

Risk analysis and management of software V&V activities in NPPs 1

引用

3rd International Symposium on software Reliability, Industrial Safety, Cyber Security and Physical Protection of Nuclear power Plant, ISNPP 2018

作者： HuiHui-Liang Gu, Peng-Fei Tang, Jian-Zhong Chen, Wei-Hua State Key Laboratory of Nuclear Power Safety Monitoring Technology and Equipment I&C Equipment Qualification and Software V&V Laboratory China Nuclear Power Engineering Co. Ltd. ShenzhenGuangdong518172 China

ISBN: (数字)9789811331138

ISBN: (纸本)9789811331121

The life cycle of software can be divided into the concept, requirements, design, construction and integration phase and so on. The risk analysis and management should been executed during the software life cycle. The risks of the instrumentation and control (I&C) system include the technical and management risks. The concern of risk analysis is different in the software life cycle. The verification and validation (V&V) effort may identify the technical and management risks that have a measureable possibility of negative consequences to I&C system in nuclear power plants (NPPs). The risk analysis is one of the minimum tasks of the software verification and validation. The IEEE 1012-2017 Annex J has described the risk analysis, risk estimation and risk evaluation in general. The risks of the software V&V activities will be identified in this paper. Based on the risks of the software V&V activities, the risk management strategy has been proposed. © 2019, Springer Nature Singapore Pte Ltd.

关键词： Nuclear power plants

来源：评论

学校读者我要写书评

暂无评论

A hierarchically structured down-top test equipment debugging method for RPS 1

引用

3rd International Symposium on software Reliability, Industrial Safety, Cyber Security and Physical Protection of Nuclear power Plant, ISNPP 2018

作者： Xi, Wang Bai, Tao Gu, Peng-Fei Liu, Wei Chen, Wei-Hua State Key Laboratory of Nuclear Power Safety Monitoring Technology and Equipment I&C Equipemnt Qualification and Software V&V Laboratory China Nuclear Power Engineering Co. Ltd. ShenzhenGuangdong518172 China

ISBN: (数字)9789811331138

ISBN: (纸本)9789811331121

Reactor protection system (RPS) plays critical role in digital control system (DCS), and ensures the safety for nuclear power plant (NPP). System test is a necessary step during system development, verification and validation (V&V), which ensure the safety and reliability for RPS. The debugging of test environment and equipment is an important step that ensures the effective and efficiency of test. The system, such as RPS that contains complicated logic and large number of interfaces, cost a lot of time and human resource for debugging. A structured debugging method has been proposed in this paper, this method establishes debugging architecture with a hierarchical model in according to signal transmission path, and it designs the debugging process from down to top. The result from engineering practice show that this method has improved the effective and efficiency of debugging provides the support and reference for system test environment establishment. © 2019, Springer Nature Singapore Pte Ltd.

关键词： Nuclear power plants

来源：评论

学校读者我要写书评

暂无评论

Research on the verification and validation method of safety analysis software in nuclear power plants 3rd

Research on the verification and validation method of safety...

引用

3rd International Symposium on software Reliability, Industrial Safety, Cyber Security and Physical Protection of Nuclear power Plant, ISNPP 2018

作者： He, Ya-Nan Xiong, Wei Gu, Peng-Fei Tang, Jian-Zhong State Key Laboratory of Nuclear Power Safety Monitoring Technology and Equipment I&C Equipment Qualification and Software V&V Laboratory China Nuclear Power Engineering Co. Ltd. ShenzhenGuangdong518172 China

ISBN: (纸本)9789811331121

With the wide application of software in nuclear power plants design and control process, the regulatory has strengthened its supervision. At this moment, the software used for safety analysis of nuclear power plants design also needs to carry out strict qualification work, which is the first time that the qualification of safety analysis software is required in China. How to carry out the qualification work to ensure the correctness of self-developed safety analysis software has become an urgent problem to be solved. Base on the interpretation of the regulatory requirements for safety analysis software, compare with the analysis of software verification and validation (V&V) requirements in IEEE 1012, a method for safety analysis software qualification has been pointed out in this paper. This method draws on the successful experience of nuclear power plant safety-level software V&V, provides a complete V&V process and clear V&V tasks, and characterizes by easy to execution. © 2019, Springer Nature Singapore Pte Ltd.

关键词： Nuclear power plants

来源：评论

学校读者我要写书评

暂无评论

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

建议与咨询 留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案： 新增检索档案 确定 取消

请选择收藏分类： 新增自定义分类 确定 取消

通借通还

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

请选择保存的检索档案：

请选择收藏分类：