| 1. |
- Ding, Haoming, et al.
(författare)
-
Chemical scissor-mediated structural editing of layered transition metal carbides
- 2023
-
Ingår i: Science. - : AMER ASSOC ADVANCEMENT SCIENCE. - 0036-8075 .- 1095-9203. ; 379:6637, s. 1130-1135
-
Tidskriftsartikel (refereegranskat)abstract
- Intercalated layered materials offer distinctive properties and serve as precursors for important two-dimensional (2D) materials. However, intercalation of non-van der Waals structures, which can expand the family of 2D materials, is difficult. We report a structural editing protocol for layered carbides (MAX phases) and their 2D derivatives (MXenes). Gap-opening and species-intercalating stages were respectively mediated by chemical scissors and intercalants, which created a large family of MAX phases with unconventional elements and structures, as well as MXenes with versatile terminals. The removal of terminals in MXenes with metal scissors and then the stitching of 2D carbide nanosheets with atom intercalation leads to the reconstruction of MAX phases and a family of metal-intercalated 2D carbides, both of which may drive advances in fields ranging from energy to printed electronics.
|
|
| 2. |
- Chen, Jingqi, et al.
(författare)
-
A Semantics Modeling Approach Supporting Property Verification based on Satisfiability Modulo Theories
- 2022
-
Ingår i: Syscon 2022. - : Institute of Electrical and Electronics Engineers (IEEE).
-
Konferensbidrag (refereegranskat)abstract
- Property verification in Model-based systems engineering (MBSE) supports the formalization of model properties and evaluates the constraints of model properties to select an optimal system architecture from alternatives for tradeoff optimization. However, there is a lack of an integrated method that property verification enables to be applied in multi domain specific modeling languages, which is not conductive to the reuse of property verification for different architecture and may increase the learning and use cost. To solve the problem, a semantic approach combining a unified modeling method GOPPRRE modeling method with Satisfiability Modulo Theories (SMT) is proposed to realize property verification. The syntax of the multi-architecture modeling language KARMA based on the GOPPRRE modeling method is extended to realize property verification based on Satisfiability Modulo Theories, which enables the KARMA language to verify the models by evaluating the constraints which are defined based on the model properties. The proposed approach supports the evaluation of property constraints defined by different modeling languages for trade-off optimization in a unified language. The approach is evaluated by a case of optimizing the matching between workers and processes in a multi-architecture modeling tool MetaGraph which is developed based on KARMA. From the result, such approach enables to evaluate constraints consisting of properties and select an optimal scheme from the alternatives.
|
|
| 3. |
|
|
