关于PFI-代数与剩余格

本文提出了一种强FI代数-PFI代数,并且深入研究了它的性质,借此进一步揭示了FI-代数和剩余格之间更加密切的联系,进而以FI-代数为基本框架建立了R0-代数、正则剩余格等逻辑系统的结构特征(包括对隅结构)及其相互关系．这种以FI-代数为基础来统一处理剩余格和R0-代数的方法,同样适合于格蕴涵代数和MV代数等代数结构,而且从中更能清楚地看出它们之间的密切联系,也将有助于对相应形式逻辑系统与模糊推理的研究．     

Tunable properties of light propagation in photonic liquid crystal fibers

Tunable properties of light propagation in photonic crystal fibers filled with liquid crystals, called photonic liquid crystal fibers (PLCFs) are presented. The propagation properties of PLCFs strongly depend on contrast between refractive indices of the solid core (pure silica glass) and liquid crystals (LCs) filing the holes of the fiber. Due to relatively strong thermo-optical effect, we can change the refractive index of the LC by changing its temperature. Numerical analysis of light propagation in PLCF, based on two simulation methods, such as finite difference (FD) and multipole method (MM) is presented. The numerical results obtained are in good agreement with our earlier experimental results presented elsewhere [1].     

Kuhn-Tucker条件与线性规划的对偶性

证明了线性规划的K uhn-Tucker条件蕴含着它的对偶问题,解释了L agrange乘子的意义.进而显示了K-T条件中的互补松驰性与对偶线性规划的互补松紧定理之间的联系.     

纵横扩张的优化

得到了最小折数纵横扩张的判别准则．针对4-正则图的平面嵌入的纵横扩张的特殊性，给出了它的最小折数纵横扩张判别准则．     

线性电压扫描下1VIIS器件瞬态的简单模型

本文用准平衡模型分析讨论了线性电压扫描下MIS器件的I/V瞬态.文中除了给出一般的处理方法以外，还给出了几种不同电压扫描率下I/Y特性的计算结果，并与已往的模型作了比较.     

Bohr-Mottelson转动谱公式参数之间的新关系式

在利用Harris两参数公式研究Bohr-Mottelson转动谱公式参数之间的关系的基础上,改用Harris三参数公式,并由此提出了Bohr-Mottelson转动谱公式参数之间的新关系式,进而用I(I+1)四参数展开式计算了A～60,80,130,140,150,190区超形变偶偶核的基带和锕系和稀土区正常形变核基带,讨论了参数之间的关系,发现新关系式与实验较好地符合.     

带的双闭子带和自由幂等元半环

给出带的双闭子带和它的性质及特征。在此基础上，给出加法半群为半格的幂等元半环簇中的自由对象。     

GDDP: Generalized Dual Dynamic Programming Theory

This document presents theoretical considerations about the solution of dynamic optimization problems integrating the Benders Theory, the Dynamic Programming approach and the concepts of Control Theory. The so called Generalized Dual Dynamic Programming Theory (GDDP) can be considered as an extension of two previous approaches known as Dual Dynamic Programming (DDP): The first is the work developed by Pereira and Pinto [3–5], which was revised by Velásquez and others [8,9]. The second is the work developed by Read and others [2,6,7].     

Maslov-type index and brake orbits in nonlinear Hamiltonian systems

In this paper, we study the Maslov-type index theory for linear Hamiltonian systems with brake orbits boundary value conditions and its applications to the existence of multiple brake orbits of nonlinear Hamiltonian systems.