cometadata/datacite-titles-descriptions-related-identifiers huggingface dataset:
DOI: 10.17188/1756939
title: Materials Data on PtBr3N2 by Materials Project

description: PtN2Br3 crystallizes in the orthorhombic Fddd space group. The structure is one-dimensional and consists of eight PtN2Br3 ribbons oriented in the (1, 0, 0) direction. there are two inequivalent Pt5+ sites. In the first Pt5+ site, Pt5+ is bonded in a distorted linear geometry to two equivalent N1- and four Br1- atoms. Both Pt–N bond lengths are 1.81 Å. There are two shorter (2.52 Å) and two longer (3.02 Å) Pt–Br bond lengths. In the second Pt5+ site, Pt5+ is bonded in a distorted octahedral geometry to two equivalent N1- and four Br1- atoms. Both Pt–N bond lengths are 1.84 Å. There are two shorter (2.55 Å) and two longer (2.57 Å) Pt–Br bond lengths. There are two inequivalent N1- sites. In the first N1- site, N1- is bonded in a single-bond geometry to one Pt5+ atom. In the second N1- site, N1- is bonded in a single-bond geometry to one Pt5+ atom. There are three inequivalent Br1- sites. In the first Br1- site, Br1- is bonded in a single-bond geometry to one Pt5+ atom. In the second Br1- site, Br1- is bonded in a single-bond geometry to one Pt5+ atom. In the third Br1- site, Br1- is bonded in a distorted linear geometry to two Pt5+ atoms. The Br–Pt bond length is 2.57 Å.
DOI: 10.17188/1756940
title: Materials Data on LuBiPd2 by Materials Project

description: LuPd2Bi is Heusler structured and crystallizes in the cubic Fm-3m space group. The structure is three-dimensional. Lu is bonded in a body-centered cubic geometry to eight equivalent Pd and six equivalent Bi atoms. All Lu–Pd bond lengths are 2.98 Å. All Lu–Bi bond lengths are 3.44 Å. Pd is bonded in a body-centered cubic geometry to four equivalent Lu and four equivalent Bi atoms. All Pd–Bi bond lengths are 2.98 Å. Bi is bonded in a distorted body-centered cubic geometry to six equivalent Lu and eight equivalent Pd atoms.
DOI: 10.17188/1756941
title: Materials Data on B12Pb6O25 by Materials Project

description: B12Pb6O25 crystallizes in the trigonal R-3m space group. The structure is three-dimensional. there are two inequivalent B3+ sites. In the first B3+ site, B3+ is bonded to four O2- atoms to form corner-sharing BO4 tetrahedra. There is two shorter (1.49 Å) and two longer (1.50 Å) B–O bond length. In the second B3+ site, B3+ is bonded in a trigonal planar geometry to three O2- atoms. All B–O bond lengths are 1.38 Å. Pb+2.33+ is bonded in a 3-coordinate geometry to three O2- atoms. There are two shorter (2.34 Å) and one longer (2.36 Å) Pb–O bond lengths. There are four inequivalent O2- sites. In the first O2- site, O2- is bonded in a distorted bent 120 degrees geometry to two equivalent B3+, one Pb+2.33+, and one O2- atom. The O–O bond length is 2.29 Å. In the second O2- site, O2- is bonded in a 1-coordinate geometry to one B3+ and two equivalent Pb+2.33+ atoms. In the third O2- site, O2- is bonded in a distorted hexagonal planar geometry to six equivalent O2- atoms. In the fourth O2- site, O2- is bonded in a bent 120 degrees geometry to two B3+ atoms.
DOI: 10.17188/1756942
title: Materials Data on LiEu3 by Materials Project

