Dissertations / Theses: 'Computer model of implant'

1

Whiten, Darren M. (Darren Mark) 1977. "Threshold predictions based on an electro-anatomical model of the cochlear implant." Thesis, Massachusetts Institute of Technology, 2003. http://hdl.handle.net/1721.1/87847.

Full text

Abstract:

Thesis (S.M. and Elec.E.)--Massachusetts Institute of Technology, Dept. of Electrical Engineering and Computer Science, 2003.
Includes bibliographical references (p. 135-141).
by Darren M. Whiten.
S.M.and Elec.E.

APA, Harvard, Vancouver, ISO, and other styles

2

Kidgell, Victoria L. "Computational multi-scale simulation of implant for bone fracture repair." Thesis, Swansea University, 2010. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.678323.

Full text

APA, Harvard, Vancouver, ISO, and other styles

3

Шамраєва, О. О. "Методи та засоби побудови комп’ютерних моделей черепних імплантатів за томографічними та рентгенографічними даними." Thesis, ХНУРЕ, 2009. http://openarchive.nure.ua/handle/document/11423.

Full text

Abstract:

Дисертаційна робота присвячена розробці методів і засобів автоматизованої побудови моделі черепного імплантату та підвищенню точності планування нейрохірургічних операцій щодо реконструкції дефектів черепа. У роботі проведено огляд існуючих методів і засобів для побудови черепних імплантатів. Розглянуто основні методи обробки інтроскопічних зображень. Розроблено комплексний підхід до обробки томографічних і рентенографічних зображень голови пацієнта. Розроблено методи автоматизованої побудови об’ємних комп'ютерних моделей ЧІ за КТ- і РГ-даними з використанням 3D-моделі черепа пацієнта та усередненої моделі черепа. Розроблено метод автоматизованого визначення геометричних характеристик ЧІ, що дозволяє хірургу визначити оптимальний оперативний доступ. Розроблено медико-технічні вимоги до нейрохірургічного комплексу, призначеного для одержання вихідних даних, їхньої обробки й виготовлення речовинної копії імплантату. Проведено порівняльний аналіз отриманих результатів побудови моделей ЧІ із вже існуючими. Результати аналізу показали ефективність розроблених методів. Dissertation work considers the development of methods and facilities of the automatized construction of cranial implant model and the increase of procision of planning of neuro-surgical operative interferences for the reconstruction of cranial defects. The review of existent methods and facilities for the construction of cranial implants is provided. The basic methods of processing of introscopy images are considered. The complex approach is developed for treatment of patient’s head tomography and X-ray images. Methods of the automatized construction of three-dimensional computer models of cranial implant are developed on a base of tomography and X-ray data with the use of 3Dmodel of patient’s cranium and cranium average model. The method of the automatized determination of geometrical descriptions of cranial implant allowing a surgeon to define optimum operative access is developed. The basic medical-technical specifications are developed to neuro-surgical complex intended for the basic data obtaining, their treatment and making of implant material copy. The comparative analysis of the obtained results of models of cranial implants construction and already existing one is conducted. The results of analysis showed efficiency of the developed methods.

APA, Harvard, Vancouver, ISO, and other styles

4

Javůrek, Jan. "Využití 3D počítačové grafiky pro aplikace v medicíně." Master's thesis, Vysoké učení technické v Brně. Fakulta informačních technologií, 2007. http://www.nusl.cz/ntk/nusl-236895.

Full text

APA, Harvard, Vancouver, ISO, and other styles

5

Feldt, Christian E. "Stress shielding minimized in femoral hip implants a finite element model optimized by virtual compatibility." Doctoral diss., University of Central Florida, 2011. http://digital.library.ucf.edu/cdm/ref/collection/ETD/id/4892.

Full text

Abstract:

Bone mechanics and traditional implant materials produce a recurring problem for patients of total hip arthroplasty (THA): the bone is "shielded" from the loading it has become accustomed to over many years of development. Bone adheres to what is called "Wolff's Law", meaning it is an adaptive structure which adjusts its geometry based on the loads experienced over its life (Pearson; Goldstein). As the new femoral hip implant transmits reduced stresses to the remaining bone, bone tissue atrophies at the interface, permitting loosening of the implant, pain, and thereby obliging additional surgery to correct the issue (Meade). In the present work, a methodology is endeavored for creating an innovative design for femoral hip implants. The approach uncouples the finite element implant model from the bone model, in order to focus solely on expected behavior within the implant while considering the varying material behavior in unique directions and locations. The implant's internal geometry is optimized in order to better match typical, intact bone conditions. The eventual design reduces extreme changes in stresses within remnant bone such that the implant will remain implanted for greater periods of time without additional surgical attention.
ID: 030423147; System requirements: World Wide Web browser and PDF reader.; Mode of access: World Wide Web.; Thesis (Ph.D.)--University of Central Florida, 2011.; Includes bibliographical references (p. 86-91).
Ph.D.
Doctorate
Mechanical, Materials, and Aerospace Engineering
Engineering and Computer Science

APA, Harvard, Vancouver, ISO, and other styles

6

Baker, Michael W. (Michael Warren) 1977. "A low-power cochlear implant system." Thesis, Massachusetts Institute of Technology, 2007. http://hdl.handle.net/1721.1/40494.

Full text

Abstract:

Thesis (Ph. D.)--Massachusetts Institute of Technology, Dept. of Electrical Engineering and Computer Science, 2007.
Includes bibliographical references (p. 171-179).
Cochlear implants, or bionic ears, restore hearing to the profoundly deaf by bypassing missing inner-ear hair cells in the cochlea and electrically stimulating the auditory nerve. For miniaturized cochlear implants, including behind-the-ear (BTE) models, power consumption is the chief factor in determining cost and patient convenience. This thesis reports on the design of a low-power bionic ear system by addressing three critical signal and power processing subsystems in low-cost CMOS ICs. First, the design of a low-power current-mode front-end for subminiature microphones demonstrates 78dB dynamic range performance with attention to RF noise and supply immunity. Second, hearing-impaired patients need strategies that decide intelligently between listening conditions in speech or noise. This work describes an automatic gain control (AGC) design which uses programmable hybrid analog-digital current-mode feedback to implement a dual-loop strategy, a well-known algorithm for speech in noisy environments. The AGC exhibits level-invariant. stability, programmable time constants and consumes less than 36pW. Third, a feedback-loop technique is explored for analyzing and designing RF power links for transcutaneous bionic ear systems.
(cont.) Using feedback tools to minimize algebraic manipulations, this work demonstrates conditions for optimal voltage and power transfer functions. This theory is applied to a bionic implant system designed for load power consumptions in the 1mW - 10mW range, a low-power regime not significantly explored in prior designs. Link efficiencies of 74% and 54% at 1-mm and 10-mm coil separations, respectively, are measured, in good agreement with theoretical predictions. A full cochlear implant system with signal and power processing is explored incorporating the front-end, AGC, and RF power link, as well as analog signal processing channels. This design uses channel data to feedforward program the just-needed electrode power level. My implant system consumes 3mW of power for all audio processing and a stimulation power of 1mW. A fixed-power version of this system dissipates 2.2mW for 1mW of internal stimulation power. As many commercial systems with similar specifications consume 40mW - 80mW, this effort promises a significant reduction in cochlear implant power consumption and cost.
by Michael W. Baker.
Ph.D.

