Academic literature on the topic 'Technical specification of checking fixture'
Create a spot-on reference in APA, MLA, Chicago, Harvard, and other styles
Consult the lists of relevant articles, books, theses, conference reports, and other scholarly sources on the topic 'Technical specification of checking fixture.'
Next to every source in the list of references, there is an 'Add to bibliography' button. Press on it, and we will generate automatically the bibliographic reference to the chosen work in the citation style you need: APA, MLA, Harvard, Chicago, Vancouver, etc.
You can also download the full text of the academic publication as pdf and read online its abstract whenever available in the metadata.
Journal articles on the topic "Technical specification of checking fixture"
1
Su, Hua. "Load Test Analysis of Long-Span Prestressed Concrete Continuous Beam Bridge." Advanced Materials Research 1030-1032 (September 2014): 798–801. http://dx.doi.org/10.4028/www.scientific.net/amr.1030-1032.798.
Full textAbstract:
This paper takes a 45+60+45m prestressed concrete continuous box Girder Bridge as background, based on “Specification for Inspection and Evaluation of Load-bearing Capacity of Highway Bridges” (JTG/T J21-2011), single beam model and solid model are built for schematic design of load test. Compare the measured value and the theoretical value, and evaluate the bridge bearing capacity, finally provide technical base for project checking and accepting.
2
Tian, Fu Jun, Hong Qi Zhang, Xing Yu Chen, Hong Qiao Zhou, and Di Jiang Chen. "A Graphical Symbol for Machining Process Information Description Using Model-Based Definition Technology." Advanced Materials Research 1061-1062 (December 2014): 681–86. http://dx.doi.org/10.4028/www.scientific.net/amr.1061-1062.681.
Full textAbstract:
To realize the process information sharing and three-dimensional annotation, a standardization description model for machining process information was proposed, which including three layers, natural language description layer, object oriented language description layer and symbolic language description layer. By extension the graphical symbol of surface texture, integrated with machining allowance, surface lay and direction, surface roughness, machining method and technical parameters, equipment, fixture, cutting tools, test information, and sequence number, a graphical symbol for three-dimensional machining process information was proposed. Then formulated the annotation specification of the graphical symbol, including annotation plane, position and orientation, associativity, indication of two or more machining step, restricted area and color using. Finally, a three-dimensional machining process planning system was developed, and a part machining process annotation was taken to illustrate the validity of the graphical symbol.
3
Xu, Yuan Li, Hui Lin Liu, Wen Kai Wu, and Ming Zhi Zhu. "Fabrication and Construction of Large Scale Aluminum Target Chamber for SGIII." Advanced Materials Research 472-475 (February 2012): 1957–62. http://dx.doi.org/10.4028/www.scientific.net/amr.472-475.1957.
Full textAbstract:
This paper presents the fabrication and construction of the aluminum target chambers for SGIII laser facilities. The technical difficulty of the vacuum seal weld for the large scale aluminum target chamber has been overcome by using the special designed processing fixtures, the support and clamp fixtures, and double face multi-pass GMAS process in protective temporary enclosures. The mean pointing error of the 144 ports of the TIL chamber is 0.09mm on NC machine tool through the special designed index rotate mechanism. The field precision fabrication and construction of SGIII chamber has been achieved by the special drilling machine for accurately boring holes, the special fixture for accurately positioning the ports in the holes for welding, the laser tracker, the adjustment mechanism, and the custom machined spacers. The alignment error is 0.3mm to 0.4mm. The helium spray probe leak testing and the nondestructive inspection were employed to ensure the vacuum performance. The whole vacuum leak checking has been done. The integrity leak rate of the target chambers were less than 1×10-10Pa.m3/s. The shooting experiments showed that both chambers have satisfied the vacuum and precision requirements of experiments.
4
Prapan, Sukantarat, and Maneephrom. "Painting for Aircraft." Proceedings 39, no. 1 (January 9, 2020): 21. http://dx.doi.org/10.3390/proceedings2019039021.
Full textAbstract:
Objective This research is aimed to reduce time for the aircraft painting processes and decrease the budget for the painting activities which will not affect to the life limit of the painting and will not affect to the aerodynamic of the aircraft. method The research will be conducted by setting up the experiments to study the aircraft surface painting preparation methods, in order to find the better method of aircraft painting study the technical specification of the aircraft coating in associate with the viscosity of painting, air temperature for painting, relative humidity, drying time, lifetime period, hardness and difference, interval of time between painting and mixing solvent quality study the tools that use for painting such as air spray, airless spray, roller and brush study for error checking methods for understanding the painting defects result Reduce the errors that might occur during the aircraft painting processes which will lead to the budget decreasing and time reducing for aircraft painting conclusion To obtain the good quality of painting, it is very important to realize the specification of applied coating, working processes and painting equipment that associate with the maintenance manual of each aircraft, the effect factors that take into account of the painting and the technique of painting that is used.
5
Xu, Yuanping, Paul J. Scott, and Jiaoling Zheng. "Novel Research on a Fibration Knowledge-Based Solution for Engineered Surface Tolerances within the Modern GPS Context." International Journal of Software Engineering and Knowledge Engineering 26, no. 05 (June 2016): 845–95. http://dx.doi.org/10.1142/s0218194016500297.
Full textAbstract:
Geometrical product specification and verification (GPS) is the only worldwide tolerancing specification language available for unambiguously communicating functional requirements and precisely expressing geometrical tolerances of workpieces on technical drawings. Although the understanding and application of GPS are of vital importance for modern manufacturing industry, the latest GPS standards contain huge amounts of data, information and knowledge that are obscurely linked together, so they are very difficult for designers, engineers and metrologists to understand, remember and comprehensively use them. This is especially true for surface texture that is one of the most complicated geometrical characteristics in GPS domain. To overcome the implementation barrier of GPS surface texture, a novel knowledge-based solution supported formally by a unified knowledge modeling of the complete GPS surface texture standard chain has been researched. This knowledge model can serve as a formal basis for developing more intelligent and reliable tolerance design and measurement systems. This paper starts with an introduction on how to build up a formal knowledge model based on category theory, called categorical fibration model, to unified acquisition and representation of all surface texture knowledge. It then moves on to define a recursive knowledge refinement process for the devised model to enable the recursive multi-level GPS knowledge transformations and refinements. This knowledge model is validated naturally by checking rules identified from category theoretic notions. Finally, this paper presents a general framework for applying the modeled GPS knowledge in practice, from the aspects of the integrated and complete modeling of all surface texture knowledge, detailed knowledge acquisition and modeling examples for four sub-knowledge bases of the proposed software solution, core functional features of this software, and a comprehensive case study for testing its validity and usability. This knowledge-based solution facilitates life cycle collaboration and integration of the complete GPS surface texture chain to reduce product development cost and lead time, and to ensure functional requirements of geometrical workpieces.
6
CLARK, DAVID, ROBERTO GIACOBAZZI, and CHUNYAN MU. "Foreword: programming language interference and dependence." Mathematical Structures in Computer Science 21, no. 6 (October 27, 2011): 1109–10. http://dx.doi.org/10.1017/s0960129511000168.
Full textAbstract:
Interference and dependence are closely related concepts: interference being the observable phenomenon connected with dependence. Essentially, interference means that the behaviour of some parts of a dynamic system may influence the behaviour of other parts of the same system, while dependence specifies how the semantics of sub-components of a dynamic system are related. Identifying, measuring and controlling interference is essential in many aspects of modern computer science, in particular, in security, program analysis and verification, debugging, systems specification, model checking, program manipulation, program slicing, reverse engineering, data mining, distributed databases and systems biology. In all these fields, dependency and interference play a key role in designing suitable abstractions or in partitioning complex systems into simpler ones. Reasoning about dependency and interference requires theories, models and semantics, as well as algorithms and tools for their analysis. Beginning in 2004, the series of Programming Language Interference and Dependence (PLID) workshops has been devoted to promoting and spreading cutting-edge research in this field, with a particular emphasis on unpublished results with great impact on the theoretical basis. PLID2007, which was held at the The Technical University of Denmark on 21 August 2007, was particularly successful, and constituted the ideal forum for announcing a call for papers for a special journal issue on programming language interference and dependence, which would not necessarily be restricted to PLID2007 contributions. From the many expressions of interest, we selected six contributions by leading researchers in the field, some of which had been presented at the PLID2007 workshop. The selected papers focus on foundational aspects of dependency and interference, with applications in language-based security, data-base management systems and program slicing.
7
Eder, W. Ernst. "APPLICATION OF DESIGN METHODOLOGY FOR EDUCATION." Proceedings of the Canadian Engineering Education Association (CEEA), August 15, 2011. http://dx.doi.org/10.24908/pceea.v0i0.3977.
Full textAbstract:
Designing is anticipating and establishing a product to fulfill a need. Design engineering is a function of industry offering technical systems. It involves iterative and recursive processing, a design specification, searching for solutions, evaluating, decision-making, and communicating, supported by obtaining and preparing information, verifying, checking, reflecting, and representing. The steps can be performed intuitively and/or systematically, using various methods, feedback, iteration and recursion. Engineering curricula should expose students to design methodology and theory to develop the ability and skill for designing. This exposure should occur for the whole class, not just by separate attention to individual students.
8
McKinna, James, and Robert Pollack. "Some Lambda Calculus and Type Theory Formalized." BRICS Report Series 4, no. 51 (June 21, 1997). http://dx.doi.org/10.7146/brics.v4i51.19272.
Full textAbstract:
"This paper is about our hobby." That is the first sentence of [MP93], the first report on our formal development of lambda calculus and type theory, written in autumn 1992. We have continued to pursue this hobby on and off ever since, and have developed a substantial body of formal knowledge, including Church-Rosser and standardization<br />theorems for beta reduction, and the basic theory of<br />Pure Type Systems (PTS) leading to the strengthening theorem and type checking algorithms for PTS. Some of this work is reported in [MP93, vBJMP94, Pol94b, Pol95]. In the present paper we survey this work, including some new proofs, and point out what we feel has been learned about the general issues of formalizing mathematics. On the technical side, we describe an abstract, and simplified, proof of standardization for beta reduction, not previously published, that does<br />not mention redex positions or residuals. On the general issues, we emphasize the search for formal definitions that are convenient for formal proof and convincingly represent the intended informal concepts. The LEGO Proof Development System [LP92] was used to check the work in an implementation of the Extended Calculus of Constructions<br />(ECC) with inductive types [Luo94]. LEGO is a refinement style<br />proof checker, publicly available by ftp and WWW, with a User's Manual [LP92] and a large collection of examples. Section 1.3 contains information on accessing the formal development described in this paper. Other interesting examples formalized in LEGO include program specification and data refinement [Luo91], strong normalization of System F [Alt93], synthetic domain theory [Reu95, Reu96], and operational semantics for imperative programs [Sch97].
Dissertations / Theses on the topic "Technical specification of checking fixture"
1
Kannappan, Nandhagopal. "Project development of measuring gauges for plastic injected parts." Master's thesis, 2018. http://hdl.handle.net/10400.8/3308.
Full textAbstract:
The Portuguese mould industry is one of the most important industries for the
economical and social development of the central region. The Socem Group
contributes for its value through the production and exportation of moulds and services
related.
This report is based on an internship made at Socem Inpact, one of the firms of
the Socem Group. It attempts to fulfil a specific requirement of Socem. The aim is to
present a review of checking fixtures and technical specifications of checking fixtures,
followed by a description of standard parts of checking fixtures and the process map of
checking fixture fabrication. This report also comprises the study of 3D CAD files.
Conference papers on the topic "Technical specification of checking fixture"
1
Slon, Christopher M., and Vijitashwa Pandey. "A Method to Determine the Optimal Checking-Fixture Layout for Gauge Repeatability." In ASME 2017 International Design Engineering Technical Conferences and Computers and Information in Engineering Conference. American Society of Mechanical Engineers, 2017. http://dx.doi.org/10.1115/detc2017-67474.
Full textAbstract:
This paper proposes a method for finding the optimal fixture layout to achieve acceptable gauge repeatability in the inspection process of a non-rigid part. Currently, there are no rigorous means of evaluating the effectiveness of a fixture layout for a part in terms of gauge repeatability until actual parts and gauges are available late in the product development process. Changes to the part design or modifications to the gauge at this late stage are usually costly and can result in program delays, incurring substantial costs. This paper proposes an approach to arrive at the best locator layout for gauge repeatability early in the part design phase thereby avoiding costly and time-consuming changes during the build phase. The method is implemented using a commercially available tolerance stack software with finite element analysis combined with a specially coded genetic algorithm. The method’s effectiveness is demonstrated through the improvement in gauge repeatability from an arbitrary datum scheme to the optimal datum scheme in a notional design problem as well as an actual production part. We also demonstrate that the commonly accepted datum scheme of using a primary plane along the largest dimension of a part may be highly suboptimal for gauge repeatability.
2
Bai, Yong, and Yiming (Kevin) Rong. "Automated Generation of Fixture Configuration Design." In ASME 1995 Design Engineering Technical Conferences collocated with the ASME 1995 15th International Computers in Engineering Conference and the ASME 1995 9th Annual Engineering Database Symposium. American Society of Mechanical Engineers, 1995. http://dx.doi.org/10.1115/detc1995-0089.
Full textAbstract:
Abstract Flexible fixturing is a necessary aspect of flexible manufacturing systems (FMS) and computer-integrated manufacturing systems (CIMS). Modular fixtures are most widely used in industry for job and small batch production. Computer-aided fixture design (CAFD) has become a research focus in implementing FMS and CIMS. Fixture configuration design is an important issue in CAFD. A review of the current research in CAFD indicates that one major problem impeding the automated generation of fixture configuration design is the negligence of study on fixture structures. This paper investigates fundamental structures of dowel-pin modular fixtures and fixturing characteristics of commonly-used modular fixture elements. A modular fixture element assembly relationship graph (MFEARG) is designed to represent combination relationships between fixture elements. Based on MFEARG, algorithms are developed to search all suitable fixturing unit candidates and mount them into appropriate positions on baseplate with an interference checking. A prototype system for automated design of dowel-pin modular fixture configurations is presented in this paper. Fixture design examples are given in the end of the paper.
3
Wenzl, Matthias, Peter Roessler, and Andreas Puhm. "Checking Application Level Properties Using Assertion Synthesis." In ASME 2019 International Design Engineering Technical Conferences and Computers and Information in Engineering Conference. American Society of Mechanical Engineers, 2019. http://dx.doi.org/10.1115/detc2019-97950.
Full textAbstract:
Abstract This work presents a proof-of-concept of a new approach on automatic generation of digital hardware that is able to check application-level properties of an embedded system such as a faulty system behavior at runtime. The approach makes use of assertion-based verification setups that today are very common in the area of digital hardware design with, however, the sole focus on logic simulation. Thus, a PSL-to-VHDL compiler is introduced that generates VHDL (Very High Speed Integrated Circuit Description Language) code out of PSL (Property Specification Language) assertions which can be further processed by a traditional digital logic synthesis tool. That way, runtime checker units can be automatically generated with little effort because of the already existing assertion-based test benches. Furthermore, a model railway demonstrator is presented herein as an example for a safety-critical application to prove the proposed tool flow on a use case. Implementation results based on that use case are discussed. Finally, the paper concludes with a brief outlook on related future work of the authors.
4
Herbert, Luke T., and Robin Sharp. "Optimisation of BPMN Business Models via Model Checking." In ASME 2013 International Design Engineering Technical Conferences and Computers and Information in Engineering Conference. American Society of Mechanical Engineers, 2013. http://dx.doi.org/10.1115/detc2013-13047.
Full textAbstract:
We present a framework for the optimisation of business processes modelled in the business process modelling language BPMN, which builds upon earlier work, where we developed a model checking based method for the analysis of BPMN models. We define a structure for expressing optimisation goals for synthesized BPMN components, based on probabilistic computation tree logic and real-valued reward structures of the BPMN model, allowing for the specification of complex quantitative goals. We here present a simple algorithm, inspired by concepts from evolutionary algorithms, which iteratively generates candidate improved processes based on the fittest of the previous generation. The evaluation of the fitness of each candidate in a generation is performed via model checking, detailed in previous work. At each iteration, this allows the determination of the precise numerical evaluation of the performance of a candidate in terms of the specified goals. A discussion of this method’s application, and the degree of optimization which is possible, is illustrated using an example drawn from the healthcare industry.
5
Mehrpouyan, Hoda, Dimitra Giannakopoulou, Irem Y. Tumer, Chris Hoyle, and Guillaume Brat. "Combination of Compositional Verification and Model Checking for Safety Assessment of Complex Engineered Systems." In ASME 2014 International Design Engineering Technical Conferences and Computers and Information in Engineering Conference. American Society of Mechanical Engineers, 2014. http://dx.doi.org/10.1115/detc2014-34445.
Full textAbstract:
This paper presents a novel safety specification and verification approach based on the compositional reasoning and model checking algorithms. The behavioral specification of each component and subsystem is modeled to describe the overall structure of the design. Then, these specifications are analyzed to determine the least number of component redundancies that are required to tolerate and prevent catastrophic system failure. The framework utilizes Labelled Transition Systems (LTS) formalism to model the behavior of components and subsystems. Furthermore, compositional analysis is used to reason about the components’ constraints (or assumptions) on their environments and the properties (or guarantees) of their output. This identification of local safety properties of components and subsystems leads to satisfaction of the desired safety requirements for the global system. A model of quad-redundant Electro-Mechanical Actuator (EMA) is constructed and, in an iterative approach, its safety properties are analyzed. Experimental results confirm the feasibility of the proposed approach for verifying the safety issues associated with complex systems in the early stages of the design process.
6
Bidarra, Rafael, Maurice Dohmen, and Willem F. Bronsvoort. "Automatic Detection of Interactions in Feature Models." In ASME 1997 Design Engineering Technical Conferences. American Society of Mechanical Engineers, 1997. http://dx.doi.org/10.1115/detc97/cie-4275.
Full textAbstract:
Abstract Current feature-based modeling systems fail to adequately maintain feature semantics. This is partly due to inappropriate specification of validity conditions in feature classes, but mainly due to a lack of effective validity maintenance mechanisms throughout the modeling process. A critical aspect in this is feature interaction management. This paper presents a new approach to the detection of feature interactions, which uses semantic and interaction constraints in feature class specification. Validity maintenance is automatically performed after each modeling operation by checking these constraints, thus being able to detect a variety of interaction types. Such interactions are then analyzed, and their causes identified and reported to the user.
7
Nigam, Swami D., James D. Guilford, and Joshua U. Turner. "Derivation of Generalized Datum Reference Frames for Geometric Tolerance Analysis." In ASME 1993 Design Technical Conferences. American Society of Mechanical Engineers, 1993. http://dx.doi.org/10.1115/detc1993-0388.
Full textAbstract:
Abstract Datum reference frames define coordinate systems for use in determining part compliance with geometric tolerances. A datum reference frame is specified based on the perfect nominal geometry of the part features called out as datums. However, the actual computation of a coordinate system frame of reference from the datum callouts becomes quite challenging when the features depart from nominal location, orientation, size, and form. We present a general method for representing datum reference frames (both partial and complete), and for computing a coordinate system from a simulated varianced part and a datum reference frame specification. The method makes use of built-in construction procedures, and derived or “virtual” geometry, in conjunction with a powerful parts positioning module that simulates the placement of the varianced part in a fixture represented by the datum surfaces. The reliance on virtual geometry as an intermediate representation, permits the concise representation of not only the datum reference frame types defined in the standard, but also allows for any arbitrary datum reference frames constructed by the user.
8
Jiang, Ke, Joseph K. Davidson, Jami J. Shah, and Jianhua Liu. "Using Tolerance-Maps to Transfer Datum Plane From Design Tolerancing to Machining Tolerancing." In ASME 2013 International Design Engineering Technical Conferences and Computers and Information in Engineering Conference. American Society of Mechanical Engineers, 2013. http://dx.doi.org/10.1115/detc2013-12722.
Full textAbstract:
Datum transfer is usually carried out to satisfy requirements of fixture and operation in manufacturing process. Often such requirements are different than the functional requirements used when choosing tolerances during design. Reassignment and recalculation of tolerances are required to evaluate whether a machining scheme can reach the desired design specification. Since a planar feature are widely utilized in datum reference frame, this paper mainly focuses on the transfer of one datum plane to another parallel plane-segment with round or polygonal shape by using 3D Tolerance-Maps. Firstly, a parametric model about two parallel planar features is proposed to describe the geometric properties and spatial relationships between a design datum and a machining datum. Then, based on a variation analysis of plane-to-plane datum transfer, a more elaborate transformation is utilized to relate T-Maps (Patent No. 6963824) with M-Map. Next, several rigid mathematical inequalities are presented to describe the boundaries of primitive and transformed T-Maps for further accumulation and comparison. The largest possible machining tolerances are determined by fitting the M-Map inside the design T-Map. Analytical relations between the machining and design tolerances are extracted from cross-sections through both T-Maps. Lastly, an example is illustrated to show feasibility of the method.
9
Horváth, Imre, and György Kuczogi. "Physical Modeling of Mechanical Objects of Constrained Movement." In ASME 1997 Design Engineering Technical Conferences. American Society of Mechanical Engineers, 1997. http://dx.doi.org/10.1115/detc97/cie-4271.
Full textAbstract:
Abstract Presented is a computational method for physical modeling of mechanical objects of constrained movement. In a physical modeling environment, an object’s behavior is modeled as it is implied by its geometry and substance, and the appearing physical (mechanical, thermal, and other) phenomena. The developed software is able to describe various forms of movement of a rigid object, configure obstacles in the space, check for collisions of the moving object with the obstacles, and compute post-collision trajectories of the object. The motivation for the background research is an industrial problem, namely, spatial positioning of moving objects without using extra energy. The novelty of this work is in (a) the interactive definition of constituents of the modeling environment, (b) the integrated simulation of an arbitrary sequence of spatial movements and multiple collisions, and (c) the applicability to preliminary design of mechanical equipment. The process of physical modeling has been implemented in six phases: (a) geometric modeling and determination of the substantial attributes of the object, (b) computing of the pre-defined movements, (c) specification and positioning obstacles in the space, (d) checking for single and multiple collisions, (e) computing of post-collision movements, and (f) controlling of multiple and repeated events. Among others, the developed software is able to compute compound movements in the space and any sequence of eccentric collisions with four types of obstacles.
10
Wu, Yanyan, Jami J. Shah, and Joseph K. Davidson. "Rationalization and Computer Modeling of GD&T Classes." In ASME 2002 International Design Engineering Technical Conferences and Computers and Information in Engineering Conference. ASMEDC, 2002. http://dx.doi.org/10.1115/detc2002/cie-34482.
Full textAbstract:
The main focus of this research is to develop a mathematical model for GD&T (Geometric Dimensioning and Tolerancing) to support tolerance specification, validation and tolerance analysis. The model should be built on the clear definition of GD&T, both in terms of semantics and syntax. The current tolerance standards (Y14.5M-1994 and ISO 1101-1983) have many inconsistencies. We present a rational basis for GD&T by examining the basic elements involved in geometric variation and their interrelations. Tolerance classes are defined in terms of a target, a datum reference frame, and geometric relations. The GD&T global model developed is the basis for a set of computer tools for automatically generating and validating dimension and tolerance specifications based on the functionality of the part, checking dimensioning status and tolerancing status, and applying GD&T advisor.