The Lagrangian Particle Dispersion Model LPDM simulates the ensemble average transport of aerosols and gases in turbulent wind conditions, which can have a long execution time for it to be possibly useful to the Warfi...
详细信息
The Lagrangian Particle Dispersion Model LPDM simulates the ensemble average transport of aerosols and gases in turbulent wind conditions, which can have a long execution time for it to be possibly useful to the Warfighter. Previously, some performance improvements were achieved by using two different approaches of graphics processing unit GPU computing technology with one using a compute Unified Device Architecture cUDA Fortran interface via device code and the other one using cUDA host code only. However, it was determined later that converting the original LPDM code from Fortran to cprogramminglanguage was needed to further increase its execution performance. This report documents the implementation approach of converting the original LPDM model code to c using GPU computing technology to improve its performance. The execution time of GPU-accelerated LPDM c application was faster than the original LPDM Fortran application without GPU computing.
OTTER (Organized Techniques for Theorem-proving and Effective Research) is a resolution-style theorem-proving program for first- order logic with equality. OTTER includes the inference rules binary resolution, hyperre...
详细信息
OTTER (Organized Techniques for Theorem-proving and Effective Research) is a resolution-style theorem-proving program for first- order logic with equality. OTTER includes the inference rules binary resolution, hyperresolution, UR-resolution, and binary paramodulation. Some of its other abilities are conversion from first-order formulas to clauses, forward and back subsumption, factoring, weighting, answer literals, term ordering, forward and back demodulation, evaluable functions and predicates, and Knuth-Bendix completion. OTTER is coded in c, it is free, and it is portable to many different kinds of company. 16 refs., 2 tabs.
Quantification activities was highly significant in semiconductor companies;it does not only showed the right count of units but also the quality on how it was processed in the production line. Automation of quantific...
详细信息
Quantification activities was highly significant in semiconductor companies;it does not only showed the right count of units but also the quality on how it was processed in the production line. Automation of quantification activities of semiconductor at backend process using binary search algorithm supersede manual handling of units to automate counting. The main purpose of this study was to enhance the process control of quantification in the back-end process of the semiconductor company by fabricating a machine that automated the whole quantification activities using Gizduino microcontroller. The automated quantifier machine successfully counted the units in tube using inductive proximity sensor for full tube and ultrasonic sonar sensor for partial tube with units. The device used was Gizduino mini 644 P microcontroller and Arduino ERW 1.0.5 IDE programed via clanguage. Visual Basiclanguage was used in the design of the graphical user interface for software application. The implementation of automated quantifier machine to the semiconductor company at back-end process addressed the top one problem that affected the metric of the production;these were the quality, productivity and delivery.
This paper discusses the construction of the course "advanced programminglanguage design" in colleges. According to the team's long-term experiences from teaching this course, this paper elaborates that...
详细信息
This paper discusses the construction of the course "advanced programminglanguage design" in colleges. According to the team's long-term experiences from teaching this course, this paper elaborates that the course construction of "advanced programminglanguage design" should focus on the following aspects:(1) clarifying the teaching objective of the course,(2) strengthening the teaching staffs,(3) optimizing the teaching contents, and(4) improving the teaching methods. An online learning website is established to supplement limited in-class teaching. Taking the specificcase in Shanghai Dianji University as an example, this paper compares the new teaching mode to the old one, and explores how the changes improve teaching and learning. Our practices and achievements suggest that the current construction scheme is feasible and effective.
Matching the color of clothing is a challenging task for the visually impaired persons. In this paper, we propose and create the detector which matches color shirt and presentations for impaired vision. The detector i...
详细信息
ISBN:
(纸本)9781467376716
Matching the color of clothing is a challenging task for the visually impaired persons. In this paper, we propose and create the detector which matches color shirt and presentations for impaired vision. The detector is easy to use by using just one button press to manage the operation of the device for display speech output through speaker for the visually impaired persons. The speech output is Thai language only in this detector. The goal of creating a more personal control the color of the image file can be any shade of color on the RGB color with Micro Processor and Micro controller. The image file come from recording by the compact camera and detect by the source code creating by cprogramminglanguage to filter color and display speech output through speaker from the database on the microprocessor. Finally, the detector for the visually impaired, who can choose the color of clothing that want to put it to work. The prototype is further tested by 20 visually impaired participants in Thomamix Witthaya School for the visually impaired at Phetchaburi Province.
The personal computer hardware marketplace has grown rapidly in recent years. Many software projects, as a cost-cutting measure, are buying "off-the-self" items to meet heir hardware requirements. Almost all...
详细信息
ISBN:
(纸本)9781581131277
The personal computer hardware marketplace has grown rapidly in recent years. Many software projects, as a cost-cutting measure, are buying "off-the-self" items to meet heir hardware requirements. Almost all of the device drivers for these devices are written in the cprogramminglanguage. However, the selection of the programminglanguage for the project does not need to be confined to c. This paper details the powerful tools in Ada 95, such as pragmas to interface code written in other programminglanguages to Ada 95 applications. An example of a generic real-time Ada 95 application interfacing with a low-level c serial device driver is used to aid the reader in the concepts and idea's discussed in the paper.
This thesis considers challenges associated with managing the risk of wildfires caused by electric utilities, specifically the use of deliberate, and potentially widespread, power outages termed Public Safety Power Sh...
详细信息
This thesis considers challenges associated with managing the risk of wildfires caused by electric utilities, specifically the use of deliberate, and potentially widespread, power outages termed Public Safety Power Shutoff (PSPS) events. A PSPS event is a way to reduce potential liability in utility-associated wildfires, but it also creates additional dangers and economic hardships for utility customers. This thesis performs three modeling and analysis tasks: (1) it presents an extensive exploratory data analysis on the Pacific Gas and Electric (PG and E) power grid, utility-caused ignitions, and past PSPS events; (2) it develops models to gain insight on the PG and E decision process during PSPS events; and (3) using power outage studies and economic models, it estimates the social cost of PSPS events.
暂无评论