Thèses : « Computer systems programs »

1

Merritt, John W. « Distributed file systems in an authentication system ». Thesis, Kansas State University, 1986. http://hdl.handle.net/2097/9938.

Texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

2

Anderson, Steven Schuyler. « Is there a shortage of computer programmers/systems analysts ? an examination of the empirical evidence / ». Thesis, Monterey, California : Naval Postgraduate School, 1990. http://handle.dtic.mil/100.2/ADA240588.

Texte intégral

Résumé :

Thesis (M.S. in Information Systems)--Naval Postgraduate School, September1990.
Thesis Advisor(s): Haga, William J. Second Reader: Mehay, Stephen L. "September 1990." Description based on title screen viewed on December 16, 2009. DTIC Descriptor(s): Computer personnel, shortages, programmers, analysts, systems analysis, theses, computers, specialists. DTIC Identifier(s): Computer programs, systems analysis, specialists, shortages, theses. Author(s) subject terms: Programmer, systems analysis, shortage, shortfall. Includes bibliographical references (p. 29-30). Also available in print.

Styles APA, Harvard, Vancouver, ISO, etc.

3

Odom, Stuart A. « Translator writer systems ». Master's thesis, This resource online, 1992. http://scholar.lib.vt.edu/theses/available/etd-12232009-020105/.

Texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

4

Sobel, Ann E. Kelley. « Modular verification of concurrent systems / ». The Ohio State University, 1986. http://rave.ohiolink.edu/etdc/view?acc_num=osu1487267546983528.

Texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

5

Jeong, Juyong. « WebSAT : Web-based systems administration tool ». CSUSB ScholarWorks, 2005. https://scholarworks.lib.csusb.edu/etd-project/2667.

Texte intégral

Résumé :

Discusses the development of WebSAT (Web-based systems administration tool), a computer network tool that allows systems administrators to create and delete accounts, disable and enable existing accounts, manage disk space conveniently, monitor the status of all network printers, and monitor network security. The WebSAT application was implemented using PHP, a server-side embedded scripting language, with a MySQL database.

Styles APA, Harvard, Vancouver, ISO, etc.

6

Keating, Marla Jo Matlick. « Computers in college art and design programs / ». Online version of thesis, 1992. http://hdl.handle.net/1850/11630.

Texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

7

Zhu, Wenzhang. « Distributed JAVA virtual machine with thread migration / ». View the Table of Contents & ; Abstract, 2004. http://sunzi.lib.hku.hk/hkuto/record/B30396773.

Texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

8

Zhu, Wenzhang, et 朱文章. « Distributed JAVA virtual machine with thread migration ». Thesis, The University of Hong Kong (Pokfulam, Hong Kong), 2004. http://hub.hku.hk/bib/B45015260.

Texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

9

PARK, SEUNG YIL. « A GENERALIZED INTELLIGENT PROBLEM SOLVING SYSTEM BASED ON A RELATIONAL MODEL FOR KNOWLEDGE REPRESENTATION (SUPPORT SYSTEMS, EXPERT, DECISION AIDS) ». Diss., The University of Arizona, 1986. http://hdl.handle.net/10150/183779.

Texte intégral

Résumé :

Over the past decade, two types of decision aids, i.e., decision support systems (DSS) and expert systems (ES), have been developed along parallel paths, showing some significant differences in their software architectures, capabilities, limitations, and other characteristics. The synergy of DSS and ES, however, has great potential for helping make possible a generalized approach to developing a decision aid that is powerful, intelligent, and friendly. This research establishes a framework for such decision aids in order to determine the elementary components and their interactions. Based on this framework, a generalized intelligent problem solving system (GIPSS) is deveolped as a decision aid generator. A relational model is designed to provide a unified logical view of each type of knowledge including factual data, modeling knowledge, and heuristic rules. In this knowledge model, a currently existing relational DBMS, with some extension, is utilized to manage each type of knowledge. For this purpose a relational resolution inference mechanism has been devised. A prototype GIPSS has been developed based on this framework. Two domain specific decision aids, COCOMO which estimates software development effort and cost, and CAPO which finds optimal process organization, have been implemented by using the GIPSS as a decision aid generator, demonstrating such features as its dynamic modeling capabilities and learning capabilities.

Styles APA, Harvard, Vancouver, ISO, etc.

10

Hopper, Michael A. « A compiler framework for multithreaded parallel systems ». Diss., Georgia Institute of Technology, 1997. http://hdl.handle.net/1853/15638.

Texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

11

