ROLE OF α-PSEUDO-UNIVEX FUNCTIONS IN VECTOR VARIATIONAL-LIKE INEQUALITY PROBLEMS

In this paper, we introduce a new class of generalized convex function, namely, a-pseudounivex function, by combining the concepts of pseudo-univex and α-invex functions. Further, we establish some relationships between vector variational-like inequality problems and vector optimization problems under the assumptions of α-pseudo-univex functions. Results obtained in this paper present a refinement and improvement of previously known results.     

A theoretical model for mid-and low-latitude ionospheric electric fields in realistic geomagnetic fields

The geomagnetic fields, which play important roles in the ionospheric dynamo, can greatly affect the global distribution of ionospheric electric fields, currents and other ionospheric electrodynamics phenomena. In the study of ionospheric electrodynamics phenomena, such as the longitudinal variations of ionospheric electric fields, the non-dipolar component of the geomagnetic fields must be taken into account. In this paper, we deduce a theoretical electric field model for ionospheric dynamo at mid- and low-latitude which adopt a modified magnetic apex coordinates system. In the new electric field model, the geomagnetic fields can be calculated from either the IGRF model or the dipole field model, and the neutral winds and conductivities are calculated based on empirical models. Then the dynamo equation for the electric potential is finally solved in terms of the line-by-line iteration method, and the ionospheric electric fields and currents are derived from the calculated potential. Our model can reproduce the main features of the ionospheric electrodynamics processes, so it will be a useful tool for the investigation of the upper atmosphere and ionosphere.     

机助数据采集与通用平差系统

PC-1500袖珍计算机是理想的野外数据采集工具,IBM系列微机又是比较普及的内业处理机,PC-1500与IBM又可以联机通讯.从而可达到从野外数据采集到内业数据处理的自动化.本文就控制测量的野外数据采集与内业数据处理作了一系列理论研究与实用试验,编制出一整套实用软件.可用于生产实际中.     

神经网络在成组技术方面的应用

阐述了成组技术及其在高级制造技术中的作用，在此基础上描述了神经网络在零件编码分类系统中的应用以及用神经网络设计制造单元的方法。     

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环境下光伏水泵报价系统的实现

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

空间机构的位置分析

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

PRM蚁群融合算法的AGV路径规划研究

针对AGV运货时需一次性取多件货物的路径规划问题,提出一种PRM算法与蚁群算法相结合的融合算法,将问题拆分为路径的选择与TSP问题分布解决,即先利用PRM算法进行AGV路径规划,再利用蚁群算法决策出取货顺序,生成总的路径。最后采用matlab进行仿真实验,并与A*算法进行对比,结果证明了PRM蚁群融合算法比A*算法得出的路径更短、效率更高。     

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.