新型履齿履带试验研究

本文反映新型履齿带的最新试验研究成果．在新型履齿带对履带式车辆的 能系数fφμ改善的基础上，进一步试验研究了对牵引系数ｑ＝φ－f车辆经济性Ｇｅ等性能改善 的效果．同时，开始对人f、φ、μ、q、Ｇｅ等的影响因素Ｖ、δz、δy作了探索性试验研究．     

80Kr核谱中4个8+态的微观研究

应用微观sdIBM-2 2q.p.案，计算了^80Kr核的基态带、γ带和部分高自旋态能诸，计算值与最新实验结果符合得较好。方案指认81^ 、82^ 和83^ 态很可能分属基态带、两中子和两质子准粒子态，而84^ 态则属于γ带，并都获得最新实验结果支持。计算表明：核的一个玻色于突然拆对不会明显改变前后状态。讨论了两准粒子顺排态能量及其指认问题。     

Compositional checking of satisfaction

We present a compositional method for deciding whether a process satisfies an assertion. Assertions are formulas in a modal q10r40327544/xxlarge957.gif" alt="ngr" align="BASELINE" BORDER="0">-calculus, and processes are drawn from a very general process algebra inspired by CCS and CSP. Well-known operators from CCS, CSP, and other process algebras appear as derived operators. The method iscompositional in the structure of processes and works purely on the syntax of processes. It consists of applying a sequence ofreductions, each of which only takes into account the top-level operator of the process. A reduction transforms a satisfaction problem for a composite process into equivalent satisfaction problems for the immediate subcomponents. Using process variables, systems with underfined subcomponents can be defined, and given an overall requirement to the system,necessary and sufficient conditions on these subcomponents can be found. Hence the process variables make it possible to specify and reason about what are often referred to ascontexts, environments, andpartial implementations. Since reductions are algorithms that work on syntax, they can be considered as forming a bridge between traditional noncompositional model checking and compositional proof systems.     

Analysis of large-scale econometric models using supercomputer techniques

This paper describes how vector processing, a supercomputer technique, can be useful in analyzing and evaluating the performance of large-scale nonlinear econometric models. The efficacy of the proposed procedures is illustrated through experiments performed on macromodels developed at the Research Department of the Bank of Italy.     

基于拉曼光谱全谱数据的无损快速胆维丁含量定量检测方法

提出了利用拉曼光谱全谱数据结合偏最小二乘法实现胆维丁含量快速无损定量检测方法。 采用实验室自主研发的便携式拉曼光谱仪采集了39组不同含量胆维丁样品的拉 曼光谱,26组作为训练集建立偏最小二乘预测模型,13组作为测试集验证模型。测试集预测的 含量和实际含量的线性相关系数为0.999。研 究结果表明拉曼光谱全谱分析结合偏最小二乘法可以用于胆维丁含量的快速定量检测。     

汽轮机组非平稳运行过程振动数据的时间序列分析

时间序列的分析方法已经在许多工程领域得到广泛而成功的应用。文中通过对实际电厂运行汽轮机组非平稳过程中轴系振动数据的相关分析 ,对汽轮机组振动数据非平稳时间序列的MA(q)模型的识别和建模进行初步的探讨。为验证MA(q)模型对于汽轮机组非平稳过程中的振动数据分析的有效性 ,分别采用MA(2 )、AR(2 0 )和 3阶多项式回归分析的方法 ,利用现场实测数据进行对比预测实验。实验结果表明利用MA(2 )模型的预测效果明显优于采用AR(p)模型预测方法和传统的多项式回归预测方法的预测结果 ,从而验证采用MA(q)模型对于汽轮机组非平稳运行过程中振动信号分析研究的有效性。     

The distribution of peak factor in QPSK Multi-Carrier modulation

This paper presents the results of a preliminary investigation into the distribution of peak factors in the QPSK message space for different numbers of carriers with the aim of determining those messages which exhibit a low peak factor relative to a given threshold. A group structure is suggested which associatescosets of 16 messages intoequivalence classes having the same peak power. Algorithms for finding the members of cosets and equivalence classes are given. These messages are then rank ordered by peak power to show how a suitable code could be derived. It appears that allocating just one or two bits of redundancy to such a code will be sufficient to achieve substantial reductions in peak factor.     

Data‐driven fault detection for linear systems: A q‐step residual iteration approach

This article studies the problem of data‐driven (DD) fault detection (FD) for linear systems. First, based on the DD realization of kernel representation, new residual generators are designed via a q‐step residual iteration method. Then, it is proved that the proposed residual generators guarantee the stability and L₁ performance of the FD error systems, and the presented residual design method is more sensitive to faults than the existing ones constructed directly from available process data. Finally, two simulation examples are provided to verify the effectiveness and advantages of the designed method.