检索结果-南通市图书馆

使用RAISE规范语言RSL给出了UML状态机视图的形式描述。通过这一形式化提出了一种对图形化的UML状态机视图模型的形式化和RSL规范进行集成的框架,这一工作是对UML类图在RSL中形式化的继续,使得人们可以对UML的非形式化模型给出一种精确、无二义性的语义解释,同时也提高了RSL规范的抽象层次,增强了其可读性、简明性。最后通过一个应用实例,说明这一框架如何用于从UML模型创建对应的形式化规范,并对模型的性质进行了分析。

关键词： UML 状态机 RAISE 形式化

来源：

维普期刊数据库

同方期刊数据库评论

在线全文

学校读者我要写书评

暂无评论

莘庄钩针编结 1

引用

丛书名：海市闵行区非物质文化遗产丛书 hai shi min xing qu fei wu zhi wen hua yi chan cong shu

2013年

作者：张乃清

本书是一本关于编结技艺的书籍，颇具阅读性，适合于喜欢编结的读者群体。

ISBN: (纸本)9787548605768

本书是一本关于编结技艺的书籍，颇具阅读性，适合于喜欢编结的读者群体。

关键词：工业技术轻工业、手工业工艺美术制品工业

来源：汇雅图书（南通市图书馆... 评论

在线全文

汇雅图书（南通市图书馆）

学校读者我要写书评

暂无评论

声发射技术在关节外科中的应用及价值

引用

中国组织工程研究 2025年第15期29卷 3262-3270页

作者：徐祯张梦茹吕柯夏中玉张采薇徐建达南京中医药大学常州附属医院常州市中医医院骨科江苏省常州市213003

背景:声发射技术是无损检测中最可靠和完善的技术之一,被广泛用于机械、土木和水下声学等多个领域的损伤检测。近年来,声发射技术获得较大发展,在医学工程领域得到初步应用,特别是在人体关节的摩擦评估以及植入物监测方面具有优势。目的... 详细信息

背景:声发射技术是无损检测中最可靠和完善的技术之一,被广泛用于机械、土木和水下声学等多个领域的损伤检测。近年来,声发射技术获得较大发展,在医学工程领域得到初步应用,特别是在人体关节的摩擦评估以及植入物监测方面具有优势。目的:总结声发射技术在关节外科中的应用现状、存在问题及未来的发展方向。方法:检索1989年1月至2024年3月PubMed数据库、Web of Science数据库、中国知网、万方数据库发表的相关文献,中文检索词为“声学,髋关节置换术,髋关节假体,假体失效,膝关节骨关节炎,膝关节,监测,人工关节”;英文检索词为“acoustics,hip replacement arthroplasties,hip prosthesis,prosthesis failure,knee osteoarthritides,knee joint,monitoring,artificial joint”。初检得到文章2991篇,根据纳排标准,最终纳入80篇文章进行综述分析。结果与结论:①在关节外科领域中,声发射技术主要用于关节疾病早期的发现与诊断,以及关节置换术中骨裂和术后假体下沉、植入物磨损、无菌性松动、骨裂等的检测;②声发射技术的优势可以弥补传统检测方法的不足,提早发现关节炎,降低术中的损伤风险,监测并减少术后并发症,提高手术安全性和临床效果。

关键词：声发射技术声学髋关节置换髋关节假体假体失效膝关节骨关节炎膝关节监测人工关节

来源：

维普期刊数据库

同方期刊数据库评论