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.
作者:
WEBBER, cLDepartment of Physiology
Loyola University of Chicago Stritch School of Medicine 2160 South First Avenue Maywood IL 60153 U.S.A.
A computer program is described which performs power-spectral analyses on time-domain data. The program is written in the clanguage and incorporates an algorithm for the fast Fourier transform translated from BASIc i...
详细信息
A computer program is described which performs power-spectral analyses on time-domain data. The program is written in the clanguage and incorporates an algorithm for the fast Fourier transform translated from BASIc into c. Sequential segments of time-domain data are accessed by the program, transformed to the frequency domain, and ensemble-averaged to generate smoothed spectra. Specific application of the program to the detection of high-frequency oscillations in the phrenic neurogram of the cat is addressed. Thus, 100 successive 512-point fast Fourier transforms were found to accurately reveal the relative strength (power) and frequency position (spectrum) of multiple peaks in this respiratory motor pathway. Because clanguage programs are very transportable, this program should run on machines other than our LSI 11/23, provided a c-compiler is available.
We describe a processing program for radioimmunoassay data which uses a log/logit transformation and maximum likelihood estimation to describe mathematically the standard curve, providing a .chi.2 test of goodness of ...
详细信息
We describe a processing program for radioimmunoassay data which uses a log/logit transformation and maximum likelihood estimation to describe mathematically the standard curve, providing a .chi.2 test of goodness of fit for the model. Sample values are returned with 95% fiducial probability intervals or standard errors. The program is written in c, which facilitates transportability and modularity.
Syntax directed editors (SDE) have been built to support popular languages or subsets of those languages. Typically, these im- plementations require large amounts of computing resources. This work describes the design...
详细信息
Syntax directed editors (SDE) have been built to support popular languages or subsets of those languages. Typically, these im- plementations require large amounts of computing resources. This work describes the design and implemtnat ion of a SDE which re- quires less than 58 thousand bytes of main memory and supports the full cprogramminglanguage. Several extant SDE models are examined in an effort to define a basic set of SDE facilities. Design principles are combined with machine con- straints to produce a plan for the implementation of these facilities. A sample session with the resulting editor is provided The syntactic irregularities of the cprogramminglanguage are examined. A discussion showing how language irregularities can hamper the implementation of a SDE follows. A grammatical definition of the clanguage is included.
Tato bakalářská práce je věnována laboratorním úlohám pro mikrokontroléry Mc9S08LH firmy Freescale. V úvodní části pojednává o periferiích mikroko...
详细信息
Tato bakalářská práce je věnována laboratorním úlohám pro mikrokontroléry Mc9S08LH firmy Freescale. V úvodní části pojednává o periferiích mikrokontroléru a vývojové desce TWR-S08LH, která je osazena tímto mikrokontrolérem. Druhá část je věnována vytvoření sady laboratorních úloh, demonstrujících využití periferií mikrokontroléru a vytvoření vzorových programů v jazyce c pro tyto úlohy.
Tato bakalářská práce se zabývá vzdáleným sběrem dat pomocí GSM modemů s podporou platformy Open AT. Výsledkem práce je realizovaný modul, který slouží...
详细信息
Tato bakalářská práce se zabývá vzdáleným sběrem dat pomocí GSM modemů s podporou platformy Open AT. Výsledkem práce je realizovaný modul, který slouží jako převodník teploty na kmitočet. Tento modul je propojen s programovatelným GSM/GPRS modemem Wavecom Fastrack M1306B a společně jsou určeny k měření teploty od 0 do 40 °c. S podporou platformy Open AT a programovacího jazyka c byly vytvořeny dvě aplikace. První aplikace naměřenou teplotu společně s datem a časem měření posílá na vzdálený FTP server přes GPRS prostřednictvím GSM sítě. Výsledky měření jsou zobrazovány na webové stránce ve formě tabulky a grafu. Druhá aplikace slouží k posílání naměřené teploty ve formě SMS zprávy jako odpověď na zprávu příchozí.
Tato práce se zabývá návrhem konceptu platformy pro bezdotykové snímání otisku prstu a jeho realizací. Dále je popsán návrh, implementace a testován...
详细信息
Tato práce se zabývá návrhem konceptu platformy pro bezdotykové snímání otisku prstu a jeho realizací. Dále je popsán návrh, implementace a testování hardware implementovaného ve VHDL a programu implementovaného v c. Výstup práce lze použít jako základ při vývoji průmyslově použitelného řešení.
暂无评论