检索结果-南通市图书馆

Modeling and Simulation of Laparoscopic Tools for Autonomously Positioning Laparoscope in Laparoscopic Surgery

Engineering（科研） 2013年第10期5卷 85-89页

作者： S. M. Megahed A. A. Balbola Mechanical Design & Production Engineering Department Faculty of Engineering Giza Egypt

In laparoscopic surgery, the surgeons are equipped with the suitable tools for the surgery, while the laparoscope is used to capture the operation environment and displays it on a monitor. This paper presents the mathematical kinematic position modeling of the laparoscopic tools used for autonomous positioning of a laparoscope in such operations. These models are obtained using Denavit-Hartenberg (D-H) notations and Homogenous Transformation Matrix (HTM). The laparoscopic tools are considered as six degrees of freedom (DOF) mechanisms while the laparoscope has four DOF. The 3D loop closure equation is used to obtain the laparoscope kinematic position models in terms of those of the laparoscopic tools. These models are used to simulate and align the laparoscope camera with the surgeon’s laparoscopic Tools Center Points (TCP). The obtained results show the smooth positioning of the laparoscope camera for better visu-alization of laparoscopic surgery environments.

关键词： Laparoscopic Surgery Homogenous Transformation Matrix Denavit-Hartenberg notations

来源：

维普期刊数据库评论

在线全文

维普期刊数据库

学校读者我要写书评

暂无评论

An Integration of UML Sequence Diagram with Formal Specification Methods—A Formal Solution Based on Z

引用

Journal of Software Engineering and Applications 2015年第8期8卷 372-383页

作者： Nasir Mehmood Minhas Asad Masood Qazi Sidra Shahzadi Shumaila Ghafoor University Institute of Information Technology PMAS-University Institute of Information Technology Rawalpindi Pakistan

UML Diagrams are considered as a main component in requirement engineering process and these become an industry standard in many organizations. UML diagrams are useful to show an interaction, behavior and structure of the system. Similarly, in requirement engineering, formal specification methods are also being used in crucial systems where precise information is required. It is necessary to integrate System Models with such formal methods to overcome the requirements errors i.e. contradiction, ambiguities, vagueness, incompleteness and mixed values of abstraction. Our objective is to integrate the Formal Specification Language (Z) with UML Sequence diagram, as sequence diagram is an interaction diagram which shows the interaction and proper sequence of components (Methods, procedures etc.) of the system. In this paper, we focus on components of UML Sequence diagram and then implement these components in formal specification language Z. And the results of this research papers are complete integrated components of Sequence diagram with Z schemas, which are verified by using tools and model based testing technique of Formal Specifications. Results can be more improved by integrating remaining components of Sequence and other UML diagrams into Formal Specification Language.

关键词： Formal Specifications Software Requirement Specifications Formal notations

来源：

维普期刊数据库评论

在线全文

维普期刊数据库

学校读者我要写书评

暂无评论

欢迎您,

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

在线全文

在线全文

请选择保存的检索档案：

请选择收藏分类：

通借通还

欢迎您,

建议与咨询 留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

在线全文

在线全文

请选择保存的检索档案： 新增检索档案 确定 取消

请选择收藏分类： 新增自定义分类 确定 取消

通借通还

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

请选择保存的检索档案：

请选择收藏分类：