NSTL国家科技图书文献中心

1. An ILASP-Based Approach to Repair Petri Nets NSTL国家科技图书文献中心

Francesco Chiariello | Antonio Ielo ... - 《Logic Programming and Nonmonotonic Reasoning》 - International Conference on Logic Programming and Nonmonotonic Reasoning - 2025, - 85～97 - 共13页

摘要： this context, model* repair is the task of aligning a* | . Current solutions to model* repair do not allow for* | process model* with actual executions of the process* | Petri nets are a class of models of | computation used to compactly represent discrete event

关键词： Petri nets | Process mining | Model repair | Answer set programming | Inductive logic programming

2. Resilience-Based Restoration Model for Optimizing Corrosion Repair Strategies in Tunnel Lining NSTL国家科技图书文献中心

Zhang Q. | Nie Y.... - 《Reliability engineering & system safety》 - 2025,253(Jan.) - 1.1～1.13 - 共13页 - 被引量：1

摘要： selecting effective repair* strategies is of paramount* | restoration model* to analyze tunnel failure due to corrosion* | selection of maintenance strategies. The model* generates* | the optimal strategy. By exemplifying the model* with* | © 2024In tunnel engineering, the corrosion of

关键词： Corrosion | Maintenance timing | Resilience | Strategy | Tunnel maintenance

3. Data-aware process models: From soundness checking to repair NSTL国家科技图书文献中心

Zavatteri M. | Bresolin D.... - 《Data & knowledge engineering》 - 2025,155(Jan.) - 1.1～1.25 - 共25页

摘要： repair the process model to ensure soundness, ignoring | rely on a model* that prescribes which executions are* | allowed. As a result, the model* needs to be sound for* | forward a technique to repair* the data perspective of* | © 2024 Elsevier B.V.Process-aware Information

关键词： Business process | Data petri net | Model repair | Soundness

4. Design and evaluation of a novel variable-length stepped scarf repair technique using a cohesive damage model NSTL国家科技图书文献中心

Damghani, Mahdi | Egerton, George ... - 《International Journal of Adhesion & Adhesives》 - 2025,136 - 共22页

摘要： Variable Length Stepped Scarf (VLSS) repair* scheme for* | 2D Finite Element Model* (FEM) is used to design the* | VLSS repair, predict failure loads and modes, and | model adhesive cohesion and delamination. The model | incorporates a validated progressive damage model, general

关键词： Composite repair | Stepped scarf joint | Finite element analysis | Cohesive zone modelling

5. Self-gripping versus polypropylene mesh for incisional hernia repair in a rat model NSTL国家科技图书文献中心

Wang, Dianchen | Shang, Tengfei ... - 《Surgical Endoscopy》 - 2025,39(3) - 1858～1866 - 共9页

摘要： repair, whereas cytological change and collagen | and polypropylene mesh in rat model* of incisional* | polypropylene mesh in a rat model. Registration number: ZZU | BackgroundSelf-gripping mesh, made of | monofilament polypropylene and covered by a layer of

关键词： Incisional hernia | Self-gripping mesh | Polypropylene mesh | Collagen

6. Thyroxine (T3)-mediated regulation of early cardiac repair in a chemical-induced hypoxia/reoxygenation model of adult zebrafish ( Danio rerio ) NSTL国家科技图书文献中心

Banerjee, Kalyan | Mandal, Subhadeep ... - 《Wound repair and regeneration》 - 2025,33(1) - e13244～e13244 - 共22页

摘要：) represent a natural model to study cardiac injury, repair | repair or regeneration are one of the major health | cardiac repair* are still obscure. In this study, cardiac* | regeneration during the initial repair* phase (7 days) of H/R* | that presents a holistic picture of cardiac repair

关键词： cardiac repair | chemical-induced hypoxia | hypoxia/reoxygenation | regeneration | thyroxine | transcriptomics | chemical‐induced hypoxia

7. Establishment of a Predictive Model for Seroma Formation After TAPP Repair for Unilateral Indirect Inguinal Hernia in Males NSTL国家科技图书文献中心

Peng, Xue-Feng | Yu, Miao ... - 《The American surgeon.》 - 2025,91(3) - 351～360 - 共10页

摘要：Background: Inguinal hernia repair | preperitoneal (TAPP) repair. We divided the patients into a | , indicating good model* fits (P > 0.05). DCA confirmed* | significant clinical applicability of the model. Conclusion | after TAPP repair. Clinical consideration of these

关键词： inguinal hernia | laparoscopy | transabdominal preperitoneal | seroma | risk factors

8. Repairing Event-B Models Through Quantifier Elimination NSTL国家科技图书文献中心

Tsutomu Kobayashi | Fuyuki Ishikawa - 《Formal Methods and Software Engineering》 - International Conference on Formal Engineering Methods - 2025, - 18～36 - 共19页

摘要： the "verify-and-repair" exploration in which | -preserving if we add it to the model. Our method | model. Then, our method obtains a predicate that | The process of formal modelling often involves | modellers find necessary constraints missing after they

