The modernity of Dedekind’s anticipations contained in What are numbers and what are they good for?

Archive for History of Exact Sciences - We show that Dedekind, in his proof of the principle of definition by mathematical recursion, used implicitly both the concept of an inductive cone from an...     

Long-term increases in clutch size in common snapping turtles (Chelydra serpentina) and diamondback terrapins (Malaclemys terrapin)

Clutch size (CS) is a well-studied life history characteristic, and optimal egg size theory predicts that CS should correlate positively with reproductive investment. Turtles are good subjects for studies of reproductive strategies because few turtle species exhibit parental care; therefore quantifying their short-term reproductive investment is mostly limited to measuring egg size and number. Clutch size is usually reported as an average value for each turtle population, and where CS variation is noted, it is usually attributable to variation in adult body size. In two long-term studies of ecologically dissimilar species we detected a dramatic increase in CS in a common snapping turtle (Chelydra serpentina) population and in a diamondback terrapin (Malaclemys terrapin) population. It is unknown whether these changes are due to either variation in adult body size or resource availability; but the temporal patterns we observed have apparently never been reported previously. These trends remain unexplained and should be explored further.     

面向集成的网络CAPP系统的研究与探索

简述了我国CAPP的发展历程和研究与应用现状 ,提出了CAPP系统应向集成化、网络化方向发展 ,探讨了面向集成的网络化CAPP系统的体系结构、运行机制及其中的一些关键技术     

Variations in Variation and Selection: The Ubiquity of the Variation-and-Selective-Retention Ratchet in Emergent Organizational Complexity, Part II: Quantum Field Theory

If the general arguments concerning theinvolvement of variation and selection inexplanations of ``fit'' are valid, then variationand selection explanations should beappropriate, or at least potentiallyappropriate, outside the paradigm historisticdomains of biology and knowledge. In thisdiscussion, I wish to indicate some potentialroles for variation and selection infoundational physics – specifically inquantum field theory. I will not be attemptingany full coherent ontology for quantum fieldtheory – none currently exists, and none islikely for at least the short term future. Instead, I wish to engage in some partiallyspeculative interpretations of some interestingresults in this area with the aim ofdemonstrating that variation and selectionnotions might play a role even here. Ifvariation and selection can survive in even asinhospitable and non-paradigmatic a terrain asfoundational physics, then it can surviveanywhere.     

我国巨型机发展概述

系统地总结和介绍了我国高性能计算机，包括“银河”系列巨型机、“曙光”系列巨型机、“神威”系列巨型机、“深腾”系列巨型机以及“深超”系列巨型机的开发研制以及应用情况。     

自主机器人人工进化方法研究

在介绍人工进化研究状况的基础上 ,着重阐述了进化机器人学的关键问题 :基本概念、进化技术、进化计算和实验研究方法等 ,探索了进化机器人学未来的研究趋势及所面临的挑战 .