航天器C51语言软件中断资源冲突分析方法

对航天器C51语言软件中常见的3种中断资源访问冲突情况进行了归纳总结.由目前软件资源冲突分析方法的比较结果,提出基于静态分析技术的C51语言软件资源访问冲突分析方法,并针对上述情况给出了具体分析流程.该方法可以解决多种C51语言软件中断资源访问冲突问题,也可以推广到其他处理器.     

J2EE信息系统数据访问层性能监测与优化设计

针对J2EE信息系统开发阶段从性能优化的角度实现了数据访问层的设计和一个简易的性能监测工具.首先在数据访问层设计阶段,兼顾考虑开发效率和性能问题提供专门的数据访问操作方法;利用面向方面编程(AOP,Aspect-Oriented Programming)技术对系统数据库访问操作及性能指标进行监视,帮助开发者在系统调试运行阶段根据SQL语句执行情况发现数据访问过程中影响性能的因素;开发根据具体的情况调整数据访问的源代码,然后对造成系统性能瓶颈的SQL语句进行性能调优,并替换数据访问层中低效的SQL语句,最终达到优化系统数据访问性能的目的.      

航天嵌入式软件数据访问冲突基准测试集研究

针对数据访问冲突问题的检测方法及工具的研究很多,但缺少对其进行评估的基准测试集。文章基于大量真实航天嵌入式软件中断数据访问冲突案例研究的结果,总结出影响数据访问冲突检测的6类要素,设计开发了嵌入式软件中断数据访问冲突基准测试集程序RaceBench,对SpaceDRC工具进行了指标评估。结果表明,RaceBench能够有效评估工具的适用性。     

航天嵌入式软件数据访问冲突基准测试集研究

针对数据访问冲突问题的检测方法及工具的研究很多,但缺少对其进行评估的基准测试集。文章基于大量真实航天嵌入式软件中断数据访问冲突案例研究的结果,总结出影响数据访问冲突检测的6类要素,设计开发了嵌入式软件中断数据访问冲突基准测试集程序RaceBench,对SpaceDRC工具进行了指标评估。结果表明,RaceBench能够有效评估工具的适用性。     

基于编码规则的中断数据访问冲突检测方法

针对“重复加锁解锁”和“volatile修饰符误用”两种数据访问冲突缺陷模式,提出基于编码规则的检测方法.首先,对缺陷模式的故障机理进行分析,提炼出3条编码规则用以在开发阶段避免缺陷发生,并基于一个静态代码检查工具SpaceCCH进行了规则检测方法研究和实现.在实际星上软件上的实验结果表明,扩展的SpaceCCH能够高效、低误报、低漏报地发现规则违反,从而有效避免这两种的数据访问冲突问题.本文的贡献在于将一类复杂缺陷的检测转换为相应的编码规则及其检测.     

执行机构驱动单元软件的设计与分析

介绍执行机构驱动单元软件(ADU)的功能设计和时序设计.从总线消息时序冲突、临界资源访问冲突等方面分析软件外部接口时序设计约束、内部接口时序设计约束的满足性,对时序设计有效性进行验证.软件可靠性设计方面,采用软件失效模式及影响分析(SFMEA)方法识别软件中的关键变量/器件,对其采取单粒子效应防护措施,并验证了措施的有效性.     

利用动态时间槽分配的多目标防冲突射频识别

对于总数未知的多目标射频识别问题,提出了基于智能标签的具有防冲突功能的多目标射频识别技术方案及其系统框架;改进了ISO/IEC15693标准中的冲突解决方案,采用地址访问策略的自匹配模式,动态调整时间槽的分配,以解决通讯冲突并逼近目标数目;分析了系统实现的软硬件参数的优化选择方法,给出了多目标防冲突识别的实现过程,并将其应用于某图书馆智能管理系统.实验结果表明该技术可以提高智能标签防冲突识别的效率和准确性,能够满足该领域实际需求,具有良好的实用推广价值.     

基于时频分析的运载火箭故障特征提取技术

为尽可能从运载火箭飞行试验数据中获取更多有价值的信息,提出了新的火箭振动参数故障特征提取模型,用于火箭振动问题分析.构建了三维傅里叶谱,用于高效地分析全程观测信号频谱的时变趋势,研究了Wigner-Ville分布的标准算法与快速算法,用于精确刻画振动参数感兴趣数据段的频谱随时间的分布情况.试验结果表明:模型及方法处理火箭遥测数据直观、高效、精确,可以应用于实测数据分析.研究时频分析方法对试验数据进行更深层次的分析处理,对设计高可靠、高性能的运载火箭,具有重要意义.     

