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

Research on formal verification method of embedded software requirements analysis document

Journal of Computers (Taiwan) 2020年第6期31卷 210-229页

作者： Wang, Yingjie Zhou, Kuanjiu Zhang, Xudong Li, Bin Sun, Zhui Li, Mingchu Pan, Jie Software School Dalian University of Technology Dalian116620 China College of Information Engineering Dalian University Dalian116622 China Liaoning Provincial Key Laboratory of Ubiquitous Network and Service Software Dalian116620 China Liaoning Hongyanhe Nuclear Power CO. Ltd Dalian116001 China

software requirement analysis and design documentation are important basis for software development. The documentation quality does directly affect the quality of software development in the subsequent stage. At present, the requirement analysis and design documents are described by a natural language. These documents are usually reviewed by the document walk-through method. The illegibility and ambiguity of the text expression may cause problems such as missing requirements and logical contradictions. This paper introduces the advantages and modeling process of formalized modeling method - State Transition Matrix (STM) in detail, and proposes to use the Extended State Transition Matrix (ESTM) formalized method to model the requirements analysis and system design documents. According to the transition feature performs symbolic coding and formal description of the properties, the missing requirements and logical contradictions would be discovered in the design document, test cases and testing code could also be generated. The experimental part takes the train control system test as an example, utilized the formal verification method, judged whether there are logic errors in the document. The result shows that the method can better solve a part of logic problems and requirement vulnerabilities that cannot be found by the traditional code test method. © 2020 Computer Society of the Republic of China. All rights reserved.

关键词： Formal verification

来源：评论

学校读者我要写书评

暂无评论

The Digital Current Control of Single-Phase Cascaded Half-Bridge Voltage Source Inverter

The Digital Current Control of Single-Phase Cascaded Half-Br...

引用

International Conference on Computing, power and Communication Technologies (GUCON)

作者： Muhyaddin Rawa Saad Mekhilef Hussain Bassi Abdullah Abusorrah Hamza Belkame Center of Research Excellence in Renewable Energy and Power Systems King Abdulaziz University Jeddah Saudi Arabia University of Malaya Kuala Lumpur Malaysia School of Software and Electrical Engineering Swinburne University of Technology Melbourne Victoria Australia

ISBN: (数字)9781728150703

ISBN: (纸本)9781728150710

Multilevel inverters MLIs are deeply studied topic due to the integration of power sources in many applications. Mainly, these MLIs are three-phase systems. However, several applications, such as photovoltaic present single-phase configurations. For applications requiring quick response and accurate control, current controlled voltage sources (VSIs) are normally preferred. However, The extension of current controllers to MLVSIs is much less established. This paper presents an asymmetrical single-phase cascaded half-bridge VSIs of controlled load current. The isolated DC-supplies of the presented extendable topology are selected in optimal and applicable strategy. The implemented vector based current controller measures the current error in a vector form and execute the corresponding switching state that keeps the error within the assigned tolerance region. The current regulator maintains the load current as close as possible to the set reference currents with significantly minimized error. Another attracting feature in the implemented closed-loop current controllers is that the number of voltage levels is maintained as the output of the inverter with fast dynamic response. The proposed selection process of the applied vector and the minimization of the error vector was verified through simulation results.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Study on itemized requirements of safety digital I&C system in NPP 3rd

Study on itemized requirements of safety digital I&C system ...

引用

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

作者： Bai, Tao Shu, Ji-Xiang Gu, Peng-Fei He, Ya-Nan 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 Shenzhen Middle School Shenzhen China

ISBN: (纸本)9789811331121

software reliability for digital instrumentation and control (I&C) systems is critical, which malfunction may give wrong action and endanger the nuclear power plants. software verification and validation (V&V) is an effective means of improving software reliability. With the further research on safety-critical software used for NPPs, the quality of V&V has become key concern of the safety regulatory authorities around the world. Traceability is the basic requirement on I&C functions during the life cycle V&V activities. In this paper, necessity of implementing itemized requirements on I&C function is studied according to the nuclear safety regulations and related standards. What’s more, key points of itemized requirements are proposed by learning from CPR1000 NPPs’ project experience. It would be helpful to ensure the software V&V quality with proper workload. © 2019, Springer Nature Singapore Pte Ltd.

