复合热成像侦测系统的角度测量

根据复合热成像侦测系统的配置和特点,需要高分辨力系统实时地提供来袭目标的准确位置,即目标的方位角和俯仰角来引导伺服系统完成对来袭目标的精确跟踪,保证系统实施战术干扰对抗所需的高精度。文中给出了角度测量的方法,即由视轴中心位置和角度偏差量合成目标位置,而角度偏差量由脱靶量转换得到,脱靶量的准确测得需要对目标图像信号进行实时处理,并且要把脱靶量的延时辨识出来。     

辛欧拉格式形式能量的收敛性

对谐振子系统和单摆系统分析了辛欧拉格式形式能量的收敛性。得到辛欧拉格式的形式能量后,发现应用于谐振子系统的辛欧拉格式的形式能量是收敛的,对单摆系统无法确定形式能量的收敛范围,但其修正方程精确保持系统的平衡点。理论分析和数值模拟表明在形式能量收敛的条件下,用辛欧拉格式计算这两个系统具有保持整体结构的效果。     

热带地区几个珍贵树种干形曲线研究

准确描述热带珍贵树种的林木干形变化,可为预估各材种数量、蓄积量及合理造材提供支撑。以热带格木、红锥和柚木3个珍贵树种,共120株解析木为研究对象,利用简单削度方程、分段削度方程和可变指数削度方程分别构建格木、红锥和柚木3个热带树种的干形曲线方程,通过相关指数、剩余残差平方和、平均残差、残差方差和均方误差统计量比较分析,找出最佳削度模型作为3个树种最终的干形曲线方程,并对各曲线变化趋势进行了初步的定量分析。结果表明,所选的3类典型基础模型对每个树种的预估效果都很好,其中基于双因素自动优选法拟合且以分段削度方程构建的干形曲线预估效果最好。3个树种的干形曲线变化趋势表明:相对高在(0~0.8)时,柚木干形变化最大,红锥干形变化最小,格木干形介于二者之间;当相对高0.8时,红锥干形变化最大,格木和柚木干形变化几乎相同。因此,基于双因素自动优选法拟合的分段削度方程可作为3种热带树种的干形曲线方程,用于3种珍贵树种活立木蓄积量和材种数量的估计,以及指导合理造材。     

图谱理论中一些定理的新证明

利用非负矩阵理论并结合图论性质,给出图谱理论中3个重要定理的证明,给出的证明方法比之前文献的证明更为简洁、易懂.     

Secure and efficient elliptic curve cryptography resists side-channel attacks

An embedded cryptosystem needs higher reconfiguration capability and security. After analyzing the newly emerging side-channel attacks on elliptic curve cryptosystem (ECC), an efficient fractional width-w NAF (FWNAF) algorithm is proposed to secure ECC scalar multiplication from these attacks. This algorithm adopts the fractional window method and probabilistic SPA scheme to recondigure the pre-computed table, and it allows designers to make a dynamic configuration on pre-computed table. And then, it is enhanced to resist SPA, DPA, RPA and ZPA attacks by using the random masking method. Compared with the WBRIP and EBRIP methods, our proposals has the lowest total computation cost and reduce the shake phenomenon due to sharp fluctuation on computation performance.     

Statistical inference for simple tree order in the means of stochastic order on stratified contingency tables

In this paper, we consider testing the hypothesis that all multinomial populations in the stratified contingency table are identically distributed against the alternative that all these popula-tions are in simple tree order. We provide an asymptotic represen-tation of the order-restricted maximum likelihood estimate of the unknown parameters. The resulting estimators are proven to be n-consistent and asymptotically normal under appropriate con-ditions. A chi-squared test method is used for this hypothesis t...     

改性沥青混凝土配合比设计

鉴于聚合物改性沥青可以明显改善沥青混凝土路面的低温和高温性能,延长道路使用寿命,因此聚合物改性沥青已经成为全球沥青路面的首选。本次高速公路项目的路面上面层组成配合比设计就添加和利用了石灰岩集料和SBS改性沥青(基质沥青为韩国SK重交沥青AH-70)来进行配合比筛选和设计,并得出最佳沥青用量和沥青混凝土密度,总结SBS改性沥青混凝土相比于普通沥青混凝土具有更好性能。     

拉姆齐测验:一个新的解释思路

拉姆齐测验描述了人们决定接受p后,是不是接受q,从而对他的其它信念作最小修正的问题。20世纪60年代后,学界对这种思想进行了不同的解释,从总体上看,主要有两种:简单的拉姆齐测验和精致的拉姆齐测验。在分析这两种观点的基础上,我们认为这两种解释都存在一定的问题,在本文中,我们提出了一个基于拉姆齐测验的新的逻辑解释思路。     

两个数论函数的渐近公式

引入了两个数论函数,并给出它们在简单数序列集合中的渐近公式。