APA, Harvard, Vancouver, ISO, and other styles

7

Isaksson, Anders, and Michael Graham. "RoDent : Robotic Dentistry : Computer aided dental implant positioning system." Thesis, Halmstad University, School of Information Science, Computer and Electrical Engineering (IDE), 2007. http://urn.kb.se/resolve?urn=urn:nbn:se:hh:diva-1559.

Full text

Abstract:

A study was carried in conjunction with the Orthodontic department at Halmstad General Hospital in Sweden to investigate the possibility of reducing cost and manufacture time of dental implant drill guides.

The current system involves sending a digital image in STL format to the Materialise factory in Belgium where information of the position of dental implants is translated onto a moulded mouthpiece. Drill guides are placed in the mouth piece which is then returned to the surgeon. The mouthpiece complete with drill guides is then placed in the patients mouth and used as a guide for the implant drill holes. The cost of 10000 sek and a turnaround time of 2 weeks gave rise to the need for a faster and cheaper solution.

A new mouthpiece was designed comprising of a solid cube which could be clearly seen on the x-ray. Linearisation of the cube faces is used to find a reference point from which to drive a 5 axis drilling platform. The mouthpiece is placed in the drill platform which is driven by stepper motors which in turn are controlled by a microcontroller. Co-ordinates are entered via a PC interface. The PC software then translates these co-ordinates into motor steps which are sent to the microcontroller. The drill platform then positions the mouthpiece in order to drill guide holes for the dental implants.

The study showed that the machine design gave an acceptable degree of accuracy and repeatability. Further enhancements could be made by automating the detection of the cube using image analysis techniques. The study was also limited by the lack of graphical and geometrical data concerning the position of the implant. For the purpose of this study the co-ordinates for the implants guides is entered by hand.

It was concluded that further software and hardware enhancement would be needed before the application could be developed commercially.

APA, Harvard, Vancouver, ISO, and other styles

8

Kumar, Vivek. "IMPLANT ANNEALING OF SiC IN A SILANE AMBIENT." MSSTATE, 2001. http://sun.library.msstate.edu/ETD-db/theses/available/etd-04102001-151957/.

Full text

Abstract:

The goal of this research project was to develop a new implant annealing process using silane overpressure to maintain crystal integrity. After ion implantation the surface of the SiC wafer is damaged due to high energy of the implant ions. In addition the doping activation is very low. To overcome these problems a new implant annealing process was developed to rectify the surface damage and increase the dopant activation. SiC implant annealing was performed in the silicon carbide (SiC) chemical vapor deposition (CVD) reactor in the Emerging Materials Research Laboratory (EMRL) at Mississippi State University. A process was developed to eliminate surface step bunching, which is evident in argon annealed crystals. The process gas used in the new technique was silane (3 % SiH4 in 97% UHP Ar). The anneal run time was 30 minutes with argon flow rate at 6 slm and silane flow rate at 6 sccm. SiC material (n and p type epitaxial layers) and devices (JBS Diodes and LDMOSFET?s) were annealed using the silane over pressure developed during this research. The process results were characterized using tools such as optical micrograph, capacitance-voltage (C-V), Atomic force microscopy (AFM) and X-ray photoelectron spectroscopy (XPS). These characterization tools were mainly used to determine the surface roughness of the SiC crystal and the dopant activation after annealing. As compared to an Ar anneal, the SiC material and devices annealed in the silane ambient had a better surface. An empirical process chemistry model was developed to support the experimental results. The model developed showed that the partial pressure of Si is greater than the vapor pressure of SiC in the substrate. Thus it is believed that the partial pressure of Si suppressed any Si out-diffusion from the SiC substrate, thereby maintaining the crystal surface integrity. The model also provided silane flow rates for higher temperature anneals which may be necessary to fully activate other ion species.

APA, Harvard, Vancouver, ISO, and other styles

9

Van, Zyl Joe. "Objective determination of vowel intelligibility of a cochlear implant model." Pretoria : [s.n.], 2009. http://upetd.up.ac.za/thesis/available/etd-03082009-174318/.

Full text

APA, Harvard, Vancouver, ISO, and other styles

10

Jackson, Lekisha S. (Lekisha Shaylae) 1976. "Changes in speech with modifications in stimulation from a cochlear implant." Thesis, Massachusetts Institute of Technology, 1998. http://hdl.handle.net/1721.1/46229.

Full text

Abstract:

Thesis (S.B. and M.Eng.)--Massachusetts Institute of Technology, Dept. of Electrical Engineering and Computer Science, 1998.
Includes bibliographical references (leaf 60).
by Lekisha S. Jackson.
S.B.and M.Eng.

APA, Harvard, Vancouver, ISO, and other styles

11

Kerner, Jan. "Patient specific computer modelling of bone changes around orthopaedic implants." Thesis, Imperial College London, 1999. http://hdl.handle.net/10044/1/7912.

Full text

APA, Harvard, Vancouver, ISO, and other styles

12

Wang, Hao 1974. "Investigation of bone response to implant materials by electron microscopy and computer simulation." Thesis, Massachusetts Institute of Technology, 2004. http://hdl.handle.net/1721.1/28884.

Full text

Abstract:

