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

International Conference on Management of Large-Scale System Development (MLSD)

作者： Elena Jharko Laboratory of Distributed Information Analytical and Control Systems V.A. Trapeznikov Institute of Control Sciences of RAS Moscow Russia

ISBN: (数字)9798350375718

ISBN: (纸本)9798350375725

The article discusses aspects of modeling a pressure compensator based on two models (equilibrium and a model that considers the nonequilibrium of the vapor and water phases), which are part of a flexible modeling system (FMS). The limits of applicability of the presented models are considered. The results of verification of the presented model of a pressure compensator as part of the FMS in the dynamic mode of a power unit nuclear power plant were carried out.

关键词： Frequency modulation Computational modeling Instruments Valves Robustness Digital twins Large-scale systems Power generation

来源：评论

学校读者我要写书评

暂无评论

Safety-Driven Approach for Security Audit of I&C systems of Nuclear Power Plants

Safety-Driven Approach for Security Audit of I&C Systems of ...

引用

2022 International Conference on Industrial Engineering, Applications and Manufacturing, ICIEAM 2022

作者： Lobanok, Oleg Promyslov, Vitaly Semenkov, Kirill Jsc Rasu Department of Information and Cyber Security of I&c Moscow Russia V. A. Trapeznikov Institute of Control Sciences of Ras Laboratory of Distributed Information and Control Systems Moscow Russia

ISBN: (纸本)9781665483698

In this paper, we tried to summarize the practical experience of information security audits of nuclear power plants' automated process control system (I&C). The article presents a methodology for auditing the information security of instrumentation and control systems for nuclear power plants. The methodology was developed taking into account international and national Russian norms and rules and standards. The audit taxonomy, classification lifecycle are described. The taxonomy of information security audits shows that form, objectives of the I&C information security audit, and procedures can vary widely. A conceptual program is considered and discussed in details. The distinctive feature of the methodology is the mandatory consideration of the impact of information security on nuclear safety. © 2022 IEEE.

关键词： Nuclear power plants

来源：评论

学校读者我要写书评

暂无评论

Tumor Cell Detection Device Based on Surface Plasmon Resonance Imaging and Image Processing

引用

Chemical Research in Chinese Universities 2014年第2期30卷 211-215页

作者： YANG Mengchao JIN Xinyu YUAN Maokai LIU Fan LANG Yicong WU Zhongyu XIANG Liancheng ZHOU Chao OUYANG Bo JIN Wei MU Ying Research Center for Analytical Instrumentation Institute of Cyber-systems and Control State Key Laboratory of Industrial Control Technology Zhejiang University Hangzhou 310058 P.R.China Department of Information Science & Electronic Engineering Zhejiang UniversityHangzhou 310027 P.R.China

A laboratory-made tumor cell detection device was fabricated based on both surface plasmon resonance imaging（SPRi） and image *** this device,a gravity-induced flow injection chip（gFIC） was exploited to replace a *** two charge coupled devices（CCDs） were used to detect HepG2 cells by SPRi and image processing,*** results of two CCDs are *** A was used to modify the sensing *** inlet angle was carefully adjusted for the device to get an enhanced *** the test,the contrast among cell solutions at different concentrations can be easily *** other CCD using image processing can tell false-positive in some *** detection is label-free,real time,and precise.

关键词： Surface plasmon resonance Image processing Tumor detection Gravity induced

来源：评论

学校读者我要写书评

暂无评论

Some Safety Issues in an Intelligent Transport Environment

Some Safety Issues in an Intelligent Transport Environment

引用

2023 International Russian Automation Conference, RusAutoCon 2023

作者： Jharko, Elena Abdulova, Ekaterina Mamchenko, Mark V.A. Trapeznikov Institute of Control Sciences of the Russian Academy of Sciences Laboratory of Distributed Information and Control Systems Moscow Russia V.A. Trapeznikov Institute of Control Sciences of the Russian Academy of Sciences Laboratory of Complex Networks Moscow Russia V.A. Trapeznikov Institute of Control Sciences of the Russian Academy of Sciences Laboratory of Cyber-Physical Systems Moscow Russia

ISBN: (纸本)9798350345551

The paper deals with the issues of ensuring the safety of objects in the intelligent transport environment (ITE). A general scheme and a symbolic description of implementing negative impacts (NI) in the ITE are presented. The concept of an integrated model for implementing NI in ITE, which is the basis for developing a safety monitor, is presented. For the complex model it is proposing the information and navigation model of the state and location of unmanned vehicles (UVs) in an intelligent transport (smart city) environment. The structure and the description of information and navigation elements (units and modules of the navigation subsystem) of the UVs, as well as a scheme of using data for local and global navigation in the UVs, are presented. The basic structural elements of information and navigation support of a smart city, types and layers of interaction, possible communication technologies and systems, and information support infrastructure are described. The synthesized information and navigation model for the UVs in the smart city environment is proposed. © 2023 IEEE.