关键词： software reliability

来源：评论

学校读者我要写书评

暂无评论

Comparison of corrosion resistance of MgAl-LDH and ZnAl-LDH films intercalated with organic anions ASP on AZ31 Mg alloys

引用

Transactions of Nonferrous Metals Society of China 2020年第9期30卷 2424-2434页

作者： Jia-ling CHEN Liang FANG Fang WU Xian-guang ZENG Jia HU Shu-fang ZHANG Bin JIANG Hai-jun LUO Chongqing Key Laboratory of Soft Condensed Matter Physics and Smart Materials State Key Laboratory of Power Transmission Equipment&System Safety and New TechnologyCollege of PhysicsChongqing UniversityChongqing 400044China Material Corrosion and Protection Key Laboratory of Sichuan Province Institute of Materials Science and EngineeringSichuan University of Science and EngineeringZigong 643000China National Engineering Research Center for Magnesium Alloys College of Materials Science and EngineeringChongqing UniversityChongqing 400044China College of Software Chongqing College of Electronic EngineeringChongqing 401331China Chongqing Key Laboratory on Optoelectronic Functional Materials College of Physics and Electronic EngineeringChongqing Normal UniversityChongqing 401331China

The aspartic acid(ASP),an environment-friendly corrosion inhibitor,was explored to intercalate into the ZnAl-layered double hydroxide(ZnAl-LDH)and MgAl-LDH coatings on AZ31 magnesium alloys by a facile one-step hydrothermal *** morphology,composition,structure and corrosion resistance of the prepared coatings were comparatively *** is found that the uniform and dense layered nanosheet(NS)vertically grows on the substrate,and the MgAl−ASP-LDH films exhibit a three-dimensional(3D)rose-like sheet structure with high ratio of pore *** MgAl−ASP-LDH coating exhibits better corrosion resistance and durability of longtime immersion than ZnAl−ASP-LDH *** corrosion current density of two coatings is two or three orders of magnitude lower than that of bare Mg alloy,indicating that ZnAl/MgAl-LDH films intercalated with organic ASP anions can significantly improve the corrosion resistance of Mg alloy.

关键词： hydrotalcite magnesium alloy aspartic acid corrosion resistance corrosion inhibitor

来源：评论

学校读者我要写书评

暂无评论

Experimental investigation on the double-hole steam jets condensation characteristics 18

Experimental investigation on the double-hole steam jets con...

引用

18th International Topical Meeting on Nuclear Reactor Thermal Hydraulics, NURETH 2019

作者： Zhang, Yuhao Yuan, Yonglong Liu, Lifang Fu, Xiaoliang Feng, Li Wang, Zhongyi Lu, Daogang School of Nuclear Science and Engineering North China Electric Power University No.2 Beinong Road Beijing102206 China Beijing Key Laboratory of Passive Safety Technology for Nuclear Energy North China Electric Power University Beijing102206 China State Power Investment Corporation Research Institute Beijing102209 China National Energy Key Laboratory of Nuclear Power Software Beijing102209 China

In AP1000 plant, the Automatic Depressurization System (ADS) 1-3 stages work to discharge the high-temperature and high-pressure steam from the Reactor Coolant System (RCS) primary side to the large heat sink tank IRWST in LOCA conditions. The key equipment’s specific shape and arrangement lead to the complicate flow and heat transfer characteristics. In the present work, a double-hole steam condensation test section has been built up, and the corresponding double-hole steam jets condensation phenomena are investigated. The experimental results indicate that that new characteristics appear for double-hole nozzle. With the increase of the water temperature, the neighboring steam plumes start to interact with each other. The average heat transfer coefficient is then calculated based on the energy balance relationship. It reveals that the heat transfer coefficient of the double-hole nozzle is closely related to steam mass flux and water temperature. The interaction effects of neighboring steam plumes weaken the heat transfer coefficient of DCC to some extent. © 2019 American Nuclear Society. All rights reserved.