Thesis (Ph. D.)--Massachusetts Institute of Technology, Dept. of Materials Science and Engineering, 2004.
Includes bibliographical references.
(cont.) implementation of this scintigraphic method for quantitative studies of osteoblast-mediated mineralization in vitro. A 2-D truss finite element model is used to study the remodeling of trabecular bone. Using strain energy density (SED) as the optimization object and the trabecular width as the optimization variable, an optimal structure with minimum SED was achieved. This structure is similar to real bone in the dense outside, porous inside, and orientation of the trabeculae. The bone density distribution pattern also matched with previous result by other people. Different implants were introduced to simulate the replacement for the femoral head. It has been proved that the difference in Young's modulus between bone and implant materials is the main reason for the long-term bone loss (stress screening). This problem can be alleviated by proper implant design and resurfacing instead of replacing the whole femoral head.
Initial fixation with bone and the long term bone loss are two main problems associated with total hip replacement (THR), which are studied by electron microscope and computer simulation in this thesis. Bare Titanium-6 wt% Aluminum-4 wt% Vanadium (Ti64) implants, Ti64 implants with plasma-sprayed hydroxyapatite (PSHA), and Ti64 implants with electrochemically-deposited hydroxyapatite (EDHA) were implanted into canine trabecular bone for 6 hours, 7 days, and 14 days to study the initial bone formation on these implant materials. Scanning electron microscope (SEM) results showed that at 7 days PSHA had a higher bone apposition ratio than Ti64 and EDHA samples; however, at 14 days, the bone apposition on EDHA increased to be similar to PSHA, much higher than that on Ti64. By transmission electron microscope (TEM), a layer of new bone tissue was observed on PSHA coating surface; in contrast, no much bone was found on EDHA surface. At 14 days, substantial bone was found on both EDHA and EDHA coating surface. Technetium-99m-methylene-diphosphonate (Tc-99m-MDP) labeling was used to quantify mineralization of cultures of MC3T3 osteoblast-like cells in vitro on tissue culture polystyrene (TCPS). The gamma signal from labeled samples was imaged with a gamma camera and compared with the calcium content in the same samples determined by inductively coupled plasma. The high correlation (0.88) between these two values validated that radiotracer uptake method as a quantitative analytical tool for certain mineralization studies in vitro. There was an association between mineralization and radionuclide uptake in the MC3T3 cultures on titanium alloy, but the attenuation of the gamma photons by the metal resulted in a less robust correlation. The results warrant
by Hao Wang.
Ph.D.

APA, Harvard, Vancouver, ISO, and other styles

13

He, Yun [Verfasser]. "Sika deer antler as a novel model for investigate implant healing / Yun He." Bonn : Universitäts- und Landesbibliothek Bonn, 2019. http://d-nb.info/1181946522/34.

Full text

APA, Harvard, Vancouver, ISO, and other styles

14

Diodati-Nolin, Anna C. "Predicting the power of an intraocular lens implant : an application of model selection theory." Thesis, McGill University, 1985. http://digitool.Library.McGill.CA:80/R/?func=dbin-jump-full&object_id=63338.

Full text

APA, Harvard, Vancouver, ISO, and other styles

15

Friedrichs, Wenke [Verfasser]. "Simulations of Short Model Peptides and Practically Relevant Modeled Titanium Implant Surfaces / Wenke Friedrichs." Greifswald : Universitätsbibliothek Greifswald, 2014. http://d-nb.info/1063750857/34.

Full text

APA, Harvard, Vancouver, ISO, and other styles

16

Leung, Theresa. "Cellular and tissue responses to implant materials : development of a novel organ culture model." Thesis, University College London (University of London), 1998. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.285839.

Full text

APA, Harvard, Vancouver, ISO, and other styles

17

Xu, Ying d1969. "A speech processing study using an acoustic model of a multiple-channel cochlear implant /." The Ohio State University, 1998. http://rave.ohiolink.edu/etdc/view?acc_num=osu1487952208107171.

Full text

APA, Harvard, Vancouver, ISO, and other styles

18

Santos, Marco Paulo Soares dos. "A new concept model for instrumented active orthopaedic implants." Doctoral thesis, Universidade de Aveiro, 2016. http://hdl.handle.net/10773/16315.

Full text

Abstract:

Doutoramento em Engenharia Mecânica
Total hip replacement (THR) is one of the most performed surgical procedures around the world. Millions of THR are carried out worldwide each year. Currently, THR revision rates can be higher than 10%. A signiﬁcant increase of the number of primary and revision THRs, mainly among patients less than 65 years old (including those under 45 years old) has been predicted for the forthcoming years. A worldwide increase in the use of uncemented ﬁxation has also been reported, incidence caused mainly by the signiﬁcant increase of more active and/or younger patients. Besides the signiﬁcant breakthroughs for uncemented ﬁxations, they have not been able to ensure long-term implant survival. Up to date, current implant models have shown evidences of their inability to avoid revision procedures. The performance of implants will be optimized if they are designed to perform an eﬀective control over the osseointegration process. To pursue this goal, improved surgical techniques and rehabilitation protocols, innovative bioactive coatings (including those for controlled delivery of drugs and/or other bio-agents in the bone-implant interface), the concepts of Passive Instrumented Implant and Active Instrumented Implant have been proposed. However, there are no conclusive demonstrations of the eﬀectiveness of such methodologies. The main goal of this thesis is to propose a new concept model for instrumented implants to optimize the bone-implant integration: the self-powered instrumented active implant with ability to deliver controlled and personalized biophysical stimuli to target tissue areas. The need of such a new model is demonstrated by optimality analyses conducted to study the performance of instrumented and non-instrumented orthopaedic implants. Promising results on the potential of a therapeutic actuation driven by cosurface-based capacitive stimulation were achieved, as well as for self-powering instrumented active implants by magnetic levitation-based electromagnetic energy harvesting.
A artroplastia total da anca (THR) é um dos procedimentos cirúrgicos mais realizados à escala global. Milhões de THRs são realizadas todos os anos em todo o mundo. Atualmente, as taxas de revisão destas artroplastias podem ser superiores a 10%. O número de THRs primárias e de revisão têm aumentado e estima-se que cresçam acentuadamente nos próximos anos, principalmente em pacientes com idades inferiores a 65 anos (incluindo aqueles com menos de 45 anos). Também se tem veriﬁcado uma tendência generalizada para o uso de ﬁxações não cimentadas, incidência principalmente causada pelo aumento signiﬁcativo de pacientes mais jovens e/ou activos. Embora se tenham realizado avanços científicos no projeto de implantes não cimentados, têm-se veriﬁcado o seu insucesso a longo-prazo. Encontram-se evidências da ineﬁcácia dos modelos de implantes que têm sido desenvolvidos para evitar procedimentos de revisão. O desempenho dos implantes será otimizado se estes foram projetados para controlarem eﬁcazmente o processo de osseointegração. Para se alcançar este objetivo, têm sido propostas a melhoria das técnicas cirúrgicas e dos protocolos de reabilitação, a inovação dos revestimentos (onde se incluem os revestimentos ativos projetados para a libertação controlada de fármacos e/ou outros bio-agentes) e os conceitos de Implante Instrumentado Passivo e Implante Instrumentado Ativo. Contudo, não existem demonstrações conclusivas da eﬁcácia de tais metodologias. O principal objetivo desta tese é propor um novo modelo de conceito para implantes instrumentados para se otimizar a integração osso-implante: o implante instrumentado ativo, energeticamente auto-suﬁciente, com capacidade de aplicar estímulos biofísicos em tecidos-alvo de forma controlada e personalizada. A necessidade de um novo modelo é demonstrada através da realização de análises de otimalidade ao desempenho dos implantes instrumentados e não-instrumentados. Foram encontrados resultados promissores para o controlo otimizado da osseointegração usando este novo modelo, através da atuação terapêutica baseada na estimulação capacitiva com arquitetura em co-superfície, assim como para fornecer energia elétrica de forma autónoma por mecanismos de transdução baseados em indução eletromagnética usando conﬁgurações baseadas na levitação magnética.