description: LiEu3 is beta Cu3Ti-like structured and crystallizes in the hexagonal P6_3/mmc space group. The structure is three-dimensional. Li is bonded to twelve equivalent Eu atoms to form LiEu12 cuboctahedra that share corners with six equivalent LiEu12 cuboctahedra, corners with twelve equivalent EuLi4Eu8 cuboctahedra, edges with eighteen equivalent EuLi4Eu8 cuboctahedra, faces with eight equivalent LiEu12 cuboctahedra, and faces with twelve equivalent EuLi4Eu8 cuboctahedra. There are six shorter (3.79 Å) and six longer (3.80 Å) Li–Eu bond lengths. Eu is bonded to four equivalent Li and eight equivalent Eu atoms to form EuLi4Eu8 cuboctahedra that share corners with four equivalent LiEu12 cuboctahedra, corners with fourteen equivalent EuLi4Eu8 cuboctahedra, edges with six equivalent LiEu12 cuboctahedra, edges with twelve equivalent EuLi4Eu8 cuboctahedra, faces with four equivalent LiEu12 cuboctahedra, and faces with sixteen equivalent EuLi4Eu8 cuboctahedra. There are a spread of Eu–Eu bond distances ranging from 3.74–3.86 Å.
DOI: 10.17188/1756943
title: Materials Data on Dy7(TePt)2 by Materials Project

description: Dy7(PtTe)2 crystallizes in the orthorhombic Imm2 space group. The structure is three-dimensional. there are four inequivalent Dy sites. In the first Dy site, Dy is bonded in a 5-coordinate geometry to two equivalent Pt and three Te atoms. Both Dy–Pt bond lengths are 2.88 Å. There are one shorter (3.13 Å) and two longer (3.21 Å) Dy–Te bond lengths. In the second Dy site, Dy is bonded in a 4-coordinate geometry to three equivalent Pt and one Te atom. There are two shorter (2.87 Å) and one longer (3.18 Å) Dy–Pt bond lengths. The Dy–Te bond length is 3.19 Å. In the third Dy site, Dy is bonded in a 4-coordinate geometry to two equivalent Pt and two equivalent Te atoms. Both Dy–Pt bond lengths are 2.91 Å. Both Dy–Te bond lengths are 3.17 Å. In the fourth Dy site, Dy is bonded in a 3-coordinate geometry to three Te atoms. There are two shorter (3.21 Å) and one longer (3.26 Å) Dy–Te bond lengths. Pt is bonded in a 7-coordinate geometry to seven Dy atoms. There are two inequivalent Te sites. In the first Te site, Te is bonded in a 8-coordinate geometry to eight Dy atoms. In the second Te site, Te is bonded in a 7-coordinate geometry to seven Dy atoms.
DOI: 10.17188/1756944
title: Materials Data on PuB12 by Materials Project

description: PuB12 crystallizes in the cubic Fm-3m space group. The structure is three-dimensional. Pu6+ is bonded in a 1-coordinate geometry to twenty-four equivalent B+0.50- atoms. All Pu–B bond lengths are 2.78 Å. B+0.50- is bonded in a 7-coordinate geometry to two equivalent Pu6+ and five equivalent B+0.50- atoms. There is one shorter (1.71 Å) and four longer (1.79 Å) B–B bond length.
DOI: 10.17188/1756946
title: Materials Data on RbFe3O5 by Materials Project

description: Computed materials data using density functional theory calculations. These calculations determine the electronic structure of bulk materials by solving approximations to the Schrodinger equation. For more information, see https://materialsproject.org/docs/calculations
DOI: 10.17188/1756947
title: Materials Data on CsSi2N3 by Materials Project

description: Computed materials data using density functional theory calculations. These calculations determine the electronic structure of bulk materials by solving approximations to the Schrodinger equation. For more information, see https://materialsproject.org/docs/calculations
DOI: 10.17188/1756948
title: Materials Data on TiNbO4 by Materials Project

description: TiNbO4 is beta Vanadium nitride-derived structured and crystallizes in the orthorhombic Cmmm space group. The structure is three-dimensional. Ti4+ is bonded to six O2- atoms to form TiO6 octahedra that share corners with eight equivalent NbO6 octahedra and edges with two equivalent TiO6 octahedra. The corner-sharing octahedra tilt angles range from 46–49°. There is four shorter (1.99 Å) and two longer (2.00 Å) Ti–O bond length. Nb4+ is bonded to six O2- atoms to form NbO6 octahedra that share corners with eight equivalent TiO6 octahedra and edges with two equivalent NbO6 octahedra. The corner-sharing octahedra tilt angles range from 46–49°. There are two shorter (2.04 Å) and four longer (2.07 Å) Nb–O bond lengths. There are two inequivalent O2- sites. In the first O2- site, O2- is bonded in a distorted T-shaped geometry to one Ti4+ and two equivalent Nb4+ atoms. In the second O2- site, O2- is bonded in a distorted trigonal planar geometry to two equivalent Ti4+ and one Nb4+ atom.
DOI: 10.17188/1756949
title: Materials Data on Ho2O3 by Materials Project