关键词： Event-B | Model repair | Theorem proving | Quantifier elimination

9. A Data Model of a Data Lineage Management System for Database Repair and Simulation NSTL国家科技图书文献中心

Wei Jun Wong | Kyoko Yasuda ... - 《Information Integration and Web Intelligence,Part II》 - International Conference on Information Integration and Web Intelligence - 2025, - 243～248 - 共6页

摘要：In this paper, we propose a new data model | for machine learning models. Our data model* for* | graph model, and supports not only machine learning | that uses data lineage, which represents | relationships between data and their histories, for the

关键词： Data lineage | Data management | Property graph model

10. Simulation of thoracic endovascular aortic repair in a perfused patient-specific model of type B aortic dissection NSTL国家科技图书文献中心

Lukas,Mohl | Roger,Karl ... - 《International journal of computer assisted radiology and surgery.》 - 2025,20(2) - 391～404 - 共14页

摘要： treatment through thoracic endovascular aortic repair | branching vessels. The model* was segmented from CTA images* | Abstract Purpose Complicated type B Aortic | dissection is a severe aortic pathology that requires | (TEVAR). During TEVAR a stentgraft is deployed in the

摘要： this context, model* repair is the task of aligning a* | . Current solutions to model* repair do not allow for* | process model* with actual executions of the process* | Petri nets are a class of models of | computation used to compactly represent discrete event

关键词： Petri nets | Process mining | Model repair | Answer set programming | Inductive logic programming

摘要： selecting effective repair* strategies is of paramount* | restoration model* to analyze tunnel failure due to corrosion* | selection of maintenance strategies. The model* generates* | the optimal strategy. By exemplifying the model* with* | © 2024In tunnel engineering, the corrosion of

关键词： Corrosion | Maintenance timing | Resilience | Strategy | Tunnel maintenance

摘要： repair the process model to ensure soundness, ignoring | rely on a model* that prescribes which executions are* | allowed. As a result, the model* needs to be sound for* | forward a technique to repair* the data perspective of* | © 2024 Elsevier B.V.Process-aware Information

关键词： Business process | Data petri net | Model repair | Soundness

摘要： Variable Length Stepped Scarf (VLSS) repair* scheme for* | 2D Finite Element Model* (FEM) is used to design the* | VLSS repair, predict failure loads and modes, and | model adhesive cohesion and delamination. The model | incorporates a validated progressive damage model, general

关键词： Composite repair | Stepped scarf joint | Finite element analysis | Cohesive zone modelling

摘要： repair, whereas cytological change and collagen | and polypropylene mesh in rat model* of incisional* | polypropylene mesh in a rat model. Registration number: ZZU | BackgroundSelf-gripping mesh, made of | monofilament polypropylene and covered by a layer of

关键词： Incisional hernia | Self-gripping mesh | Polypropylene mesh | Collagen

摘要：) represent a natural model to study cardiac injury, repair | repair or regeneration are one of the major health | cardiac repair* are still obscure. In this study, cardiac* | regeneration during the initial repair* phase (7 days) of H/R* | that presents a holistic picture of cardiac repair

关键词： cardiac repair | chemical-induced hypoxia | hypoxia/reoxygenation | regeneration | thyroxine | transcriptomics | chemical‐induced hypoxia

摘要：Background: Inguinal hernia repair | preperitoneal (TAPP) repair. We divided the patients into a | , indicating good model* fits (P > 0.05). DCA confirmed* | significant clinical applicability of the model. Conclusion | after TAPP repair. Clinical consideration of these

关键词： inguinal hernia | laparoscopy | transabdominal preperitoneal | seroma | risk factors

摘要： the "verify-and-repair" exploration in which | -preserving if we add it to the model. Our method | model. Then, our method obtains a predicate that | The process of formal modelling often involves | modellers find necessary constraints missing after they

关键词： Event-B | Model repair | Theorem proving | Quantifier elimination

摘要：In this paper, we propose a new data model | for machine learning models. Our data model* for* | graph model, and supports not only machine learning | that uses data lineage, which represents | relationships between data and their histories, for the

关键词： Data lineage | Data management | Property graph model

摘要： treatment through thoracic endovascular aortic repair | branching vessels. The model* was segmented from CTA images* | Abstract Purpose Complicated type B Aortic | dissection is a severe aortic pathology that requires | (TEVAR). During TEVAR a stentgraft is deployed in the

关键词： Aortic dissection | Patient-specific aorta | Hemodynamic aortic flow loop | TEVAR simulation | In vitro phantom | 3d printing

4008-161-200 800-990-8900

国家科技图书文献中心

摘要： this context, model repair is the task of aligning a | . Current solutions to model repair do not allow for | process model with actual executions of the process | Petri nets are a class of models of | computation used to compactly represent discrete event

关键词： Petri nets | Process mining | Model repair | Answer set programming | Inductive logic programming