APA, Harvard, Vancouver, ISO, and other styles

19

Procházka, Josef. "MKP model piezoelektrických MEMS filtrů." Master's thesis, Vysoké učení technické v Brně. Fakulta strojního inženýrství, 2014. http://www.nusl.cz/ntk/nusl-231204.

Full text

Abstract:

This thesis focuses on simulation modelling of a piezoelectric MEMS filter, which may be used as a part of cochlear implant. A model of this filter is created in the programme ANSYS. A research on experimental cochlear implants and materials suitable for this application is also included.

APA, Harvard, Vancouver, ISO, and other styles

20

Wolmarans, Hendrik Petrus. "Cochlear implant speech processing, based on the cochlear travelling wave." Diss., Pretoria : [s.n.], 2005. http://upetd.up.ac.za/thesis/available/etd-01242006-112642.

Full text

APA, Harvard, Vancouver, ISO, and other styles

21

Lin, Yuehua. "A model transformation approach to automated model evolution." Birmingham, Ala. : University of Alabama at Birmingham, 2007. http://www.mhsl.uab.edu/dt/2007p/lin.pdf.

Full text

APA, Harvard, Vancouver, ISO, and other styles

22

Hacking, Steven Adam. "The osseous response to corundum blasted implant surfaces in a canine total hip arthroplasty model /." Thesis, McGill University, 1997. http://digitool.Library.McGill.CA:80/R/?func=dbin-jump-full&object_id=20501.

Full text

Abstract:

The purpose of this study was to examine the radiographic and histologic response. to corundum blasted implant surfaces of varying roughness in a canine total hip arthroplasty model. Three types of tapered femoral implants were made from titanium alloy and were identical in every respect except surface finish. The entire surface of the femoral implant possessed either a 2.9, 4.2 or 6.7 micrometer average surface roughness (Ra) from blasting with 60, 24, or 16 grit corundum particles, respectively. Staged bilateral total hip arthroplasties were performed such that each dog received a 60 grit on one side and a 24 grit or 16 grit implant on the contralateral side. Twenty-two stems in 11 dogs were evaluated at 6 months. The appearance of the bone implant interface was qualitatively characterized. Bone apposition and average bone-implant contact length were determined. Twenty-one of the stems demonstrated osseointegration while one stem developed a stable fibrous interface. All three types of corundum blasted implants demonstrated consistently high amounts of bone apposition, averaging 30.5%. Abundant new peri-implant bone consistently formed, particularly within the intramedullary canal where trabeculae spanned implant-cortical gaps up to 5 mm and established osseointegration ration. There was no statistical difference amongst bone apposition with the 60, 24, and 16 grit stems which averaged 31.7%, 32.0% and 27.9% respectively. However, the pattern of new bone formation was different in that the average length of each region of bone apposition for the 60 and 24 grit surfaces was 50% greater than that for the coarser 16 grit surface (p < 0.02). Through detailed qualitative and quantitative radiographic and histologic elucidation of the osseous response to corundum blasted hip implant surfaces, this study provided new understanding of their potential for biologic fixation. Corundum blasted surfaces represent an important and valuable technology for the design of non

APA, Harvard, Vancouver, ISO, and other styles

23

Hacking, Steven Adam. "The osseous response to corundum blasted implant surfaces in a canine total hip arthroplasty model." Thesis, National Library of Canada = Bibliothèque nationale du Canada, 1998. http://www.collectionscanada.ca/obj/s4/f2/dsk1/tape11/PQDD_0007/MQ44013.pdf.

Full text

APA, Harvard, Vancouver, ISO, and other styles

24

Skjöldebrand, Charlotte. "Model test for fabrication and separation of wear particles in hip implants." Thesis, Uppsala universitet, Tillämpad materialvetenskap, 2013. http://urn.kb.se/resolve?urn=urn:nbn:se:uu:diva-202060.

Full text

Abstract:

Total hip replacement is a common orthopedic surgery today with a population with an increasing life expectancy and a more active lifestyle. Most implants have a life expectancy of 10 years or longer, however after 25 years one out of four implants has been revised. This means that the risk of a secondary surgery is high for young patients. In many cases the reason for revision is the formation of nanometer to micrometer sized particles that activate the immune system to resorb bone. The implants today usually consist of a femoral head of a cobalt chromium alloy and a cup of polyethylene. Replacing these materials with a cobalt chromium alloy with a silicon nitride coating is hoped to generate less and smaller wear particles that will not activate the immune system to resorb bone. This study compares wear particles from three different silicon nitride coatings with wear particles from polyethylene and a cobalt chromium alloy. The first was a standard coating, the second had a layered structure and the third had a nitrogen content gradient. This study uses a reciprocating motion with an alumina ball that slides against a sample of cobalt chromium with a silicon nitride coating in a serum solution to generate wear particles. The particles are then analyzed with a scanning electron microscope. In order to separate the particles from the serum solution two different methods were used. The first one used hydrochloric acid and the second used the enzyme proteinase K. Apart from the particles the wear tracks were investigated with vertical scanning interferometry and the adhesion was studied with scratch tests and light microscopy. The results show that the wear particles do not differ between the coatings. All coatings show a high wear volume, which is believed to be a consequence of the material combination, movement pattern or surface roughness of the counter surface. In conclusion the test set up generates particles of a relevant size and both methods for serum digestion were successful.

