MRI/RUI: Acquisition of Instrumentation for Research in Genetic Programming, Quantum Computation, and Distributed Systems

EIA-0216344 Lee spectorHampshire CollegeMRI/RUI：收购用于遗传编程、量子计算和分布式系统研究的仪器这份提案来自一家RUI机构，支持在遗传编程、量子计算和分布式系统方面的工作，提议收购一个16节点的Linux Networx Evolocity系统，用于学生和教师的研究。该仪器将允许用户指定一组不同的原语和相关数据类型，同时以参数的方式指定很少的内容，从而推动多种类型遗传编程的进步。(早期的遗传编程系统迫使用户将所有操作限制在单一数据类型中，以确保正在进行重组和突变的程序的语义有效性。“强类型”遗传编程系统允许生成能够处理不同类型的程序。)对于量子计算领域，将使用遗传和其他自动编程来探索可能的量子算法的空间及其相对于经典算法的加速。由于量子计算机硬件还不可用，这样做通常会遇到模拟量子算法所需的时间；必须使用在传统硬件上运行的量子计算机模拟器来测试适应性。关于未解决的复杂性问题的初步有希望的结果将被用来寻找可以证明其渐近复杂性结果的缩放算法。分布式系统是汉普郡学院学生独立工作的主要重点，将使学生能够为联网的多CPU系统开发创新的软件和编程技术。

EIA-0216344Lee SpectorHampshire CollegeMRI/RUI: Acquisition of Instrumentation for Research in Genetic Programming, Quantum Computation, and Distributed SystemsThis proposal from a RUI institution, enabling work in genetic programming, quantum computation, and distributed systems, proposes acquiring a 16-node Linux NetworX Evolocity system for use in student and faculty research. The instrumentation will enable advance in multi-type genetic programming by allowing the user to specify a diverse set of primitives and related data types while simultaneously specifying little in the way of parameters. (Early genetic programming systems forced users to restrict all operation to a single data type to ensure the semantic validity of programs undergoing recombination and mutation. "Strongly typed" genetic programming systems allow the generation of programs that are able to manipulate diverse types.) For the quantum computation area, genetic and other automatic programming will be used to explore the space of possible quantum algorithms and their speed-ups relative to classical algorithms. Since quantum computer hardware is not yet available, the usual hindrance in so doing involves the time required for simulating the quantum algorithms; fitness must be tested using a quantum computer simulator that runs on conventional hardware. Preliminary promising results on problems with unresolved complexity will be employed to seek scaling algorithms for which asymptotic complexity results can be proved. Distributed systems, a primary focus of student's independent work at Hampshire College, will enable students to pursue the development of innovative software and programming techniques for networked, multi-CPU systems.