基于改进Markov模型软件测试策略

针对已有软件测试Markov模型与工程实践不符的情况，通过引入软件需求覆盖率改进Markov模型。在改进的Markov模型基础上，本文以软件测试过程中测试总代价最小为控制目标，采用交叉熵方法修正测试剖面，由优化测试剖面生成测试用例序列。仿真结果表明这种方法能够有效地降低软件测试总代价，是一种有效的软件测试方法。     

应急净水系统作业性能试验研究

用应急净水系统净化不同水质的原水，以考察其作业性能。结果表明，出水浊度不受原水浊度的影响，且低于1NTU；在试验原水浊度、温度范围内，出水流量较稳定，产水量符合设计要求；出水水质符合生活饮用水卫生标准的要求。     

Studies on the flame propagation characteristic and thermal hazard of the premixed N2O/fuel mixtures

An experimental study was carried out to investigate the flame propagation and thermal hazard of the premixed N₂O/fuel mixtures, including NH₃, C₃H₈ and C₂H₄. The study provided the high speed video images and data about the flame locations, propagation patterns, overpressures and the quenching diameters during the course of combustion in different channels to elucidate the dynamics of various combustion processes. The onset decomposition temperature was determined using high-performance adiabatic calorimetry. It was shown that the order of the flame acceleration rate and thermal hazard was N₂O/C₂H₄>N₂O/C₃H₈>N₂O/NH₃.     

一种面向异构多核DSP的数据流传输控制引擎设计与评测

根据多核DSP的应用特点,介绍了一种面向异构多核DSP的数据流传输控制引擎(DSTCE)的结构与设计,并实现了基于DSTCE的数据流前瞻传输技术.该技术以可编程的DSTCE模块为核心,实现了超节点内各个端口之间以及超节点之间的高效数据流传输,而且将传输过程与多核间的数据前瞻和编程模型有机结合起来.该技术避免了复杂的Cache一致性问题,显著提高了大规模多核DSP计算与访存的并行性.实验结果表明,采用DSTCE的多核DSP单个超节点的性能平均提高了22%,两个超节点情况下基于DSTCE结构的系统比基于CC-NUMA结构的系统性能平均提高了14%.     

Traffic channeling under uncertain conversion rates on e-commerce platforms

Traffic is the lifeblood of every e-commerce platform. The question of how to channel traffic to merchants operating on a platform lies at the heart of platform management. We consider a platform on which two independent merchants sell their products. Merchants compete on inventory in the sense that some of the unmet demand at one merchant will spill over to the other. The platform channels traffic based on products' conversion rates to maximize the total sale on the platform. We show that traffic channeling plays three roles. First, it allows more efficient allocation of traffic; that is, the merchant with a high conversion rate is given a higher priority in receiving traffic. Second, it allows the platform to control demand spillover between the merchants to maximize total sales. The platform either facilitates or prevents demand spillover, depending on product substitutability. Third, traffic channeling intensifies competition between the merchants and hence increases the total inventory. More efficient allocation of traffic and the increase in inventory increase sales inequality between the merchants. In contrast, demand spillover decreases sales inequality. While the platform always benefits from traffic channeling, the merchants do not benefit when their products are moderately substitutable. Interestingly, when the two products are owned and sold by the same merchant, the opposite happens–traffic channeling always benefits the merchant but may hurt the platform. Our study provides a basis for informed discussions on how platforms should channel traffic in response to conversion rates, and how traffic channeling affects the welfare of merchants and platforms.     

防空火控网数据传输精度分析与测量

巡航导弹在战争中的大量使用已经改变了现代战争的作战模式,如何有效发现和捕获低空飞行目标成了传统防空火控系统面临的一大难题,防空火控系统组网作战是未来防空武器装备发展的必然趋势.分析了防空火控网中影响数据传输精度的各种原因,针对防空火控网中空情数据传输精度的测量,给出了同步测量和异步测量两种方法.     

基于多单片机系统的小口径火炮激光光幕靶设计

针对高射速、高射频火炮射速和密集度检测的难题,应用光电检测和单片机技术,研究设计了一种以多单片机系统为核心,适用于高射速、高射频小口径火炮射速和密集度检测的激光光幕靶系统。提出了一种新的激光光幕设计方案,推导了弹着点计算公式,阐述了系统中的关键技术。在实验室条件下进行了弹射枪模拟实验,结果表明:激光光幕靶操作简便,工作稳定可靠,能够有效克服自然光干扰,检测速度快,精度高。     

J-M模型改进与可靠性预测研究

软件可靠性J-M预计模型对可靠性测试数据的假设要求比较严格,与实际情况不太符合。针对可靠性测试中各种因素的影响,适当修改了排除错误的条件假设,使得模型的适用性更强。对J-M模型用迭代法确定了参数的估计值,结合1组可靠性测试数据,得到可靠性预测结果。     

基于数据冗余的BDS长报文传输机制改进算法?

北斗卫星导航系统（ Beidou Satellite Navigation System，BDS）只能传输字节受限的短报文，对于长报文需要通过分包和多次重传改善报文传输的成功率，这样会造成系统平台数据发送延误和网络拥塞。提出一种基于数据冗余的数据分包传输机制，该传输机制以数据包为处理对象，采用异或运算得到冗余包，编码简单，编码解码速度快。通过Matlab仿真，证明基于冗余编码机制比无冗余编码单次发送机制的数据接收成功率高15％以上，两次发送对多包的数据接收成功率有较大提高。     

概率条件下雷区范围估计研究

为更正现有雷区范围估计算法因搜扫率处置不当而存在的矛盾与不足,研究了搜扫率条件下的雷区范围估计问题。分不规则雷区和规则雷线两种情况,依据极大似然估计的原理,推导出搜扫率条件下的雷区范围估计算法,并对改进算法与现有算法进行了分析比较和仿真示例验证。分析和示例表明新算法克服了现有算法的缺陷,能够更符合实际地解决雷区范围估计问题。