Alshamlan, Mohammad. « A Regression Approach to Execution Time Estimation for Programs Running on Multicore Systems ». FIU Digital Commons, 2014. http://digitalcommons.fiu.edu/etd/1240.

Texte intégral

Résumé :

Execution time estimation plays an important role in computer system design. It is particularly critical in real-time system design, where to meet a deadline can be as important as to ensure the logical correctness of a program. To accurately estimate the execution time of a program can be extremely challenging, since the execution time of a program varies with inputs, the underlying computer architectures, and run-time dynamics, among other factors. The problem becomes even more challenging as computing systems moving from single core to multi-core platforms, with more hardware resources shared by multiple processing cores. The goal of this research is to investigate the relationship between the execution time of a program and the underlying architecture features (e.g. cache size, associativity, memory latency), as well as its run-time characteristics (e.g. cache miss ratios), and based on which, to estimate its execution time on a multi-core platform based on a regression approach. We developed our test platform based on GEM5, an open-source multi-core cycle-accurate simulation tool set. Our experimental results show clearly the strong relationship of the program execution time to architecture features and run-time characteristics. Moreover, we developed different execution time estimation algorithms using the regression approach for different programs with different software characteristics to improve the estimation accuracy.

Styles APA, Harvard, Vancouver, ISO, etc.

12

Hengstebeck, Sandra Marie. « Presentations world wide systems ». CSUSB ScholarWorks, 2001. https://scholarworks.lib.csusb.edu/etd-project/1922.

Texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

13

Newcomb, Tom C. « Model checking data-independent systems with arrays ». Thesis, University of Oxford, 2003. http://ora.ox.ac.uk/objects/uuid:7fc75da9-e653-4578-b061-8a1cc30ba609.

Texte intégral

Résumé :

We say a program is data-independent with respect to a data type X if the operations it can perform on values of type X are restricted to just equality testing, although the system may also input, store and move around (via assignment) values of type X within its variables. This property can be exploited to give procedures for the automatic verification, called model checking, of such programs independently of the instance for the type X. This thesis considers data-independent programs with arrays, which are useful for modelling memory systems such as cache protocols. The main question of interest is the following parameterised model-checking problem: whether a program satisfies its specification for all non-empty finite instances of its types. In order to obtain these results, we present a UNITY-like programming language with arrays that is suited to the study of decidability of various modelchecking problems, whilst being useful for prototyping memory systems such as caches. Its semantics are given in terms of transition systems, and we use the modal μ-calculus, a branching-time temporal logic with recursion, as our specification language. We describe a model-checking procedure for programs that use arrays indexed by one data-independent type X and storing values from another Y. This allows us to prove properties about parameterised systems: for example, that memory systems can be verified independently of memory size and data values. This decidability result is shown to extend to data-independent programs with many types and multidimensional arrays which are acyclic, meaning it is not possible to form loops of types in the 'indexed by' relation. Conversely, it is shown that even reachability model-checking problems are undecidable for classes of programs that allow cyclic-array programs. We give practical motivation for these decidability results by demonstrating how one could verify a fault-tolerant interface on a set of unreliable memories, and the cache protocol in the Pentium Pro processor. Significantly, the verifications are performed independently of many of these systems' parameters. These case studies suggest two extensions to the language: an array reset instruction, which sets every element of an array to a particular value, and an array assignment or copy instruction. Both are shown to restrict decidability of model checking problems; however we can obtain some interesting decidability results for arrays with reset by restricting the number of arrays to just one, or by allowing the arrays only to store fixed finite types, such as the booleans.

Styles APA, Harvard, Vancouver, ISO, etc.

14

Demir, Kadir Alpaslan. « Analysis of TLcharts for weapon systems software development ». Thesis, Monterey, Calif. : Springfield, Va. : Naval Postgraduate School ; Available from National Technical Information Service, 2005. http://library.nps.navy.mil/uhtbin/hyperion/05Dec%5FDemir.pdf.

Texte intégral

Résumé :

Thesis (M.S. in Computer Science and M.S. in Software Engineering)--Naval Postgraduate School, December 2005.
Thesis Advisor(s): Doron Drusinsky, Man-Tak Shing. Includes bibliographical references (p. 87-89). Also available online.

Styles APA, Harvard, Vancouver, ISO, etc.

15

Goktepe, Meftun. « Windows XP Operating System security analysis ». Thesis, Monterey, Calif. : Springfield, Va. : Naval Postgraduate School ; Available from National Technical Information Service, 2002. http://library.nps.navy.mil/uhtbin/hyperion-image/02sep%5FGoktepe.pdf.

Texte intégral

Résumé :