关键词： Smart city

来源：评论

学校读者我要写书评

暂无评论

A Novel Evaluation Strategy to Artificial Neural Network Model Based on Bionics

引用

Journal of Bionic Engineering 2022年第1期19卷 224-239页

作者： Sen Tian Jin Zhang Xuanyu Shu Lingyu Chen Xin Niu You Wang School of Mathematics and Statistics Hunan Normal UniversityChangsha410081China College of Information Science and Engineering Hunan Normal UniversityChangsha410081China School of Computer and Communication Engineering Changsha University of Science and TechnologyChangsha410114China Key Laboratory of Industrial Control Technology Zhejiang UniversityHangzhou310058China Science and Technology on Parallel and Distributed Laboratory College of ComputerNational University of Defense TechnologyChangsha410199China Key Laboratory of Industrial Control Technology Institute of Cyber Systems and ControlZhejiang UniversityHangzhou310027China

With the continuous deepening of Artificial Neural Network(ANN)research,ANN model structure and function are improving towards diversification and ***,the model is more evaluated from the pros and cons of the problem-solving results and the lack of evaluation from the biomimetic aspect of imitating neural networks is not inclusive ***,a new ANN models evaluation strategy is proposed from the perspective of bionics in response to this problem in the ***,four classical neural network models are illustrated:Back Propagation(BP)network,Deep Belief Network(DBN),LeNet5 network,and olfactory bionic model(KIII model),and the neuron transmission mode and equation,network structure,and weight updating principle of the models are analyzed *** analysis results show that the KIII model comes closer to the actual biological nervous system compared with other models,and the LeNet5 network simulates the nervous system in ***,evaluation indexes of ANN are constructed from the perspective of bionics in this paper:small-world,synchronous,and chaotic ***,the network model is quantitatively analyzed by evaluation indexes from the perspective of *** experimental results show that the DBN network,LeNet5 network,and BP network have synchronous *** the DBN network and LeNet5 network have certain chaotic characteristics,but there is still a certain distance between the three classical neural networks and actual biological neural *** KIII model has certain small-world characteristics in structure,and its network also exhibits synchronization characteristics and chaotic *** with the DBN network,LeNet5 network,and the BP network,the KIII model is closer to the real biological neural network.

关键词： Artificial neural network(ANN) Back Propagation(BP)network Deep Belief Network(DBN) LeNet5 network Olfactory bionic model(KIII model) Small world Chaos Synchronous

来源：评论

学校读者我要写书评

暂无评论

Towards Quality Assurance under Developing Safety Important systems Software for Nuclear Power Plants

Towards Quality Assurance under Developing Safety Important ...

引用

International Russian Automation Conference

作者： Elena Ph. Jharko V.A. Trapeznikov Institute of Control Sciences of the Russian Academy of Sciences I.V. Prangishvili Laboratory of Distributed Information and Analytical Control Systems Moscow Russia

ISBN: (纸本)9781538649398

Increase in the significance of providing the software quality for high operation risk systems is concerned with the growth of the complexity and functionality of the safety important systems software and requirements to the reliability of these systems. The software verification and validation processes within the development and modification of systems of the automated control systems of nuclear power plants arc of importance at the whole software life cycle duration. In the paper, there arc considered possible consequences concerned with violations of the technological process of the software development, ways of achieving the required software quality on the basis of the software verification and validation at all stages of the life cycle;approaches to the quality definition, procedures of software qualify justification, models of the analysis of requirements to systems in the part of the software. The paper provides examples of the software quality evaluation over the indexes of "Maintainability" and "Usability" correspondingly for a safety important system of a nuclear power plant (NPP). All aspects of implementing works on the software quality analysis for NPP safety important systems in the part of the software quality evaluation arc used under developing safety important systems of automated process control systems.

关键词： Software Quality assurance Verification Validation Nuclear power plant (NPP)

来源：评论

学校读者我要写书评

暂无评论

Cyber Security Risk Assessment Method for SCADA of Industrial control systems

Cyber Security Risk Assessment Method for SCADA of Industria...

引用

International Russian Automation Conference

作者： Alexey Poletykin V.A. Trapeznikov Institute of Control Sciences of the Russian Academy of Sciences I.V. Prangishvili Laboratory of Distributed Information and Analytical Control Systems Moscow Russia

ISBN: (纸本)9781538649398

