以LF精炼炉的智能测温需求为背景,运用高温红外图像技术和西门子PLC设计一套智能测温装置,并对装置控制系统进行软硬件设计开发。采用模块化设计方法,利用Visual Studio 2017开发环境下的MFC框架开发了基于视觉的智能测温软件系统,优化...以LF精炼炉的智能测温需求为背景,运用高温红外图像技术和西门子PLC设计一套智能测温装置,并对装置控制系统进行软硬件设计开发。采用模块化设计方法,利用Visual Studio 2017开发环境下的MFC框架开发了基于视觉的智能测温软件系统,优化了精炼过程中的测温工序,同时系统的远程控制与图像可视化大大提高了作业效率,降低了测温成本。测试结果表明,该系统能够满足LF精炼炉智能测温的功能需求,系统运行稳定,人机交互效果良好,可视化程度高,具有很高的实用性,对钢铁冶金行业在LF精炼炉测温环节的自动化和智能化提供了参考。展开更多
Self-adaptive software(SAS)is gaining popularity as it can reconfigure itself in response to the dynamic changes in the operational context or itself.However,early modeling and formal analysis of SAS systems becomes i...Self-adaptive software(SAS)is gaining popularity as it can reconfigure itself in response to the dynamic changes in the operational context or itself.However,early modeling and formal analysis of SAS systems becomes increasingly difficult,as the system scale and complexity is rapidly increasing.To tackle the modeling difficulty of SAS systems,we present a refinement-based modeling and verification approach called Easy Model.Easy Model integrates the intuitive Unified Modeling Language(UML)model with the stepwise refinement Event-B model.Concretely,EasyModel:1)creates a UML profile called AdaptML that provides an explicit description of SAS characteristics,2)proposes a refinement modeling mechanism for SAS systems that can deal with system modeling complexity,3)offers a model transformation approach and bridges the gap between the design model and the formal model of SAS systems,and 4)provides an efficient way to verify and guarantee the correct behaviour of SAS systems.To validate EasyModel,we present an example application and a subject-based experiment.The results demonstrate that EasyModel can effectively reduce the modeling and formal verification difficulty of SAS systems,and can incorporate the intuitive merit of UML and the correct-by-const ruction merit of Event-B.展开更多
We have derived and tested several relations between geoid （N） and quasi-geoid （~） with model validation. The elevation correction consists of the first-term （Bouguer anomaly） and second-term （vertical gradient...We have derived and tested several relations between geoid （N） and quasi-geoid （~） with model validation. The elevation correction consists of the first-term （Bouguer anomaly） and second-term （vertical gradient of gravity anomaly）. The vertical gradient was obtained from direct measurement and terrain calcula- tion. The test results demonstrated that the precision of geoid can reach centimeter-level in mountains less than 5000 meters high.展开更多
In this paper, we propose a software component under Windows that generates pseudo random numbers using RDS （Refined Descriptive Sampling） as required by the simulation. RDS is regarded as the best sampling method a...In this paper, we propose a software component under Windows that generates pseudo random numbers using RDS （Refined Descriptive Sampling） as required by the simulation. RDS is regarded as the best sampling method as shown in the literature. In order to validate the proposed component, its implementation is proposed on approximating integrals. The simulation results from RDS using ＂RDSRnd＂ generator were compared to those obtained using the generator ＂Rnd＂ included in the Pascal programming language under Windows. The best results are given by the proposed software component.展开更多
Software architecture is the highest-level abstraction of a system. It provides a model of the large-scale structural properties of systems. Recently, software architecture has been an important research sub-field of ...Software architecture is the highest-level abstraction of a system. It provides a model of the large-scale structural properties of systems. Recently, software architecture has been an important research sub-field of software engineering. In this paper,our research work focus on refinement methods of software architecture. By studying the several refinement methods for software architectural design,we present a component-based refinement method that refines an architectural design by replacing a component's static semanucs to its dynamic semantics.展开更多
文摘以LF精炼炉的智能测温需求为背景,运用高温红外图像技术和西门子PLC设计一套智能测温装置,并对装置控制系统进行软硬件设计开发。采用模块化设计方法,利用Visual Studio 2017开发环境下的MFC框架开发了基于视觉的智能测温软件系统,优化了精炼过程中的测温工序,同时系统的远程控制与图像可视化大大提高了作业效率,降低了测温成本。测试结果表明,该系统能够满足LF精炼炉智能测温的功能需求,系统运行稳定,人机交互效果良好,可视化程度高,具有很高的实用性,对钢铁冶金行业在LF精炼炉测温环节的自动化和智能化提供了参考。
基金supported by the National Key Research and Development Program of China under Grant No.2017YFC0704100.
文摘Self-adaptive software(SAS)is gaining popularity as it can reconfigure itself in response to the dynamic changes in the operational context or itself.However,early modeling and formal analysis of SAS systems becomes increasingly difficult,as the system scale and complexity is rapidly increasing.To tackle the modeling difficulty of SAS systems,we present a refinement-based modeling and verification approach called Easy Model.Easy Model integrates the intuitive Unified Modeling Language(UML)model with the stepwise refinement Event-B model.Concretely,EasyModel:1)creates a UML profile called AdaptML that provides an explicit description of SAS characteristics,2)proposes a refinement modeling mechanism for SAS systems that can deal with system modeling complexity,3)offers a model transformation approach and bridges the gap between the design model and the formal model of SAS systems,and 4)provides an efficient way to verify and guarantee the correct behaviour of SAS systems.To validate EasyModel,we present an example application and a subject-based experiment.The results demonstrate that EasyModel can effectively reduce the modeling and formal verification difficulty of SAS systems,and can incorporate the intuitive merit of UML and the correct-by-const ruction merit of Event-B.
文摘We have derived and tested several relations between geoid （N） and quasi-geoid （~） with model validation. The elevation correction consists of the first-term （Bouguer anomaly） and second-term （vertical gradient of gravity anomaly）. The vertical gradient was obtained from direct measurement and terrain calcula- tion. The test results demonstrated that the precision of geoid can reach centimeter-level in mountains less than 5000 meters high.
文摘In this paper, we propose a software component under Windows that generates pseudo random numbers using RDS （Refined Descriptive Sampling） as required by the simulation. RDS is regarded as the best sampling method as shown in the literature. In order to validate the proposed component, its implementation is proposed on approximating integrals. The simulation results from RDS using ＂RDSRnd＂ generator were compared to those obtained using the generator ＂Rnd＂ included in the Pascal programming language under Windows. The best results are given by the proposed software component.
文摘Software architecture is the highest-level abstraction of a system. It provides a model of the large-scale structural properties of systems. Recently, software architecture has been an important research sub-field of software engineering. In this paper,our research work focus on refinement methods of software architecture. By studying the several refinement methods for software architectural design,we present a component-based refinement method that refines an architectural design by replacing a component's static semanucs to its dynamic semantics.