Thesis (M.S. in Information Technology Management)--Naval Postgraduate School, September 2002.
Thesis advisor(s): Richard Harkins, Cynthia Irvine. Includes bibliographical references (p. 105-107). Also available online.

Styles APA, Harvard, Vancouver, ISO, etc.

16

Fath, Janet Louise. « An architecture for adaptive computer-assisted instruction programs for complex dynamic systems ». Diss., Georgia Institute of Technology, 1987. http://hdl.handle.net/1853/33442.

Texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

17

McManigal, Gerald F. « An electronic bulletin board for UNIX based systems ». Thesis, Kansas State University, 1986. http://hdl.handle.net/2097/9935.

Texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

18

Chang, Yu-Pin. « International extension programs information system ». CSUSB ScholarWorks, 2003. https://scholarworks.lib.csusb.edu/etd-project/2346.

Texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

19

Tsai, Jya-Jang. « Toward automatic parallelization of discrete event simulation programs ». Diss., Georgia Institute of Technology, 1994. http://hdl.handle.net/1853/8302.

Texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

20

Canning, James Thomas. « The application of structure and code metrics to large scale systems ». Diss., Virginia Polytechnic Institute and State University, 1985. http://hdl.handle.net/10919/54209.

Texte intégral

Résumé :

This work extends the area of research termed software metrics by applying measures of system structure and measures of system code to three realistic software products. Previous research in this area has typically been limited to the application of code metrics such as: lines of code, McCabe's Cyclomatic number, and Halstead's software science variables. However, this research also investigates the relationship of four structure metrics: Henry's Information Flow measure, Woodfield's Syntactic Interconnection Model, Yau and Collofello's Stability measure and McClure's Invocation complexity, to various observed measures of complexity such as, ERRORS, CHANGES and CODING TIME. These metrics are referred to as structure measures since they measure control flow and data flow interfaces between system components. Spearman correlations between the metrics revealed that the code metrics were similar measures of system complexity, while the structure metrics were typically measuring different dimensions of software. Furthermore, correlating the metrics to observed measures of complexity indicated that the Information Flow metric and the Invocation Measure typically performed as well as the three code metrics when project factors and subsystem factors were taken into consideration. However, it was generally true that no single metric was able to satisfactorily identify the variations in the data for a single observed measure of complexity. Trends between many of the metrics and the observed data were identified when individual components were grouped together. Code metrics typically formed groups of increasing complexity which corresponded to increases in the mean values of the observed data. The strength of the Information Flow metric and the Invocation measure is their ability to form a group containing highly complex components which was found to be populated by outliers in the observed data.
Ph. D.

Styles APA, Harvard, Vancouver, ISO, etc.

21

Shen, Yan 1954. « ADVICE : AN EXPERT SYSTEM TO HELP EVALUATE GRADUATE STUDY PLANS OF SYSTEMS & ; INDUSTRIAL ENGINEERING STUDENTS ». Thesis, The University of Arizona, 1986. http://hdl.handle.net/10150/291320.

Texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

22

Sundmark, Daniel. « Structural System-Level Testing of Embedded Real-Time Systems ». Doctoral thesis, Västerås : School of Innovation, Design and Engineering, Mälardalen University, 2008. http://urn.kb.se/resolve?urn=urn:nbn:se:mdh:diva-488.

Texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

23

Gonzago, Kevin. « Hazweb : An Internet approach to mapping hazardous locations ». CSUSB ScholarWorks, 2005. https://scholarworks.lib.csusb.edu/etd-project/2747.

Texte intégral

Résumé :

The purpose of the project was to develop a Web application using GIS data that would map addresses or coordinate information and then find any hazardous areas that may fall within a given distance to this location. The geographic area of this project covers the extent of cities San Bernardino, Redlands, and Yucaipa, California.

Styles APA, Harvard, Vancouver, ISO, etc.

24

Schearer, Steven A. « Increasing open source software integration on the Defense unclassified desktop ». Thesis, Monterey, California. Naval Postgraduate School, 2008. http://hdl.handle.net/10945/4062.

Texte intégral

Résumé :

