收敛无穷计算及其应用

经典计算不能很好地刻画无穷计算的行为.基于形式系统序列及其极限,讨论一类称为收敛无穷计算的问题,旨在建立刻画无穷计算在变化的环境中如何交互与演化以及演化的极限状态的逻辑理论基础.提出了收敛无穷计算的一个逻辑和推理系统,其表达能力超过一阶逻辑.还基于经典计算模型图灵(Turing)机和形式系统序列及其极限,提出了收敛无穷计算的模型,称为过程模式.在极限计算的意义下,其计算能力超过了Turing机和实数机器.讨论了上述研究在数据挖掘中的应用,用收敛无穷计算研究了数据挖掘的极限行为.     

导弹敌我识别系统中密码器设计及实现

导弹敌我识别系统的核心技术之一是询问信号与应答信号的加密传输.针对其要求密码容量大、随机性强的特点,引入了M序列,分析了其特点.利用剪接筛法和单片机设计了一个可产生并存储全部5 级M序列的密码器.给出了电路原理图,分析了其工作过程.给出了各层相交线对的产生流程图,分析了5级M序列单元电路的工作过程.完成了密码器软件和硬件的调试.密码器的容量为2048,密码长度为32.给出了密码器的序列波形及相应存储器中存储的内容,并对它们的特征进行了分析.实验结果表明所设计密码器是正确有效的.      

电压与钙耦合神经元模型的符号动力学

应用符号动力学研究了跨膜电压与细胞内钙浓度相耦合的R15神经元模型.通过峰峰间期序列(ISIs, Interspike Interval Series)的首归映射构造出描述周期和混沌放电模式的符号序列,并讨论了与切分岔密切联系的阵发混沌与嵌含在混沌区中的周期窗口的产生机理.由符号序列的排序规则,确定具有不同拓扑结构的放电节律与连续变化的参数值的对应关系,从而对实验或模型测得的任意放电模式进行参数识别.研究结果表明符号方法是研究神经放电活动动力学行为的一种有力工具.尤为重要的是,这样一种粗粒化的方法能够推广到神经电生理实验中,从复杂的实验数据中提炼更多有价值的信息.      

监测位移预报的非等间距相关系数平稳序列法

建立了监测位移时间序列分析、建模和预报的非等间距相关系数平稳序列法.采用随机过程理论导出了模型的整体极大似然估计,在保证参数估计量优良统计特性的同时,克服了现行组合模型方法难以处理非等间距监测位移序列的问题.通过数字模拟仿真技术解释了传统插值处理产生较大误差的原因.计算实例表明该方法具有较高的建模和预报精度.      

自主虚拟人智能驾驶行为模型的研究和实现

描述了自主虚拟人的分层驾驶行为及对虚拟世界的感知.在对自主虚拟人的驾驶行为进行研究的基础上,结合导向行为与专家经验,建立了基于产生式规则的智能行为模型,并给出了规则的具体实现.通过虚拟现实技术对该智能模型进行了验证,证明了其可行性.      

可靠性强化试验定量评估方法

介绍了国外最新可靠性强化试验基本概念、各种应力极限分类和试验过程,阐述了强化试验的基础理论.针对可靠性强化试验无法进行定量分析的问题,引入应力强度干涉模型理论,运用干涉模型分析了强化试验中的产品失效原因,即试验环境应力大于产品工作极限应力.通过分析工作极限应力与产品实际使用环境应力的相互关系,推导了利用强化试验数据计算产品可靠度的相关公式,将定量分析引入强化试验中.并举具体计算实例说明了该方法的可行性.在此基础上,运用干涉模型和可靠度计算公式,分析了强化试验提高产品可靠性的2种基本途径:改进设计和提高工艺水平,进一步阐述了可靠性强化的基本原理.      

一种新型车辆智能避撞预警模型设计

针对目前单阈值避撞模型所具有可反应时间单一的缺点,设计了一种基于多级报警规则的避撞预警模型,为驾驶员提供了一个渐进的反应时间,在紧急情况下使其有更多时间来避免碰撞发生.对车辆行驶过程中驾驶员的信息感知特性进行分析,为模型的建立提供相应的理论基础.设计了基于多级报警规则的避撞预警模型,并对模型的设计过程进行了详细的论述.利用实测数据对给出的模型进行了实证研究,结果表明多级报警避撞预警模型能使驾驶员更加舒适的驾驶车辆,并为智能避撞预警系统的建立提供了良好的模型基础.      

面向网络化制造的数控车间组织模式

分析了网络化制造的基本特征和内涵,提出了面向企业的网络化制造系统运行模式;在对某大型航空制造企业的数控车间调研与应用实施的基础上,针对其组织模式存在问题,采用分行企业和独立制造岛的思想建立了适合数控车间网络化、敏捷化制造的分形组织模型;针对车间原有生产模式、产品特性,提出了基于成组技术的数控车间生产单元和生产线的划分方法,建立了面向产品流程的机构组成规则和车间内部的服务支援规则.该模型、方法、原则对传统的离散制造企业具有普遍的适用性,现已成功地被该数控车间采纳.     

