Accedi

Bibliografie tematiche / Computer-Aided Design [MESH]

Indice

Articoli di riviste
Tesi
Libri
Capitoli di libri
Atti di convegni

Letteratura scientifica selezionata sul tema "Computer-Aided Design [MESH]"

Autore: Grafiati

Pubblicato: 29 luglio 2024

Ultima modifica: 31 luglio 2024

Cita una fonte nei formati APA, MLA, Chicago, Harvard e in molti altri stili

Scegli il tipo di fonte:

Consulta la lista di attuali articoli, libri, tesi, atti di convegni e altre fonti scientifiche attinenti al tema "Computer-Aided Design [MESH]".

Accanto a ogni fonte nell'elenco di riferimenti c'è un pulsante "Aggiungi alla bibliografia". Premilo e genereremo automaticamente la citazione bibliografica dell'opera scelta nello stile citazionale di cui hai bisogno: APA, MLA, Harvard, Chicago, Vancouver ecc.

Puoi anche scaricare il testo completo della pubblicazione scientifica nel formato .pdf e leggere online l'abstract (il sommario) dell'opera se è presente nei metadati.

Articoli di riviste sul tema "Computer-Aided Design [MESH]"

1

Hamid, Nor Faharina Abdul, Nurul Jannah Zulkefle, Tengku Fazrina Tengku Mohd Ariff, ZuryatiAb Ghani e Rohana Ahmad. "Computer Aided Design / Computer Aided Manufacturing (CAD / CAM) Post and Core - A Review". Journal of Evolution of Medical and Dental Sciences 10, n. 36 (6 settembre 2021): 3143–51. http://dx.doi.org/10.14260/jemds/2021/640.

Testo completo

Abstract (sommario):

BACKGROUND Nowadays, the use of computer aided design / computer aided manufacturing (CAD / CAM) in fabricating indirect restoration such as onlay, crown and bridge has increased tremendously. However, there is lack of clinical information and evidence on current material and fabrication techniques of CAD / CAM post and core. This paper describes the classification of the post and core system and review current perspectives on recent development of CAD / CAM post and core. An electronic search of the literature was performed via PubMed and Scopus database, using the keyword (post and core) and (CAD / CAM) and (CAD / CAM post and core) as MeSH term. Articles eligible for inclusion in the present review were published in English, journal article and dated from January 2000 until November 2020. A total of 31 publications consisting of 18 in-vitro studies, 7 case reports, 4 finite element analysis and 2 clinical techniques were included in this review. Analysis parameters included are options of chairside CAD / CAM materials, CAD / CAM system and milling machine used, advantages and disadvantages and future direction of CAD / CAM post and core. CAD /CAM post and core can be alternative option as compared to the custom-made post and core and prefabricated post and core. KEY WORDS Computer - Aided Design, Computer - Aided Manufacturing, Dental Material, Indirect Restoration, Post and Core

Gli stili APA, Harvard, Vancouver, ISO e altri

2

Truong, Anh H., David W. Zingg e Robert Haimes. "Surface Mesh Movement Algorithm for Computer-Aided-Design-Based Aerodynamic Shape Optimization". AIAA Journal 54, n. 2 (febbraio 2016): 542–56. http://dx.doi.org/10.2514/1.j054295.

Testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

3

Alaverdyan, Sinok A., Igor N. Kabanov, Vyacheslav V. Komarov e Valery Petrovich Meschanov. "Development and Computer-Aided Design of Metal Gratings for Microwave Mesh Polarizers". IEEE Transactions on Microwave Theory and Techniques 63, n. 8 (agosto 2015): 2509–14. http://dx.doi.org/10.1109/tmtt.2015.2446485.

Testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

4

Maggiordomo, Andrea, Henry Moreton e Marco Tarini. "Micro-Mesh Construction". ACM Transactions on Graphics 42, n. 4 (26 luglio 2023): 1–18. http://dx.doi.org/10.1145/3592440.

Testo completo

Abstract (sommario):