APA, Harvard, Vancouver, ISO, and other styles

25

Van, Aarde Dirk Jocobus. "Duvha boiler performance computer model." Thesis, Cape Technikon, 1986. http://hdl.handle.net/20.500.11838/2224.

Full text

Abstract:

Thesis (Diploma (Mechanical Engineering))--Cape Technikon, 1986.
This report investigates the possibility of constructing and developing a Performance-Boiler-Computer-Model of the Duvha Power Station Boiler from the PEPSE* computer software. This model is to act as a "tool" in investigations into certain as-designed and off design changes on the boiler's thermodynamic behaviour. It is evident from the results of the performance boiler model that, with further development to a model in design mode, this will be a very useful and versatile tool. This fact is evident from the results of the superheater 3 design mode model.

APA, Harvard, Vancouver, ISO, and other styles

26

Steiner, Stefan. "Grace Hospital computer simulation model." Thesis, University of British Columbia, 1989. http://hdl.handle.net/2429/27638.

Full text

Abstract:

A simulation model, written in GPSS/H, was created to study utilization of Grace Hospital, a special-purpose maternity hospital. The model assumes that a patient's transfers and length of stay depend only on her present location and classification, and not on any past history. The model includes a sophisticated overflow policy, and allows the factors used to govern a patient's transfers and length of stay to depend on her treatment stage. Also, to more accurately simulate the mid-morning peak load in the hospital, the length of stay in Postpartum depends on a patient's arrival time in Postpartum. The average census, and the number of patient-days spent in inappropriate units or lost due to overcrowding are determined for several future scenarios. It was concluded that Grace is running very close to capacity, and must continue to limit the number of admissions allowed. In addition, an early discharge program was shown to be very effective in alleviating the overcrowding.
Science, Faculty of
Mathematics, Department of
Graduate

APA, Harvard, Vancouver, ISO, and other styles

27

Adluru, Hari Kishore. "A Novel Hip Implant Using 3D Woven Composite Material – Design and Analysis." FIU Digital Commons, 2015. http://digitalcommons.fiu.edu/etd/2318.

Full text

Abstract:

The present research focuses on analyzing the possibility of implementing three dimensional woven composite (3DWC) materials in hip implants. The integration of 3DWCs in hip implants has the possibility to both extend the life-time and improve patient outcomes; by spatially varying mechanical properties to meet both biological needs as well as required mechanical loading. In this study, the bulk material properties of 3DWCs were varied based on woven composite architecture and determined using physics based models, which reflect the realistic geometries of fibers in compaction and preform. The multi-digital chain method combined with Extended Finite Elemental Analysis (XFEA) are adopted in this micro-analysis for composite design. Four different woven architectures with a combination of different existing biocompatible fiber and resins are considered in this study. The main objective is to assess the mechanical response of these biocompatible materials in the design of 3D woven architectures and determine their ability to match the required modulus at different regions of a hip implant. Results obtained show 3DWCs are viable candidates for this application. Multiple architectures and materials chosen, were able to achieve the desired mechanical response. Additional studies can use these results as a starting point and framework for further mechanical and biological testing.

APA, Harvard, Vancouver, ISO, and other styles

28

Sancho, Puchades Manuel. "Efficiency of conventional and computer-assisted implant planning and placement in partially edentulous patients using single splints." Doctoral thesis, Universitat Internacional de Catalunya, 2015. http://hdl.handle.net/10803/321832.

Full text

Abstract:

La colocación de implantes dentales para rehabilitar pacientes con edentulismos parciales o totales se considera un procedimiento rutinario con excelentes porcentajes de éxito a largo plazo. La alta predictibilidad de estos resultados se basa en una secuencia de tratamiento protocolizada, que comprende una fase de diagnóstico y planificación, una fase quirúrgica y una fase restauradora. La fase de diagnóstico preoperatorio implica un detallado análisis protésico, clínico y radiográfico. En este momento, se realiza un set-up protésico que permite predecir el contorno de la futura reconstrucción protésica con el fin de determinar la posición ideal del implante. Este set-up se transforma en una férula radiológica que el paciente porta durante el examen radiográfico. La imagen resultante incorpora la referencia protésica a la imagen radiográfica y permite, conjuntamente con la información obtenida de la exploración clínica, el estudio de la disponibilidad ósea, la identificación de estructuras anatómicas relevantes, y la determinación de la posición y dimensiones del implante a colocar. Posteriormente, el clínico intenta transferir la posición planeada al escenario clínico con la ayuda de una férula quirúrgica convencional, que transfiere la información protésica al campo operatorio.
The present investigation has tried to analyze and compare two implant planning and placement treatment concepts from a holistic approach. Conventional and, more frequently, computer-assisted implant planning and placement protocols have been repeatedly investigated in terms of implant placement accuracy. However, the implant placement precision is only one of the relevant aspects when evaluating an implant planning and placement procedure. Other aspects such as treatment’s predictability, complications or unexpected events derived, treatment outcomes, patients’ perception, influence on the patient’s quality of life, or time and economic costs derived, are identically relevant when assessing the treatment’s value. Therefore, the aim of this study was to investigate all of these parameters in order to quantify the treatments’ efficiency.

APA, Harvard, Vancouver, ISO, and other styles

29

He, Amaranth Wei. "Model evolution." Thesis, McGill University, 2006. http://digitool.Library.McGill.CA:80/R/?func=dbin-jump-full&object_id=98721.

Full text

Abstract:

"Model Driven Software Development" is a recent trend in development of software-intensive systems. In the Model Driven Software Development process, all knowledge pertaining to the software system to be built is represented in the form of models, in the right formalism(s) and at the right level of abstraction. At the highest level of abstraction, domain models, rather than generic models are used. Although the idea of developing the software system at a higher abstraction level is appealing, many fundamental questions remain unresolved. Many issues such as how to define the syntax and semantics of models, how to represent and store models and how to trace model evolution should be addressed properly. In this thesis, the focus is on model transformations and the open problems related to it. In particular, how to compare models, how to trace model evolution (with as a goal to undo and redo model changes), how to deal with meta-model evolution, and ultimately with semantics evolution are explored. For each issue, we analyze problems, and propose some solutions. We use small case studies to make issues more concrete. All case studies are developed in AToM3 (A Tool for Multi-formalism and Meta-Modeling), developed in the Modeling, Simulation and Design Lab (MSDL) in the School of Computer Science of McGill University.

