检索结果-内蒙古大学图书馆

IGSTK:: An open source software toolkit for image-guided surgery

COMPUTER 2006年第4期39卷 46-+页

作者： Gary, K Ibáñez, L Aylward, S Gobbi, D Blake, MB Cleary, K Arizona State Univ Coll Sci & Technol Div Comp Studies Tempe AZ 85287 USA Kitware Inc Clifton Pk NY USA Georgetown Univ Dept Comp Sci Washington DC 20057 USA Georgetown Univ Med Ctr Dept Radiol Imaging Sci Washington DC 20007 USA Georgetown Univ Med Ctr Informat Syst Ctr Washington DC 20007 USA

Surgeons increasingly rely on dynamic, three-dimensional medical images for instrument guidance and clinical decision-making during minimally invasive procedures. The typical display combines images acquired before the intervention with graphical representations of the instruments and also can include intraoperative image updates of the anatomy. Tracking systems indicate the location of surgical instruments relative to the patient's body, which helps guide the physician to the specific anatomical target. The authors' Image-Guided Software Toolkit contains the basic software components for developing an image-guided surgery system, including a component for controlling the tracker as well as a display component for overlaying images of patient anatomy and surgical instruments.

关键词： medical image processing object-oriented programming public domainsoftware software reliability software reusability surgery IGSTK Image-Guided Software Toolkit agile software engineering principles component-based software engineering principles image-

来源：评论

学校读者我要写书评

暂无评论

Aspect-oriented weaving and the .NET common language runtime

引用

IET SOFTWARE 2007年第6期1卷 251-262页

作者： Schmied, F. Cyment, A. Vienna Univ Technol SBC Grp Inst Comp Languages Vienna Austria Rubicon IT A-1010 Vienna Austria Univ Buenos Aires Sch Comp Sci Buenos Aires DF Argentina

Aspect-oriented programming (AOP), now practically a consolidated academic discipline, has yet to build more solid industrial foundations, especially in the realms of the .NET platform. It's believed that this situation is caused by the lack of a robust and user-friendly AOP tool for .NET comparable with the Java-based AspectJ. This work investigates the basic infrastructure required for building such a tool: aspect-oriented weaving with the common language runtime (CLR) environment. In this regard, a classification schema is built, analysing the attributes a hypothetical aspect weaver for .NET might have. It assesses the different classes of weavers that can be built on top of the CLR today and investigates what extensions to the platform would be needed in order to enable more sophisticated weaving technologies. Some typical use cases for the resulting AOP tools, and classify what attributes a corresponding weaver would need to have in order to fulfil these requirements. Finally, two existing aspect weaver implementations in terms of these very same attributes are analysed.

关键词： .NET common language runtime aspect-oriented programming object-oriented programming Distributed systems software Java-based AspectJ Java network operating systems aspect-oriented weaving object-oriented programming

来源：评论

学校读者我要写书评

暂无评论

The design of PACS (Physics-oriented Accelerator Control System) and its implementation in a heavy ion accelerator facility

引用

NUCLEAR INSTRUMENTS & METHODS IN PHYSICS RESEARCH SECTION A-ACCELERATORS SPECTROMETERS DETECTORS AND ASSOCIATED EQUIPMENT 2020年第0期953卷 163170-000页

作者： Ma, G. M. Liu, J. Yang, J. C. Chai, W. P. Ruan, S. Zhu, Y. P. Wang, G. Shen, G. D. Wang, R. R. Chinese Acad Sci Inst Modern Phys Lanzhou 730000 Peoples R China Univ Chinese Acad Sci Beijing 100049 Peoples R China Huizhou Res Ctr Ion Sci Huizhou 516003 Peoples R China

As many diverse accelerator facilities are designed, constructed and operated by IMP (Institute of Modern Physics, Chinese Academy of Sciences), the existing physics control system cannot cover all requirements of these facilities. In order to save the construction time, improve the commissioning efficiency, simplify the operation and reach higher beam intensity and better beam quality, a new physics control system, PACS (Physics-oriented Accelerator Control System), is proposed, designed and implemented in the IMP. With the control layer in three layers, i.e. application layer, physics layer and control layer, the PACS is protocol neutral and can be deployed to all accelerator facilities in the IMP without massive reprogramming. The physics layer encapsulates all physics control processes, including device-level physics and system-level physics, into highly usable interfaces, which makes the development of the application layer and the customized applications simpler, more robust and efficient. Due to the OOP (object-oriented programming) technology used in this layer and specific designs, the PACS is highly scalable and can keep pace with the rapidly changing hardware and software. As the application layer is built upon the physics layer interfaces, no matter what is updated in the physics layer, the applications remain unchanged. Many new physics control processes can be tested and implemented in the physics layer by the developers or the users without influencing the operation of these facilities. Now, a version of PACS for miniature facilities is implemented and tested in the CSR, a heavy ion accelerator facility for scientific research in the IMP. It meets the expected goals and provides a solid base for following versions. In the future, the PACS will become a general-purpose physics control system for all heavy ion accelerator facilities.