摘要： selecting effective repair strategies is of paramount | restoration model to analyze tunnel failure due to corrosion | selection of maintenance strategies. The model generates | the optimal strategy. By exemplifying the model with | © 2024In tunnel engineering, the corrosion of

关键词： Corrosion | Maintenance timing | Resilience | Strategy | Tunnel maintenance

摘要： repair the process model to ensure soundness, ignoring | rely on a model that prescribes which executions are | allowed. As a result, the model needs to be sound for | forward a technique to repair the data perspective of | © 2024 Elsevier B.V.Process-aware Information

关键词： Business process | Data petri net | Model repair | Soundness

摘要： Variable Length Stepped Scarf (VLSS) repair scheme for | 2D Finite Element Model (FEM) is used to design the | VLSS repair, predict failure loads and modes, and | model adhesive cohesion and delamination. The model | incorporates a validated progressive damage model, general

关键词： Composite repair | Stepped scarf joint | Finite element analysis | Cohesive zone modelling

摘要： repair, whereas cytological change and collagen | and polypropylene mesh in rat model of incisional | polypropylene mesh in a rat model. Registration number: ZZU | BackgroundSelf-gripping mesh, made of | monofilament polypropylene and covered by a layer of

关键词： Incisional hernia | Self-gripping mesh | Polypropylene mesh | Collagen

摘要：) represent a natural model to study cardiac injury, repair | repair or regeneration are one of the major health | cardiac repair are still obscure. In this study, cardiac | regeneration during the initial repair phase (7 days) of H/R | that presents a holistic picture of cardiac repair

关键词： cardiac repair | chemical-induced hypoxia | hypoxia/reoxygenation | regeneration | thyroxine | transcriptomics | chemical‐induced hypoxia

摘要：Background: Inguinal hernia repair | preperitoneal (TAPP) repair. We divided the patients into a | , indicating good model fits (P > 0.05). DCA confirmed | significant clinical applicability of the model. Conclusion | after TAPP repair. Clinical consideration of these

关键词： inguinal hernia | laparoscopy | transabdominal preperitoneal | seroma | risk factors

摘要： the "verify-and-repair" exploration in which | -preserving if we add it to the model. Our method | model. Then, our method obtains a predicate that | The process of formal modelling often involves | modellers find necessary constraints missing after they

关键词： Event-B | Model repair | Theorem proving | Quantifier elimination

摘要：In this paper, we propose a new data model | for machine learning models. Our data model for | graph model, and supports not only machine learning | that uses data lineage, which represents | relationships between data and their histories, for the

关键词： Data lineage | Data management | Property graph model

摘要： treatment through thoracic endovascular aortic repair | branching vessels. The model was segmented from CTA images | Abstract Purpose Complicated type B Aortic | dissection is a severe aortic pathology that requires | (TEVAR). During TEVAR a stentgraft is deployed in the

关键词： Aortic dissection | Patient-specific aorta | Hemodynamic aortic flow loop | TEVAR simulation | In vitro phantom | 3d printing

4008-161-200 800-990-8900

国家科技图书文献中心

摘要： this context, model* repair is the task of aligning a* | . Current solutions to model* repair do not allow for* | process model* with actual executions of the process* | Petri nets are a class of models of | computation used to compactly represent discrete event

摘要： selecting effective repair* strategies is of paramount* | restoration model* to analyze tunnel failure due to corrosion* | selection of maintenance strategies. The model* generates* | the optimal strategy. By exemplifying the model* with* | © 2024In tunnel engineering, the corrosion of

摘要： repair the process model to ensure soundness, ignoring | rely on a model* that prescribes which executions are* | allowed. As a result, the model* needs to be sound for* | forward a technique to repair* the data perspective of* | © 2024 Elsevier B.V.Process-aware Information

摘要： Variable Length Stepped Scarf (VLSS) repair* scheme for* | 2D Finite Element Model* (FEM) is used to design the* | VLSS repair, predict failure loads and modes, and | model adhesive cohesion and delamination. The model | incorporates a validated progressive damage model, general

摘要： repair, whereas cytological change and collagen | and polypropylene mesh in rat model* of incisional* | polypropylene mesh in a rat model. Registration number: ZZU | BackgroundSelf-gripping mesh, made of | monofilament polypropylene and covered by a layer of

摘要：Background: Inguinal hernia repair | preperitoneal (TAPP) repair. We divided the patients into a | , indicating good model* fits (P > 0.05). DCA confirmed* | significant clinical applicability of the model. Conclusion | after TAPP repair. Clinical consideration of these

摘要：In this paper, we propose a new data model | for machine learning models. Our data model* for* | graph model, and supports not only machine learning | that uses data lineage, which represents | relationships between data and their histories, for the

摘要： treatment through thoracic endovascular aortic repair | branching vessels. The model* was segmented from CTA images* | Abstract Purpose Complicated type B Aortic | dissection is a severe aortic pathology that requires | (TEVAR). During TEVAR a stentgraft is deployed in the