description: Ho2O3 crystallizes in the tetragonal P-4m2 space group. The structure is three-dimensional. Ho3+ is bonded in a 6-coordinate geometry to six O2- atoms. There are four shorter (2.21 Å) and two longer (2.47 Å) Ho–O bond lengths. There are three inequivalent O2- sites. In the first O2- site, O2- is bonded to four equivalent Ho3+ atoms to form a mixture of edge and corner-sharing OHo4 tetrahedra. In the second O2- site, O2- is bonded to four equivalent Ho3+ atoms to form a mixture of edge and corner-sharing OHo4 tetrahedra. In the third O2- site, O2- is bonded to four equivalent Ho3+ atoms to form a mixture of edge and corner-sharing OHo4 tetrahedra.
DOI: 10.17188/1756950
title: Materials Data on Ca3Mn by Materials Project

description: Ca3Mn is alpha bismuth trifluoride structured and crystallizes in the trigonal R-3m space group. The structure is three-dimensional. there are two inequivalent Ca sites. In the first Ca site, Ca is bonded to four equivalent Ca and four equivalent Mn atoms to form a mixture of distorted edge, face, and corner-sharing CaCa4Mn4 tetrahedra. There are one shorter (3.45 Å) and three longer (3.47 Å) Ca–Ca bond lengths. There are one shorter (3.45 Å) and three longer (3.47 Å) Ca–Mn bond lengths. In the second Ca site, Ca is bonded in a distorted body-centered cubic geometry to eight equivalent Ca atoms. Mn is bonded in a body-centered cubic geometry to eight equivalent Ca atoms.
DOI: 10.17188/1756952
title: Materials Data on CaYbGa2 by Materials Project

description: CaYbGa2 is Heusler structured and crystallizes in the cubic Fm-3m space group. The structure is three-dimensional. Ca is bonded in a body-centered cubic geometry to eight equivalent Ga atoms. All Ca–Ga bond lengths are 3.16 Å. Yb is bonded in a body-centered cubic geometry to eight equivalent Ga atoms. All Yb–Ga bond lengths are 3.16 Å. Ga is bonded in a body-centered cubic geometry to four equivalent Ca and four equivalent Yb atoms.
DOI: 10.17188/1756953
title: Materials Data on Rb2NbAuF6 by Materials Project

description: Computed materials data using density functional theory calculations. These calculations determine the electronic structure of bulk materials by solving approximations to the Schrodinger equation. For more information, see https://materialsproject.org/docs/calculations
DOI: 10.17188/1756954
title: Materials Data on Li3FePO5 by Materials Project

description: Computed materials data using density functional theory calculations. These calculations determine the electronic structure of bulk materials by solving approximations to the Schrodinger equation. For more information, see https://materialsproject.org/docs/calculations
DOI: 10.17188/1756955
title: Materials Data on PrMnCoGe2 by Materials Project

