On Vector Quasi-Variational Inequality Problems in H-Space

The purpose to this paper is to study the existence problem of solutions to the vector quasi-variational inequality for vector-valued functions in H-space.     

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.     

Windows环境下光伏水泵报价系统的实现

该文介绍了在Ｗｉｎｄｏｗｅ３．１环境下．利用ＭｉｃｒｏｓｏｆｔＣ（＋＋）及其基本类库（ＭＦＣ）开发光伏水泵报价系统的方法。该方法采用了面向对象技术，使软件具备可重用性。同时，ＭＦＣ类库的使用使复杂的Ｗｉｎ－ｄｏｗｓ应用程序的编程接口变得更容易。该方法对其它工程报价问题也具借鉴意义。     

空间机构的位置分析

本文以“基本方向”确定空间机构中各构件的位置,并基于“基本方向”之间的关系以及机构的环路封闭条件,建立了机构位置分析的数学模型。将优化技术和求解非线性方程组迭代技术结合起来,提高了解决问题的可靠性及效率。     

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.     

论明清石湾陶艺的美学特色

明清是石湾陶艺创作风格、艺术特色的奠基时期。明清石湾陶艺注重表现,富有生活气息,简约质朴,豪放自然,尤其在人物眼神与衣纹的刻划、“素胎烧制”等艺术表现技巧方面所作出的探索,终经后来历代艺人的发扬光大,已成为今天石湾陶艺所特有的“有意味的形式”,并展示出强烈的艺术魅力。     

三芳基镓与α,β--不饱和酮反应的研究

报道了三芳基镓与α,β－不饱和酮反应生成相应的芳酮,反应条件温和,产率达７０％－８０％,并用元素分析,ＩＲ和＾１ＨＮＭＲ对产的结构进行了表征。     

受限柔性机器人力／位置控制装置,建模与辨识

介绍作者研制的受限柔性机器人力／位置控制装置并讨论了此装置的动力学建模,经推导得到了受限柔性机器人的动力学模型,该模型同一般刚性机器人的模型相似且模型结构简明．最后用实验等方法辨识了模型的相关参数,对深入研究受限柔性机器人力／位置控制的理论与实验仿真有极大的参考价值．     

Formula for Analyzing Hopf Bifurcation

CesariandHaleshowedthat[1],usingLiapunov-Schmidtreduction,theHopfbifurcationcanbetreatedasbifurcationofzerosofacertainreducedmapping.Consideranautonomoussystemofordinarydifferentialequation(ODE)definedneartheoriginoftheformdudt A(λ)u F(u,λ)=0,　u∈Rn,λ∈Rm(1)whereλisthebifurcationparameter,A(λ)isann×nmatrix,A(0)satisfiestheHopfhypothesis:ithassimpleeigenvalues±iandhasnoothereigenvalueslyingontheimaginaryaxis,F(u,λ)arethehigher-ordertermsofuandbothofAandFareC∞functionsofλ.Fixed…     

一个实用的地图着色算法

给出一种计算机实现地图四色着色的算法,并以Ｐａｓｃａｌ语言编制了程序．该程序稍作改动,即可成为分块图形实现四色着色的通用程序．