the proceedings contain 34 papers. the topics discussed include: virtual gauge representation for geometric tolerances in CAD-CAM systems;modal expression of form defects;dependence and independence of variations of a...
ISBN:
(纸本)1402054378
the proceedings contain 34 papers. the topics discussed include: virtual gauge representation for geometric tolerances in CAD-CAM systems;modal expression of form defects;dependence and independence of variations of a geometric object;a model for a coherent and complete tolerancing process;tolerance-maps applied to the straightness and orientation of an axis;information modeling to manage tolerances during product and process design;relative positioning of planar parts in toleranced assemblies;geometrical variations management in a multi-disciplinary environment withthe jacobian-torsor model;tolerance analysis and synthesis by means of deviation domains, axi-symmetric cases;and re-design of mechanical assemblies using the unified jacobian - torsor model for tolerance analysis.
the proceedings contain 27 papers. the topics discussed include: design of a IGZO TFT-based GOA circuit for external compensation pixel circuits;adsorbed property of boron nitride nanotube (BNNT) device: a study of fi...
ISBN:
(纸本)9781728100968
the proceedings contain 27 papers. the topics discussed include: design of a IGZO TFT-based GOA circuit for external compensation pixel circuits;adsorbed property of boron nitride nanotube (BNNT) device: a study of first-principles calculations;highly sensitive low power ion-sensitive organic thin-film transistors;low-temperature fabrication of solution-processed InGaZnO thin-film transistors;design considerations of LTPS TFT pixel circuit for AMOLED display;flexible ITO-based TFTs on paper substrates;and degradation of flexible LTPS TFTs under repetitive bending stress.
the proceedings contain 308 papers. the topics discussed include: human factor research of voice search on mobile Internet;research on the industrial design method of control panel based on man-machine engineering res...
ISBN:
(纸本)9781424432912
the proceedings contain 308 papers. the topics discussed include: human factor research of voice search on mobile Internet;research on the industrial design method of control panel based on man-machine engineering restriction;study on the system ergonomics and environment of digital workshop;the research of affect computing use in users' satisfaction measurement in usability testing;the study on intelligent technology integrating ergonomics into industrial design;an elementary analysis on modern novel seats design;product morphologic semantic and human cognitive habits;research on humanization design based on product details;investigation and realization of embedded GIS display technology basing on multi-task scheduling;a study on the method of satisfaction measurement based on emotion space;redesign of leafsurface measuring apparatus based on ergonomics research;and research on the hierarchical deconstruction method of product based on the human interface.
the proceedings contain 30 papers. the topics discussed include: interpolation-sequence based model checking;enhanced verification by temporal decomposition;verification of recursive methods on tree-like data structur...
ISBN:
(纸本)9781424449668
the proceedings contain 30 papers. the topics discussed include: interpolation-sequence based model checking;enhanced verification by temporal decomposition;verification of recursive methods on tree-like data structures;MCC: a runtime verification tool for MCAPI user applications;generalized and efficient array decision procedures;safety first: a two-stage algorithm for LTL games;formal verification of analog designs using MetiTarski;formal verification of correctness and performance of random priority-based arbiters;assume-guarantee validation for STE properties within an SVA environment;scalable conditional equivalence checking: an automated invariant-generation based approach;scalable conditional equivalence checking: an automated invariant-generation based approach;protocol verification using flows: an industrial experience;and hardware/software co-verification of cryptographic algorithms using Cryptol.
the proceedings contain 118 papers. the topics discussed include: study on precision irrigation technology of large scale irrigator;an improved rotation-based self-calibration;a fuzzy background model for moving objec...
ISBN:
(纸本)9781424437009
the proceedings contain 118 papers. the topics discussed include: study on precision irrigation technology of large scale irrigator;an improved rotation-based self-calibration;a fuzzy background model for moving object detection;EMD based fairing algorithm for mesh surface;curve representing and matching based on feature points and minimal area threshold;using OPTFR-multiwavelet to improve the fusion of infrared and visible images;texture analyze based on coefficients' relationship co-occurrence histogram;semi-similarity design of motorcycle-hydraulic-disk brake: strategy and application;a collaborative design frame based on virtual prototypes and virtual manufacturing;efficient and robust reconstruction of botanical branching structure from laser scanned points;ant colony optimization for symmetrical FPGA placement;and design of a human-robot interaction system for offshore monitoring.
the proceedings contain 88 papers. the topics discussed include: simulation of wave effects based on ray tracing;a data-driven approach to efficient character articulation;robust reconstruction of interior building st...
the proceedings contain 88 papers. the topics discussed include: simulation of wave effects based on ray tracing;a data-driven approach to efficient character articulation;robust reconstruction of interior building structures with multiple rooms under clutter and occlusions;fitting multiple curves to point clouds with complicated topological structures;a new level-set-based inverse lithography algorithm for process robustness improvement with attenuated phase shift mask;bridging the gap between global routing and detailed routing: a practical congestion model;logic minimization based on dual logic;real-time multi-scale refraction under all-frequency environmental lighting;screen-space ambient occlusion using a-buffer techniques;an adapted parameterization for smooth geometry images;and high quality binocular facial performance capture from partially blurred image sequence.
the proceedings contain 76 papers. the topics discussed include: detecting ambiguities in 3D polygons with self-intersecting projections;an example-driven symbol recognition approach based on key features in engineeri...
ISBN:
(纸本)9780769544977
the proceedings contain 76 papers. the topics discussed include: detecting ambiguities in 3D polygons with self-intersecting projections;an example-driven symbol recognition approach based on key features in engineering drawings;niche improved particle swarm optimization on geometric constraint solving;importance-driven composition of multiple rendering styles;multi-GPU compositeless parallel rendering algorithm;structure preserving mesh parameterization;real-time image smoothing based on true edges;color-mood-aware clothing re-texturing;automatic segmentation of head-and-shoulder images by combining edge feature and shape prior;creating cylindrical panoramic mosaic from a pipeline video;detection geometric object in the conformal geometric algebra framework;a unified framework for alpha matting;variational harmonic method for parameterization of computational domain in 2D isogeometric analysis;and convergence of geometric interpolation using uniform B-splines.
the proceedings contain 128 papers. the topics discussed include: Graphical modeling and calligraphic interfaces;CAD system for human-centered design;improved error estimation for extraordinary Catmull-Clark subdivisi...
详细信息
ISBN:
(纸本)9781424415793
the proceedings contain 128 papers. the topics discussed include: Graphical modeling and calligraphic interfaces;CAD system for human-centered design;improved error estimation for extraordinary Catmull-Clark subdivision surface patches;3D shape metamorphosis based on T-spline level sets;proper reparametrization of rational ruled surface;smooth surface constructions via a higher-order level-set method;stylized liquid animation with temporal coherence;spherical parameterization of Genus-Zero meshes using the Langrange-Newton method;intersection testing between an ellipsoid and an algebraic surface;skeleton based parametric solid models: ball b-spline surfaces;common substructure extraction of proteins by geometric invariants;texture advection based simulation of dynamic cloud scene;a new image matching algorithm based on the relative position of intensity;and CAD-directed inspection planning for laser guided measurement robot.
the proceedings contain 47 papers. the topics discussed include: an adaptive spherical collision detection and resolution method for deformable object simulation;automatic hierarchical mid-surface abstraction of thin-...
ISBN:
(纸本)9781467380201
the proceedings contain 47 papers. the topics discussed include: an adaptive spherical collision detection and resolution method for deformable object simulation;automatic hierarchical mid-surface abstraction of thin-walled models based on rib decomposition;hierarchical mesh segmentation based on quadric surface fitting;efficient depth restoration from 2D line drawings with line segments and curves;a piecewise cubic polynomial interpolation algorithm for approximating elementary function;construction of m-ary symmetric interpolatory subdivision scheme by m-ary orthonormal refinable function;generate accurate soft shadows using complete occluder buffer;novel, robust, and efficient guidewire modeling for PCI surgery simulator based on heterogeneous and integrated chain-mails;step into micro-world: dynamic simulation of the coffee-ring effect;an integrated de-noise and enhancement method for ancient Chinese tablet images;and real time learning evaluation based on gaze tracking.
暂无评论