description: PrMnCoGe2 crystallizes in the tetragonal I-4m2 space group. The structure is three-dimensional. Pr is bonded in a 8-coordinate geometry to four equivalent Mn, four equivalent Co, and eight equivalent Ge atoms. All Pr–Mn bond lengths are 3.34 Å. All Pr–Co bond lengths are 3.34 Å. All Pr–Ge bond lengths are 3.17 Å. Mn is bonded to four equivalent Pr, four equivalent Co, and four equivalent Ge atoms to form distorted MnPr4Co4Ge4 tetrahedra that share corners with four equivalent CoPr4Mn4Ge4 cuboctahedra, corners with twelve equivalent MnPr4Co4Ge4 tetrahedra, edges with two equivalent CoPr4Mn4Ge4 cuboctahedra, faces with four equivalent CoPr4Mn4Ge4 cuboctahedra, and faces with four equivalent MnPr4Co4Ge4 tetrahedra. All Mn–Co bond lengths are 2.88 Å. All Mn–Ge bond lengths are 2.43 Å. Co is bonded to four equivalent Pr, four equivalent Mn, and four equivalent Ge atoms to form distorted CoPr4Mn4Ge4 cuboctahedra that share corners with twelve equivalent CoPr4Mn4Ge4 cuboctahedra, corners with four equivalent MnPr4Co4Ge4 tetrahedra, edges with two equivalent MnPr4Co4Ge4 tetrahedra, faces with four equivalent CoPr4Mn4Ge4 cuboctahedra, and faces with four equivalent MnPr4Co4Ge4 tetrahedra. All Co–Ge bond lengths are 2.43 Å. Ge is bonded in a 9-coordinate geometry to four equivalent Pr, two equivalent Mn, two equivalent Co, and one Ge atom. The Ge–Ge bond length is 2.65 Å.
DOI: 10.17188/1756956
title: Materials Data on Nd3Y by Materials Project

description: Nd3Y is beta Cu3Ti-like structured and crystallizes in the hexagonal P6_3/mmc space group. The structure is three-dimensional. Nd is bonded to eight equivalent Nd and four equivalent Y atoms to form NdNd8Y4 cuboctahedra that share corners with four equivalent YNd12 cuboctahedra, corners with fourteen equivalent NdNd8Y4 cuboctahedra, edges with six equivalent YNd12 cuboctahedra, edges with twelve equivalent NdNd8Y4 cuboctahedra, faces with four equivalent YNd12 cuboctahedra, and faces with sixteen equivalent NdNd8Y4 cuboctahedra. There are six shorter (3.68 Å) and two longer (3.70 Å) Nd–Nd bond lengths. There are two shorter (3.67 Å) and two longer (3.69 Å) Nd–Y bond lengths. Y is bonded to twelve equivalent Nd atoms to form YNd12 cuboctahedra that share corners with six equivalent YNd12 cuboctahedra, corners with twelve equivalent NdNd8Y4 cuboctahedra, edges with eighteen equivalent NdNd8Y4 cuboctahedra, faces with eight equivalent YNd12 cuboctahedra, and faces with twelve equivalent NdNd8Y4 cuboctahedra.
DOI: 10.17188/1756957
title: Materials Data on Nd3(Al3Ru)4 by Materials Project

description: Nd3Ru4Al12 crystallizes in the hexagonal P6_3/mmc space group. The structure is three-dimensional. Nd is bonded in a 1-coordinate geometry to four equivalent Ru and eleven Al atoms. All Nd–Ru bond lengths are 3.40 Å. There are a spread of Nd–Al bond distances ranging from 2.96–3.23 Å. There are two inequivalent Ru sites. In the first Ru site, Ru is bonded in a body-centered cubic geometry to eight Al atoms. There are two shorter (2.42 Å) and six longer (2.60 Å) Ru–Al bond lengths. In the second Ru site, Ru is bonded in a 12-coordinate geometry to four equivalent Nd and eight Al atoms. There are a spread of Ru–Al bond distances ranging from 2.57–2.70 Å. There are four inequivalent Al sites. In the first Al site, Al is bonded in a distorted trigonal planar geometry to three equivalent Nd and three equivalent Ru atoms. In the second Al site, Al is bonded in a 3-coordinate geometry to three equivalent Nd and three Ru atoms. In the third Al site, Al is bonded in a 2-coordinate geometry to two equivalent Nd and two equivalent Ru atoms. In the fourth Al site, Al is bonded to three equivalent Nd and two equivalent Ru atoms to form distorted corner-sharing AlNd3Ru2 trigonal bipyramids.
DOI: 10.17188/1756958
title: Materials Data on NiSn3(PO4)4 by Materials Project

description: Computed materials data using density functional theory calculations. These calculations determine the electronic structure of bulk materials by solving approximations to the Schrodinger equation. For more information, see https://materialsproject.org/docs/calculations
DOI: 10.17188/1756959
title: Materials Data on MnCdTe2 by Materials Project