应用关联规则构建质量活动链模型

介绍了作业质量成本的概念,提出了以作业质量成本数据为基础描述质量活动间关联关系的方法,并设定了作业质量成本之间相互影响的规则.着重研究了关联规则挖掘技术,将布尔型关联规则用于质量活动间作用关系的挖掘,并应用Apriori算法,研究了应用作业质量成本数据及其变化趋势构建基于作业质量成本的质量活动链模型的方法.该模型有助于在质量成本预测与分析过程中从经济的角度发现质量管理过程的瓶颈问题,为以质量成本分析为基础,系统地进行质量改进决策提供了有效的方法和手段.      

含间隙全动舵面的非线性颤振模式及被动抑制方法

间隙非线性环节广泛存在于飞行器的结构当中，由其引发的极限环振荡（LCO）往往造成结构的疲劳破坏，但目前关于全动舵面非线性颤振机理和被动抑制方法的研究相对较少。针对典型含扭转间隙小展弦比全动舵面开展分析，提出了2种典型的非线性颤振模式，并探索相应的非线性颤振被动抑制方法。基于描述函数法和活塞理论建立舵面的动力学模型，考虑到间隙非线性环节导致刚度降低的效果，计算对比了2种不同扭转刚度下全动舵面的非线性颤振特性，进而提出了2种不同的非线性颤振模式，其中，模式Ⅱ不存在稳定的极限环振荡过程，可以有效抑制低于线性颤振边界的极限环振荡问题；研究了舵面根部弯曲扭转刚度和质量特性对非线性颤振模式和极限环初始动压的影响，提出相应的非线性颤振被动抑制策略。针对所提算例，数值计算结果表明：通过调整舵面根部弯曲扭转刚度或质量特性可以提高极限环初始动压，甚至改变非线性颤振模式，从而达到非线性颤振抑制的目的。     

电源线尖峰信号的分析与测试

针对感性负载在电源线尖峰信号试验过程中存在峰值难以捕获的问题,通过对感性负载在开关过程中的动态特性分析,研究了电源线尖峰信号的形成机理和影响因素,在此基础上,提出了在直流条件下电源线尖峰信号的替代测试方法。仿真实验结果表明,直流替代测试方法与理论结果基本一致,可用于解决标准试验方法的最大峰值随机问题,极大压缩峰值信号的动态范围,有效降低测试过程中的风险水平,对于电源线传导干扰的测试分析具有参考意义。     

基于ARM的数字电感传感器设计CSCD

针对传统金属探测方法的缺点,提出数字电感探测法。基于电涡流原理,采用先进的数字电感转换器LDC1000做为传感器,通过前端自制印制板电感线圈检测金属,通过计算将测量结果转换为数字量,经串行外设接口(以下简称SPI)与高性能ARM处理器Cortex-M4相连,可实现高速、高精度金属测量。实测结果表明:本传感器克服了传统电感测量方法抗干扰能力差、模拟接口、精度低的缺点,实现了数据采集的高速、可靠,并使测量精度提高到亚微米级,可实现对金属物距离、角度、运动、位移、压缩等的高精度测量。     

感应式脉冲等离子体推力器技术综述

摘要： 综合文献及作者研究实践,介绍了感应式脉冲等离子体推力器的原理和特点.从国外研究机构与项目、推力器组件和系统集成实验、工作机理数值仿真等方面,总结和评述了达到的技术状态与认识.最后梳理了面临的技术挑战,提出了可能的解决途径.     

防静电屏蔽包装袋测试方法研究

列举了目前市场上针对防静电屏蔽包装袋的表面电阻测试方法和静电感应峰值电压测试方法,并根据其各自的测试原理说明了其缺陷,对美标提出的静电放电感应能量法进行了详细的分析,其特点是使用接近实际环境的HBM模型,用不影响测量回路的电流探针取代电压探针,用200MHz带宽500MS/s采样率示波器覆盖更宽的频率范围减小误差,从能量的角度表述了静电屏蔽性能的优劣。     

平面感应式脉冲等离子体推力器高速脉冲气体供给阀的试验验证

摘要： 本文针对国防科技大学的平面感应脉冲等离子体推力器（IPPT）原型机，设计了一种基于感应涡流斥力原理的快速脉冲气体供给阀.该阀采用截锥型铍青铜簧片作为执行构件，依靠簧片开启过程中弹性变形产生的弹力提供闭合所需回复力，避免了使用额外的回复力机构,使阀整体结构得到极大简化.性能测试结果表明，该阀的动作延迟时间小于35 μs.在阀腔气体压力为100 kPa时，最大单脉冲供气量为2.5 mg.响应特性和供气量特性均满足目前IPPT原型机的需求.此外，该阀可通过调节初始充电电压和阀腔气体压力实现供气量调节.该阀可以为后续推力器原型机多工况性能试验提供有力支持.     