关键词： Heat transfer coefficients

来源：评论

学校读者我要写书评

暂无评论

Face recognition method with feature fusion and error feedback 2

Face recognition method with feature fusion and error feedba...

引用

2019 2nd International Conference on Advanced Materials, Intelligent Manufacturing and Automation, AMIMA 2019

作者： Yeping, Fan Yu, Li Desheng, Yang Tao, Wan Dong, Ma Dian, Jiao Yiting, Cai Mengxian, Chen Anhui Jiyuan Software CO. LTD Hefei Anhui230088 China School of Electric Engineering and Automation Hefei University of Technology Hefei Anhui230009 China State Grid Wenzhou Power Supply Company Wenzhou Zhejiang325000 China

A face recognition method with feature fusion and error feedback is proposed to imitate human cognition process. The intelligent recognition mode with multi-level feedback from global to local and from coarse to fine is implemented. Firstly, based on the idea of feedback control, a multi-level feedback model of face recognition with performance index constraints and supervised learning under finite domain is established. Secondly, based on entropy theory and Stochastic Configuration Networks (SCN), a facial feature space and face image classification network model with multi-feature fusion and sufficient separability under certain feature performance conditions are established from the perspective of information theory. Thirdly, based on entropy theory and error theory, the face recognition error representation and calculation model under certain feature performance conditions is established. Finally, the adjustment index of facial feature performance based on recognition error is constructed, and the face recognition algorithm with feature fusion and error feedback is given out. Test and comparison experiments show that our method is effective and feasible. © Published under licence by IOP Publishing Ltd.

关键词： Face recognition

来源：评论

学校读者我要写书评

暂无评论

A study about software V&V evaluation of safety I&C System in nuclear power plant 1

引用

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

作者： Gu, Peng-Fei Liu, Zhe-Ming Xiong, Wei Chen, Wei-Hua Wang, Sheng-Chao 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 Product Information Committee of China Instrument and Control Society Beijing100080 China

ISBN: (数字)9789811331138

ISBN: (纸本)9789811331121

software verification and validation (V&V) is internationally recognized as an important technology to improve software reliability. The promulgation of new regulations and standards related to nuclear safety software may put forward new and higher requirements, so that existing software V&V technical solutions cannot fully cover the new requirements. There is still a gap between the new requirements of the new regulations, the new standards and the software V&V experience feedback on issues of Generic Design Assessment (GDA) of Office for Nuclear Regulation (ONR). Therefore, relevant research of software V&V is needed so as to meet the new requirements for domestic and international safety reviews. Based on the comparative analysis of the new and old nuclear safety standards, such as Institute of Electrical and Electronic Engineers (IEEE) 1012 and International Atomic Energy Agency (IAEA) ***-39 and ONR review principles, as well as the technical opinion report of European Union (EU) safety software certification, the main technical differences were sorted out to provide technical reference for the establishment of better applicability or the optimization of the nuclear safety I&C system software V&V solution. © 2019, Springer Nature Singapore Pte Ltd.

关键词： software reliability

来源：评论

学校读者我要写书评

暂无评论

Switched-Capacitor Based Seven-Level Triple Voltage Gain Boost Inverter (7L-TVG-BI)

Switched-Capacitor Based Seven-Level Triple Voltage Gain Boo...

引用

International Conference on Computing, power and Communication Technologies (GUCON)

作者： Marif Daula Siddique Saad Mekhilef Mohammad Fazlul Karim Muhyaddin Rawa Rabindranath Shaw Mehdi Seyedmahmoudian Ben Horan Alex Stojcevski Power Electronics and Renewable Energy Research Laboratory University of Malaya Kuala Lumpur Malaysia School of Software and Electrical Engineering Swinburne University of Technology Melbourne Victoria Australia Center of Research Excellence in Renewable Energy and Power Systems King Abdulaziz University Jeddah Saudi Arabia Galgotias University Greater Noida Uttar Pradesh India School of Engineering Deakin University Geelong Victoria Australia

