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

ei - 0216344lee SpectorHampshire college emri /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.