APA, Harvard, Vancouver, ISO, and other styles

30

Newbold, Carrie. "Electrode tissue interface : development and findings of an in vitro model /." Connect to thesis, 2006. http://repository.unimelb.edu.au/10187/1692.

Full text

Abstract:

In the period immediately following the implantation of a cochlear implant electrode array within the cochlear environment, the power required to stimulate the auditory nerve at preset current levels increases. This rise is due to increases in electrode impedance which in turn is suggested to be a result of tissue growth around the electrode array. The foreign body response initiated by the immune system encapsulates the array in a matrix of fibrous tissue, separating the electrode array from the rest of the body. A second change in electrode impedance occurs with the onset of electrical stimulation. A transitory reduction in impedance has been recorded in animals and humans after stimulation of electrodes. Impedance returns to pre-stimulation levels following the cessation of stimulation. It was suggested that these changes in impedance with stimulation were also related to the tissue growth around the electrode array. A more thorough understanding of the interface was required to ascertain these concepts.

APA, Harvard, Vancouver, ISO, and other styles

31

Al, Mallah Amr. "Model-based testing of model transformations." Thesis, McGill University, 2011. http://digitool.Library.McGill.CA:80/R/?func=dbin-jump-full&object_id=96856.

Full text

Abstract:

Model Driven Engineering (MDE) research has achieved major progress in the past fewyears. Though MDE research and adoption are moving forward at an increasing pace,there are still few major challenges left to be addressed. Model Transformations (MT)represent an essential part of MDE that is gradually reaching maturity level. Testing MThas been shown to be a challenging task due to a new set of problems. In this thesis weattempt to complement the work done so far by the research community to address MTtesting challenges.We use findings from the research in classical testing to create a prospective view on MTtesting challenges and opportunities. More specifically, we focus on two challenges : ModelComparison and automating testing execution through a Testing Framework. First,we introduce a model comparison approach (based an existing graph comparison algorithm)that is customizable, and fine tuned to performs best in testing situations. Theperformance of our algorithm is throughly investigated against different types of models.Second, we introduce TUnit : a modelled framework for testing Model transformations.We demonstrate the benefit of using TUnit in supporting the process of testing transformationsin regression testing and enabling semantic equivalence through extending ourcase study to perform a comparison of coverability graphs of Petri Nets.
La recherche sur le Model Driven Engineering (MDE) a accomplit de grands progrèsau cours des dernières années. Bien que la recherche et l'adoption avancent à grandspas, il reste encore plusieurs défis majeurs à adresser. La Transformation de Modèle(TM) représente un élément essentiel du MDE qui atteint graduellement le niveau dematurité. Le test sur les TM s'est démontré être une tˆache difficile en raison des nouveauxproblèmes survenus. Dans cette thèse, nous essayons de complémenter le travail complétépar la communauté de recherche pour adresser les défis restants des tests sur les TM.Nous utilisons les résultats de la recherche en tests classiques pour créer une visionprospective sur les défis et opportunités des tests sur les TM. Nous nous concentrons plusprécisement sur les deux défis suivants : la comparaison des modèles et l'automation destests exécutés à travers un cadre de tests . Tout d'adord, nous présentons une approcheen comparaison de modèles qui peut être personnalisée et atteint de meilleurs résultatsdans des situations de tests. La performance de notre algorithme est rigoureusementétudiée contre différents types de modèles. Deuxièmement, nous introduisons Tunit : uncadre de tests en transformation de modèles qui est aussi un modèle. Nous démontronsles avantages d'utiliser TUnit pour donner un support au processus de tests sur lestransformations en tests de regression et permettre l'équivalance sémantique.

APA, Harvard, Vancouver, ISO, and other styles

32

Nilsson, Marcus. "Regular model checking /." Uppsala : Acta Universitatis Upsaliensis : Univ.-bibl. [distributör], 2005. http://urn.kb.se/resolve?urn=urn:nbn:se:uu:diva-4793.

Full text

APA, Harvard, Vancouver, ISO, and other styles

33

Faruqui, Saif Ahmed. "Utility computing: Certification model, costing model, and related architecture development." CSUSB ScholarWorks, 2005. https://scholarworks.lib.csusb.edu/etd-project/2756.

Full text

Abstract:

The purpose of the thesis was to propose one set of solutions to some of the challenges that are delaying the adoption of utility computing on a wider scale. These components enable effective deployment of utility computing, efficient look-up, and comparison of service offerings of different utility computing resource centers connected to the utility computing network.

APA, Harvard, Vancouver, ISO, and other styles

34

Greaney, Kevin J. "Evolving a simulation model product line software architecture from heterogeneous model representations." Monterey, Calif. : Springfield, Va. : Naval Postgraduate School ; Available from National Technical Information Service, 2003. http://library.nps.navy.mil/uhtbin/hyperion-image/03sep%5FGreaney%5FPhD.pdf.

Full text

APA, Harvard, Vancouver, ISO, and other styles

35

Penrod, Dan. "Utility of computer model for detailing." Monterey, Calif. : Springfield, Va. : Naval Postgraduate School ; Available from National Technical Information Service, 2004. http://library.nps.navy.mil/uhtbin/hyperion/04Mar%5FPenrod%5FMBA.pdf.

Full text

Abstract:

Thesis (M.B.A)--Naval Postgraduate School, March 2004.
Thesis advisor(s): Bill Gates, Bill Hatch. "MBA professional report"--Cover. Includes bibliographical references (p. 65). Also available online.

APA, Harvard, Vancouver, ISO, and other styles

36

Sanyamahwe, Tendai. "Digital forensic model for computer networks." Thesis, University of Fort Hare, 2011. http://hdl.handle.net/10353/d1000968.

Full text

Abstract:

The Internet has become important since information is now stored in digital form and is transported both within and between organisations in large amounts through computer networks. Nevertheless, there are those individuals or groups of people who utilise the Internet to harm other businesses because they can remain relatively anonymous. To prosecute such criminals, forensic practitioners have to follow a well-defined procedure to convict responsible cyber-criminals in a court of law. Log files provide significant digital evidence in computer networks when tracing cyber-criminals. Network log mining is an evolution of typical digital forensics utilising evidence from network devices such as firewalls, switches and routers. Network log mining is a process supported by presiding South African laws such as the Computer Evidence Act, 57 of 1983; the Electronic Communications and Transactions (ECT) Act, 25 of 2002; and the Electronic Communications Act, 36 of 2005. Nevertheless, international laws and regulations supporting network log mining include the Sarbanes-Oxley Act; the Foreign Corrupt Practices Act (FCPA) and the Bribery Act of the USA. A digital forensic model for computer networks focusing on network log mining has been developed based on the literature reviewed and critical thought. The development of the model followed the Design Science methodology. However, this research project argues that there are some important aspects which are not fully addressed by South African presiding legislation supporting digital forensic investigations. With that in mind, this research project proposes some Forensic Investigation Precautions. These precautions were developed as part of the proposed model. The Diffusion of Innovations (DOI) Theory is the framework underpinning the development of the model and how it can be assimilated into the community. The model was sent to IT experts for validation and this provided the qualitative element and the primary data of this research project. From these experts, this study found out that the proposed model is very unique, very comprehensive and has added new knowledge into the field of Information Technology. Also, a paper was written out of this research project.

APA, Harvard, Vancouver, ISO, and other styles

37

Vazquez-Roman, Richart. "Computer aids for process model-building." Thesis, Imperial College London, 1992. http://hdl.handle.net/10044/1/7722.

Full text

APA, Harvard, Vancouver, ISO, and other styles

38

Cho, Jae Hyun. "Computer aids for mathematical model-building." Thesis, Imperial College London, 1997. http://hdl.handle.net/10044/1/8256.

Full text

APA, Harvard, Vancouver, ISO, and other styles

39

Щеглов, Сергій Анатолійович, Сергей Анатольевич Щеглов, Serhii Anatoliiovych Shchehlov, Віра Вікторівна Шендрик, Вера Викторовна Шендрик, Vira Viktorivna Shendryk, and I. Sumtsova. "Bell-LaPadula model of computer security." Thesis, Сумський державний університет, 2012. http://essuir.sumdu.edu.ua/handle/123456789/28822.

Full text

Abstract:

The exact description is given of Bell and La Padula security model with use of modern notation. The document is intended serve as a basis for more precise formal and academic discussion model. The Bell-La Padula security model created conceptual tools for the analysis and design of safe computer systems. When you are citing the document, use the following link http://essuir.sumdu.edu.ua/handle/123456789/28822

APA, Harvard, Vancouver, ISO, and other styles

40

Bao, Tonglaga. "Disk Based Model Checking." Diss., CLICK HERE for online access, 2004. http://contentdm.lib.byu.edu/ETD/image/etd567.pdf.

Full text

APA, Harvard, Vancouver, ISO, and other styles

41

Mahajan, Harshad S. "Filtering engine model for VIMNet." Toledo, Ohio : University of Toledo, 2010. http://rave.ohiolink.edu/etdc/view?acc_num=toledo1271388865.

Full text

Abstract:

Thesis (M.S.)--University of Toledo, 2010.
Typescript. "Submitted to the Graduate Faculty as partial fulfillment of the requirements for the Master of Science Degree in Engineering." "A thesis entitled"--at head of title. Title from title page of PDF document. Bibliography: p. 77-78.

APA, Harvard, Vancouver, ISO, and other styles

42

Siminiceanu, Radu. "Structural model checking." W&M ScholarWorks, 2004. https://scholarworks.wm.edu/etd/1539623441.

Full text

Abstract:

The introduction of symbolic approaches, based on Binary Decision Diagrams (BDD), to Model Checking has led to significant improvements in Formal Verification, by allowing the analysis of very large systems, such as complex circuit designs. These were previously beyond the reach of traditional, explicit methods, due to the state space explosion phenomenon. However, after the initial success, the BDD technology has peaked, due to a similar problem, the BDD explosion.;We present a new approach to symbolic Model Checking that is based on exploiting the system structure. This technique is characterized by several unique features, including an encoding of states with Multiway Decision Diagrams (MDD) and of transitions with boolean Kronecker matrices. This approach naturally captures the property of event locality, inherently present in the class of globally asynchronous/locally synchronous systems.;The most important contribution of our work is the saturation algorithm for state space construction. Using saturation, the peak size of the MDD (luring the exploration is drastically reduced, often to sizes equal or comparable to the final MDD size, which makes it optimal in these terms. Subsequently, saturation can achieve similar reductions in runtimes. When compared to the leading state-of-the art tools based on traditional symbolic approaches, saturation is up to 100,000 times faster and uses up to 1,000 times less memory. This enables our approach to study much larger systems than ever considered. Following the success in state space exploration, we extend the applicability of the saturation algorithm to CTL Model Checking, and also to efficient generation of shortest length counterexamples for safety properties, with similar results.;This approach to automatic verification is implemented in the tool SMART. We test the new model checker on a real life, industrial size application: the NASA Runway Safety Monitor (RSM). The analysis exposes a number of potential problems with the decision procedure designed to signal all hazardous situations during takeoff and landing procedures on runways. Attempts to verify RSM with other model checkers (NuSMV, SPIN) fail due to excessive memory consumption, showing that our structural method is superior to existing symbolic approaches.

APA, Harvard, Vancouver, ISO, and other styles

43

Chhabra, Nitin. "FINITE ELEMENT ANALYSIS OF A TEST SPECIMEN FOR STRENGTH OF A CO-POLYMER LAYER AT A BONE-IMPLANT INTERFACE." Master's thesis, University of Central Florida, 2004. http://digital.library.ucf.edu/cdm/ref/collection/ETD/id/4427.

Full text

Abstract:

The aim of this work is to evaluate the mechanical strength of a co-polymer of 2-hydroxyethylmethacrylate (HEMA) and methylmethacrylate (MMA), so that it can be applied as an interfacial layer between bone cement and steel implants to improve their performance and life. Finite element (FE) analysis techniques are used to assess the behavior of the interface layer under static and dynamic loading conditions. The material property of the co-polymer is a function of its composition and water saturation. The factors affecting the strength of the bone-implant interface are many. Implant interfacial fracture can lead to decreased stability. Fatigue life is a very important process in failure. The results obtained from static and dynamic analyses show that increasing the percentage of HEMA improves the strength of the interface by reducing the stiffness of the implant, absorbing more energy and by reducing the interfacial stress peaks and making the stress distribution more nearly uniform.
M.S.
Department of Mechanical, Materials and Aerospace Engineering
Engineering and Computer Science
Mechanical, Materials and Aerospace Engineering

APA, Harvard, Vancouver, ISO, and other styles

44

Sutherland, Duncan Stewart. "Studies of titanium as an implant material within the body and within a model of the inflammatory response." Thesis, University of Bristol, 1995. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.283942.

Full text

APA, Harvard, Vancouver, ISO, and other styles

45

Okuzu, Yaichiro. "Strontium and magnesium ions released from bioactive titanium metal promote early bone bonding in a rabbit implant model." Kyoto University, 2018. http://hdl.handle.net/2433/232122.

Full text

APA, Harvard, Vancouver, ISO, and other styles

46

Vartak, Manasi. "Infrastructure for model management and model diagnosis." Thesis, Massachusetts Institute of Technology, 2018. http://hdl.handle.net/1721.1/118091.

Full text

Abstract:

Thesis: Ph. D., Massachusetts Institute of Technology, Department of Electrical Engineering and Computer Science, 2018.
Cataloged from PDF version of thesis.
Includes bibliographical references (pages 147-159).
Building ML-based workflows in the real world is a trial-and-error, iterative process where an ML developer builds tens to hundreds of workflows before arriving at one that meets some task-specific acceptance criteria. This iterative process of workflow building is laborious for several reasons including the large variety of available ML models, the time required to train the workflow, difficulty keeping track of workflows built during the modeling process, and the time required for debugging trained workflows. In this thesis, we are primarily interested in two problems with the repetitive modeling process: first, how to manage ML-based workflows generated over multiple iterations of the modeling process, and second, how to efficiently debug or diagnose trained ML-based workflows. In this work, we study these questions from a systems perspective and propose novel software systems and techniques to address them. Specifically, our contributions are: 1. We propose MODELDB, a system to track provenance and performance of ML-based workflows. 2. We propose MISTIQUE, a system to store ML-based workflow intermediates in order to speed up model debugging tasks, and 3. We provide examples of new diagnostic techniques that can be designed using the data in MISTIQUE.
by Manasi Vartak.
Ph. D.

APA, Harvard, Vancouver, ISO, and other styles

47

Shah, Seyyed Madasar Ali. "Model transformation dependability evaluation by the automated creation of model generators." Thesis, University of Birmingham, 2012. http://etheses.bham.ac.uk//id/eprint/3407/.

Full text

Abstract:

This thesis is on the automatic creation of model generators to assist the validation of model transformations. The model driven software development methodology advocates models as the main artefact to represent software during development. Such models are automatically converted, by transformation tools, to apply in different stages of development. In one application of the method, it becomes possible to synthesise software implementations from design models. However, the transformations used to convert models are man-made, and so prone to development error. An error in a transformation can be transmitted to the created software, potentially creating many invalid systems. Evaluating that model transformations are reliable is fundamental to the success of modelling as a principle software development practice. Models generated via the technique presented in this thesis can be applied to validate transformations. In several existing transformation validation techniques, some form of conversion is employed. However, those techniques do not apply to validate the conversions used there-in. A defining feature of the current presentation is the utilization of transformations, making the technique self-hosting. That is, an implementation of the presented technique can create generators to assist model transformations validation and to assist validation of that implementation of the technique.

APA, Harvard, Vancouver, ISO, and other styles

48

Clark, Thomas K. "Logging Subsystem Performance: Model and Evaluation." PDXScholar, 1994. https://pdxscholar.library.pdx.edu/open_access_etds/4724.

Full text

Abstract:

Transaction logging is an integral part of ensuring proper transformation of data from one state to another in modern data management. Because of this, the throughput of the logging subsystem can be critical to the throughput of an application. The purpose of this research is to break the log bottleneck at minimum cost. We first present a model for evaluating a logging subsystem, where a logging subsystem is made up of a log device, a log backup device, and the interconnect algorithm between the two, which we term the log backup method. Included in the logging model is a set of criteria for evaluating a logging subsystem and a system for weighting the criteria in order to facilitate comparisons of two logging subsystem configurations to determine the better of the two. We then present an evaluation of each of the pieces of the logging subsystem in order to increase the bandwidth of both the log device and log backup device, while selecting the best log backup method, at minimum cost. We show that the use of striping and RAID is the best alternative for increasing log device bandwidth. Along with our discussion of RAID, we introduce a new RAID algorithm that is designed to overcome the performance problems of small writes in a RAID log. In order to increase the effective bandwidth of the log backup device, we suggest the use of inexpensive magnetic tape drives and striping in the log backup device, where the bandwidth of the log backup device is increased to the point that it matches the bandwidth of the log device. For the log backup interconnect algorithm, we present the novel approach of backing up the log synchronously, where the log backup device is essentially a mirror of the log device, as well as evaluating other log backup interconnect algorithms. Finally, we present a discussion of a prototype implementation of some of the ideas in the thesis. The prototype was implemented in a commercial database system, using a beta version of INFORMIX-OnLine Dynamic Server™ version 6.0.

APA, Harvard, Vancouver, ISO, and other styles

49

Li, Chin-Hsiang. "Extensions to the attribute grammar form model to model meta software engineering environments /." The Ohio State University, 1985. http://rave.ohiolink.edu/etdc/view?acc_num=osu1487259580261289.

Full text

APA, Harvard, Vancouver, ISO, and other styles

50

Papanikolaou, Nikolaos K. "Model checking quantum protocols." Thesis, University of Warwick, 2009. http://wrap.warwick.ac.uk/2236/.

Full text

Abstract:

This thesis describes model checking techniques for protocols arising in quantum information theory and quantum cryptography. We discuss the theory and implementation of a practical model checker, QMC, for quantum protocols. In our framework, we assume that the quantum operations performed in a protocol are restricted to those within the stabilizer formalism; while this particular set of operations is not universal for quantum computation, it allows us to develop models of several useful protocols as well as of systems involving both classical and quantum information processing. We detail the syntax, semantics and type system of QMC’s modelling language, the logic QCTL which is used for verification, and the verification algorithms that have been implemented in the tool. We demonstrate our techniques with applications to a number of case studies.

APA, Harvard, Vancouver, ISO, and other styles

Dissertations / Theses on the topic 'Computer model of implant'

Create a spot-on reference in APA, MLA, Chicago, Harvard, and other styles