自组织时分多址甚高频数据链的延时分析

时隙预约方法对自组织时分多址系统的延时性能有很大影响.针对动态时隙分配方案中典型的回溯搜索算法,分析了时隙空闲概率及预约冲突概率对报文延时的影响,并采用概率周期分析方法,通过引入时隙处于空闲和忙状态的概率,详细分析了报文延时与用户数和发报率的关系.最后,提出了一种新的时隙选择算法——序贯搜索算法.仿真结果表明,该算法的延时性能比回溯搜索算法优越.      

基于事故数据挖掘的AEB路口测试场景

基于国家车辆事故深度调查体系中499例真实的路口事故数据，研究适应于中国的自动紧急制动系统（AEB）路口测试场景。通过基于多元Logistic回归的事故严重程度影响因素分析，提取自动驾驶测试场景的特征要素，构建测试场景。以场景特征要素为聚类参数，采用层次聚类算法挖掘得到了8类路口机动车碰撞典型危险场景，建立了8类适应于中国交通状况的AEB路口测试场景。研究表明:中国的路口场景与Euro-NCAP法规场景有一定的相似性，但较国外更加复杂，其中十字路口的左转与直行冲突是需要重点测试的场景。研究结果可为国内AEB系统的开发和测试提供参考，也可作为建立中国AEB路口测试评价体系的依据。      

结构振动主动控制系统的非概率可靠性分析

为了解决结构主动振动控制系统的可靠性问题,考虑结构参数的不确定性,研究了结构振动主动控制系统可靠性分析的非概率方法.对不确定变量用区间数或区间向量进行描述,基于区间数学,提出了含区间不确定参数的闭环控制系统响应的计算方法,在此基础之上结合非概率可靠性分析方法,建立了适用于振动控制系统的非概率可靠性分析方法.该方法无需不确定量的概率信息,只需明确参数所在区间范围即可,对开环系统和闭环控制系统的可靠性分析与基于可靠性的控制器设计具有一定的理论意义.通过数值算例,将非概率可靠性分析方法与蒙特卡洛方法进行了比较,结果表明了本文所提方法的有效性和对复杂结构振动主动控制系统的适用性.      

基于测量数据的不确定性结构分析的模糊理论

针对不确定性结构力学问题,提出了基于测量数据的模糊分析方法.该方法利用差值因子构造了不确定参数的隶属度函数,对不确定参数的有限个分散数据进行不确定性描述和定量化处理,估计出其真值估计和区间估计,将其运用到不确定性结构力学问题的模糊有限元分析中,以求得结构的不确定性响应.最后以十杆桁架结构为例,运用该方法对结构的不确定响应进行了分析,仿真结果验证了该方法的有效性.     

分布式用户痕迹采集存储系统

在复杂网络的分布式环境中,精准全面地采集海量用户在浏览网站过程中的行为数据和网站过程数据并高效存储是用户行为分析的前提和基础。为了解决数据类型的多样性和存储的差异性问题,提高数据的检索效率,为企业的个性化需求做用户行为的分析提供支持,设计了白盒模式的用户痕迹采集存储系统。用户访问Web服务器过程中会产生交互/交易数据以及用户操作,浏览网站过程中会产生图片、视频、商品描述等多种类型的文件,这些界面和数据称为用户浏览痕迹,操作序列则作为用户行为的实际动作顺序记录。对用户数据和操作序列分析,能精确反映用户特征。采集模型通过界面窗口树来建模,提供统一数据存取接口,根据数据类型的不同,分别存储于不同的位置,完整采集用户痕迹,应用程序传递参数指定存储位置创建数据库文件,通过存取接口可以分类型、按要求存取用户数据,解决了面向互联网的用户交互痕迹捕获、存储和检索的问题,具有良好的精确性和完整性。      

具有三分支空间机器人的运动学分析

对三分支空间机器人机构进行运动学分析.首先给出了该空间机器人机构的模型和3种工作模式,在搬运和协调操作2种模式下机构采用了串并联的结构型式,在运动学上具有特殊性故成为研究重点.由于此时机构具有12个关节变量,其中只有6个是独立的,这样给机构的分析及控制带来了困难.为此,利用影响系数法推导了机构独立运动参数与非独立运动参数之间的约束方程,建立了输出运动与输入运动之间的映射关系.从而解决了机构的速度和加速度的反解问题.      