A different method to update monthly median hmF2 values

The height, h_mF2, and the electron density, N_mF2, of the F2 peak are key model parameters to characterize the actual state of the ionosphere. These parameters, or alternatively the propagation factor, M3000F2, and the critical frequency, f_oF2, of the F2 peak, which are related to h_mF2 and N_mF2, are used to anchor the electron density vertical profile computed with different models such as the International Reference Ionosphere ( Bilitza, 2002), as well as for radio propagation forecast purposes. Long time series of these parameters only exist in an inhomogeneous distribution of points over the surface of Earth, where dedicated instruments (typically ionosondes) have been working for many years. A commonly used procedure for representing median values of the aforementioned parameters all over the globe is the one recommended by the ITU-R ( ITU-R, 1997). This procedure, known as the Jones and Gallet mapping technique, was based on ionosondes measurements gathered from 1954 to 1958 by a global network of around 150 ionospheric stations (  and ). Even though several decades have passed since the development of that innovative work, only few efforts have been dedicated to establish a new mapping technique for computing h_mF2 and N_mF2 median values at global scale or to improve the old method using the increased observational database. Therefore, in this work three different procedures to describe the daily and global behavior of the height of the F2 peak are presented. All of them represent a different and simplified method to estimate h_mF2 and are based on different mathematical expressions. The advantages and disadvantages of these three techniques are analyzed, leading to the conclusion that the recommended procedure to represent h_mF2 is best characterized by a Spherical Harmonics expansion of degree and order equal to 15, since the differences between the h_mF2 values obtained with the Jones and Gallet technique and those obtained using the abovementioned procedure are of only 1%.     

基于支持向量的迭代修正质心文本分类算法

针对质心分类算法容易产生归纳偏置或模型失配问题的不足,提出一种基于支持向量的迭代修正质心分类算法.该方法仅使用由支持向量机(SVMs,Support Vector Machines)选出的支持向量来构造质心向量,然后利用训练集误分样本来迭代修正初始质心向量.与其他分类算法相比,该算法取得较好的宏平均F₁和微平均F₁,在8个常用文本分类数据集上的实验验证了该算法的有效性,特别是在不均衡文本语料上.     

Particle and optical measurements aboard the Aureol 3 spacecraft (ARCAD 3 project): A — The particle experiments B — Optical measurements

The CESR Toulouse - IKI Moscow particle instrument package aboard the AUREOL-3 satellite consists of a complete set of charged particle spectrometers which measure electron and ion fluxes from 15 eV to 25 keV in 128 steps and in 11 directions. In addition, 4 channel spectrometers (2 electron and 2 ion channels in parallel) allow high time resolution measurements (up to 10 msec) with onboard calculation of auto and cross correlation functions. For higher energies (40 – 280 keV), solid-state spectrometers are used to measure electron and proton fluxes in 4 channels in parallel. In addition, two Geiger counters are used for the determination of the trapping boundaries. Two mass-energy ion spectrometers (1 to 32 A.M.U., 0.02 – 15 keV) are placed with viewing angles which allow a distinction between nearly isotropic auroral proton precipitation and conical beams accelerated in the auroral ionosphere. Auroral and airglow photometry is performed aboard the AUREOL-3 satellite by a set of 3 parallel directed photometers with tiltable interference filters for 6300 Å, 4278 Å and Doppler shifte H_β emissions. Various modes of energy, angular and mass scanning, correlation function calculation and various Soviet and French telemetry regimes provide the possibility of choosing the sequences of measurements according to particular experimental programs along the orbit. Finally, examples of data from inflight measurements using the above instruments are presented and briefly discussed, showing several interesting features.     

工程设计程序的探讨

文章用系统工程的观点对工程设计的设计程序进行了探讨。从讨论现行的各种设计程序出发,分析了设计程序的多维性质,归纳出时间维、系统维和逻辑维等三种不同类型的设计程序,并研究了它们的内在联系和层次关系。提出了一种三维设计程序模式。以三维设计程序作为框架,经过简化,得出一个通用的设计工作先后次序及段落划分的模式。这个模式可以作为编排各种不同类型设计程序的基础。     

基于连续数据流的动态手势识别算法

为识别用户做出的动态手势序列,基于数据手套采集的连续数据流,运用奇异值分解消除数据噪点,提取手势的特征信息,并利用关节弯曲的生理学特性与用户解耦合,将各种动作片段抽象成用户无关的手势模板,从而唯一定义手势特征并屏蔽不同用户的手势差异,再基于Hill Climbing思想把连续数据流分割成有序的动作序列,并按时序对所有片段在预先构造的层次树上实时搜索,根据欧式距离度量序列与手势模板的相似性.该算法对手势序列的分割准确,对多用户具有良好的适应性,其有效性在使用5DT数据手套搭建的两组动态手势识别的实验中得以验证.