description: MnCdTe2 is Chalcopyrite structured and crystallizes in the tetragonal I-42d space group. The structure is three-dimensional. Mn2+ is bonded to four equivalent Te2- atoms to form MnTe4 tetrahedra that share corners with four equivalent MnTe4 tetrahedra and corners with eight equivalent CdTe4 tetrahedra. All Mn–Te bond lengths are 2.49 Å. Cd2+ is bonded to four equivalent Te2- atoms to form CdTe4 tetrahedra that share corners with four equivalent CdTe4 tetrahedra and corners with eight equivalent MnTe4 tetrahedra. All Cd–Te bond lengths are 2.91 Å. Te2- is bonded to two equivalent Mn2+ and two equivalent Cd2+ atoms to form corner-sharing TeMn2Cd2 tetrahedra.
DOI: 10.17188/1756960
title: Materials Data on UAlFe by Materials Project

description: UFeAl is Frank-Kasper $\mu$ Phase-derived structured and crystallizes in the orthorhombic Amm2 space group. The structure is three-dimensional. there are two inequivalent U sites. In the first U site, U is bonded in a 7-coordinate geometry to four U, seven Fe, and five Al atoms. There are a spread of U–U bond distances ranging from 2.80–3.22 Å. There are a spread of U–Fe bond distances ranging from 2.90–3.08 Å. There are a spread of U–Al bond distances ranging from 3.02–3.18 Å. In the second U site, U is bonded in a 5-coordinate geometry to three equivalent U, five Fe, and seven Al atoms. There are a spread of U–Fe bond distances ranging from 2.74–3.02 Å. There are a spread of U–Al bond distances ranging from 2.96–3.24 Å. There are two inequivalent Fe sites. In the first Fe site, Fe is bonded to six U, two equivalent Fe, and four Al atoms to form distorted FeU6Al4Fe2 cuboctahedra that share corners with four equivalent FeU6Al2Fe4 cuboctahedra, corners with eight AlU6Fe6 cuboctahedra, edges with six equivalent FeU6Al4Fe2 cuboctahedra, faces with eight FeU6Al4Fe2 cuboctahedra, and faces with twelve AlU6Fe6 cuboctahedra. Both Fe–Fe bond lengths are 2.67 Å. There are a spread of Fe–Al bond distances ranging from 2.49–2.58 Å. In the second Fe site, Fe is bonded to six U, four Fe, and two equivalent Al atoms to form distorted FeU6Al2Fe4 cuboctahedra that share corners with eight FeU6Al4Fe2 cuboctahedra, corners with ten AlU6Al4Fe2 cuboctahedra, edges with two equivalent FeU6Al2Fe4 cuboctahedra, edges with four equivalent AlU6Al4Fe2 cuboctahedra, faces with eight AlU6Fe6 cuboctahedra, and faces with ten FeU6Al4Fe2 cuboctahedra. There are one shorter (2.58 Å) and one longer (2.64 Å) Fe–Fe bond lengths. There are one shorter (2.49 Å) and one longer (2.58 Å) Fe–Al bond lengths. There are three inequivalent Al sites. In the first Al site, Al is bonded to six U and six Fe atoms to form distorted AlU6Fe6 cuboctahedra that share corners with four equivalent FeU6Al4Fe2 cuboctahedra, corners with fourteen AlU6Fe6 cuboctahedra, edges with six AlU6Fe6 cuboctahedra, faces with four equivalent AlU6Al4Fe2 cuboctahedra, and faces with fourteen FeU6Al4Fe2 cuboctahedra. In the second Al site, Al is bonded to six U, two equivalent Fe, and four Al atoms to form distorted AlU6Al4Fe2 cuboctahedra that share corners with eight AlU6Fe6 cuboctahedra, corners with ten FeU6Al4Fe2 cuboctahedra, edges with two equivalent AlU6Al4Fe2 cuboctahedra, edges with four equivalent FeU6Al2Fe4 cuboctahedra, faces with eight FeU6Al4Fe2 cuboctahedra, and faces with ten AlU6Fe6 cuboctahedra. There are a spread of Al–Al bond distances ranging from 2.53–2.65 Å. In the third Al site, Al is bonded to six U, two equivalent Fe, and four equivalent Al atoms to form distorted AlU6Al4Fe2 cuboctahedra that share corners with six AlU6Fe6 cuboctahedra, corners with twelve FeU6Al4Fe2 cuboctahedra, edges with six AlU6Fe6 cuboctahedra, faces with eight equivalent AlU6Al4Fe2 cuboctahedra, and faces with ten FeU6Al4Fe2 cuboctahedra.
DOI: 10.17188/1756961
title: Materials Data on Ca3Ni2H8C10(S4O13)2 by Materials Project

