排序方式: 共有25条查询结果,搜索用时 125 毫秒
21.
关于BAN逻辑的语义模型的分析与改进 总被引:1,自引:0,他引:1
该文针对BAN逻辑及其语义模型的不足之处,提出了改进后的定义,它比BAN原作者们所提供的信念定义更加合理。 相似文献
22.
测定钠配制醋酸氧铀锌试剂时,参照任何分析书本上配方,发现市售的醋酸氧铀(亦称醋酸铀酰,商品有称为醋酸铀的)总是溶解不尽,必须多加些水及醋酸,再温热才能完全溶解。依“化学世界”十一卷一期“钠试剂醋酸铀酰配制前的处理”办法试验,亦未尽善。 相似文献
23.
引言电子测量仪器配用微处理机,可以使仪器具有程序控制、数据处理和信息存贮的能力,从而大大加速测量过程的自动化,提高测量的精确度。因此采用微处理机已成为当前电子仪器发展的一个重要趋势。最近国产微型计算机DJS—051的试制成功,为我国电子测量仪器配用微处理机的研究提供了有利条件。在地震、核爆炸、导弹发射及自然界的随机信息中,存在着各种空间单次信号,为了测量单次信号的参数,我们曾研制了专用单次信号观测仪。这种仪器能对一定距离内的单次信号自动鉴别开机,并测试其强度、距离、高度、方位和出现时间五个参数。原研制仪器对除出现时间以外的四个参数的测量仅提供间接数据,而实际参数尚需要通过人工换算而取得,所以对原仪器的现场使用带来了很大的不方便,而配用微处理机可以实现测量和数据处理自动化并提高精度。在这个思想指导下,我们研制并完成了采用国产微型计算 相似文献
24.
25.