43,007 research outputs found
Recommended from our members
Spiral Growth Manufacturing (SGM) ā A Continuous Additive Manufacturing Technology for Processing Metal Powder by Selective Laser Melting
Spiral growth manufacturing is a new innovative powder based rapid manufacturing
technique. The innovation exists in the methodology in which powder layers are deposited.
Unlike other pre-placed powder systems, the deposited layers move relative to the location at
which they are processed. This is made possible by a rotating build drum into which powder is
deposited, in spiralled layers, from a stationary hopper. With this configuration powder can be
continuously deposited and levelled and simultaneously processed, eliminating delays in the
build cycle. Stainless steel and cobalt-chrome powder is selectively melted using a 100W flash
lamp pumped Nd:YAG laser. This paper reports on factors affecting build rate and on build
strategies for creating a number of axis-symmetric thin and thick walled cylinders. Experimental
results suggest that build rate for thin walled structures bonded to a substrate will ultimately be
governed by tangential movements of the powder particles when frictional forces are not
sufficient to accelerate the particles along a curved path, provided that enough laser power is
available for melting. Even melt pool balling, which is evident when melting one layer at high
speeds, diminishes in multiple layer builds due to re-melting and infilling.Mechanical Engineerin
Theory and performance of auxiliary discharge thermionic energy converters
Auxiliary discharge thermionic energy converter - gas discharge processes, and plasma parameter
Live User-guided Intrinsic Video For Static Scenes
We present a novel real-time approach for user-guided intrinsic decomposition of static scenes captured by an RGB-D sensor. In the first step, we acquire a three-dimensional representation of the scene using a dense volumetric reconstruction framework. The obtained reconstruction serves as a proxy to densely fuse reflectance estimates and to store user-provided constraints in three-dimensional space. User constraints, in the form of constant shading and reflectance strokes, can be placed directly on the real-world geometry using an intuitive touch-based interaction metaphor, or using interactive mouse strokes. Fusing the decomposition results and constraints in three-dimensional space allows for robust propagation of this information to novel views by re-projection.We leverage this information to improve on the decomposition quality of existing intrinsic video decomposition techniques by further constraining the ill-posed decomposition problem. In addition to improved decomposition quality, we show a variety of live augmented reality applications such as recoloring of objects, relighting of scenes and editing of material appearance
ConSIT: A conditioned program slicer
Conditioned slicing is a powerful generalisation of static and dynamic slicing which has applications to many problems in software maintenance and evolution, including reuse, reengineering and program comprehension. However there has been relatively little work on the implementation of conditioned slicing. Algorithms for implementing conditioned slicing necessarily involve reasoning about the values of program predicates in certain sets of states derived from the conditioned slicing criterion, making implementation particularly demanding. The paper introduces ConSIT, a conditioned slicing system which is based upon conventional static slicing, symbolic execution and theorem proving. ConSIT is the first fully automated implementation of conditioned slicing. An implementation of ConSIT is available for experimentation at &http://www.mcs.gold.ac.uk/tilde/~mas01sd/consit.htm
Prediction of stall characteristics of straight wing aircraft
Digital computer program considers an unswept wing with a circular or elliptical fuselage. Wing has partial or full span deflected flaps and must have an aspect ratio of 6 or greater
Program simplification as a means of approximating undecidable propositions
We describe an approach which mixes testing, slicing, transformation and formal verification to investigate speculative hypotheses concerning a program, formulated during program comprehension activity. Our philosophy is that such hypotheses (which are typically undecidable) can, in some sense, be `answered' by a partly automated system which returns neither `true' nor `false' but a program (the `test program') which computes the answer. The motivation for this philosophy is the way in which, as we demonstrate, static analysis and manipulation technology can be applied to ensure that the resulting test program is significantly simpler than the original program, thereby simplifying the process of investigating the original hypothesi
Choice Experiments to Assess Farmers' Willingness to Participate in a Water Quality Trading Market
Interest has grown in Water Quality Trading (WQT) as a means to achieve water quality goals, with more than 70 such programs now in operation in the United States. Substantial evidence exists that nonpoint sources can reduce nutrient loading at a much lower cost than point sources, implying the existence of gains from trade. Despite the potential gains, however, the most commonly noted feature of existing WQT markets is low trading volume, with many markets resulting in zero trades. This paper evaluates one explanation for the lack of participation from agricultural nonpoint sources. We test for and quantify the intangible costs that may deter farmers from trading even if the monetary benefits from doing so outweigh the observable out-of-pocket costs. We do so by designing and implementing a series of choice experiments to elicit WQT trading behavior of Great Plains crop producers in different situations. Attributes of the choice experiment included market rules and features (e.g., application time and effort, penalties for violations, means of monitoring compliance) that may affect farmers willingness to trade. The choice experiments were conducted with a total of 135 producers at four locations in the state of Kansas between August 2006 and January 2007. A Random Parameters Logit model is appropriate to analyze the resulting data, revealing diversity in the way that the attributes affect farmers choices.Resource /Energy Economics and Policy,
Pre/post conditioned slicing
Th paper shows how analysis of programs in terms of pre- and postconditions can be improved using a generalisation of conditioned program slicing called pre/post conditioned slicing. Such conditions play an important role in program comprehension, reuse, verification and reengineering. Fully automated analysis is impossible because of the inherent undecidability of pre- and post- conditions. The method presented reformulates the problem to circumvent this. The reformulation is constructed so that programs which respect the pre- and post-conditions applied to them have empty slices. For those which do not respect the conditions, the slice contains statements which could potentially break the conditions. This separates the automatable part of the analysis from the human analysis
- ā¦