description: Computed materials data using density functional theory calculations. These calculations determine the electronic structure of bulk materials by solving approximations to the Schrodinger equation. For more information, see https://materialsproject.org/docs/calculations
DOI: 10.17188/1756963
title: Materials Data on TaMnO4 by Materials Project

description: Computed materials data using density functional theory calculations. These calculations determine the electronic structure of bulk materials by solving approximations to the Schrodinger equation. For more information, see https://materialsproject.org/docs/calculations
DOI: 10.17188/1756964
title: Materials Data on Li6SN4 by Materials Project

description: Computed materials data using density functional theory calculations. These calculations determine the electronic structure of bulk materials by solving approximations to the Schrodinger equation. For more information, see https://materialsproject.org/docs/calculations
DOI: 10.17188/1756965
title: Materials Data on Sb2Cl7F3 by Materials Project

description: Sb2Cl7F3 crystallizes in the monoclinic C2 space group. The structure is zero-dimensional and consists of two Sb2Cl7F3 clusters. there are two inequivalent Sb5+ sites. In the first Sb5+ site, Sb5+ is bonded to three Cl1- and three F1- atoms to form distorted corner-sharing SbCl3F3 octahedra. The corner-sharing octahedral tilt angles are 12°. There are one shorter (2.32 Å) and two longer (2.33 Å) Sb–Cl bond lengths. There are a spread of Sb–F bond distances ranging from 1.91–2.11 Å. In the second Sb5+ site, Sb5+ is bonded to four Cl1- and two F1- atoms to form corner-sharing SbCl4F2 octahedra. The corner-sharing octahedral tilt angles are 12°. All Sb–Cl bond lengths are 2.33 Å. There are one shorter (2.16 Å) and one longer (2.18 Å) Sb–F bond lengths. There are seven inequivalent Cl1- sites. In the first Cl1- site, Cl1- is bonded in a single-bond geometry to one Sb5+ atom. In the second Cl1- site, Cl1- is bonded in a distorted single-bond geometry to one Sb5+ atom. In the third Cl1- site, Cl1- is bonded in a distorted single-bond geometry to one Sb5+ atom. In the fourth Cl1- site, Cl1- is bonded in a single-bond geometry to one Sb5+ atom. In the fifth Cl1- site, Cl1- is bonded in a single-bond geometry to one Sb5+ atom. In the sixth Cl1- site, Cl1- is bonded in a single-bond geometry to one Sb5+ atom. In the seventh Cl1- site, Cl1- is bonded in a single-bond geometry to one Sb5+ atom. There are three inequivalent F1- sites. In the first F1- site, F1- is bonded in a distorted linear geometry to two Sb5+ atoms. In the second F1- site, F1- is bonded in a single-bond geometry to one Sb5+ atom. In the third F1- site, F1- is bonded in a distorted linear geometry to two Sb5+ atoms.
DOI: 10.14457/cu.the.2018.298
title: การทวนสอบเชิงรูปนัยของการออกแบบบีพีเอ็มเอ็นโดยใช้โมเดลเช็คกิง

