模态系统S4.1的协调性

文献［7]证明了严格蕴涵系统S4的协调性，本文证明在严格蕴涵系统S4的基础上增加公理M所得到的系统S4．1的协调性。     

可能满意度与判断矩阵的一致性检验及改进

对判断矩阵一致性的检验与改进是层次分析法中的重要问题.针对现有检验与调整方法存在的不足,将"可能满意度"的概念引入该领域,提出一种新的优化调整算法.该方法利用判断矩阵的特征值及其Frobenius范数,给出判断矩阵的可能度和满意度的定义与计算公式,分别考察一致性改进程度和相对原始判断矩阵的偏离程度,并将二者合并为一个衡量一致性改善效果的综合指标:判断矩阵的可能满意度.利用该指标,并结合Saaty的一致性比率(CR)标准,可以有效地控制不一致判断矩阵的改进方向和调整力度,在尽可能保留决策者原始判断信息条件下,逐步达到可接受的一致性.最后通过算例说明算法的有效性.     

基于唇重构与三维耦合CNN的多视角音唇一致性判别

针对传统音唇一致性判别方法主要对正面唇动视频进行处理,未考虑视频采集角度变化对结果的影响,且容易忽略唇动过程中的时空特性等不足,文中以唇部角度变化对一致性判别的影响为研究重心,结合三维卷积神经网络在非线性表示和时空维度特征提取上的优势,提出了基于正面唇重构与三维耦合卷积神经网络的多视角音唇一致性判别方法。该方法先通过在生成器中引入自映射损失来提高正面重建效果,并采用基于自映射监督循环一致性生成对抗网络（SMS-CycleGAN）的唇重构方法对多视角唇图进行角度分类及正面重构;然后设计两个异构三维卷积神经网络,分别用来描述音频和视频信号,并提取包含长时时空关联信息的三维卷积特征;最后引入对比损失函数作为音视频信号匹配的相关度鉴别度量,将音视频网络输出耦合到同一表示空间,并进行一致性判别。实验结果表明,文中方法能重建出更高质量的正面唇图,一致性判别性能优于多种不同类型的比较方法。     

一类二元指数分布相关系数的估计

设二元随机变量(X,Y)的生存函数为F(x,y)=exp〔-λ_1x-λ_2y-λ_(12)Max(x,y)〕x≥0,y≥0 0 其它其中λ_1≥0,λ_2≥0,λ_(12)≥0,λ_1+λ_(12)>0,λ_2+λ_(12)>0.我们把这类二元分布记作BVE(λ_1,λ_2,λ_(12)).该文讨论(X,Y)的相关系数ρ的统计推断问题。这无论在理论上还是实际上都是有意义的。本文基于元件以及串联系统两者的试验数据,得到了λ_1=λ_2时ρ的估计ρ和没有λ_1=λ_2限制时ρ的估计ρ,并分别讨论了ρ和ρ的无偏性,强相合性和渐近正态性。     

Cubature Kalman probability hypothesis density filter based on multi-sensor consistency fusion①

The GM-PHD framework as recursion realization of PHD filter is extensively applied to multi-target tracking system .A new idea of improving the estimation precision of time-varying multi-target in non-linear system is proposed due to the advantage of computation efficiency in this paper .First, a novel cubature Kalman probability hypothesis density filter is designed for single sensor measure -ment system under the Gaussian mixture framework .Second , the consistency fusion strategy for multi-sensor measurement is proposed through constructing consistency matrix .Furthermore, to take the advantage of consistency fusion strategy , fused measurement is introduced in the update step of cubature Kalman probability hypothesis density filter to replace the single-sensor measurement .Then a cubature Kalman probability hypothesis density filter based on multi-sensor consistency fusion is proposed .Capabilily of the proposed algorithm is illustrated through simulation scenario of multi-sen-sor multi-target tracking .     

重尾分布二阶参数的半参数估计

重尾分布二阶参数在极值理论中扮演着重要的角色，尤其是重尾指数估计中门限的最优选取，以及重尾指数降偏差估计的渐近偏差都取决于二阶参数ρ.基于统计量M_n^(α)(k)，提出了重尾分布二阶参数的半参数估计，在极值理论的二阶正则条件下，得到二阶参数半参数估计的相合性，在三阶正则条件下得到其渐近正态性.通过Monte-Carlo模拟，从大样本性质与小样本性质这两方面，对提出的半参数估计进行比较.结果表明，本文的估计，在大样本性质方面，表现较优；在小样本性质方面，一定范围内表现得更好.     

从主体规定性看罗尔斯正义理论的局限性——兼评《自由主义与正义的局限》

分析了桑德尔对罗尔斯正义理论的批判,认为主体规定性的不一致使罗尔斯正义理论具有自身的局限性这一批评并没有切中要害,要害在于主体和正义理论都不能脱离社会物质条件的限制。用马克思的观点看,现实的正义理论固然是有意义的,但同国家、阶级、私有制一样,终究是需要被超越和消灭的。     

STATISTICAL INFERENCE FOR CONTAMINATION DISTRIBUTION

1 IntroductionThe generaJ model of contamination distribution can be described as follOwing. Let 0 相似文献   

一种基于模型的可视化汽车电子软件需求表示方法

汽车电子软件是一类控制汽车机械和动力部件、实现各种汽车安全和舒适功能的高可靠实时嵌入式软件，其需求分析和设计方法是目前软件工程面临的重要挑战之一。本文主要研究汽车电子软件的需求表示方法，将原始需求划分为多个层次和视角，采用多种图形语言对系统的各个侧面进行表示，并揭示各个部分模型之间的关系，力图以可视化的方式形成问题空间的全景“蓝图”和局部可缩放视图。该方法的使用，有利于降低表示需求的复杂度，便于从需求模型到设计模型的平滑过渡。     

Twisting the Dollar? On the Consistency of Short‐Run and Long‐Run Exchange Rate Expectations

We examine consistency properties of the exchange rate expectation formation process of short‐run and long‐run forecasts in the dollar/euro and yen/dollar market. Applying nonlinear consistency restrictions we show that in a simple expectation formation structure short‐run forecasts are indeed inconsistent with long‐run predictions. Moreover, we establish a ‘twist’ in the dollar/euro expectation formation process, i.e. market participants expect bandwagon effects in the short run, while they have stabilizing expectations in their long‐run forecasts. Applying a panel probit analysis we find that this twisting behavior is more likely to occur in periods of excess exchange rate volatility. Copyright © 2011 John Wiley & Sons, Ltd.