基于状态变换的同步时序电路测试生成

详细分析了固定故障所反映出的状态变换特征,提出状态变换故障模型以及相对应的测试生成压缩方法;基于无复位时序电路,深入研究了有复位状态的同步状态机测试生成方法的扩展问题;最后讨论了故障精简以及启发知识在测试生成中的应用问题。     

土壤胡敏酸质量分数对TNT吸附-解吸的影响

研究了TNT在去有机质茶园土、茶园土原土、胡敏酸质量分数2%茶园土和胡敏酸质量分数5%茶园土共4种土壤上的吸附动理学以及吸附-解吸行为。动理学实验表明,胡敏酸质量分数越高,土壤吸附的TNT越多,快吸附和慢吸附区分越明显,吸附达到饱和状态所需的时间越长。吸附-解吸实验表明,TNT在土壤上的吸附-解吸特性与土壤胡敏酸质量分数有关:胡敏酸质量分数越高,土壤吸附TNT的能力越强,解吸能力越弱,解吸滞后性越显著。4种土壤的胡敏酸质量分数顺序由大至小为胡敏酸质量分数5%茶园土、胡敏酸质量分数2%茶园土、茶园土原土、去有机质茶园土;土壤吸附TNT能力和TNT解吸滞后性皆与此顺序一致,而TNT解吸能力则与此顺序相反。     

汝南县人武部16年“送兵育人用才”结硕果

河南省汝南县既是一个农业大县,又是一个兵员大县,每年都有500多名应征青年参军入伍。自2006年开始,该县人武部坚持开展＂送兵育人用才＂活动,结出了丰硕成果。16年来,他们先后为部队输送优质兵员近万名,90%以上在部队立功受奖、入党、提干或转改士官、     

一种非干扰的动态防御网络机器人方法

XRumer、Magic Submitter和SENuke等外链软件已经广泛地被用来进行恶意行为,如大量注册帐户、发送垃圾邮件和制作网页游戏自动化脚本。尽管验证码技术在一定程度上可以抵御网络机器人,但它要求用户与之交互,导致体验性降低。针对上述问题,设计了一种非干扰的动态防御系统(Non-Intrusive Dynamic Defense System,NIDDS),在不影响普通用户的前提下,通过随机化HTML元素来阻止网络机器人自动访问网络资源。在几个常见的开源网络平台上,挑选了3个功能强大的网络机器人对NIDDS方法进行有效性评估。评估结果显示,NIDDS可以相对较低的开销来有效阻止这些网络机器人。     

固定单站无源定位可观测性及仿真分析

针对强非线性系统固定单站无源定位可观测性分析困难的问题,提出基于线性系统可观测理论的分析方法并进行了仿真验证.首先以目标角度、角速度和多普勒频率变化率为观测量,通过对观测方程的伪线性化处理,避免求解复杂的雅克比矩阵,而后对匀速、匀加速直线运动和匀转弯运动进行可观测分析,得出可观测条件,为进一步研究提供了理论前提.最后通...     

自办科技报 唱响增收曲

在山东省陵县丁庄乡,每户菜农都有一份叫做《蔬菜指南》的科技小报,别看报纸版面不大,作用却不小。去冬连续35天阴天,菜农们通过《蔬菜指南》介绍的技术及时采取了措施,大棚收入没有受到太大损失。     

淮河之滨拥军人——记河南省淮滨县县委书记、县人武部党委第一书记胡道平

位于淮河之滨的河南省淮滨县是豫南大地的东大门,历来是一片爱国拥军的热土。淮滨县县委书记、县人武部党委第一书记胡道平积极履行职责,狠抓经济建设与国防后备力量建设协调发展,有力地促进了该县民兵预备役工作,得到了干部群众的赞誉。胡道平常说:“我既然是人武部党委第一书记,就要当好第一书记,干好武装     

联合作战中作战单元决策演化博弈研究

利用演化博弈理论,探讨了联合作战中担负相同作战任务的作战单元间其策略选择根据利益变化的演化过程,建立了复制动态方程并求得平衡点解,通过复制动态的相位图直观反映了博弈的演化稳定策略,并通过Malab软件对作战单元策略选择与收益关系进行了仿真,其行为选择的演化结果与相位图展示具有一致性。研究结论表明,收益大小及变化是作战单元策略改变的重要依据,最后针对提高作战单元间的策略稳定性提出对策建议.     

扬鞭催马向前行

扬鞭催马向前行宋斌华自１９８４年走上政治工作岗位之后,我就与《政工学刊》结下了不解之缘。在编辑老师的精心扶持下,１９８６年６月我在《学刊》上发表了自己的第一篇政工研究文章,从而增强了政工研究和写作的信心。在担任《学刊》特约通讯员以来,收集了《学刊》的...     

基于Simulink的履带车辆离合器动态仿真实现

以系统仿真软件MATLAB中的Simulink软件包为工具,通过对摩擦离合器工作过程特点的分析,在合理假设的基础上,建立了离合器工作过程中的动态仿真模型。得到的仿真结果对于离合器的实际测试及其故障检测分析有一定的参考作用。