The cyber security formula-based risk evaluation method is outlined for using SCADA in Industrial control System (ICS) of Critical National Infrastructure (CNI) plants. The main feature of the method is taking into account not only information security methods but all safety and security and reliability measures available. Another feature concerns assets definition by means of explicit and hidden functions for which damage values from feasible cyber-attacks are estimated. The method deals with the scales of order. An example of the scale is proposed for damage and risk values. The essence of the method, its application domain restrictions, the stages of risk management addressed, key risk management concepts covered are described in the paper.

关键词： SCADA ICS NPP Cyber security Risk assessment methods Risk analysis Risk management

来源：评论

学校读者我要写书评

暂无评论

On Linear Envelopes Calculation for Traffic Flows in Industrial control systems

On Linear Envelopes Calculation for Traffic Flows in Industr...

引用

2024 International Russian Smart Industry Conference, SmartIndustryCon 2024

作者： Baybulatov, Artur Lepekhin, Igor Promyslov, Vitaly V.A. Trapeznikov Institute of Control Sciences of Ras Laboratory of Distributed Information and Control Systems Moscow Russia Russian Federal Center - All-Russian Research Institute of Experimental Physics Yu. Ye. Sedakov Research Institute of Measuring Systems Nizhny Novgorod Russia

ISBN: (纸本)9798350395044

Nowadays, industrial control systems are falling squarely under the Industry 4.0 dominant trends and technological challengers. In this, the problems associated with data, their processing and analysis happen to be particularly serious. Among all data issues, data flows, most commonly called traffic flows, cause a deep concern since they are crucial for the correct real-time system functioning, and the knowledge of their characteristics is decisive for the assessment of critical time performance measures such as delays in alarm presentation and control action transmission. In order to explore industrial control system traffic flows and to calculate time performance measures, a theory of deterministic queuing systems Network calculus is worth to be utilized. The article is devoted to industrial control system traffic flows and the Network calculus application to them. In particular, the approaches to estimating envelopes for traffic flows are considered. The concept of envelopes on finite intervals is introduced, and their linear model is expounded. The advantages of linear envelopes on finite intervals over classical minimal envelope are revealed, and the algorithm for their online calculation is analyzed. The basic features of typical traffic flows encountered in upper-level control systems of nuclear power plants are outlined, and the results of the investigation of their deterministic envelopes as well as statistical indicators are presented. Conclusions are drawn about the legitimacy and practical acceptability of using linear envelopes on finite intervals in the applications of industrial control systems. © 2024 IEEE.

关键词： Nuclear power plants

来源：评论

学校读者我要写书评

暂无评论

Swapping algorithm and meta-heuristic solutions for combinatorial optimization n-queens problem

Swapping algorithm and meta-heuristic solutions for combinat...

引用

Science and information Conference (SAI)

作者： Neil Vaughan I. V. Prangidhvili Laboratory of Distributed Information-and-Analytical Control Systems V.A. Trapeznikov Institute of Control Sciences of the Russian Academy of Sciences Moscow Russia

This research proposes the swapping algorithm a new algorithm for solving the n-queens problem, and provides data from experimental performance results of this new algorithm. A summary is also provided of various meta-heuristic approaches which have been used to solve the n-queens problem including neural networks, evolutionary algorithms, genetic programming, and recently Imperialist Competitive Algorithm (ICA). Currently the Cooperative PSO algorithm is the best algorithm in the literature for finding the first valid solution. Also the research looks into the effect of the number of hidden nodes and layers within neural networks and the effect on the time taken to find a solution. This paper proposes a new swapping algorithm which swaps the position of queens.

关键词： Algorithm design and analysis Genetic algorithms Optimization Neural networks Heuristic algorithms Software algorithms Evolutionary computation

来源：评论

学校读者我要写书评

暂无评论

Consideration for Formal Cybersecurity Models in I&C System Design

Consideration for Formal Cybersecurity Models in I&C System ...

引用

International Conference on Application of information and Communication Technologies

作者： Vitaly G. Promyslov I. V. Prangidhvili Laboratory of Distributed Information-and-Analytical Control Systems V.A. Trapeznikov Institute of Control Sciences of the Russian Academy of Sciences Moscow Russia

ISBN: (纸本)9781467368575

The paper presents the problem of tighten cybersecurity of Instrumentation and control (I&C) systems by mean of formal security models. The formal security models were developed for IT sector and may be used with some care for assessing the cybersecurity in I&C systems. When the formal security models are assessed intrinsically, it is assumed that the main security axiom as it was formulated for computer security is true. The interpretation of this axiom should consider the differences in security policy for I&C and general IT systems. The main goal for cybersecurity is availability which normally has minor importance for IT and therefore omitted in security models. We propose using the additional model for assessing the availability via timing relation between objects in the model. The integrity goal has also different interpretation in IT and I&C cybersecurity. In the last case the integrity of data and methods of processing have equal importance. This feature also should be reflected in formal security models.

关键词： Cybersecurity requirements model I&C

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：