description: การทวนสอบโมเดลบีพีเอ็มเอ็นด้วยวิธีโมเดลเช็คกิงเป็นวิธีการหนึ่งที่ช่วยให้มั่นใจว่าโมเดลบีพีเอ็มเอ็นที่ออกแบบปราศจากปัญหาติดตายและปราศจากคุณสมบัติที่ไม่พึงประสงค์ที่เป็นสาเหตุโมเดลไม่ตรงตามความต้องการหรือส่งผลให้ระบบหยุดทำงาน คุณสมบัติของโมเดลบีพีเอ็มเอ็นที่จำเป็นต้องทวนสอบได้แก่ คุณสมบัติความปลอดภัยและคุณสมบัติความสมบูรณ์ ขั้นตอนการทวนสอบด้วยวิธีโมเดลเช็คกิงค่อนข้างซับซ้อนเพราะเกี่ยวข้องกับภาษารูปนัยที่ใช้อธิบายโมเดลเชิงนามธรรมและการใช้เครื่องมือทวนสอบ รวมถึงอาจต้องใช้เทคนิคเฉพาะเพื่อจัดการโมเดลบีพีเอ็มเอ็นที่มีขนาดใหญ่ที่เป็นสาเหตุของปัญหาการระเบิดของปริภูมิสถานะ การสร้างโมเดลนามธรรมโดยอัตโนมัติช่วยลดความผิดพลาดและเวลาที่ใช้ในการสร้างโมเดล สามารถจัดการโมเดลที่มีขนาดใหญ่และปัญหาการระเบิดของปริภูมิสถานะได้ งานวิจัยนี้เสนอเทคนิคการทวนสอบคุณสมบัติความปลอดภัย คุณสมบัติความสมบูรณ์ของโมเดลบีพีเอ็มเอ็นด้วยวิธีโมเดลเช็คกิง คัลเลอร์เพทริเน็ตหรือซีพีเอ็นถูกนำมาใช้อธิบายโมเดลนามธรรม เทคนิคการแบ่งโมเดลออกเป็นโมเดลย่อยและการจัดโครงสร้างโมเดลแบบมีลำดับชั้นถูกนำมาใช้เพื่อหลีกเลี่ยงปัญหาการระเบิดของปริภูมิสถานะ กรอบงานได้ถูกพัฒนาขึ้นเพื่อใช้แปลงโมเดลบีพีเอ็มเอ็นเป็นโมเดลซีพีเอ็นและมีตัวสร้างและค้นปริภูมิสถานะจากโมเดลซีพีเอ็น ซึ่งกรอบงานเป็นตัวเลือกที่มีประโยชน์สำหรับนักออกแบบกระบวนการซอฟต์แวร์ที่ต้องการทวนสอบโมเดลบีพีเอ็มเอ็นที่มีขนาดใหญ่
DOI: 10.5519/qd.q0by4nvc
title: Query on the Natural History Museum Data Portal (data.nhm.ac.uk) (1 records)
DOI: 10.17188/1756966
title: Materials Data on K2RbHoV2O8 by Materials Project

description: RbK2HoV2O8 crystallizes in the trigonal P-3m1 space group. The structure is three-dimensional. Rb1+ is bonded to twelve O2- atoms to form RbO12 cuboctahedra that share edges with six equivalent RbO12 cuboctahedra, edges with six equivalent VO4 tetrahedra, and faces with two equivalent HoO6 octahedra. There are six shorter (3.15 Å) and six longer (3.48 Å) Rb–O bond lengths. K1+ is bonded in a 1-coordinate geometry to ten O2- atoms. There are a spread of K–O bond distances ranging from 2.60–3.35 Å. Ho3+ is bonded to six equivalent O2- atoms to form HoO6 octahedra that share corners with six equivalent VO4 tetrahedra and faces with two equivalent RbO12 cuboctahedra. All Ho–O bond lengths are 2.25 Å. V5+ is bonded to four O2- atoms to form VO4 tetrahedra that share corners with three equivalent HoO6 octahedra and edges with three equivalent RbO12 cuboctahedra. The corner-sharing octahedral tilt angles are 16°. There is one shorter (1.69 Å) and three longer (1.77 Å) V–O bond length. There are two inequivalent O2- sites. In the first O2- site, O2- is bonded in a distorted linear geometry to three equivalent Rb1+, one K1+, and one V5+ atom. In the second O2- site, O2- is bonded in a 2-coordinate geometry to one Rb1+, three equivalent K1+, one Ho3+, and one V5+ atom.