含函数型自变量回归模型中的变量选择

针对含有函数型和多元向量数据的回归模型中变量选择和参数估计问题进行研究,扩展了函数型数据分析和变量选择方法的应用范围。首先,函数型自变量基于函数型主成分基函数空间进行投影;然后,对投影后的函数型自变量（按组）及多元向量自变量采用惩罚变量选择方法,同时估计相应的系数。惩罚项调节参数采用自适应调节参数,损失函数采用中位绝对损失函数,以此为例,通过引入松弛变量将估计算法转化为求解线性规划问题,算法复杂度低。数值模拟结果表明,所提方法对于含函数型自变量回归模型的变量选择和参数估计均具有良好效果。      

基于信仰推断的电子设备可靠性增长数据分析

可靠性增长是可靠性工程的重要方面,但针对工程中普遍存在的各阶段小样本试验数据,基本上还没有有效的分析方法.为此,首先研究推广了参数受限制的Fiducial方法,而对于非位置-刻度簇分布,使用规范化的似然方法进行推广,并指出采用Fiducial方法得到的评估结果具有很好的频率性质;然后在顺序单调约束的可靠性增长模型下,使用参数受限制的Fiducial方法研究了电子产品的可靠性评估方法,具体给出了故障可观测情形和区间数据情形下电子产品失效率的置信上限.      

军航飞机流穿越民航航线冲突探测与解脱问题

针对军航飞机穿越民航航线的飞行冲突问题,对飞机流汇聚飞行场景进行建模分析,提出了基于滑动窗口的汇聚飞行冲突探测方法和基于合作博弈的多机冲突解脱方法。当飞机流进入预先划设的汇聚控制区,通过滑动窗口判断向前看时间内飞行冲突。基于此,潜在冲突机间组成一个联盟,以解脱边界条件为安全约束,以合作博弈理论中联盟福利最优解均衡各机效益,在保证安全的前提下实现效益均衡。根据最优机动方向特点,利用免疫粒子群优化算法快速求解策略。仿真结果表明,该场景下提出的方法能有效解算出满足要求的解脱策略,并均衡军民航飞机解脱效益。      

一种面向星载计算机的功能级功耗估计方法

在星载计算机的软硬件协同设计过程中需要解决处理器功耗估计问题.现有的工具和方法主要面向ARM或DSP处理器,缺乏可用于LEON3处理器的软件功耗估计方法.针对这一不足,基于功能级功耗分析方法进行功耗估计,重点解决LEON3处理器的功耗建模问题.提出了从C代码中提取模型参数的方法,并且对序贯最小优化支持向量回归算法进行了改进,提高模型的精度.在数值试验部分,通过常用的C语言算法试验对估计方法进行了验证.结果表明功耗估计误差小于3%,能够满足星载计算机软硬件协同设计的需要.     

无人飞行器自主着舰实时场景的仿真实现

为给垂直起降无人飞行器视觉自主着舰算法研究提供经济可行的解决方案,实现了无人机自主着舰场景的软件仿真以提供算法研究中所需的合格场景图片.基于机器视觉理论,通过分析无人飞行器机载摄像机在自主着舰时考虑了透镜畸变参数的针孔成像模型,给出了无人飞行器着舰靶标的成像公式,并介绍了软件仿真中畸变模型实现时出现的问题及解决办法.为了使仿真图像更逼真,综合考虑了无人飞行器着舰实时场景中所存在的主要干扰,如光照不匀,运动拖影及电气噪声和大气流动和海面悬浮颗粒造成的白噪声等,在C+ +和Windows环境下实现了无人飞行器自主着舰的仿真图像和数据的实时生成.最后展示了部分仿真结果.     

隐身飞机敏感性影响因素组合分析

针对多因素下的隐身飞机敏感性评估问题,对典型作战场景中隐身飞机敏感性影响因素进行了组合分析研究。首先,建立了基于任务周期的敏感性计算模型;其次,对雷达、红外、射频（RF）和电子干扰等方面敏感性参数进行分析,构建不同因素的计算模型;最后,开展了不同隐身构型下隐身飞机敏感性影响因素的仿真实验。结果表明:多种手段的组合使用可以有效降低隐身飞机敏感性,并在一定参数范围内得到多因素组合下敏感性的影响程度。研究结果对隐身飞机敏感性减缩及方案的设计和改进具有一定参考意义。