1000 resultados para compiler testing
Resumo:
A simple method of testing deep aspheric surfaces is presented. The apparatus consists of a Twyman-Green interferometer and a liquid compensatory container. Two lenses, one with spherical surfaces and the other with a spherical surface and an aspheric surface, were tested by using this method. The device is very simple and easy to assemble. (C) 1998 Society of Photo-Optical Instrumentation Engineers.
Resumo:
A novel design of 100GHz-spaced 16channel arrayed-waveguide grating (AWG) based on silica-on-silicon chip is reported.AWG is achieved by adding a Y-branch to the AWG and arranging the input/output channel in a neat row,so the whole configuration can be aligned and packaged using only one fiber-array.This configuration can decrease the device's size,enlarge the minimum radius of curvature,save time on polishing and alignment,and reduce the chip's fabrication cost.
Resumo:
Large area (25 mm(2)) silicon drift detectors and detector arrays (5x5) have been designed, simulated, and fabricated for X-ray spectroscopy. On the anode side, the hexagonal drift detector was designed with self-biasing spiral cathode rings (p(+)) of fixed resistance between rings and with a grounded guard anode to separate surface current from the anode current. Two designs have been used for the P-side: symmetric self-biasing spiral cathode rings (p(+)) and a uniform backside p(+) implant. Only 3 to 5 electrodes are needed to bias the detector plus an anode for signal collection. With graded electrical potential, a sub-nanoamper anode current, and a very small anode capacitance, an initial FWHM of 1.3 keV, without optimization of all parameters, has been obtained for 5.9 keV Fe-55 X-ray at RT using a uniform backside detector.
Resumo:
IEECAS SKLLQG
Resumo:
The Charpy impact fracture behaviour of unnotched specimens of phenolphthalein polyether ketone (PEK-C) was studied over a temperature range from room temperature to 220 degrees C by using an instrumented impact tester. The load-time and energy-time curves of PEK-C at different temperatures were recorded. From these curves, some important parameters, such as the maximum impact load, the maximum stress, the total impact energy, the crack initiation energy, the crack propagation energy etc., were obtained and their temperature dependences of PEK-C were investigated. The point of 100 percent maximum load on the load-time trace was shown to be the yield point. Two parameters, the ductile ratio (D.R.) and the ductility index (D.I.) were applied to characterize the ductility of PEK-C and their relationships to the relaxation processes were discussed.
Resumo:
A supported lanthanum gallate (LSGM) electrolyte thin-film solid oxide fuel cell with Ni-YSZ cermet anode and strontium-doped lanthanum manganite (LSM)-yttria stabilized zirconia (YSZ) composite cathode was, for the first time, fabricated and tested. The cell was prepared by an unconventional approach, in which an LSGM thin film (about 15 mum thick) was first deposited on a porous substrate such as a porous YSZ disk by a wet process and sintered at a high temperature (above 1400degrees C). NiO was then incorporated into the porous substrate by a carefully controlled impregnation process and fired at a much lower temperature. In this way, the severe reaction between LSGM and NiO at a high temperature, which is required for the full densification of LSGM film, can be avoided. A strontium-doped LaMnO3 (LSM)-YSZ composite cathode was screen printed on the surface of the LSGM film and then fired at 1250degrees C. The electrolyte resistances of the SOFC single cells fabricated by this approach are much lower compared to those of thick LSGM film supported cells. A maximum output power density of over 0.85 W/cm(2) at 800degreesC with H-2 as fuel and air as oxidant for a fabricated cell was achieved. (C) 2002 The Electrochemical Society.
Resumo:
This paper presents the ideas underlying a program that takes as input a schematic of a mechanical or hydraulic power transmission system, plus specifications and a utility function, and returns catalog numbers from predefined catalogs for the optimal selection of components implementing the design. It thus provides the designer with a high level "language" in which to compose new designs, then performs some of the detailed design process for him. The program is based on a formalization of quantitative inferences about hierarchically organized sets of artifacts and operating conditions, which allows design compilation without the exhaustive enumeration of alternatives.
Resumo:
We constructed a parallelizing compiler that utilizes partial evaluation to achieve efficient parallel object code from very high-level data independent source programs. On several important scientific applications, the compiler attains parallel performance equivalent to or better than the best observed results from the manual restructuring of code. This is the first attempt to capitalize on partial evaluation's ability to expose low-level parallelism. New static scheduling techniques are used to utilize the fine-grained parallelism of the computations. The compiler maps the computation graph resulting from partial evaluation onto the Supercomputer Toolkit, an eight VLIW processor parallel computer.
Resumo:
We have developed a compiler for the lexically-scoped dialect of LISP known as SCHEME. The compiler knows relatively little about specific data manipulation primitives such as arithmetic operators, but concentrates on general issues of environment and control. Rather than having specialized knowledge about a large variety of control and environment constructs, the compiler handles only a small basis set which reflects the semantics of lambda-calculus. All of the traditional imperative constructs, such as sequencing, assignment, looping, GOTO, as well as many standard LISP constructs such as AND, OR, and COND, are expressed in macros in terms of the applicative basis set. A small number of optimization techniques, coupled with the treatment of function calls as GOTO statements, serve to produce code as good as that produced by more traditional compilers. The macro approach enables speedy implementation of new constructs as desired without sacrificing efficiency in the generated code. A fair amount of analysis is devoted to determining whether environments may be stack-allocated or must be heap-allocated. Heap-allocated environments are necessary in general because SCHEME (unlike Algol 60 and Algol 68, for example) allows procedures with free lexically scoped variables to be returned as the values of other procedures; the Algol stack-allocation environment strategy does not suffice. The methods used here indicate that a heap-allocating generalization of the "display" technique leads to an efficient implementation of such "upward funargs". Moreover, compile-time optimization and analysis can eliminate many "funargs" entirely, and so far fewer environment structures need be allocated at run time than might be expected. A subset of SCHEME (rather than triples, for example) serves as the representation intermediate between the optimized SCHEME code and the final output code; code is expressed in this subset in the so-called continuation-passing style. As a subset of SCHEME, it enjoys the same theoretical properties; one could even apply the same optimizer used on the input code to the intermediate code. However, the subset is so chosen that all temporary quantities are made manifest as variables, and no control stack is needed to evaluate it. As a result, this apparently applicative representation admits an imperative interpretation which permits easy transcription to final imperative machine code. These qualities suggest that an applicative language like SCHEME is a better candidate for an UNCOL than the more imperative candidates proposed to date.
Resumo:
In this study, an in vitro multicellular tumor spheroid model was developed using microencapsulation, and the feasibility of using the microencapsulated. multicellular tumor spheroid (MMTS) to test the effect of chemotherapeutic drugs was investigated. Human MCF-7 breast cancer cells were encapsulated in alginate-poly-L-lysine-alginate (APA) microcapsules, and a single multicellular spheroid 150 mu m in diameter was formed in the microcapsule after 5 days of cultivation. The cell morphology, proliferation, and viability of the MMTS were characterized using phase contrast microscopy, BrdU-Iabeling, MTT stain, calcein AM/ED-2 stain, and H&E stain. It demonstrated that the MMTS was viable and that the proliferating cells were mainly localized to the periphery of the cell spheroid and the apoptotic cells were in the core. The MCF-7 MMTS was treated with mitomycin C (MC) at a concentration of 0.1, 1, or 10 times that of peak plasma concentration (ppc) for up to 72 h. The cytotoxicity was demonstrated. clearly by the reduction in cell spheroid size and the decrease in cell viability. The MMTS was further used to screen the anticancer effect of chemotherapeutic drugs, treated with MC, adriamycin (ADM) and 5-fluorouracil (5-FU) at concentrations of 0.1, 1, and 10 ppc for 24, 48, and 72 h. MCF-7 monolayer culture was used as control. Similar to monolayer culture, the cell viability of MMTS was reduced after treatment with anticancer drugs. However, the inhibition rate of cell viability in MMTS was much lower than that in monolayer culture. The MMTS was more resistant to anticancer drugs than monolayer culture. The inhibition rates of cell viability were 68.1%, 45.1%, and 46.8% in MMTS and 95.1%, 86.8%, and 91.6% in monolayer culture treated with MC, ADM, and 5-FU at 10 ppc for 72 h, respectively. MC showed the strongest cytotoxicity in both MMTS and monolayer, followed by 5-FU and ADM. It demonstrated that the MMTS has the potential to be a rapid and valid in vitro model to screen chemotherapeutic drugs with a feature to mimic in vivo three-dimensional (3-D) cell growth pattern.
Resumo:
Security policies are increasingly being implemented by organisations. Policies are mapped to device configurations to enforce the policies. This is typically performed manually by network administrators. The development and management of these enforcement policies is a difficult and error prone task. This thesis describes the development and evaluation of an off-line firewall policy parser and validation tool. This provides the system administrator with a textual interface and the vendor specific low level languages they trust and are familiar with, but the support of an off-line compiler tool. The tool was created using the Microsoft C#.NET language, and the Microsoft Visual Studio Integrated Development Environment (IDE). This provided an object environment to create a flexible and extensible system, as well as simple Web and Windows prototyping facilities to create GUI front-end applications for testing and evaluation. A CLI was provided with the tool, for more experienced users, but it was also designed to be easily integrated into GUI based applications for non-expert users. The evaluation of the system was performed from a custom built GUI application, which can create test firewall rule sets containing synthetic rules, to supply a variety of experimental conditions, as well as record various performance metrics. The validation tool was created, based around a pragmatic outlook, with regard to the needs of the network administrator. The modularity of the design was important, due to the fast changing nature of the network device languages being processed. An object oriented approach was taken, for maximum changeability and extensibility, and a flexible tool was developed, due to the possible needs of different types users. System administrators desire, low level, CLI-based tools that they can trust, and use easily from scripting languages. Inexperienced users may prefer a more abstract, high level, GUI or Wizard that has an easier to learn process. Built around these ideas, the tool was implemented, and proved to be a usable, and complimentary addition to the many network policy-based systems currently available. The tool has a flexible design and contains comprehensive functionality. As opposed to some of the other tools which perform across multiple vendor languages, but do not implement a deep range of options for any of the languages. It compliments existing systems, such as policy compliance tools, and abstract policy analysis systems. Its validation algorithms were evaluated for both completeness, and performance. The tool was found to correctly process large firewall policies in just a few seconds. A framework for a policy-based management system, with which the tool would integrate, is also proposed. This is based around a vendor independent XML-based repository of device configurations, which could be used to bring together existing policy management and analysis systems.
Resumo:
BP (89-A-1204); Defense Advanced Research Projects Agency (90-0083); National Science Foundation (IRI-90-00530); Air Force Office of Scientific Research (90-0175, 90-0128); Army Research Office (DAAL-03-88-K0088)
Resumo:
Cream liqueurs manufactured by a one-step process, where alcohol was added before homogenisation, were more stable than those processed by a two -step process which involved addition of alcohol after homogenisation. Using the one-step process, it was possible to produce creaming-stable liqueurs by using one pass through a homogeniser (27.6 MPa) equipped with "liquid whirl" valves. Test procedures to characterise cream liqueurs and to predict shelf life were studied in detail. A turbidity test proved simple, rapid and sensitive for characterising particle size and homogenisation efficiency. Prediction of age thickening/gelation in cream liqueurs during incubation at 45 °C depended on the age of the sample when incubated. Samples that gelled at 45 °C may not do so at ambient temperature. Commercial cream liqueurs were similar in gross chemical composition, and unlike experimentally produced liqueurs, these did not exhibit either age-gelation at ambient or elevated temperatures. Solutions of commercial sodium caseinates from different sources varied in their calcium sensitivity. When incorporated into cream liqueurs, caseinates influenced the rate of viscosity increase, coalescence and, possibly, gelation during incubated storage. Mild heat and alcohol treatment modified the properties of caseinate used to stabilise non-alcoholic emulsions, while the presence of alcohol in emulsions was important in preventing clustering of globules. The response to added trisodium citrate varied. In many cases, addition of the recommended level (0.18%) did not prevent gelation. Addition of small amounts of NaOH with 0.18 % trisodium citrate before homogenisation was beneficial. The stage at which citrate was added during processing was critical to the degree of viscosity increase (as opposed to gelation) in the product during 45 °C incubation. The component responsible for age-gelation was present in the milk-solids non fat portion of the cream and variations in the creams used were important in the age-gelation phenomenon Results indicated that, in addition to possibly Ca++, the micellar casein portion of serum may play a role in gelation. The role of the low molecular weight surfactants, sodium stearoyl lactylate and monodiglycerides in preventing gelation, was influenced by the presence of trisodium citrate. Clustering of fat globules and age-gelation were inhibited when 0.18 % citrate was included. Inclusion of sodium stearoyl lactylate, but not monodiglycerides, reduced the extent of viscosity increase at 45 °C in citrate containing liqueurs.