Micro-meshes (μ-meshes) are a new structured graphics primitive supporting a large increase in geometric fidelity, without commensurate memory and run-time processing costs, consisting of a base mesh enriched by a displacement map. A new generation of GPUs supports this structure with native hardware μ-mesh ray-tracing, that leverages a self-bounding, compressed displacement mapping scheme to achieve these efficiencies. In this paper, we present anautomatic method to convert an existing multi-million triangle mesh into this compact format, unlocking the advantages of the data representation for a large number of scenarios. We identify the requirements for high-quality μ-meshes, and show how existing re-meshing and displacement-map baking tools are ill-suited for their generation. Our method is based on a simplification scheme tailored to the generation of high-quality base meshes , optimized for tessellation and displacement sampling, in conjunction with algorithms for determining displacement vectors to control the direction and range of displacements. We also explore the optimization of μ-meshes for texture maps and the representation of boundaries. We demonstrate our method with extensive batch processing, converting an existing collection of high-resolution scanned models to the micro-mesh representation, providing an open-source reference implementation, and, as additional material, the data and an inspection tool.

Gli stili APA, Harvard, Vancouver, ISO e altri

5

Sun, Liang, Weigang Yao, Trevor T. Robinson, Cecil G. Armstrong e Simão P. Marques. "Automated Mesh Deformation for Computer-Aided Design Models That Exhibit Boundary Topology Changes". AIAA Journal 58, n. 9 (settembre 2020): 4128–41. http://dx.doi.org/10.2514/1.j058760.

Testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

6

Fan, Li Hua, Bo Liu, Bao Ling Xie e Qi Chen. "Automatic Point Clouds Registration Method Based on Mesh Segmentation". Applied Mechanics and Materials 423-426 (settembre 2013): 2587–90. http://dx.doi.org/10.4028/www.scientific.net/amm.423-426.2587.

Testo completo

Abstract (sommario):

This paper proposes an automatic point clouds registration method based on High-Speed Mesh Segmentation. The proposed method works fast for doing an initial registration and extracting point clouds region feature. First, the features of the point region are used for matching point cloud regions. Second, matched regions sets are classified for calculating transform matrix of initial registration. Based on the initial registration result the Iterative Closest Point (ICP) algorithm which had been used for accuracy registration to composite point cloud pairs will be applied. The proposed registration approach is able to do automatic registration without any assumptions about their initial positions, and avoid the problems of traditional ICP in bad initial estimate. The proposed method plus with ICP algorithm provides an efficient 3D model for computer-aided engineering and computer-aided design.

Gli stili APA, Harvard, Vancouver, ISO e altri

7

Thilmany, Jean. "Making a Mesh of Things". Mechanical Engineering 125, n. 09 (1 settembre 2003): 54–56. http://dx.doi.org/10.1115/1.2003-sep-3.

Testo completo

Abstract (sommario):

Models need to be meshed and made acceptable for analysis before finite element analysis (FEA) can be run. Software providers that make pre-processing applications must keep up with changes in FEA technology to remain competitive. The mesh contains the data on material and structural properties that define how the part will react to certain load conditions. Today's closely integrated computer-aided design (CAD), pre-processing, and FEA applications allow CAD and entry-level FEA technologies to work together within a common user interface and give design engineers a quick, effortless way to see if their designs will meet specifications. Simplifying the FEA programs so a design engineer can use them limits the intricacy of the mesh as well as the depth of analysis. HyperMesh prepares CAD geometries for analysis. The meshed geometries are then exported to Procter & Gamble's customized package analysis system called Virtual Package Simulation. Today, engineers use mesh technologies and attendant FEA programs for an array of analyses. Some are related to manufacturing, but as often as not they've found their way into other industries.

Gli stili APA, Harvard, Vancouver, ISO e altri

8

Ciocca, Leonardo, Giuseppe Lizio, Paolo Baldissara, Alessandro Sambuco, Roberto Scotti e Giuseppe Corinaldesi. "Prosthetically CAD-CAM–Guided Bone Augmentation of Atrophic Jaws Using Customized Titanium Mesh: Preliminary Results of an Open Prospective Study". Journal of Oral Implantology 44, n. 2 (1 aprile 2018): 131–37. http://dx.doi.org/10.1563/aaid-joi-d-17-00125.

Testo completo

Abstract (sommario):

