The Chang-Łoś-Suszko theorem in a topological setting

The Chang-Łoś-Suszko theorem of first-order model theory characterizes universal-existential classes of models as just those elementary classes that are closed under unions of chains. This theorem can then be used to equate two model-theoretic closure conditions for elementary classes; namely unions of chains and existential substructures. In the present paper we prove a topological analogue and indicate some applications.     

信用担保风险的模糊综合评审研究

信用担保机构是连接银行和企业的桥梁，对于改善企业融资环境和拓展银行业务具有重要意义，信用担保风险的评审是担保机构能否生存及有效运行的关键。信用风险的评审机制主观性强，对担保项目进行客观，公正的评审比较困难。本采用模糊数学中的综合判别方法，全面考虑风险评审所涵盖的各种风险指标及其重要度，建立了定性分析与定量分析方法相结合的信用担保风险综合评审模型，为担保机构提供了一种相对科学、客观的评审方法。     

Ultrasonic evaluation of anisotropic damage in multiaxially textile-reinforced thermoplastic composites made from hybrid yarns

The basic damage and failure models of multiaxially reinforced composites with a thermoplastic matrix are presented and verified. Within the framework of continuum damage mechanics, a phenomenological model is introduced, where the damage is defined as a change in the elasticity tensor. For damage identification, a specific ultrasonic device was developed. A combination of an immersion set-up and a contact coupling device formed a system for an efficient determination of stiffness-tensor components from convenient sets of velocity measurements. Linked to a tensile machine, it allowed us to measure the anisotropic damage of the new materials group caused by tensile loading. Russian translation published in Mekhanika Kompozitnykh Materialov, Vol. 42, No. 2, pp. 221–234, March–April, 2006.     

Integral-Type Darboux Transformations for the mKdV Hierarchy with Self-Consistent Sources

We present integral-type Darboux transformation for the mKdV hierarchy and for the mKdV hierarchy withself-consistent sources. In contrast with the normal Darboux transformation, the integral-type Darboux transformationscan offer non-auto-Backlund transformation between two (2n 1)-th mKdV equations with self-consistent sources withdifferent degrees. This kind of Darboux transformation enables us to construct the N-soliton solution for the mKdVhierarchy with self-consistent sources. We also propose the formulas for the m times repeated integral-type Darbouxtransformations for both mKdV hierarchy and mKdV hierarchy with self-consistent sources.     

神经网络在大型复杂武器装备质量综合评价排序中的应用

从大型复杂武器装备系统的具体特点出发,运用基于神经网络的评价方法,构建了大型复杂武器装备质量综合评价模型。实证分析的结果表明该方法得出的结果与实际情况相符。     

基于BP神经网络的企业未来获利能力智能综合评价

分析了相关分析——多指标综合评价法在确定企业未来获利能力方面的优点和不足 ;并在其基础上提出了基于 BP神经网络的多指标综合评价法 ;仿真试验证明了基于 BP神经网络的多指标综合评价法的有效性     

一种求解混合多目标规划问题的功效函数法

逻辑生长函数相对于龚珀兹生长函数具有拐点高和对称性的特点,采用逻辑生长函数形式的功效函数法求解混合多目标规划问题具有形式简单、计算量小、符合实际的优点。证明了用这种方法求出的最优解是有效解。讨论了满意值对有效解的影响。逻辑生长函数还可以应用于多维变量评价的功效系数法中。     

Infrared thermography of masonry structures

The attention of the present paper was devoted to nondestructive evaluation of masonry structures with a Focal Plane Array infrared camera. Tests were carried out in laboratory on specimens, which simulated one- and two-layer structures, with defects of different geometry and nature and located at different depths. The defects detection was analysed through a cause/effect relationship between the characteristics of defects and hosting material and the observed defect thermal signature, or contrast, on the hosting material.     

基于离差最大化原理的灰色综合评判方法及其应用

在灰色综合隶属度评价方法基础上,按照离差最大化原理,提出了一种品种区域试验的新的确定权重的方法.应用这种方法,对2002-2003年度国家黄淮南片小麦冬水组区域试验进行了分析.结果表明,这种分析方法克服了通常专家调查法和层次分析法主观随意性强的缺点,因而其分析结果更加客观、可靠.大面积生产实践也表明该方法具有一定可行性和有效性.     

Physics possibilities at India-based Neutrino Observatory

In this talk I review the physics possible at India-based Neutrino Observatory (INO). I discuss the improvement in the precision of currently known quantities and the possibility measuring the presently unknown quantities.