一种应用于复杂组合软件的可靠性测试模型

当前复杂的组合型软件可靠性测试一直是一个难点,主要原因是无法多多种差异性较大的软件特征建立可约束的检测分析模型,一旦软件数量过多,模型会迅速陷入不收敛。为了解决这一问题,提出一种复杂组合差异性软件的可靠性分析模型。对组合软件以一种分解的思想对其进行建模。对分解后的软件特征进行重新分区建模。形成多个可测试的子服务特征。运用一种稳定概率统计的观点,对模型进行分析,分析不同区域组合后的稳定概率,进而代表组合后的可靠性结果。仿真实验结果表明,该种模型能改对较多软件组成的、差异性较大的大型软件可靠性进行更为合理的分析,模型鲁棒性较好,能较好完成可靠性分析的工作。     

一种基于单条程序执行路径的错误定位方法

当程序在测试中发生错误时,将形成一条错误的程序执行路径,程序员将会花费很多精力去检测程序代码和定位最终的程序错误．提出一种基于单条程序执行路径的错误定位方法,该方法通过对程序进行反向执行,计算出多个最弱前置条件及其相对应的疑似错误语句集,并生成错误定位树,来辅助程序员进行快速错误定位．对西门子测试数据集进行的实验表明了该方法具有良好的效果．     

变速直驱开关磁阻风力发电系统雷电防护技术研究

根据风力发电机组防雷保护的研究成果和相关行业防雷标准,分析雷电的形成、破坏机理及其破坏形式。结合开关磁阻风力发电系统特征,划分雷电防护区域;按照风力发电机组防雷设计应该遵循的原则,通过外部防护和内部防护相结合,提出开关磁阻风力发电系统各部件防雷保护措施。为工程实践中开关磁阻风力发电系统的雷电防护提供一定的参考。     

基于三电平逆变的开关磁阻发电系统的研究

新型开关磁阻发电机具有发电容量大、效率高、起动和发电组合容易等优点,三电平逆变器具有能减少开关损耗和滤波电感损耗并有降低开关应力等特点。利用三电平逆变器转换效率高的优势,结合新型开关磁阻发电机低风速发电特点,降低开关损耗和开关器件电压应力,提高装置可靠性。仿真实验结果表明:用三电平逆变器能够很好的实现开关磁阻发电机的逆变要求。     

基于UC/GUI的嵌入式GUI在S3C 2410上的移植

嵌入式图形用户界面为嵌入式系统提供了人机交互界面,大大方便了嵌入式系统的人机交互,进而加速了嵌入式系统的流行。选择了基于UC/GUI的嵌入式GUI作为移植对象,并详细介绍了将其移植至S3C2410开发平台上的技术。该移植技术对于其他的嵌入式开发板也具有一定的参考价值。     

一种针对依赖性周期任务的实时多核调度算法

针对软实时系统中的一类同时具有依赖性与周期性的任务,提出一种基于单行树矩阵(MST)的动态因子均衡调度算法SMD(schedule on matrix of the single tree and dynamic load factor)。该算法通过对MST矩阵的特性进行分析,将任务划分为若干并行集,再综合考虑已执行时间、任务间的依赖关系及任务最早截止时间几个要素,以动态因子的形式对任务进行实时调度。最后,还以证明的形式给出了可充分调动的任务集的充分条件,并以此为基础随机生成了测试任务集,进行了对比实验。实验表明,与文献中现有经典算法相比,新算法使处理器利用率提升近15%,任务丢失率降低2%。     

一种新的BOC(n,n)型信号的精确捕获算法

针对BOC(n,n)型信号自相关函数存在三个峰值导致伪码捕获模糊性的问题,提出了一种新的基于相关函数的精确无模糊的捕获算法。该算法将信号进行频域的多普勒补偿,通过本地增设QBOC(n,n)支路,利用BOC(n,n)信号自相关以及BOC(n,n)和QBOC(n,n)互相关,经移位±TC/4、取模、求和、平方运算而实现。理论与仿真分析表明,该算法在不改变自相关主峰宽度的情况下完全消除相关副峰的同时,显著提高了主峰峰值;比传统捕获算法的性能好4.5 dB左右,并且捕获精度良好、易于实现。     

塔河4区奥陶系碳酸盐岩油藏井间连通性分析

塔河油田奥陶系油藏为裂缝、溶洞型碳酸盐岩油藏,储层非均质性极强,开发的关键大于搞清楚油藏储层特性和流体的分布规律,分析井间储层的连通性和流体流动通道,并进一步划分缝洞单元.以塔河油田4区奥陶系油藏为例,介绍了6种井间连通性的分析方法.除了目前常用的压力系统分析、干扰试井、类干扰试井的方法外,还将动静态资料相结合提出了生产特征相似性等一系列方便有效的综合方法,认为S65单元共有12口井相连通.     

聚丙烯酸叔丁酯的可控合成

以偶氮二异丁腈(AIBN)为引发剂,1-苯乙基二硫代苯乙酸酯(PEPDTA)为RAFT试剂,在乙酸乙酯中实施了丙烯酸叔丁酯(tBA)的RAFT自由基聚合。分子量测试表明,在高转化率(93%)下P(tBA)的分子量分布指数(Mw/Mn)小于1.1,且数均分子量与转化率成良好的线性关系,体现了可控/"活性"聚合的特征。     

雷达信号数字传输系统发射模块的设计

针对雷达信号数字传输系统,利用存储器直接访问（DMA）连接方式设计了一种新的同步时分复用（TDM）电路,并利用开发系统Isplever对复接进行了仿真验证．