The United States Defense (DoD) spends hundreds of millions of dollars each year on desktop computer software. While some of this expenditure goes to fund special-purpose military software, much of it is absorbed by license fees for computer operating systems and general purpose office automation applications. Although many of these tools may serve their respective purposes rather well, there are many reasons to consider adopting alternative software solutions alongside the existing standards. Improvements to cost, security, and flexibility are some of the benefits that may be realized by integrating some of the many available mature, robust Open Source Software (OSS) solutions. In particular, Linux-based operating systems have helped bring free, open source software into mainstream use in businesses, homes, and government offices around the world, precisely because of these potential benefits. This thesis examines the feasibility of using OSS, particularly Linux-based operating systems, on unclassified DoD desktop computers. Specific attention is paid to performing office automation tasks that are currently handled by U.S. Air Force Standard Desktop Configuration, Windows-based computers. Additionally, this document examines many of the regulations and policies that shape the procurement and operational environments in which OSS must compete and function.

Styles APA, Harvard, Vancouver, ISO, etc.

25

Jefferson, John N. « SYSCAL : a microcomputer simulation of heating, ventilating and air-conditioning systems for commercial buildings ». Thesis, Georgia Institute of Technology, 1987. http://hdl.handle.net/1853/22349.

Texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

26

Covington, Valerie A. « Lower confidence interval bounds for coherent systems with cyclic components ». Thesis, Monterey, California : Naval Postgraduate School, 1990. http://handle.dtic.mil/100.2/ADA242713.

Texte intégral

Résumé :

Thesis (M.S. in Operations Research)--Naval Postgraduate School, September 1990.
Thesis Advisor(s): Woods, W. Max. Second Reader: Whitaker, Lyn R. "September 1990." Description based on title screen viewed on December 17, 2009. DTIC Descriptor(s): Computer programs, intervals, confidence limits, accuracy, theses, Monte Carlo method, cycles, fortran, reliability, yield, standardization, statistical distributions, equations, confidence level, poisson density functions, failure, coherence, binomials, computerized simulation. Author(s) subject terms: Reliability, lower confidence limit, coherent systems, cyclic components. Includes bibliographical references (p. 121-122). Also available in print.

Styles APA, Harvard, Vancouver, ISO, etc.

27

Hoaglund, Catharine McIntire. « Design factors for the communication architecture of distributed discrete event simulation systems ». CSUSB ScholarWorks, 2006. https://scholarworks.lib.csusb.edu/etd-project/3058.

Texte intégral

Résumé :

The purpose of the thesis was to investigate the influence communication architecture decisions have on the performance of a simulation system with distributed components. In particular, the objective was to assess the relative importance of factors affecting reliability and variability of an external data interface to the performance of the simulation, as compared to factor within the simulation itself.

Styles APA, Harvard, Vancouver, ISO, etc.

28

Challa, Varshi. « Accessing timesheets via internet through ASP and ODBC ». CSUSB ScholarWorks, 2000. https://scholarworks.lib.csusb.edu/etd-project/1605.

Texte intégral

Résumé :

The purpose of this project is to develop a computerized timesheet application. Using this application, an employee of a company can log onto the company's Web site and fill out a timesheet from anywhere in the world. The project involved automating timesheet data entry and approval procedures using contemporary technologies like Active Server Pages (ASP), JavaScript, VB Script, Component Object Model (COM), Components and Open Database connectivity (ODBC).

Styles APA, Harvard, Vancouver, ISO, etc.

29

Loubser, Johannes Jacobus. « Device drivers : a comparison of different development strategies ». Thesis, Stellenbosch : Stellenbosch University, 2000. http://hdl.handle.net/10019.1/51690.

Texte intégral

Résumé :

Thesis (MSc)--Stellenbosch University, 2000.
ENGLISH ABSTRACT: Users are not supposed to modify an operating system kernel, but it is often necessary to add a device driver for a new peripheral device. Device driver development is a difficult and time-consuming process that must be performed by an expert. Drivers are difficult to debug and a malfunctioning driver could cause the operating system to crash. Ways are therefore needed to make the development of device drivers safer and easier. A number of different device driver development methods are examined in this thesis. An existing micro-kernel that supports in-kernel device drivers as well as extensible device drivers has been modified to support user-level and loadable drivers. These extensions ensured that all the development methods were implemented in the same environment and a comparison could thus be made on a fair basis. A comparison of the different methods with respect to the efficiency of the resulting device driver, as well as the ease of the development process, is presented.
AFRIKAANSE OPSOMMING: Gebruikers is nie veronderstelom aan 'n bedryfstelsel te verander nie, maar tog is dit gereeld nodig om 'n toesteldrywer vir 'n nuwe randapparaat by te voeg. Die ontwikkeling van 'n toesteldrywer is 'n tydrowende en moeilike proses en moet deur 'n kundige aangepak word. Toesteldrywers is moeilik om te ontfout en kan deur verkeerde werking die hele stelsel tot stilstand bring. Daar is dus tegnieke nodig om die ontwikkeling van toestelhanteerders makliker en veiliger te maak. 'n Aantal verskillende ontwikkelingsmetodes vir toesteldrywers word in hierdie tesis ondersoek. 'n Bestaande mikro-kern wat in-kern, sowel as uitbreibare toesteldrywers ondersteun, is aangepas om gebruikersvlak en laaibare toestelhanteerders te ondersteun. Hierdie uitbreiding het verseker dat al die ontwikkelingsmetodes in dieselfde omgewing geïmplementeer is. Dit was dus moontlik om die metodes op 'n regverdige grondslag te vergelyk. Die vergelyking is gedoen ten opsigte van die effektiwiteit van die resulterende toesteldrywer sowel as die moeilikheidsgraad van die ontwikkelingsproses.

