基于构件的软件工程(component based software engineering,简称CBSE)能够有效地提高软件开发的质量和效率.构件组装和组装推导(compositional reasoning)是CBSE的关键技术.基于软件构件的特点,借鉴进程代数中进程构造的方法,提出6种...基于构件的软件工程(component based software engineering,简称CBSE)能够有效地提高软件开发的质量和效率.构件组装和组装推导(compositional reasoning)是CBSE的关键技术.基于软件构件的特点,借鉴进程代数中进程构造的方法,提出6种构件组装机制,能够灵活、简便地集成软件构件,并主张在构件组装的同时进行接口组装,通过生成功能更强、抽象级别更高的复合接口,提高构件组装的抽象级别和粒度.同时,基于Wright的形式化规约软件体系结构的研究,给出了复合构件和复合接口的组装推导算法,为系统行为的形式化分析、验证和仿真奠定了基础.展开更多
As human improve their ability to fabricate materials, alloys have evolved from simple to complex compositions, accordingly improving functions and performances,promoting the advancements of human civilization. In rec...As human improve their ability to fabricate materials, alloys have evolved from simple to complex compositions, accordingly improving functions and performances,promoting the advancements of human civilization. In recent years, high-entropy alloys（HEAs） have attracted tremendous attention in various fields. With multiple principal components, they inherently possess unique microstructures and many impressive properties, such as high strength and hardness, excellent corrosion resistance, thermal stability, fatigue,fracture, and irradiation resistance, in terms of which they overwhelm the traditional alloys. All these properties have endowed HEAs with many promising potential applications.An in-depth understanding of the essence of HEAs is important to further developing numerous HEAs with better properties and performance in the future. In this paper, we review the recent development of HEAs, and summarize their preparation methods, composition design, phase formation and microstructures, various properties, and modeling and simulation calculations. In addition, the future trends and prospects of HEAs are put forward.展开更多
文摘基于构件的软件工程(component based software engineering,简称CBSE)能够有效地提高软件开发的质量和效率.构件组装和组装推导(compositional reasoning)是CBSE的关键技术.基于软件构件的特点,借鉴进程代数中进程构造的方法,提出6种构件组装机制,能够灵活、简便地集成软件构件,并主张在构件组装的同时进行接口组装,通过生成功能更强、抽象级别更高的复合接口,提高构件组装的抽象级别和粒度.同时,基于Wright的形式化规约软件体系结构的研究,给出了复合构件和复合接口的组装推导算法,为系统行为的形式化分析、验证和仿真奠定了基础.
基金supported by the National Natural Science Foundation of China (51471025 and 51671020)
文摘As human improve their ability to fabricate materials, alloys have evolved from simple to complex compositions, accordingly improving functions and performances,promoting the advancements of human civilization. In recent years, high-entropy alloys（HEAs） have attracted tremendous attention in various fields. With multiple principal components, they inherently possess unique microstructures and many impressive properties, such as high strength and hardness, excellent corrosion resistance, thermal stability, fatigue,fracture, and irradiation resistance, in terms of which they overwhelm the traditional alloys. All these properties have endowed HEAs with many promising potential applications.An in-depth understanding of the essence of HEAs is important to further developing numerous HEAs with better properties and performance in the future. In this paper, we review the recent development of HEAs, and summarize their preparation methods, composition design, phase formation and microstructures, various properties, and modeling and simulation calculations. In addition, the future trends and prospects of HEAs are put forward.
