A non-commutative time-frequency tomography

The characterization of non-stationary signal requires joint time and frequency information. However, time and frequency are a pair of non-commuting variables that cannot constitute a joint probability density in the time-frequency plane. The time-frequency distributions have difficult interpretation problems arising from negative and complex values or spurious components. In this paper, we get time-frequency information from the marginal distributions in rotated directions in the time-frequency plane. The rigorous probability interpretation of the marginal distributions is without any ambiguities. This time-frequency transformation is similar to the computerized axial tomography (CT or CAT) and is applied to signal analysis and signal detection and reveals a lot of advantages especially in the signal detection of the low signal/noise (S/N).     

Conflict Pattern Analysis: Preparing the Ground for Participation in Policy Implementation

The participation of non-state actors in implementation processes is often understood as a means to increase compliance efficiency. But the implementation of spatial policies frequently focuses on pre-established goals, processes and instruments and thus renders difficult open discourse and shared decision-making. This paper introduces conflict pattern analysis (CPA) as a tool that supports the analysis of the actual actor constellation in order to define efficient approaches that avoid common problems of participatory processes. CPA is a semi-formalised method that helps to identify key-actors, their relations and interaction amongst each other as well as their core beliefs, interests and resources. It aggregates this information to interaction patterns that can be compared, classified and linked to different participatory methods on a theoretically informed basis. Particularly on the local and regional level, this could be the first step for successful (participatory) implementation strategies.     

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.     

新闻表现形式创新初探

根据自身实践经验,参考中央和各地、市及国外电视新闻,提出在新闻表现形式上的创新形式,具有一定的指导性和可操作性。     

基于遗传算法的导弹稳定控制回路参数设计方法

本文利用遗传算法（ＧＡ）来优化设计控制系统参数。文中在简要阐述遗传算法的机理及实现的基础上，将遗传算法应用于Ｘ型导弹的弹上稳定回路的参数设计，仿真结果表明了所提方法的可行及有效性。     

实验性脾虚证大鼠血清中微量元素含量的研究

用破气苦降药加饮食失节法复制了大鼠脾虚证模型。采用原子吸收光谱法检测了血清发Ｚｎ、Ｃｕ和Ｆｅ的含量。本研究证明，脾虚证大鼠血清Ｚｎ值明显降低（Ｐ＜０．００１）；Ｃｕ值、Ｆｅ值无明显差异（Ｐ＞００５）；Ｃｕ／Ｚｎ比值上升。用中药加味四君子汤治疗后，血清Ｚｎ值明显回升并高于正常水平（Ｐ＜００５），Ｃｕ值回升（Ｐ＜０．０５），但Ｆｅ值和Ｃｕ／Ｚｎ比值与自然恢复及对照组比较无显著性差异。这说明：１．脾虚组Ｚｎ的降低可能与消化吸收障碍有关；２．加味四君子汤对脾虚证时血清Ｚｎ及Ｃｕ／Ｚｎ比值的变化有明显的调整和恢复作用．     

Liquid-Liquid Equilibrium for 1-Butanol-Water-KF and 1-Butanol-Water-K2CO3 Systems

KF or K2CO3 was added into the 1-butanol-water system and two phases were formed： water-rich phase （water phase） and 1-butanol-rich phase （1-butanol phase）. The liquid liquid equilibrium （LLE） data for 1-butanol-water-KF and 1-butanol-water-K2CO3 systems were measured at 25℃ and showed that 1-butanol phase contained negligible salt and water phase contained negligible 1-butanol when the concentrations of KF and K2CO3 in the water phase were equal to or higher than 27.11% and 31.68% , respectively. Thus water could be separated efficiently from 1-butanol-water by adding KF or K2CO3 into the system. A theoretical calculation of LLE data was calculated by using the Pitzer theory to get water activity in the water phase, and by the models, such as the Wilson, NRTL or the UNIQUAC for the 1-butanol phase. For 1-hutanol-water-KF system, the experimental data were found in good agreement with the calculated results by using Pitzer theory and Wilson equa tion, while for 1-butanol-water-K2CO3 system, the experimental data were found in good agreement with the calculated results by using Pitzer theory and UNIQUAC eauation.     

两指标随机过程的停止

~~(2 ) z∈ R+ 2 ,{z∈ D′{ D相似文献   

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.