Styles APA, Harvard, Vancouver, ISO, etc.

30

Bedingfield, Ralph Andrew. « Development of CAE system for switched motor drive systems ». Thesis, This resource online, 1991. http://scholar.lib.vt.edu/theses/available/etd-10312009-020029/.

Texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

31

Cuvillo, Juan del. « Breaking away from the OS shadow a program execution model aware thread virtual machine for multicore architectures / ». Access to citation, abstract and download form provided by ProQuest Information and Learning Company ; downloadable PDF file, 120 p, 2008. http://proquest.umi.com/pqdweb?did=1601517941&sid=4&Fmt=2&clientId=8331&RQT=309&VName=PQD.

Texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

32

Iacobucci, Joseph Vincent. « Rapid Architecture Alternative Modeling (RAAM) : a framework for capability-based analysis of system of systems architectures ». Diss., Georgia Institute of Technology, 2012. http://hdl.handle.net/1853/43697.

Texte intégral

Résumé :

The current national security environment and fiscal tightening make it necessary for the Department of Defense to transition away from a threat based acquisition mindset towards a capability based approach to acquire portfolios of systems. This requires that groups of interdependent systems must regularly interact and work together as systems of systems to deliver desired capabilities. Technological advances, especially in the areas of electronics, computing, and communications also means that these systems of systems are tightly integrated and more complex to acquire, operate, and manage. In response to this, the Department of Defense has turned to system architecting principles along with capability based analysis. However, because of the diversity of the systems, technologies, and organizations involved in creating a system of systems, the design space of architecture alternatives is discrete and highly non-linear. The design space is also very large due to the hundreds of systems that can be used, the numerous variations in the way systems can be employed and operated, and also the thousands of tasks that are often required to fulfill a capability. This makes it very difficult to fully explore the design space. As a result, capability based analysis of system of systems architectures often only considers a small number of alternatives. This places a severe limitation on the development of capabilities that are necessary to address the needs of the war fighter. The research objective for this manuscript is to develop a Rapid Architecture Alternative Modeling (RAAM) methodology to enable traceable Pre-Milestone A decision making during the conceptual phase of design of a system of systems. Rather than following current trends that place an emphasis on adding more analysis which tends to increase the complexity of the decision making problem, RAAM improves on current methods by reducing both runtime and model creation complexity. RAAM draws upon principles from computer science, system architecting, and domain specific languages to enable the automatic generation and evaluation of architecture alternatives. For example, both mission dependent and mission independent metrics are considered. Mission dependent metrics are determined by the performance of systems accomplishing a task, such as Probability of Success. In contrast, mission independent metrics, such as acquisition cost, are solely determined and influenced by the other systems in the portfolio. RAAM also leverages advances in parallel computing to significantly reduce runtime by defining executable models that are readily amendable to parallelization. This allows the use of cloud computing infrastructures such as Amazon's Elastic Compute Cloud and the PASTEC cluster operated by the Georgia Institute of Technology Research Institute (GTRI). Also, the amount of data that can be generated when fully exploring the design space can quickly exceed the typical capacity of computational resources at the analyst's disposal. To counter this, specific algorithms and techniques are employed. Streaming algorithms and recursive architecture alternative evaluation algorithms are used that reduce computer memory requirements. Lastly, a domain specific language is created to provide a reduction in the computational time of executing the system of systems models. A domain specific language is a small, usually declarative language that offers expressive power focused on a particular problem domain by establishing an effective means to communicate the semantics from the RAAM framework. These techniques make it possible to include diverse multi-metric models within the RAAM framework in addition to system and operational level trades. A canonical example was used to explore the uses of the methodology. The canonical example contains all of the features of a full system of systems architecture analysis study but uses fewer tasks and systems. Using RAAM with the canonical example it was possible to consider both system and operational level trades in the same analysis. Once the methodology had been tested with the canonical example, a Suppression of Enemy Air Defenses (SEAD) capability model was developed. Due to the sensitive nature of analyses on that subject, notional data was developed. The notional data has similar trends and properties to realistic Suppression of Enemy Air Defenses data. RAAM was shown to be traceable and provided a mechanism for a unified treatment of a variety of metrics. The SEAD capability model demonstrated lower computer runtimes and reduced model creation complexity as compared to methods currently in use. To determine the usefulness of the implementation of the methodology on current computing hardware, RAAM was tested with system of system architecture studies of different sizes. This was necessary since system of systems may be called upon to accomplish thousands of tasks. It has been clearly demonstrated that RAAM is able to enumerate and evaluate the types of large, complex design spaces usually encountered in capability based design, oftentimes providing the ability to efficiently search the entire decision space. The core algorithms for generation and evaluation of alternatives scale linearly with expected problem sizes. The SEAD capability model outputs prompted the discovery a new issue, the data storage and manipulation requirements for an analysis. Two strategies were developed to counter large data sizes, the use of portfolio views and top `n' analysis. This proved the usefulness of the RAAM framework and methodology during Pre-Milestone A capability based analysis.

Styles APA, Harvard, Vancouver, ISO, etc.

33

Tessler, Michael. « Specifications of a software environment for the computer-aided design of control systems ». Thesis, McGill University, 1985. http://digitool.Library.McGill.CA:80/R/?func=dbin-jump-full&object_id=63218.

Texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

34

Landry, Jacques-André. « Computer software for the control of potato storage environment ». Thesis, McGill University, 1994. http://digitool.Library.McGill.CA:80/R/?func=dbin-jump-full&object_id=41668.

Texte intégral

Résumé :

Much research has proven that computer controlled vegetable storage can achieve better storage conditions than traditional control systems. During the last 10 years, the use of microcomputer-based environmental control systems has become commonplace. However, to take full advantage of this computerization of the control process, it is not enough only to program the control functions that are performed by normal analog equipment. New and better control strategies must be developed. Recent advances in computer technology have made possible the development of expert systems; a branch of artificial intelligence. One of the advantages of developing such a system is that it provides a reasoning tool which approaches the level of proficiency human experts exhibit in that field. The application of new control methods using expert systems has been extensively demonstrated for greenhouse environments. However, the application of expert systems for the control of vegetable storage is still to be investigated. In the first phase of this project, the development and implementation of a sophisticated control software, using a conventional algorithm-based programming language, were achieved. Throughout the three years of experimentation in an industrial potato storage, the software proved to be appropriate for the control of storage environmental parameters (temperature and relative humidity). During the second phase, the application of an expert system for the on-line control of potato storage was explored. The development of a rule-based expert system, that could replace the conventional algorithm-based control routines was achieved. The integration of the expert system into the control software will result in a highly efficient control software, which can easily be maintained and improved as new knowledge emerges. The use of an expert system will also render possible the representation of heuristic knowledge in the form of rules, which was not possible with the use of conven

Styles APA, Harvard, Vancouver, ISO, etc.

35

Swift, Michael M. « Improving the reliability of commodity operating systems / ». Thesis, Connect to this title online ; UW restricted, 2005. http://hdl.handle.net/1773/7019.

Texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

36

Fang, Weijian. « Distributed object sharing for cluster-based Java virtual machine / ». View the Table of Contents & ; Abstract, 2004. http://sunzi.lib.hku.hk/hkuto/record/B30575163.

Texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

37

Fang, Weijian, et 方維堅. « Distributed object sharing for cluster-based Java virtual machine ». Thesis, The University of Hong Kong (Pokfulam, Hong Kong), 2004. http://hub.hku.hk/bib/B45014772.

Texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

38

Cook, Philip John. « Incremental compilation in language-based environments / ». [St. Lucia, Qld.], 2006. http://www.library.uq.edu.au/pdfserve.php?image=thesisabs/absthe19173.pdf.

Texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

39

林依民 et Yi-min Lin. « Computer recognition of printed Chinese characters ». Thesis, The University of Hong Kong (Pokfulam, Hong Kong), 1990. http://hub.hku.hk/bib/B31209919.

Texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

40

梁祥海 et Cheung-hoi Leung. « Computer recognition of handprinted Chinese characters ». Thesis, The University of Hong Kong (Pokfulam, Hong Kong), 1986. http://hub.hku.hk/bib/B31230660.

Texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

41

Janidlo, Peter S. « Rule-based expert systems and tonal chord classification ». Virtual Press, 1999. http://liblink.bsu.edu/uhtbin/catkey/1137841.

Texte intégral

Résumé :

The purpose of the proposed thesis is to:1. Define expert systems and discuss various implementation techniques for the components of expert systems. This includes discussion on knowledge representation, inference methods, methods for dealing with uncertainty, and methods of explanation. Specifically, the focus will be on the implementation of rule-based expert systems;2. Apply selected expert system techniques to a case study. The case study will be a rule-based expert system in Prolog to recognize and identify musical chords from tonal harmony. The system will have a general knowledge base containing fundamental rules about chord construction. It will also contain some knowledge that will allow it to deduce non-trivial chords. Furthermore, it will contain procedures to deal with uncertainty and explanation;3. Explain general concepts about music theory and tonal chord classification to put the case study in context; and4. Discuss the limitations of expert systems based on the results of the case study and the current literature.
Department of Computer Science

Styles APA, Harvard, Vancouver, ISO, etc.

42

Gallatin, Douglas S. « Twill : A Hybrid Microcontroller-FPGA Framework for Parallelizing Single- Threaded C Programs ». DigitalCommons@CalPoly, 2014. https://digitalcommons.calpoly.edu/theses/1161.

Texte intégral

Résumé :

Increasingly System-On-A-Chip platforms which incorporate both micropro- cessors and re-programmable logic are being utilized across several ﬁelds ranging from the automotive industry to network infrastructure. Unfortunately, the de- velopment tools accompanying these products leave much to be desired, requiring knowledge of both traditional embedded systems languages like C and hardware description languages like Verilog. We propose to bridge this gap with Twill, a truly automatic hybrid compiler that can take advantage of the parallelism inherent in these platforms. Twill can extract long-running threads from single threaded C code and distribute these threads across the hardware and software domains to more fully utilize the asymmetric characteristics between processors and the embedded reconﬁgurable logic fabric. We show that Twill provides a sig- niﬁcant performance increase on the CHStone benchmarks with an average 1.63 times increase over the pure hardware approach and an increase of 22.2 times on average over the pure software approach while reducing the area required by the reconﬁgurable logic by on average 1.73 times compared to the pure hardware approach.

Styles APA, Harvard, Vancouver, ISO, etc.

43

Lenhert, Lance Ronald. « The next generation : A look at where today's enterprise resource planning (ERP) systems came from and where technology is heading ». CSUSB ScholarWorks, 2000. https://scholarworks.lib.csusb.edu/etd-project/1689.

Texte intégral

Résumé :

"Currently, the largest barrier to any given market usually involves capital. If a company does not have enough investment capital to start with, it could fail before it even gets started. However, there is a new component that affects some of the largest corporations in the world. The problem relates to being able to sustain current internal processing, as well as adapt and grow in new markets with higher volumes. There are systems out there today that claim to address these issues along with e-commerce and other electronic sharing of information."

Styles APA, Harvard, Vancouver, ISO, etc.

44

Abdel-Jaber, Fadi Fayez. « Design and implementation of car rental system ». CSUSB ScholarWorks, 2001. https://scholarworks.lib.csusb.edu/etd-project/1836.

Texte intégral

Résumé :

When someone wants to rent a car, the customer will usually think twice about the company from which they want to rent. The decision will be based on factors such as good rates, quality and customer service. The service the company representative offers the client should be fast, clear and accurate. This goal cannot be achieved without an informative system that will enable the customer representative to answer the various questions the client might have.

Styles APA, Harvard, Vancouver, ISO, etc.

45

Yang, Lifeng. « Computer relaying for EHV/UHV transmission lines ». Diss., Virginia Tech, 1994. http://hdl.handle.net/10919/40085.

Texte intégral

Résumé :

As the power systems grow, system connections become more complex. Due to cost and environmental concern, more and more parallel lines and series compensated lines may be installed in the system. In order to efficiently use the transmission network, more nonlinear flexible devices such as the phase shifter and the advanced compensation system will be put into use. Once a fault occurs on such a system, a delay in clearing the fault is usually not permissive. This requires a new generation of relays which have high security and dependability and high operating speed. With the advent of high speed microprocessor and fiber optic communication technologies, it is possible to develop high performance relays. In this dissertation, a new generation of pilot relays and non-pilot relays were developed for a transmission line. The pilot relays include the instantaneous percentage current differential (IPD), the phase comparison and the phasor based percentage current differential (PPD) principles. In the pilot protections the synchronized phasor measurement techniques are employed and digital CT saturation detectors are incorporated. All these schemes in primary protections feature charging current (or shunt current ) compensation. The phasor based principles are designed to work within one and a half cycles; while others based on sample by sample comparison are assumed to work in less than a cycle. The non-pilot relays to be investigated in this dissertation include the fault location based and phase angle based directional distance relays. One cycle data window is used in the phasor calculation. Both the distance relays are assumed to make a trip decision in about one and a half cycles. All algorithms were simulated against different fault conditions using EMTP outputs. The simulation results show all the pilot relay algorithms work well for EHV IUHV transmission lines including the series compensated lines. The fault location based distance relay works well in most cases, but it may give a wrong decision for the close-in fault with the fault resistance and may have a singularity problem. The phase angle based distance relay works very well for different fault conditions and is insensitive to fault resistance. The modified phase angle based distance relay was also developed for the series compensated line. It would not lose the direction for faults with or without fault resistance, either for a compensated system in forward direction, or in an adjacent line in reverse direction. The overreach is within 20% of the protected zone. This relay algorithm is also based on the one-cycle data window DFT, and it can give a reliable trip decision in about two cycles. All pilot relays with a fiber optic link and the phase angle based distance relay can constitute a new generation of protection systems for EHV IUHV transmission lines.
Ph. D.

Styles APA, Harvard, Vancouver, ISO, etc.

46

Noye, Janet B. (Janet Barbara) Carleton University Dissertation Computer Science. « A graphical user interface server for graph algorithm programs ». Ottawa, 1992.

Trouver le texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

47

Wu, Jichuan. « Web-based e-mail client for computer science ». CSUSB ScholarWorks, 2003. https://scholarworks.lib.csusb.edu/etd-project/2462.

Texte intégral

Résumé :

The project is a web e-mail application to provide a web page interface for all CSCI faculty, staff and students to handle their e-mails. The application is written by JSP, Java Servlets, JavaScript and custom JSP tag libraries. Regular e-mail capabilities have been enhanced by the feature of allowing users to store and manage messages by day (store to daily folders, view in daily folders, append notes for that day).

Styles APA, Harvard, Vancouver, ISO, etc.

48

Eckhardt, John R. « Real-time reservoir operation decision support under the appropriation doctrine ». Ft. Collins, Colo. : Colorado Water Resources Research Institute, 1991. http://hdl.handle.net/10176/co:3777_ucsu6141357internet.pdf.

Texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

49

Bacheller, John S. « Design and implementation of a prototype microcomputer database management system for the standardization of data elements for the Department of Defense ». Thesis, Monterey, California : Naval Postgraduate School, 1990. http://handle.dtic.mil/100.2/ADA238888.

Texte intégral

Résumé :

Thesis (M.S. in Information Systems)--Naval Postgraduate School, September 1990.
Thesis Advisor(s): Dolk, Daniel R. Second Reader:Kamel, Magdi N. "September 1990." Description based on title screen viewed on December 16, 2009. DTIC Descriptor(s): Fields(computer programs), management information systems, standardization, department of defense, systems engineering, data management, theses, prototypes, sharing, microcomputers, hierarchies, viewers, requirements, dictionaries, data bases, functions. Author(s) subject terms: Data management standardization, data element dictionary, data element standardization, object oriented, logical design, application design. Includes bibliographical references (p. 237). Also available in print.

Styles APA, Harvard, Vancouver, ISO, etc.

50

Baise, Paul. « Cogitator : a parallel, fuzzy, database-driven expert system ». Thesis, Rhodes University, 1994. http://hdl.handle.net/10962/d1006684.

Texte intégral

Résumé :

The quest to build anthropomorphic machines has led researchers to focus on knowledge and the manipulation thereof. Recently, the expert system was proposed as a solution, working well in small, well understood domains. However these initial attempts highlighted the tedious process associated with building systems to display intelligence, the most notable being the Knowledge Acquisition Bottleneck. Attempts to circumvent this problem have led researchers to propose the use of machine learning databases as a source of knowledge. Attempts to utilise databases as sources of knowledge has led to the development Database-Driven Expert Systems. Furthermore, it has been ascertained that a requisite for intelligent systems is powerful computation. In response to these problems and proposals, a new type of database-driven expert system, Cogitator is proposed. It is shown to circumvent the Knowledge Acquisition Bottleneck and posess many other advantages over both traditional expert systems and connectionist systems, whilst having non-serious disadvantages.
KMBT_223

Styles APA, Harvard, Vancouver, ISO, etc.

Thèses sur le sujet « Computer systems programs »

Créez une référence correcte selon les styles APA, MLA, Chicago, Harvard et plusieurs autres