Congruences and ideals in pseudoeffect algebras

This paper is devoted to congruences and ideals in pseudoeffect algebras. Let I be a normal ideal in a pseudoeffect algebra E. We show that: (1) the relation ~ _I induced by I is a congruence if and only if for every a∈E, I∩ [0,a] is upper directed; (2) the relation ~ _I induced by I is a strong congruence if and only if I is a normal weak Riesz ideal in a pseudoeffect algebra E. Moreover, we introduce a stronger concept of congruence—namely Riesz strong congruence—and we prove that, if I is a normal weak Riesz ideal in a pseudoeffect algebra E, then ~ _I is a Riesz strong congruence and, conversely, if ~ is a Riesz strong congruence, then I = [0]_~ is a normal weak Riesz ideal, and ~ _I = ~. This work was supported by the National Natural Science Foundation of China (Grant No. 10271069).     

ASYMPTOTIC PROPERTIES OF SOME PRELIMINARY ESTIMATORS FOR AUTOREGRESSIVE MOVING AVERAGE TIME SERIES MODELS

Abstract. Some simple preliminary estimators for the coefficients of mixed autoregressive moving average time series models are considered. As the first step the estimators require the fitting of a long autoregression to the data. The first two methods of the paper are non-iterative and generally inefficient. The estimators are Yule-Walker type modifications of the least squares estimators of the coefficients in auxiliary linear regression models derived, respectively, for the coefficients of the long autoregression and for the coefficients of the corresponding long moving average approximation of the model. Both of these estimators are shown to be strongly consistent and their asymptotic distributions are derived. The asymptotic distributions are used in studying the loss in efficiency and in constructing the third estimator of the paper which is an asymptotically efficient two-step estimator. A numerical illustration of the third estimator with real data is given.     

复杂地质高陡边坡锚索施工实践及若干技术控制标准的探讨

以雅砻江锦屏一级水电站大坝左岸550 m级高陡边坡预应力锚固工程为研究对象,在复杂工程地质条件下进行了超长、高承载力锚索施工实践,就锚索造孔技术、束体安装工艺、注(灌)浆技术、张拉工艺等方面进行研究与总结.然后,对监测资料进行分析评价,形成了一套复杂地质条件下高陡边坡锚索施工的技术与方法.文中还结合水电行业锚固施工规范、锚喷支护国标中的技术控制标准,对施工中存在的技术问题进行探讨,可为同类型高边坡锚固工程施工提供参考和借鉴.     

Proximity-Induced Fully Ferromagnetic Order with Eightfold Magnetic Anisotropy in Heavy Transition Metal Oxide CaRuO3

Ferromagnetic materials with a strong spin-orbit coupling (SOC) have attracted much attention in recent years because of their exotic properties and potential applications in energy-efficient spintronics. However, such materials are scarce in nature. Here, a proximity-induced paramagnetic to ferromagnetic transition for the heavy transition metal oxide CaRuO₃ in (001)-(LaMnO₃/CaRuO₃) superlattices is reported. Anomalous Hall effect is observed in the temperature range up to 180 K. Maximal anomalous Hall conductivity and anomalous Hall angle are as large as ∼15 Ω⁻¹ cm⁻¹ and ∼0.93%, respectively, by one to two orders of magnitude larger than those of the typical 3d ferromagnetic oxides such as La_0.67Sr_0.33MnO₃. Density functional theory calculations indicate the existence of avoid band crossings in the electronic band structure of the ferromagnetic CRO layer, which enhances Berry curvature thus strong anomalous Hall effects. Further evidences from polarized neutron reflectometry show that the CaRuO₃ layers are in a fully ferromagnetic state (∼0.8 μ_B/Ru), in sharp contrast to the proximity-induced canted antiferromagnetic state in 5d oxides SrIrO₃ and CaIrO₃ (∼0.1 μ_B/Ir). More than that, the magnetic anisotropy of the (001)-(LaMnO₃/CaRuO₃) superlattices is eightfold symmetric, showing potential applications in the technology of multistate data storage.     

基于完备抽象解释的模型检验CTL公式研究

在模型检验中,抽象是解决状态空间爆炸问题的重要方法之一.给定具体Kripke结构和时序描述语言CTL,基于抽象解释框架以及完备抽象解释和性质强保留之间的关系,抽象模型最小精化使得CTL性质强保留,可转换为抽象解释中抽象域的最小完备精化,并且总是存在抽象域的最小完备精化.根据状态标签函数确定初始抽象域,然后通过不动点求解,获得对CTL标准算子完备的最小抽象域,并依据此抽象域求得CTL性质强保留的最优抽象状态划分,最后构造出CTL性质强保留且最优的抽象状态转换系统.并指出了抽象域对CTL标准算子是完备的当且仅当抽象域对补集和标准前向转换是完备的.     

基于F2上遍历矩阵的Shamir三次传递协议的实现

给出了Shamir三次传递协议的一种新的实现方案.与已有的基于离散对数问题的实现方案不同,它是基于在特定的非交换壹半群(m,·)中,由A和B＝x·A·y求解x和y的难度;为此我们选取有限域F2上的n×n矩阵在F2矩阵乘法下所构成的非交换壹半群作为研究的对象,利用F2上"遍历矩阵"的密码学特性,提出了一个基于F2上遍历矩阵的Shamir三次传递协议的实现方案,并对可能的攻击手段进行了分析.为了增加通讯的安全性,提出了"强壮矩阵"的概念,并对于给定的两个遍历矩阵Q1和Q2,给出了关于Q1,Q2的强壮矩阵的判别标准和寻找算法;利用<Q1>,<Q2>以及关于Q1,Q2的强壮矩阵m,可以构造一个单向(陷门)函数,基于该单向函数,可具体实现Shamir三次传递协议、Diffie-Hellman密钥交换协议以及常规的公钥密码.     

大风对直接空冷机组的影响及对策

直接空冷机组的节水效果明显，但也存一些运行方面的问题。尤其是在高温环境下空冷岛受到大风袭击时，其冷却性能会大幅下降，甚至会发生因背压高保护动作跳机的危险。本文对空冷岛在高温环境下受大风袭击时的现象及原因进行了分析，并提出对策及反事故措施。     

从EOS/MODIS数据中提取夜间强对流云团的闪电信息

主要探索用EOS/MODIS极轨卫星监测闪电的可行性,应用大气和云辐射原理以及云中水滴mie散射的原理,从EOS/MODIS的中红外通道及热红外通道中提取夜间强对流云团产生的闪电信息,并可由强对流卫星云图的云顶温度确定可能出现冰雹的区域,对减灾、预警提供宏观信息。     

关于Poisson分布高阶矩的几个定理的推论

本文对笔者曾撰文〔1〕推出的 Poisson分布高阶矩的几个定理作进一步的研究 ,给出几个推论。     

强BZ-代数的特征

将原子及其分支的概念引入ＢＺ－代数，并提出强ＢＺ－代数的概念。深入讨论了它们的性质，得到强ＢＺ－代数的若干特性。