ISBN: (数字)9781728150703

ISBN: (纸本)9781728150710

In the paper, a topology based on switched-capacitor (SC) with seven-level (7L) has been proposed lower count of devices. The proposed boost topology uses 12 switching devices and 2 capacitors to produce a 7L voltage with triple voltage gain (3G). The suggested 7L-TVG-BI topology achieves a high voltage gain as the input voltage can be up to 3 with a reduction of blocking voltage of switches. The assessment with similar state-of-art topologies in terms of device count and voltage parameters are discussed in detail. The performance of the suggested 7L-TVG-BI topology is validated through the simulation and experimental results with multiple real-time operating environments using the fundamental frequency modulation technique.

关键词： Performance evaluation Capacitors Switches High-voltage techniques Inverters Real-time systems Topology

来源：评论

学校读者我要写书评

暂无评论

Application of GA-Optimized ANN on Modeling the Performance of Coiled Adiabatic Capillary Tubes

Application of GA-Optimized ANN on Modeling the Performance ...

引用

IEEE International Conference on software engineering and Service Sciences (ICSESS)

作者： Yuchen Zhou Guobing Zhou School of Software Engineering South China University of Technology Guangzhou Guangdong Province China School of Energy Power and Mechanical Engineering North China Electric Power University Beijing China

ISBN: (数字)9781728109459

ISBN: (纸本)9781728109466

An Artificial Neural Network (ANN) model optimized with Genetic Algorithms (GA) is applied to predict the mass flow rate in coiled adiabatic capillary tubes. Capillary tubes are the key flow control devices in small refrigeration and air conditioning units, which are usually coiled to save space. The flashing flow through coiled capillary tubes is much complex and the physical process is typically non-linear, which needs complicated mathematical model (conservative equations) for precise prediction. A GA-optimized ANN model is thus employed to address this challenging problem, which is valuable for the design of coiled capillary tubes in real applications. The training samples are from the experimental data on a one-pass-through test facility, which provides accurate source datasets. The results show that the predicted mass flow rates with GA-optimized ANN model agree well with the test data with an average error of 2.43%.

关键词： Electron tubes Artificial neural networks Mathematical model Genetic algorithms Predictive models Temperature measurement Data models

来源：评论

学校读者我要写书评

暂无评论

A Reduced Switch Count Boost Inverter (RSC- BI) Topology with Triple Voltage Gain

A Reduced Switch Count Boost Inverter (RSC- BI) Topology wit...

引用

International Conference on power Electronic Drives

作者： Marif Daula Siddique M. Jagabar Sathik N. Sandeep Arpan Hota Dhafer Almakhles Saad Mekhilef Udaykumar R Yaragatti Power Electronics and Renewable Energy Laboratory (PEARL) University of Malaya Malaysia Renewable Energy Lab Prince Sultan University Riyadh Saudi Arabia Malaviya National Institute of Technology Jaipur India Indian Institute of Technology Bombay Mumbai India Renewable Energy Lab College of Engineering Prince Sultan University Riyadh Saudi Arabia School of Software and Electrical Engineering Swinburne University of Technology Melbourne Australia

ISBN: (数字)9781728156729

ISBN: (纸本)9781728156736

For multilevel inverter topologies, the boosting feature is an important aspect for the application related to the low voltage input obtained from solar PV for high voltage application. The proposed RSC-BI aims for the higher voltage gain with lower device count. The proposed RSC-BI uses eight switches with two capacitors for seven-level (7L) waveform having triple voltage gain. In this paper, a detailed comparison has been included along with the simulation and experimental results. All these results and discussion shows the better performance of the proposed RSC-BI.

关键词： Performance evaluation Low voltage Conferences Capacitors High-voltage techniques Multilevel inverters Topology

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：