This study evaluated the outcomes of computer-aided design–computer-aided machining (CAD-CAM)–customized titanium mesh used for prosthetically guided bone augmentation related to the occlusion-driven implant position, to the vertical bone volume gain of the mandible and maxilla, and to complications, such as mesh exposure. Nine patients scheduled for bone augmentation of atrophic sites were treated with custom titanium mesh and particulate bone grafts with autologous bone and anorganic bovine bone in a 1:1 ratio prior to implant surgery. The bone volume needed to augment was virtually projected based on implant position, width, and length, and the mesh design was programmed for the necessary retaining screws. After 6 to 8 months, bone augmentations of 1.72 to 4.1 mm (mean: 3.83 mm) for the mandibular arch and 2.14 to 6.88 mm (mean: 3.95 mm) for the maxilla were registered on cone-beam computerized tomography. Mesh premature (within 4 to 6 weeks) exposure was observed in 3 cases and delayed (after 4 to 6 weeks) in 3 other cases. One titanium mesh was removed before the programmed time but in all augmented sites was possible implant insertion. No complication occurred during prosthetic follow-up. Using CAD-CAM technology for prosthetically guided bone augmentation showed important postoperative morbidity of mesh exposure (66%). Because of this high prevalence of mesh exposure and the potential infection that could affect the expected bone augmentation, this study suggests a cautious approach to this procedure when designing the titanium mesh, to avoid flap tension that may cause mucosal rupture.

Gli stili APA, Harvard, Vancouver, ISO e altri

9

Feng, Leman, Yiying Tong e Mathieu Desbrun. "Q-zip". ACM Transactions on Graphics 40, n. 6 (dicembre 2021): 1–13. http://dx.doi.org/10.1145/3478513.3480523.

Testo completo

Abstract (sommario):

Singularity editing of a quadrangle mesh consists in shifting singularities around for either improving the quality of the mesh elements or canceling extraneous singularities, so as to increase mesh regularity. However, the particular structure of a quad mesh renders the exploration of allowable connectivity changes non-local and hard to automate. In this paper, we introduce a simple, principled, and general quad-mesh editing primitive with which pairs of arbitrarily distant singularities can be efficiently displaced around a mesh through a deterministic and reversible chain of local topological operations with a minimal footprint. Dubbed Q-zip as it acts as a zipper opening up and collapsing down quad strips, our practical mesh operator for singularity editing can be easily implemented via parallel transport of a reference compass between any two irregular vertices. Batches of Q-zips performed in parallel can then be used for efficient singularity editing.

Gli stili APA, Harvard, Vancouver, ISO e altri

10

Lin, Chao-Hung, Tong-Yee Lee, Hung-Kuo Chu e Chih-Yuan Yao. "Progressive mesh metamorphosis". Computer Animation and Virtual Worlds 16, n. 3-4 (2005): 487–98. http://dx.doi.org/10.1002/cav.85.

Testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

Più fonti

Tesi sul tema "Computer-Aided Design [MESH]"

1

Price, Mark A. "Hexahedral mesh generation by medial surface subdivision". Thesis, Queen's University Belfast, 1993. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.286777.

Testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

2

Sarantinos, Michael G. "Mesh generation and visualisation tools for computational fluid dynamics". Thesis, Imperial College London, 1994. http://hdl.handle.net/10044/1/7154.

Testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

3

Mudrich, Jaime. "Development of a Coupling Model for Fluid-Structure Interaction using the Mesh-free Finite Element Method and the Lattice Boltzmann Method". FIU Digital Commons, 2013. http://digitalcommons.fiu.edu/etd/964.

Testo completo

Abstract (sommario):

In the presented thesis work, the meshfree method with distance fields was coupled with the lattice Boltzmann method to obtain solutions of fluid-structure interaction problems. The thesis work involved development and implementation of numerical algorithms, data structure, and software. Numerical and computational properties of the coupling algorithm combining the meshfree method with distance fields and the lattice Boltzmann method were investigated. Convergence and accuracy of the methodology was validated by analytical solutions. The research was focused on fluid-structure interaction solutions in complex, mesh-resistant domains as both the lattice Boltzmann method and the meshfree method with distance fields are particularly adept in these situations. Furthermore, the fluid solution provided by the lattice Boltzmann method is massively scalable, allowing extensive use of cutting edge parallel computing resources to accelerate this phase of the solution process. The meshfree method with distance fields allows for exact satisfaction of boundary conditions making it possible to exactly capture the effects of the fluid field on the solid structure.

