Cesp(E1,E2)的k一致凸性

文章讨论了Banach空间的k一致凸性在cesp(E1，E2)中的提升问题。     

On the Foundations of Constructive Mathematics – Especially in Relation to the Theory of Continuous Functions

We discuss the foundations of constructive mathematics, including recursive mathematics and intuitionism, in relation to classical mathematics. There are connections with the foundations of physics, due to the way in which the different branches of mathematics reflect reality. Many different axioms and their interrelationship are discussed. We show that there is a fundamental problem in BISH (Bishop’s school of constructive mathematics) with regard to its current definition of ‘continuous function’. This problem is closely related to the definition in BISH of ‘locally compact’. Possible approaches to this problem are discussed. Topology seems to be a key to understanding many issues. We offer several new simplifying axioms, which can form bridges between the various branches of constructive mathematics and classical mathematics (‘reuniting the antipodes’). We give a simplification of basic intuitionistic theory, especially with regard to so-called ‘bar induction’. We then plead for a limited number of axiomatic systems, which differentiate between the various branches of mathematics. Finally, in the appendix we offer BISH an elegant topological definition of ‘locally compact’, which unlike the current definition is equivalent to the usual classical and/or intuitionistic definition in classical and intuitionistic mathematics, respectively.     

论产品开发中的并行设计

我国制造企业普遍存在的问题是缺乏新产品的设计与开发能力 ,他们迫切希望缩短产品的开发周期、降低成本、提高质量。在这种形势下 ,并行设计应运而生。文章主要阐述了运用并行设计开发新产品的必要性、关键因素和所取得的成效     

一类捕食者——食饵模型的定性分析

本文对一类捕食者——食饵模型进行定性分析,得到了非平凡平衡点全局稳定性的条件和正平衡点周围存在唯一极限环的充分条件,并且本文给出了1个关于这类系统“大范围”极限环的存在唯一性定理。     

Bi掺杂的直接甲醇燃料电池阳极催化剂研究进展

发展可替代能源对缓解全球能源问题具有重要意义。直接甲醇燃料电池(direct methanol fuel cell,DMFC) 因其工作温度低、能量密度高以及污染物排放少等特性,正逐渐成为最有发展前景的便携式能源技术之一。目前,其商业化进程主要取决于甲醇氧化反应(methanol oxidation reaction,MOR) 的动力学快慢、催化剂的成本和寿命。Bi元素的掺杂可以极大地提高甲醇电催化氧化的性能,并且可以提高阳极催化剂抵抗CO中毒的能力。介绍了掺杂Bi的贵金属和非贵金属阳极电催化剂,以及贵金属掺杂Bi₂O₃、Bi₂WO₆ 等光辅助电催化剂;综述了它们提高甲醇电催化氧化性能的机制,并展望了阳极Bi电催化剂在DMFC中所面临的机遇和挑战。     

A novel mechanism for jumping in the indian ant<Emphasis Type="Italic">Harpegnathos saltator</Emphasis> (Jerdon) (Formicidae,Ponerinae)

The Indian antHarpegnathos saltator may be unique among insects in using its jumping capacity not only as an escape mechanism but also as a normal means of locomotion, and for catching its prey in flight. High-speed cinematography used to analyse the various phases of the jump suggests thatHarpegnathos employs a novel jumping mechanism to mediate these behaviours: namely the synchronous activation of its middle and hindlegs. Electrophysiological recordings from muscles or nerves in pairs of middle and hindlegs show remarkably synchronous activity during fictive jumping, supporting the synchronous activation hypothesis.Harpegnathos is not the only ant to jump, and a cladistic analysis suggests that jumping behaviour evolved independently three times during ant evolutionary history.     

天竺葵绒毡层发育的细胞学及其与花粉发育的关系

本文应用细胞化学和光镜及电子显微镜技术对天竺葵绒毡层发育的全过程进行了系统研究．发现天竺葵变形绒毡层的发育具有如下特点：（１）绒毡层侵入药室的时间在小孢子大液泡时期;（２）侵入后要经历一个细胞质重建过程,并在较长的一段时间内保持生理活跃状态,合成大量的脂类物质;（３）绒毡层合成的营养物质及自身降解的产物均被花粉吸收利用,物质的吸收通过萌发孔进行．     

高分子力学中的Valanis－Landel假说

根据经验公式的建立原则和橡胶的各向同性性能,讨论了Ｖａｌａｎｉｓ－Ｌａｎｄｅｌ假说中关于“任何一种应变类型的应力一应变关系,可从单一的纯剪试验推导出来”这一重要结论,并证明了结论的正确性,还研究了结论的应用。     

素数阶循环图与经典Ramsey数R(8,19)和R(8,20)的新下界

该文研究了素数阶循环图的基本性质,提出了寻求有效参数构造正则循环图的新方法,得到了２个经典Ｒａｍｓｅｙ数的新的下界：Ｒ（８,１９）≥７０２,Ｒ（８,２０）≥７７０。这两个结果填补了关于Ｒａｍｓｅｙ数综述［４］的上下界表中的２个空白。     

不同药剂对破除播娘蒿种子休眠的效应

播娘蒿种子休眠的自动存作约需半年时间。研究了不同药剂对破除其休眠的效应。结果表明：药剂浸种可迅速打破其种子休眠,其中以３０％浸种３０ｍｉｎ,作用最显著,破眠率可达９３％,其次是３００×１０＾６ＧＡ浸种２４ｈ,ＮａＯＨ,ＰＥＧ,ＰＶＡ等作用较弱。