关键词： Physics control system PACS Heavy ion accelerator object-oriented programming

来源：评论

学校读者我要写书评

暂无评论

Iterative criteria-based approach to engineering the requirements of software development methodologies

引用

IET SOFTWARE 2010年第2期4卷 91-104页

作者： Ramsin, R. Paige, R. F. Univ York Dept Comp Sci York YO10 5DD N Yorkshire England

Software engineering endeavours are typically based on and governed by the requirements of the target software;requirements identification is therefore an integral part of software development methodologies. Similarly, engineering a software development methodology (SDM) involves the identification of the requirements of the target methodology. Methodology engineering approaches pay special attention to this issue;however, they make little use of existing methodologies as sources of insight into methodology requirements. The authors propose an iterative method for eliciting and specifying the requirements of a SDM using existing methodologies as supplementary resources. The method is performed as the analysis phase of a methodology engineering process aimed at the ultimate design and implementation of a target methodology. An initial set of requirements is first identified through analysing the characteristics of the development situation at hand and/or via delineating the general features desirable in the target methodology. These initial requirements are used as evaluation criteria;refined through iterative application to a select set of relevant methodologies. The finalised criteria highlight the qualities that the target methodology is expected to possess, and are therefore used as a basis for de. ning the final set of requirements. In an example, the authors demonstrate how the proposed elicitation process can be used for identifying the requirements of a general object-oriented SDM. Owing to its basis in knowledge gained from existing methodologies and practices, the proposed method can help methodology engineers produce a set of requirements that is not only more complete in span, but also more concrete and rigorous.

关键词： formal specification requirements identification iterative methods SDM object-oriented programming Software engineering techniques object-oriented programming software engineering target methodology iterative method Formal methods software development methodology

来源：评论

学校读者我要写书评

暂无评论

Implementing a mobile virtual electromagnetics laboratory

引用

IET SCIENCE MEASUREMENT & TECHNOLOGY 2012年第5期6卷 398-402页

作者： Browne, D. R. Flint, J. A. Pomeroy, S. C. Univ Loughborough Sch Elect Elect & Syst Engn Loughborough LE11 3TU Leics England

Modern mobile devices are sufficiently powerful to execute computationally intensive mathematical problems. This study presents an implementation of a two-dimensional transmission line matrix method (TLM) solver executing on a Smartphone. Software development and architectural design are discussed, focusing on object-oriented strategies for modular and reusable code. Optimisation strategies are also discussed, with large variations in performance observed dependent on the data-caching method that is used. Swapping between data buffers using pointers was shown to be the most effective method, offering significant performance gains over the original software. It was shown for a mesh measuring 246 by 370 nodes running on an iPhone 4 that an update rate of 9.37 fps could be achieved.

关键词： pointer cache storage Optimisation techniques iPhone object-oriented strategy mobile computing architectural design mobile virtual electromagnetic laboratory Mobile radio systems optimisation computational electromagnetics Software engineering techniques smart phones Ubiquitous and pervasive computing Algebra data caching method Semiconductor storage Electrical engineering computing 2D transmission line matrix method data buffer software architecture smart phone software reusability transmission line matrix methods software development swapping reusable code mobile device modular code object-oriented programming object-oriented programming

来源：评论

学校读者我要写书评

暂无评论

Virginity: A contribution to the specification of object-oriented software

引用

INFORMATION PROCESSING LETTERS 1999年第2期70卷 99-105页

作者： Leino, KRM Stata, R Compaq Syst Res Ctr Palo Alto CA 94301 USA

In object-oriented programs built in layers, an object at a higher level of abstraction is implemented by objects at lower levels of abstraction. It is usually crucial to correctness that a lower-level object not be shared among several higher-level objects. This paper unveils some difficulties in writing procedure specifications strong enough to guarantee that a lower-level object can be used in the implementation of another object at a higher level of abstraction. To overcome these difficulties, the paper presents virginity, a convenient way of specifying that an object is not globally reachable and thus can safely be used in the implementation of a higher-level abstraction. (C) 1999 Elsevier Science B.V. All rights reserved.

关键词： program specification object-oriented programming program verification specification languages formal semantics static program checking

来源：评论

学校读者我要写书评

暂无评论

