4 resultados para pacs: C6170K knowledge engineering techniques

em DigitalCommons@University of Nebraska - Lincoln


Relevância:

100.00% 100.00%

Publicador:

Resumo:

Not long ago, most software was written by professional programmers, who could be presumed to have an interest in software engineering methodologies and in tools and techniques for improving software dependability. Today, however, a great deal of software is written not by professionals but by end-users, who create applications such as multimedia simulations, dynamic web pages, and spreadsheets. Applications such as these are often used to guide important decisions or aid in important tasks, and it is important that they be sufficiently dependable, but evidence shows that they frequently are not. For example, studies have shown that a large percentage of the spreadsheets created by end-users contain faults. Despite such evidence, until recently, relatively little research had been done to help end-users create more dependable software. We have been working to address this problem by finding ways to provide at least some of the benefits of formal software engineering techniques to end-user programmers. In this talk, focusing on the spreadsheet application paradigm, I present several of our approaches, focusing on methodologies that utilize source-code-analysis techniques to help end-users build more dependable spreadsheets. Behind the scenes, our methodologies use static analyses such as dataflow analysis and slicing, together with dynamic analyses such as execution monitoring, to support user tasks such as validation and fault localization. I show how, to accommodate the user base of spreadsheet languages, an interface to these methodologies can be provided in a manner that does not require an understanding of the theory behind the analyses, yet supports the interactive, incremental process by which spreadsheets are created. Finally, I present empirical results gathered in the use of our methodologies that highlight several costs and benefits trade-offs, and many opportunities for future work.

Relevância:

30.00% 30.00%

Publicador:

Resumo:

The reaction of living anionic polymers with 2,2,5,5-tetramethyl-1-(3-bromopropyl)-1-aza-2,5- disilacyclopentane (1) was investigated using coupled thin layer chromatography and matrix-assisted laser desorption/ionization time-of-flight mass spectrometry. Structures of byproducts as well as the major product were determined. The anionic initiator having a protected primary amine functional group, 2,2,5,5-tetramethyl- 1-(3-lithiopropyl)-1-aza-2,5-disilacyclopentane (2), was synthesized using all-glass high-vacuum techniques, which allows the long-term stability of this initiator to be maintained. The use of 2 in the preparation of well-defined aliphatic primary amine R-end-functionalized polystyrene and poly(methyl methacrylate) was investigated. Primary amino R-end-functionalized poly(methyl methacrylate) can be obtained near-quantitatively by reacting 2 with 1,1-diphenylethylene in tetrahydrofuran at room temperature prior to polymerizing methyl methacrylate at -78 °C. When 2 is used to initiate styrene at room temperature in benzene, an additive such as N,N,N',N'- tetramethylethylenediamine is necessary to activate the polymerization. However, although the resulting polymers have narrow molecular weight distributions and well-controlled molecular weights, our mass spectra data suggest that the yield of primary amine α-end-functionalized polystyrene from these syntheses is very low. The majority of the products are methyl α-end-functionalized polystyrene.

Relevância:

30.00% 30.00%

Publicador:

Resumo:

Product miniaturization for applications in fields such as biotechnology, medical devices, aerospace, optics and communications has made the advancement of micromachining techniques essential. Machining of hard and brittle materials such as ceramics, glass and silicon is a formidable task. Rotary ultrasonic machining (RUM) is capable of machining these materials. RUM is a hybrid machining process which combines the mechanism of material removal of conventional grinding and ultrasonic machining. Downscaling of RUM for micro scale machining is essential to generate miniature features or parts from hard and brittle materials. The goal of this thesis is to conduct a feasibility study and to develop a knowledge base for micro rotary ultrasonic machining (MRUM). Positive outcome of the feasibility study led to a comprehensive investigation on the effect of process parameters. The effect of spindle speed, grit size, vibration amplitude, tool geometry, static load and coolant on the material removal rate (MRR) of MRUM was studied. In general, MRR was found to increase with increase in spindle speed, vibration amplitude and static load. MRR was also noted to depend upon the abrasive grit size and tool geometry. The behavior of the cutting forces was modeled using time series analysis. Being a vibration assisted machining process, heat generation in MRUM is low which is essential for bone machining. Capability of MRUM process for machining bone tissue was investigated. Finally, to estimate the MRR a predictive model was proposed. The experimental and the theoretical results exhibited a matching trend.

Relevância:

30.00% 30.00%

Publicador:

Resumo:

Observability measures the support of computer systems to accurately capture, analyze, and present (collectively observe) the internal information about the systems. Observability frameworks play important roles for program understanding, troubleshooting, performance diagnosis, and optimizations. However, traditional solutions are either expensive or coarse-grained, consequently compromising their utility in accommodating today’s increasingly complex software systems. New solutions are emerging for VM-based languages due to the full control language VMs have over program executions. Existing such solutions, nonetheless, still lack flexibility, have high overhead, or provide limited context information for developing powerful dynamic analyses. In this thesis, we present a VM-based infrastructure, called marker tracing framework (MTF), to address the deficiencies in the existing solutions for providing better observability for VM-based languages. MTF serves as a solid foundation for implementing fine-grained low-overhead program instrumentation. Specifically, MTF allows analysis clients to: 1) define custom events with rich semantics ; 2) specify precisely the program locations where the events should trigger; and 3) adaptively enable/disable the instrumentation at runtime. In addition, MTF-based analysis clients are more powerful by having access to all information available to the VM. To demonstrate the utility and effectiveness of MTF, we present two analysis clients: 1) dynamic typestate analysis with adaptive online program analysis (AOPA); and 2) selective probabilistic calling context analysis (SPCC). In addition, we evaluate the runtime performance of MTF and the typestate client with the DaCapo benchmarks. The results show that: 1) MTF has acceptable runtime overhead when tracing moderate numbers of marker events; and 2) AOPA is highly effective in reducing the event frequency for the dynamic typestate analysis; and 3) language VMs can be exploited to offer greater observability.