Gli stili APA, Harvard, Vancouver, ISO e altri

4

King, Matthew Lee. "A CAD-centric Approach to CFD Analysis With Discrete Features". Diss., CLICK HERE for online access, 2004. http://contentdm.lib.byu.edu/ETD/image/etd570.pdf.

Testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

5

Véron, Philippe. "Techniques de simplification de modèles polyédriques pour un environnement de conception mécanique". Grenoble INPG, 1997. http://www.theses.fr/1997INPG0194.

Testo completo

Abstract (sommario):

Les modeles polyedriques sont couramment utilises pendant les processus de conception de produits notamment pour les etapes de visualisation d'objets, de calcul des trajectoires d'usinage et d'analyse de structures par elements finis. Lorsque les polyedres sont generes par construction de surfaces a partir de nuages de points numerises (techniques d'ingenierie inverse) ou bien par facettisation de modeles c. A. O. Parametriques decrivant des formes complexes, ils comportent en general un nombre tres important de sommets et de faces (jusqu'a plusieurs dizaines de millions) ce qui conduit a envisager un traitement de simplification pour les rendre exploitables dans les circonstances precedentes. Une technique dediee a la simplification des polyedres (modeles polyedriques a variete uniforme de dimension deux) est presentee. La simplification est conduite a partir d'un processus iteratif de suppression de sommets du polyedre initial dont l'evolution est controlee par un critere d'evaluation de courbure discrete couple a un mecanisme de propagation de fronts. Pour chaque suppression de sommet le trou genere est remaille suivant differents criteres adaptes a la configuration locale de courbure de l'objet. Au cours de la simplification la restitution de la geometrie initiale est controlee en fonction d'un ecart de position prealablement fixees par l'utilisateur. Cet ecart materialise une enveloppe discrete a l'interieur de laquelle le polyedre simplifie doit etre maintenu. Enfin, la topologie du modele initial est conservee. L'ensemble de ces elements a pour principal effet de preserver au mieux la forme initiale de l'objet represente. Une seconde technique de simplification est ensuite proposee pour les modeles polyedriques a varietes non uniformes. La restitution de la geometrie est controlee par le critere precedent mais des changements de la topologie du modele initial ou bien de sa variete sont autorises pendant la simplification sans detruire son integrite.

Gli stili APA, Harvard, Vancouver, ISO e altri

6

Noël, Frédéric. "Mailleur auto-adaptatif pour des surfaces gauches en vue de la conception intégrée". Grenoble INPG, 1994. http://www.theses.fr/1994INPG0110.

Testo completo

Abstract (sommario):

Les sciences de l'ingenieur font souvent appel a des maillages. Cette representation geometrique demeure difficile a controler lorsque le domaine maille correspond a une surface gauche. Reposant sur un lien efficace entre un maillage et un modele geometrique (base sur un formalisme de type non uniform rational b-spline), cette etude propose des outils de manipulation geometrique ou topologique des maillages surfaciques. Elle met aussi en evidence des problemes inherents a la liaison c. A. O. -calculs de structures et indique des outils de base pour la gestion de ces problemes. Sans necessiter de connaissances approfondies sur les techniques c. A. O. , un module de maillage dedie au specialiste du calcul de structures a ete developpe et permet le controle d'un maillage surfacique conforme a un modele geometrique. Ce dernier est directement issu des modeleurs c. A. O. Ameliorant la communication entre les specialistes du bureau d'etude et ceux du service calculs, cette etude participe pleinement a l'effort d'integration des differentes phases du processus de conception

Gli stili APA, Harvard, Vancouver, ISO e altri

7

Egerton, David. "Automated generation of SW design constructs from MESA source code /". Online version of thesis, 1993. http://hdl.handle.net/1850/12144.

Testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

8

Wang, Changling. "Sketch based 3D freeform object modeling with non-manifold data structure /". View Abstract or Full-Text, 2002. http://library.ust.hk/cgi/db/thesis.pl?MECH%202002%20WANGC.

Testo completo

Abstract (sommario):

Thesis (Ph. D.)--Hong Kong University of Science and Technology, 2002.
Includes bibliographical references (leaves 143-152). Also available in electronic version. Access restricted to campus users.

Gli stili APA, Harvard, Vancouver, ISO e altri

9

Zgainski, François-Xavier. "Un pré processeur pour l'électromagnétisme, l'électromécanique et l'électroacoustique". Grenoble INPG, 1996. http://www.theses.fr/1996INPG0127.

Testo completo

Abstract (sommario):

Dans ce rapport, nous décrivons un outil capable de mailler en trois dimensions destiné à une approche multidisciplinaire de la physique (électrotechnique, électromécanique, acoustique) en mélangeant de manière avantageuse les types de bailleurs. L'innovation de ce pré-processeur est de pouvoir utiliser différents algorithmes de maillage en raccordant les éléments automatiquement via l'introduction d'éléments pyramidaux originaux. Après avoir analysé les méthodes de maillage existantes et leurs spécificités dans la littérature, nous avons, avec les utilisateurs, classifié les difficultés de maillage. Ensuite, un indicateur de qualité a priori de maillage (basé sur le conditionnement de la matrice élémentaire), permettant d'évaluer la définition et le maillage d'un problème élément fini, est proposé. Un élément fini pyramide original a été développé, étudié et validé, de manière à raccorder fortement les différents maillages issus de railleurs manuels et assistés. Cet élément a été validé sur des formulations éléments finis nodaux et éléments finis d'arête. Ensuite, nous proposons un algorithme de gestion des interfaces non conformes via un procédé d'insertion de noeuds dans le maillage mixte de manière à générer un maillage conforme. En cherchant à perfectionner l'outil développé, une qualification a été réalisée via de nombreuses collaborations universitaires et industrielles sur des problèmes tests réalistes. Enfin, nous présentons le maillage et le calcul d'une structure de transducteur Janus Helmholtz magnétostrictif

Gli stili APA, Harvard, Vancouver, ISO e altri

10

Mcguiness, Timothy P. "Parallel Mesh Adaptation and Graph Analysis Using Graphics Processing Units". 2011. https://scholarworks.umass.edu/theses/545.

Testo completo

Abstract (sommario):

In the field of Computational Fluid Dynamics, several types of mesh adaptation strategies are used to enhance a mesh’s quality, thereby improving simulation speed and accuracy. Mesh smoothing (r-refinement) is a simple and effective technique, where nodes are repositioned to increase or decrease local mesh resolution. Mesh partitioning divides a mesh into sections, for use on distributed-memory parallel machines. As a more abstract form of modeling, graph theory can be used to simulate many real-world problems, and has applications in the fields of computer science, sociology, engineering and transportation, to name a few. One of the more important graph analysis tasks involves moving through the graph to evaluate and calculate nodal connectivity. The basic structures of meshes and graphs are the same, as both rely heavily on connectivity information, representing the relationships between constituent nodes and edges. This research examines the parallelization of these algorithms using commodity graphics hardware; a low-cost tool readily available to the computing community. Not only does this research look at the benefits of the fine-grained parallelism of an individual graphics processor, but the use of Message Passing Interface (MPI) on large-scale GPU-based supercomputers is also studied.

Gli stili APA, Harvard, Vancouver, ISO e altri

Libri sul tema "Computer-Aided Design [MESH]"

1

Alexandre, Varnek, Tropsha Alex e Royal Society of Chemistry (Great Britain)., a cura di. Chemoinformatics approaches to virtual screening. Cambridge: RSC Pub., 2008.

Cerca il testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

2

Li, Jinghai. From Multiscale Modeling to Meso-Science: A Chemical Engineering Perspective. Berlin, Heidelberg: Springer Berlin Heidelberg, 2013.

Cerca il testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

3

Tropsha, Alex, Weifan Zheng e Igor Baskin. Chemoinformatics Approaches to Virtual Screening. Royal Society of Chemistry, The, 2008.

Cerca il testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

4

Wittmann. Struct Mechvol Bcomputational Mech. Taylor & Francis, 1987.

Cerca il testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

5

(Editor), Cornelius T. Leondes, a cura di. Computer-Aided Design, Engineering, and Manufacturing: Systems Techniques and Applications, Volume IV, Optimization Meth. CRC, 2000.

Cerca il testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

6

Ge, Wei, Wang Wei, Mooson Kwauk, Limin Wang, Ning Yang, Xiaowei Wang, Jinghai Li, Xinhua Liu, Xianfeng He e Junwu Wang. From Multiscale Modeling to Meso-Science: A Chemical Engineering Perspective. Springer, 2015.

Cerca il testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

7

2, Ifip Wg 10, e Wg 10.5 International Workshop on Applied Formal Methods. Formal Vlsi Correctness Verification: Vlsi Design Methods II : Proceedings of the Ifip Wg 10.2/Wg 10.5 International Workshop on Applied Formal Meth (Vlsi Design Methods, 2). North-Holland, 1990.

Cerca il testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

Capitoli di libri sul tema "Computer-Aided Design [MESH]"

1

Lowther, D. A., e P. P. Silvester. "Problem Modelling and Mesh Construction". In Computer-Aided Design in Magnetics, 68–118. Berlin, Heidelberg: Springer Berlin Heidelberg, 1986. http://dx.doi.org/10.1007/978-3-642-70671-4_4.

Testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

2

Cai, Shengyong, Juntong Xi e Chee Kai Chua. "A Novel Bone Scaffold Design Approach Based on Shape Function and All-Hexahedral Mesh Refinement". In Computer-Aided Tissue Engineering, 45–55. Totowa, NJ: Humana Press, 2012. http://dx.doi.org/10.1007/978-1-61779-764-4_3.

Testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

3

Wang, Tao, Jinyi Wang, Pengjie Wang, Zhibo Ren e Chao Peng. "Electrolysis Visualization and Performance Evaluation Platform for Commercial-Sized Alkaline Water Electrolyzer". In Proceedings of the 10th Hydrogen Technology Convention, Volume 1, 390–400. Singapore: Springer Nature Singapore, 2024. http://dx.doi.org/10.1007/978-981-99-8631-6_38.

Testo completo

Abstract (sommario):

AbstractAlkaline water electrolysis (AWE) is promising for large-scale commercial production of green hydrogen, but large overpotential hinders their promotion. In order to reduce energy consumption, structure design of bipolar plate is crucial, which calls for a deep understanding of the flow behavior such as flow distribution and product bubble motion inside of the electrolyzers, thus requiring electrolysis visualization and evaluation. But due to challenge of structure design and proper sealing performance, related system/devices for commercial-sized electrolyzer are rare. In the present work, we construct an electrolytic visualization and performance testing system by using 3D computer aided design. Using precision CNC machining of transparent electrolyzer, the internal flow of different structures can be visualized, and the performance of the electrolyzer can be tested simultaneously. Based on the system, two common structured electrolyzer design are investigated, namely concave and convex bipolar plate (CCBP) and metal mesh support electrolyzer. The results indicate that a better flow uniformity is crucial for lower overpotential and the inferior performance of mesh structured electrolyzer at large current density results from bubble impediment in the mesh structure. The current platform can be applied as a general tool for convenient multi-phase investigation and performance evaluation of different structure design components during water electrolysis at a low cost.

Gli stili APA, Harvard, Vancouver, ISO e altri

4

Choi, Joonwon, Adam Chlipala e Arvind. "Hemiola: A DSL and Verification Tools to Guide Design and Proof of Hierarchical Cache-Coherence Protocols". In Computer Aided Verification, 317–39. Cham: Springer International Publishing, 2022. http://dx.doi.org/10.1007/978-3-031-13188-2_16.

Testo completo

Abstract (sommario):

AbstractCache-coherence protocols have been one of the greatest challenges in formal verification of hardware, due to their central complication of executing multiple memory-access transactions concurrently within a distributed message-passing system. In this paper, we introduce Hemiola, a framework embedded in Coq that guides the user to design protocols that never experience inconsistent interleavings while handling transactions concurrently. The framework provides a DSL, where any protocol designed in the DSL always satisfies the serializability property, allowing a user to verify the protocol assuming that transactions are executed one-at-a-time. Hemiola also provides a novel invariant proof method, for protocols designed in Hemiola, that only requires considering execution histories without interleaved memory accesses. We used Hemiola to design and prove hierarchical MSI and MESI protocols as case studies. We also demonstrated that the case-study protocols are hardware-synthesizable, by using a compilation/synthesis toolchain targeting FPGAs.

Gli stili APA, Harvard, Vancouver, ISO e altri

5

Gregory, John A., e P. K. Yuen. "An Arbitrary Mesh Network Scheme Using Rational Splines". In Mathematical Methods in Computer Aided Geometric Design II, 321–29. Elsevier, 1992. http://dx.doi.org/10.1016/b978-0-12-460510-7.50027-6.

Testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

6

Cavendish, J. C., D. A. Field e W. H. Frey. "AUTOMATIC MESH GENERATION: A FINITE ELEMENT/COMPUTER AIDED GEOMETRIC DESIGN INTERFACE". In The Mathematics of Finite Elements and Applications, 83–96. Elsevier, 1985. http://dx.doi.org/10.1016/b978-0-12-747255-3.50009-5.

Testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

7

Dierckx, Paul. "MORE MESH DATA SMOOTHING". In Curve and Surface Fitting with Splines, 223–46. Oxford University PressOxford, 1993. http://dx.doi.org/10.1093/oso/9780198534419.003.0012.

Testo completo

Abstract (sommario):

Abstract In Chapter 10 we demonstrated how least-squares and smoothing splines can be calculated very efficiently if the data are given at the nodes of a rectangular grid. In this chapter we will show how the calculations can be adapted if we want to approximate a function over a disk or a sphere, provided that the data are now given on a radius-.angle or latitude..longitude grid respectively. Furthermore we will also consider the problem of reconstructing a surface from a set of cross-sectional contours and make a link to computer aided geometric design.

Gli stili APA, Harvard, Vancouver, ISO e altri

8

Biancolini, Marco Evangelos. "Mesh Morphing and Smoothing by Means of Radial Basis Functions (RBF)". In Handbook of Research on Computational Science and Engineering, 347–80. IGI Global, 2012. http://dx.doi.org/10.4018/978-1-61350-116-0.ch015.

Testo completo

Abstract (sommario):

Radial Basis Functions (RBF) mesh morphing, its theoretical basis, its numerical implementation, and its use for the solution of industrial problems, mainly in Computer Aided Engineering (CAE), are introduced. RBF theory is presented showing the mathematical framework for a basic RBF fit, its MathCAD implementation, and its usage. The equations required for a 2D case comparing RBF smoothing and pseudosolid smoothing based on Finite Elements Method (FEM) structural solution are given; RBF exhibits excellent performance and produces high quality meshes even for very large deformations. The industrial application of RBF morphing to Computational Fluid Dynamics (CFD) is covered presenting the RBF Morph software, its implementation, and a description of its working principles and performance. Practical examples include: physical problems that use CFD, shape parameterisation strategy, and modelling guidelines for setting-up a well posed RBF problem. Future directions explored are: transient shape evolution, fluid structure interaction modelling, and shape parameterization in multi-physics, multi-objective design optimization.

Gli stili APA, Harvard, Vancouver, ISO e altri

9

Queiroz, Kamila Fernanda F. da C., Marcus Costa de Araújo, Nadja Accioly Espíndola, Ladjane C. Santos, Francisco G. S. Santos e Rita de Cássia Fernandes de Lima. "Developing and Using Computational Frameworks to Conduct Numerical Analysis and Calculate Temperature Profiles and to Classify Breast Abnormalities". In Biomedical Computing for Breast Cancer Detection and Diagnosis, 230–49. IGI Global, 2021. http://dx.doi.org/10.4018/978-1-7998-3456-4.ch011.

Testo completo

Abstract (sommario):

In this chapter, computational tools that have been designed to analyze and classify infrared (IR) images will be presented. The function of such tools is to interconnect in a user-friendly way the algorithms that are used to map temperatures and to classify some breast pathologies. One of these performs texture mapping using IR breast images to relate temperatures measured to the points over the substitute tridimensional geometry mesh. Another computer-aided diagnosis (CAD) tool was adapted so that it could be used to evaluate individual patients. This methodology will be used when the computational framework approach for classification is described. Finally, graphical interfaces and their functionalities will be presented and explained. Some case studies will be presented in order to verify whether or not the computational classification framework is effective.

Gli stili APA, Harvard, Vancouver, ISO e altri

Atti di convegni sul tema "Computer-Aided Design [MESH]"

1

Luo, Jianxin, Guiqiang Ni, Guyu Hu, Jinsong Jiang e Yifeng Duan. "Spherical Projective Displacement Mesh". In 2011 12th International Conference on Computer-Aided Design and Computer Graphics (CAD/Graphics). IEEE, 2011. http://dx.doi.org/10.1109/cad/graphics.2011.11.

Testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

2

Wu, Zizhao, Xiaoyan Cai e Xinguo Liu. "Structure Preserving Mesh Parameterization". In 2011 12th International Conference on Computer-Aided Design and Computer Graphics (CAD/Graphics). IEEE, 2011. http://dx.doi.org/10.1109/cad/graphics.2011.17.

Testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

3

Venkataraman, Ganesh, Zhuo Feng, Jiang Hu e Peng Li. "Combinatorial Algorithms for Fast Clock Mesh Optimization". In 2006 IEEE/ACM International Conference on Computer Aided Design. IEEE, 2006. http://dx.doi.org/10.1109/iccad.2006.320175.

Testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

4

Zhao, Yong. "Scalable Mesh Deformation with Controllable Stiffness". In 2013 International Conference on Computer-Aided Design and Computer Graphics (CAD/Graphics). IEEE, 2013. http://dx.doi.org/10.1109/cadgraphics.2013.91.

Testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

5

Serna, Sebastian Pena, Andre Stork e Dieter W. Fellner. "Tetrahedral Mesh-Based Embodiment Design". In ASME 2010 International Design Engineering Technical Conferences and Computers and Information in Engineering Conference. ASMEDC, 2010. http://dx.doi.org/10.1115/detc2010-28971.

Testo completo

Abstract (sommario):

The engineering design is a systematic approach implemented in the product development process, which is composed of several phases and supported by different tools. Computer-Aided Design (CAD) and Computer-Aided Engineering (CAE) tools are particularly dedicated to the embodiment phase and these enable engineers to design and analyze a potential solution. Nonetheless, the lack of integration between CAD and CAE restricts the exploration of design variations. Hence, we aim at incorporating functionalities of a CAD system within a CAE environment, by means of building a high level representation of the mesh and allowing the engineer to handle and manipulate semantic features, avoiding the direct manipulation of single elements. Thus, the engineer will be able to perform extruding, rounding or dragging operations regardless of geometrical and topological limitations. We present in this paper, the intelligence that a simulating mesh needs to support, in order to enable such operations.

Gli stili APA, Harvard, Vancouver, ISO e altri

6

Chun-Kai Li e Ming-Yong Pang. "Generating tetrahedral volume mesh from surface model". In 2009 IEEE 10th International Conference on Computer-Aided Industrial Design & Conceptual Design. IEEE, 2009. http://dx.doi.org/10.1109/caidcd.2009.5375089.

Testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

7

Wu, Jinzhong, Xuehui Liu e Enhua Wu. "Mesh Deformation under Skeleton-based Detail-preservation". In 2007 10th IEEE International Conference on Computer-Aided Design and Computer Graphics. IEEE, 2007. http://dx.doi.org/10.1109/cadcg.2007.4407928.

Testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

8

Xian, Chuhua, Tianming Zhang e Shuming Gao. "Semantic Cage Generation for FE Mesh Editing". In 2013 International Conference on Computer-Aided Design and Computer Graphics (CAD/Graphics). IEEE, 2013. http://dx.doi.org/10.1109/cadgraphics.2013.36.

Testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

9

Yang, Caiyun, Hiromasa Suzuki, Yutaka Ohtake e Takashi Michikawa. "Boundary smoothing for mesh segmentation". In 2009 11th IEEE International Conference on Computer-Aided Design and Computer Graphics (CAD/Graphics). IEEE, 2009. http://dx.doi.org/10.1109/cadcg.2009.5246896.

Testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

10

Zhao, Wei, Shuming Gao e Hongwei Lin. "A Robust Hole-Filling Algorithm for Triangular Mesh". In 2007 10th IEEE International Conference on Computer-Aided Design and Computer Graphics. IEEE, 2007. http://dx.doi.org/10.1109/cadcg.2007.4407836.

Testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

Offriamo sconti su tutti i piani premium per gli autori le cui opere sono incluse in raccolte letterarie tematiche. Contattaci per ottenere un codice promozionale unico!