this is the story of the causal sequence of the three programmable digital electronic computers that launched the Electronic Computer Revolution: the ENIAC (Electronic Numerical Integrator and Computer);the EDVAC (Ele...
详细信息
this is the story of the causal sequence of the three programmable digital electronic computers that launched the Electronic Computer Revolution: the ENIAC (Electronic Numerical Integrator and Computer);the EDVAC (Electronic Discrete Variable Computer);and the Von Neumann, or IAS (Institute for Advanced Study), Computer. All were designed and built from 1943 to 1951. the chief designers were Presper Eckert, John Mauchly, John Von Neumann, Arthur Burks, and Herman Goldstine. the interacting roles of truth-functional and memory logic with digital electronics are explained, together withthe relation of these electronic computers to the theoretical calculating systems of Kurt GOdel and Alan Turing. (C) 2002 Published by Elsevier Science B.V.
We have modified Concurrent Prolog (CP) Interpreter (Shapiro 1983) and implemented Extended Concurrent Prolog (ECP) Interpreter (Fujitsu 1985), which has OR-parallel, set-abstraction and meta-inference facilities. In ...
详细信息
Recent results [5] have shown that concurrent logicprogramming has a very simple model, based on linear sequences, which is fully abstract with respect to the parallel operator and finite observables. this is intrins...
详细信息
We explore the view of a computation as a relational section of a (trivial) fibre bundle: initial states lie in the base of the bundle and final states lie in the fibres located at their initial states. this leads us ...
详细信息
Biomolecular programming performs computing utilizing many sorts of reactions and stores the information in biological macromolecules (proteins and nucleic acids). DNA (Deoxyribose Nucleic Acid) exhibits highly predic...
详细信息
Biomolecular programming performs computing utilizing many sorts of reactions and stores the information in biological macromolecules (proteins and nucleic acids). DNA (Deoxyribose Nucleic Acid) exhibits highly predictable molecular behavior, which assists in the construction of logical versions of operating systems and molecular computers. Read Only Memory (ROM), is a form of electronic storage that is built into a device during the manufacturing process. It might be a programmable general-purpose logic device, and a client can customize the storage device as a basic logic gate operation to complex mechanisms on a chip. In this proposed work, a ROM is designed using DNA-based gates. the attributes of DNA-based computing enable DNA-based ROM to execute billions of operations consecutively as well as provide immense storage in a compact space.
High-tech improvements with reference for health advance to develop numerous medical tools have been build to support doctors and nurses performances. this analysis research applied web-based system of infusion monito...
详细信息
In view of the diversified characteristics of programming languages used by many current data processing algorithms, we have built an integrated platform based on Javaweb whose methods are developed by multiple progra...
详细信息
In view of the diversified characteristics of programming languages used by many current data processing algorithms, we have built an integrated platform based on Javaweb whose methods are developed by multiple programming languages. In this article, we discussed the application of some programming languages in data processing algorithms, and how to build a mixed programming environment of Java and other languages. By adopting Java and other multi-language mixed programming methods, we have carried out the design of the business logic layer of the integrated platform for the realization of multiple programming languages, which overcomes the lack of support of the Java programming language in data processing algorithm programming. It meets the needs of users who only need to use the integrated platform to quickly run different methods written in multiple languages. Application examples and results show that the method of using Java and other languages to build integrated Web projects is efficient and feasible.
Existing linearized section location methods for distribution networks are only applicable to single faults. In response, this paper proposes a linear integer programming method for section location in distribution ne...
详细信息
ISBN:
(数字)9798331532765
ISBN:
(纸本)9798331532772
Existing linearized section location methods for distribution networks are only applicable to single faults. In response, this paper proposes a linear integer programming method for section location in distribution networks that is suitable for multiple faults. Firstly, based on fault-tolerant mechanism analysis, a switch function tailored for multiple faults is developed. Secondly, the method incorporates phasor measurement unit (PMU) information fault information into the section location process, constructing a logical model for section location in distribution networks. Finally, by applying three transformation principles between logical and algebraic relationships, the logical model is converted into a linear integer programming model, which is solved using MATLAB+CPLEX. Case studies demonstrate that the proposed linear integer programming method for section location in distribution networks achieves fast location speed and robust fault tolerance, making it suitable for both single and multiple faults.
the intelligent warehousing control system is a system based on PLC (Programmable logic Controller) and human-computer interaction (HCI), aiming to improve the efficiency and accuracy of warehousing operations. the sy...
详细信息
暂无评论