Integrated fault detection and isolation: Application to a winery's wastewater treatment plant

引用

APPLIED INTELLIGENCE 2000年第1期13卷 59-76页

作者： Genovesi, A Harmand, J Steyer, JP INRA Lab Biotechnol Environm F-11100 Narbonne France

In this paper, an integrated object-oriented fuzzy logic fault detection and isolation (FDI) module for a biological wastewater treatment process is presented. The defined FDI strategy and the software implementation are detailed. Using experimental results obtained with a one cubic meter fixed bed reactor for the anaerobic digestion of industrial wine distillery vinasses, examples of material and biological failures are presented together with the corresponding fault signals generated by the FDI module.

关键词： fuzzy logic on-line fault detection and isolation (FDI) object-oriented programming anaerobic digestion wastewater treatment

来源：评论

学校读者我要写书评

暂无评论

Revani: Revising and Verifying Normative Specifications for Privacy

引用

IEEE INTELLIGENT SYSTEMS 2016年第5期31卷 8-15页

作者： Kafali, Ozgur Ajmeri, Nirav Singh, Munindar P. North Carolina State Univ Comp Sci Raleigh NC 27695 USA North Carolina State Univ Sci Secur Lablet Raleigh NC USA

Privacy remains a major challenge today, partly because it brings together social and technical considerations. Yet, current software engineering focuses only on the technical aspects. In contrast, the authors" approach, Revani, understands privacy from the standpoint of sociotechnical systems (STSs), with particular attention on the social elements of STSs. They specify STSs via a combination of technical mechanisms and social norms founded on accountability. Revani provides a way to formally represent mechanisms and norms and applies model checking to verify whether specified mechanisms and norms would satisfy stakeholder requirements. Additionally, Revani provides a set of design patterns and a revision tool to update an STS specification as necessary. The authors demonstrate the work of Revani on a healthcare emergency use case pertaining to patient privacy during disasters.

关键词： Privacy Intelligent agents Emergency services Medical services Access control Computational modeling Patient monitoring Multi-agent systems Social factors Sociotechnical systems INSPEC: Controlled Indexing software tools data privacy formal specification health care object-oriented methods object-oriented programming INSPEC: Non-Controlled Indexing Revani patient privacy health care emergency revision tool design pattern stakeholder requirement formal representation STS sociotechnical system software engineering normative specification verification normative specification revision Author Keywords intelligent systems privacy multiagent systems sociotechnical systems social norms requirements engineering model checking design patterns

来源：评论

学校读者我要写书评

暂无评论

Infrastructure for domain-specific aspect languages: the ReLAx case study

引用

IET SOFTWARE 2009年第3期3卷 238-254页

作者： Fabry, J. Tanter, E. D'Hondt, T. Univ Chile Dept Comp Sci PLEIAD Lab Santiago Chile Vrije Univ Brussel Programming Technol Lab B-1050 Brussels Belgium

Domain-specific aspect languages (DSALs) bring the well-known advantages of domain specificity to the level of aspect code. However, DSALs incur the significant cost of implementing or extending a language processor or weaver. Furthermore, this weaver typically operates blindly, making detection of interactions with aspects written in other languages impossible. This raises the necessity of an appropriate infrastructure for DSALs. The case study we present here illustrates how the Reflex kernel for multi-language AOP addresses these issues, by considering the implementation of a DSAL for advanced transaction management, KALA. We first detail the implementation of KALA in Reflex, called ReLAx, illustrating the ease of implementation of runtime semantics, syntax, and language translation. We then show a straightforward and modular extension to KALA at all these levels, and demonstrate how Reflex helps in dealing with interactions between KALA and another DSAL for concurrency management. These invaluable assets enable faster development of DSALs as well as their ability to coexist within one application, thereby removing the most important impediments to their re-emergence in the aspect community.

关键词： reflex kernel domain-specific aspect languages language translation multilanguage AOP address advanced transaction management object-oriented programming language processor object-oriented languages High level languages

来源：评论

学校读者我要写书评

暂无评论

The role of linearity in sharing analysis

引用

MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE 2022年第1期32卷 44-110页

作者： Amato, Gianluca Meo, Maria Chiara Scozzari, Francesca Univ G dAnnunzio Pescara Italy

Sharing analysis is used to statically discover data structures which may overlap in object-oriented programs. Using the abstract interpretation framework, we show that sharing analysis greatly benefits from linearity information. A variable is linear in a program state when different field paths starting from it always reach different objects. We propose a graph-based abstract domain which can represent aliasing, linearity, and sharing information and define all the necessary abstract operators for the analysis of a Java-like language.

关键词： Sharing analysis linearity aliasing object-oriented programming

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：