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.     

HACCP在石油行业野外施工食堂中应用的绩效分析

将HACCP这一世界公认的食品安全控制系统引入野外施工食堂卫生管理当中.方法采用文献检索,事故分析、现场调查和Delphi等研究方法,通过对野外施工食源性疾病危害分析、建立关键控制点,形成野外施工食堂管理HACCP管理规范,并组织实施.结果实施HACCP体系后,从业人员手、餐具、菜墩、抹布的抽查合格率有显著提高,食堂从业人员以及参加施工人员对饮食卫生以及食堂卫生管理知识的掌握显著提高.结论在野外施工食品卫生管理中引入HACCP管理体系,控制食源性疾病取得了良好的绩效.     

A Digital Right Management Model for Distribution of Digital Audiovisual Content

0 IntroductionDue to the success of Internet technology and the emer-gence of wide band network,downloading encoded dig-ital audiovisual content files via HTTP,FTP,etc ,had gainedfavor amongInternet users because of thei mmediate access todesired content . Digital Right Management (DRM) system,can satisfy the content provider by encrypting digital audiovi-sual content andli miting access to onlythose people who haveacquired a proper license to play backthe content[1].DRMas defined bythe …     

钢筋混凝土桁架筒的分析与研究

就钢筋混凝土桥架简体系进行了初步的分析与研究，表明这种结构体系有着良好的力学性能、抗震性能，且经济效益显著，有广阔的发展前景。     

高校图书馆工作人员的信息素养

本文从图书馆发展需要与图书馆员自身发展的需要出发,论述了图书馆员应具备的信息素养,阐述了信息素养的内涵,分析了图书馆员信息素养的现状,并提出了培养图书馆员信息素养的举措。     

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.