The roots of the silver tree: Boyle,alchemy, and teleology

Though Robert Boyle called final causes one of the most important subjects for a natural philosopher to study, his own treatise on the subject, the Disquisition about Final Causes, has received comparatively little scholarly attention. In this paper, I explicate Boyle's complex argument against the use of teleological explanations for inanimate bodies, such as metals. The central object of this argument is a mysterious allusion to a silver plant. I claim that the silver plant is best understood as a reference to alchemical product: the Arbor Dianae, an offshoot of George Starkey's recipe for the Philosophers' Stone. Then, I show how the context of alchemy not only clarifies Boyle's argument but also places it within a wider dialectic about matter and teleology. I then contrast the parallel arguments of Boyle and John Ray on the question of whether metals have divine purposes and show that the difference is explained by Boyle's belief in the transmutation of metals.     

考虑标度的加型一致性模糊判断矩阵的排序方法

通过实例说明相关文献中加型一致性模糊判断矩阵排序方法的参数取值存在的问题,分析出该问题是由于其公式证明中没有区分标度导致的,指出其结论适用于0～1标度的加型一致性模糊判断矩阵.然后,重新证明了0.1～0.9标度下的加型一致性模糊判决矩阵的排序方法和相关结论.最后,定义了广义模糊标度,并给出广义模糊标度下加型一致性模糊判断矩阵的排序方法和相关结论,使得相关文献中排序方法和相关结论实现形式上的统一.     

正规矩阵特征值扰动的新估计

设A,B均为正规矩阵,关于正规矩阵的特征值扰动,有结论 (n∑i=1︱μτ(i)-λi︱2)(1/2)≤n(1/2)‖E‖F,其中λi,μi分别为A,B的特征值.通过新的方法证明给出特征值扰动上界的新估计,并改进了以上结论.     

化学方程式配平的矩阵解法

基于矩阵解方程的理论，定义出了一个化学元素矩阵，从而找到了一种配平化学方程式的新方法，称之为矩阵解法。     

基于广义最小二乘模型的动态交通OD矩阵估计

基于广义最小二乘模型,建立了一种带滑动窗的动态OD矩阵估计算法,可通过对路段交通量和行程时间的检测来估计时变的OD数据.对模型中关键的交通分配矩阵,给出了解析的计算公式.算法是一种递推的估计过程,仅需较少的先验信息,且估计过程不会发散;滑动窗的引入可充分利用量测信息,抑制量测噪声.     

广义正定矩阵的分析与应用

分析了广义正定矩阵,导出了矩阵广义正定的若干新判定准则,并以应用实例研究了其在神经网络中的应用.     

轴外物点理想成像的条件

用费马原理证明了轴外物点理想成像的条件     

一类按学生素质优劣排序的数学方法

用模糊学方法定量评定了学生的综合素质，并按素质的优劣给学生进行了排序，这里是将数学方法引入教学管理的初步尝试。     

脂肪醇物理化学性质的拓扑指数法研究

借助基团体积的贡献值和分子中各原子的支化度，写出分子的距离矩阵Di，由Di构建新拓扑指数五zi=ln(λmax λmid)；同时，引进分子的结构描述符Qc、有机性无机性比值OI，用多元线性回归关联脂肪醇的-lgS。-lgKow，RI，复相关系数均在0．99以上。     

基于RL&SM通用夹具系统的主动寻位技术及其实现方法

介绍了RL&SM通用夹具的寻位系统 ,描述了主动寻位与制造信息转换问题 ,提出和实现了相应的控制方法及其系统实现中的关键技术。理论分析与实验结果表明 ,提出的解决方法和技术是可行的 ,为RL&SM通用夹具系统的实际应用奠定了理论基础和技术支持