具有控制项的限定记忆卡尔曼滤波器

在已有的限定记忆卡尔曼滤波器的基础上 ,将确定性先验信息作为控制项加以应用 ,推导出了完整的限定记忆卡尔曼滤波公式 ,从而在记忆长度确定的情况下 ,有效地减小了模型不准的误差 ,降低了滤波总误差。仿真同样表明了该方法的有效性     

高速网络协议：问题与答案

作者在本文中指出了吉比特网络的目标及其所带来的问题，采用了提出问题并回答问题（或说明可能答案）的方法来阐明。     

动力载波控制接收机限幅干扰分析

通过对载波接收机限幅干扰分析 ,提出电路改进的办法。     

小型雷管生产工艺方法与质量保证措施

小型雷管的结构特点是体积小，装药量少．要保证小型雷管在传爆序列中可靠作用．除设计时已确定的结构形式、装压药条件、管壳材料等关键技术外，生产过程中工艺方法不同对产品质量具有不同的影响．本文从装药、压药、退模三道工序选用不同的工艺方法和设备对小型雷管装配生产质量的影响进行了对比分析，从而找出了最佳的生产工艺方法．并提出了相应的质量保证措施。     

有限缓冲区FMS的特征分析与托盘配置

本文研究了Ｊｏｂ－Ｓｈｏｐ型有限缓冲区ＦＭＳ的运行特性及托盘优化配置问题，给出了系统的分析模型及托盘优化算法。本文的结果对系统的分析与设计具有重要的实际意义。     

G.652光纤上的2.5Gbit／s色散受限系统

本文根据色散受限中继段长度的计算，对实际工程中１５５０ｎｍ波长２．５Ｇｂｉｔ／ｓ系统进行计算比较得出啁啾声引起的色散不容忽视，它使２．５Ｇｂｉｔ／ｓ成为色散受限系统。对１３１０ｎｍ波长６２２Ｍｂｉｔ／ｓ系统，当使用多纵模激光器时，往往也会成为色散受限系统。     

堆载预压法加固软基土体稳定性的有限元分析

堆载预压过程中,进行相应的稳定分析对于控制加载速率、确定加载高度是必须进行的一项工作,采用有限单元法对此进行了探讨,详细阐述了有限元理论分析边坡稳定的几种重要因素,并考虑分步堆载的特点,模拟堆载过程,具有一定的工程实际意义。     

Electrical conductivity in iodine-doped ethyl cellulose

The electrical conductivity of solution-grown ethyl cellulose (EC) films, 5–30 μm thick, has been studied in the sandwich configuration (metal–EC–metal) as a function of iodine concentration from 0.5 to 5.0 wt% ratio. The studies were conducted in the temperature range 333–383 K, while the field was varied over the range (3.0–5.5) × 10⁴V/cm. Aluminium was used as the lower electrode, while the upper electrode was of Al, Ag, Cu, Au or Sn. Certain transient effects such as a large burst of current immediately after the application of field were observed. An attempt was made to identify the nature of the current by comparing the observed dependence on electric field, electrode material and temperature with the respective characteristic features of the existing theories of electrical conduction. The results show that the electrical conduction follows Ohm's law at lower fields, while at higher fields, space-charge limited current (SCLC) was observed. It was also found that Richardson–Schottky emission was responsible, to some extent, for the transport of charge carriers in the polymer. The conductivity of the films increased on doping with iodine. The dopant molecules are considered to act as additional trapping centes and provide links between the polymer molecules in the amorphous region, thus resulting in the formation of charge transfer complexes.     

Space-charge-limited currents for organic solar cells optimisation

Basic suppositions and microphysical origin of the occurrence of the space-charge-limited currents (SCLC) are presented in general and for the temperature-modulated space-charge-limited currents (TM-SCLC) in particular. The criteria are given for the spectroscopical method TM-SCLC to be used for localized electron states elucidation in organic semiconducting materials for organic solar cells optimization and modelling. The “visibility “of the localized states by SCLC method, i.e. the power of the SCLC method to distinguish the localized states, is tested by the modelling, varying the temperature, energy position of localized states and their concentration. Generally, it was determined that the SCLC measurements results are more reliable with the increased energy of the states, with their increased concentration and with decreased temperature. The correlation (or its absence) between the measured current and activation energy on applied voltage, expressed by the dependence of preexponential factor of conductivity on activation energy (Meyer–Neldel rule), gives the possibility to determine the energy range where the reconstruction of density of localized states function is reliable.     

An engineering process for the verification of real-time systems

The complete verification of the timing properties of a large critical system cannot be undertaken in a single step or with a single method. In this paper we present a process that links together a number of techniques and approaches that cover all stages of development from requirements analysis to code testing. The key elements of the process are: a constrained form of timed automata that uses delay and deadline to define temporal behaviour, notions of rely and guarantee to cover temporal dependencies, model checking for design verification, SPARK and Ravenscar restrictions for programming, and scheduling and response time analysis for asserting implementation compliance. Extended examples of the use of the process are given.