Literatura científica selecionada sobre o tema "Computer-Aided Design [MESH]"

Crie uma referência precisa em APA, MLA, Chicago, Harvard, e outros estilos

Selecione um tipo de fonte:

Consulte a lista de atuais artigos, livros, teses, anais de congressos e outras fontes científicas relevantes para o tema "Computer-Aided Design [MESH]".

Ao lado de cada fonte na lista de referências, há um botão "Adicionar à bibliografia". Clique e geraremos automaticamente a citação bibliográfica do trabalho escolhido no estilo de citação de que você precisa: APA, MLA, Harvard, Chicago, Vancouver, etc.

Você também pode baixar o texto completo da publicação científica em formato .pdf e ler o resumo do trabalho online se estiver presente nos metadados.

Artigos de revistas sobre o assunto "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 de setembro de 2021): 3143–51. http://dx.doi.org/10.14260/jemds/2021/640.

Texto completo da fonte
Resumo:
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
Estilos ABNT, Harvard, Vancouver, APA, etc.
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 (fevereiro de 2016): 542–56. http://dx.doi.org/10.2514/1.j054295.

Texto completo da fonte
Estilos ABNT, Harvard, Vancouver, APA, etc.
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 de 2015): 2509–14. http://dx.doi.org/10.1109/tmtt.2015.2446485.

Texto completo da fonte
Estilos ABNT, Harvard, Vancouver, APA, etc.
4

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

Texto completo da fonte
Resumo:
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.
Estilos ABNT, Harvard, Vancouver, APA, etc.
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 (setembro de 2020): 4128–41. http://dx.doi.org/10.2514/1.j058760.

Texto completo da fonte
Estilos ABNT, Harvard, Vancouver, APA, etc.
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 (setembro de 2013): 2587–90. http://dx.doi.org/10.4028/www.scientific.net/amm.423-426.2587.

Texto completo da fonte
Resumo:
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.
Estilos ABNT, Harvard, Vancouver, APA, etc.
7

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

Texto completo da fonte
Resumo:
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.
Estilos ABNT, Harvard, Vancouver, APA, etc.
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 de abril de 2018): 131–37. http://dx.doi.org/10.1563/aaid-joi-d-17-00125.

Texto completo da fonte
Resumo:
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.
Estilos ABNT, Harvard, Vancouver, APA, etc.
9

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

Texto completo da fonte
Resumo:
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.
Estilos ABNT, Harvard, Vancouver, APA, etc.
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.

Texto completo da fonte
Estilos ABNT, Harvard, Vancouver, APA, etc.

Teses / dissertações sobre o assunto "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.

Texto completo da fonte
Estilos ABNT, Harvard, Vancouver, APA, etc.
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.

Texto completo da fonte
Estilos ABNT, Harvard, Vancouver, APA, etc.
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.

Texto completo da fonte
Resumo:
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.
Estilos ABNT, Harvard, Vancouver, APA, etc.
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.

Texto completo da fonte
Estilos ABNT, Harvard, Vancouver, APA, etc.
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.

Texto completo da fonte
Resumo:
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.
Estilos ABNT, Harvard, Vancouver, APA, etc.
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.

Texto completo da fonte
Resumo:
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
Estilos ABNT, Harvard, Vancouver, APA, etc.
7

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

Texto completo da fonte
Estilos ABNT, Harvard, Vancouver, APA, etc.
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.

Texto completo da fonte
Resumo:
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.
Estilos ABNT, Harvard, Vancouver, APA, etc.
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.

Texto completo da fonte
Resumo:
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
Estilos ABNT, Harvard, Vancouver, APA, etc.
10

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

Texto completo da fonte
Resumo:
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.
Estilos ABNT, Harvard, Vancouver, APA, etc.

Livros sobre o assunto "Computer-Aided Design [MESH]"

1

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

Encontre o texto completo da fonte
Estilos ABNT, Harvard, Vancouver, APA, etc.
2

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

Encontre o texto completo da fonte
Estilos ABNT, Harvard, Vancouver, APA, etc.
3

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

Encontre o texto completo da fonte
Estilos ABNT, Harvard, Vancouver, APA, etc.
4

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

Encontre o texto completo da fonte
Estilos ABNT, Harvard, Vancouver, APA, etc.
5

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

Encontre o texto completo da fonte
Estilos ABNT, Harvard, Vancouver, APA, etc.
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.

Encontre o texto completo da fonte
Estilos ABNT, Harvard, Vancouver, APA, etc.
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.

Encontre o texto completo da fonte
Estilos ABNT, Harvard, Vancouver, APA, etc.

Capítulos de livros sobre o assunto "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.

Texto completo da fonte
Estilos ABNT, Harvard, Vancouver, APA, etc.
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.

Texto completo da fonte
Estilos ABNT, Harvard, Vancouver, APA, etc.
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.

Texto completo da fonte
Resumo:
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.
Estilos ABNT, Harvard, Vancouver, APA, etc.
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.

Texto completo da fonte
Resumo:
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.
Estilos ABNT, Harvard, Vancouver, APA, etc.
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.

Texto completo da fonte
Estilos ABNT, Harvard, Vancouver, APA, etc.
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.

Texto completo da fonte
Estilos ABNT, Harvard, Vancouver, APA, etc.
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.

Texto completo da fonte
Resumo:
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.
Estilos ABNT, Harvard, Vancouver, APA, etc.
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.

Texto completo da fonte
Resumo:
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.
Estilos ABNT, Harvard, Vancouver, APA, etc.
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.

Texto completo da fonte
Resumo:
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.
Estilos ABNT, Harvard, Vancouver, APA, etc.

Trabalhos de conferências sobre o assunto "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.

Texto completo da fonte
Estilos ABNT, Harvard, Vancouver, APA, etc.
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.

Texto completo da fonte
Estilos ABNT, Harvard, Vancouver, APA, etc.
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.

Texto completo da fonte
Estilos ABNT, Harvard, Vancouver, APA, etc.
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.

Texto completo da fonte
Estilos ABNT, Harvard, Vancouver, APA, etc.
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.

Texto completo da fonte
Resumo:
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.
Estilos ABNT, Harvard, Vancouver, APA, etc.
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.

Texto completo da fonte
Estilos ABNT, Harvard, Vancouver, APA, etc.
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.

Texto completo da fonte
Estilos ABNT, Harvard, Vancouver, APA, etc.
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.

Texto completo da fonte
Estilos ABNT, Harvard, Vancouver, APA, etc.
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.

Texto completo da fonte
Estilos ABNT, Harvard, Vancouver, APA, etc.
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.

Texto completo da fonte
Estilos ABNT, Harvard, Vancouver, APA, etc.
Oferecemos descontos em todos os planos premium para autores cujas obras estão incluídas em seleções literárias temáticas. Contate-nos para obter um código promocional único!

Vá para a bibliografia