实时系统的一种定量时态逻辑描述方法

针对Ｍａｎｎａ－Ｐｎｕｅｉｌ命题线性时态逻辑（ＰＬＴＬ）在描述实时性方面的不足，本文扩充ＰＬＴＬ，引入物理时间因子，提出一种用于实时系统的定量时态逻辑，并给出一个实例－监视器计时网（ＷＩＮ）的定量时态逻辑描述。     

空调水泵自动保护功能PLC程序的设计

对于大型电机或空调冷却泵电动机是不允许在短时间内连续多次启动的。故在控制电路中要对电动机在一定时间内启动的次数予以限制,我们把这种功能称为自动保护,简称自保。但在PLC教材和一些资料中给出这种自保程序却存在着一定的缺陷。笔者以三菱PLC设计出该空调水泵的自保程序,采用了计数器控制定时器的工作方式,又巧妙地设计了计数器对系统第三次启动的智能判断,复位条件完善,经过反复调试,达到了设计要求。     

计时电流法研究稀土对谷氨酸脱氢酶活性的影响

硝酸根的还原是无机氮转化为有机氮的主要途径。氮被同化进入生物分子的重要一步是NH-4~+转化为氨基酸,谷氨酸和谷酰胺在这方面起枢纽作用,其中一个重要反应是在谷氨酸脱氢酶(GIDH)的催化作用下,由N上_4~+和α-酮戊二酸(。-KG)合成谷氨酸。在该反应过程中辅酶NADH是还原剂。     

多路自动计时计费管理系统的设计和应用

本文介绍一种大型娱乐场所的自动计时计费系统的设计及应用，此系统采用单片机加３８６微机进行数据采集，实时处理，及计费管理，并介绍了软件，硬件电路的设计原理及流程。     

化学振荡计时电位法的研究：废水中苯酚的测定

化学振荡是指在反应过程中某种形体的浓度随时间发生周期性变化的现象。Belousov首先报道了均相化学振荡反应,Prigogine的耗散结构理论为振荡反应提供了理论基础,至此,化学振荡引起人们的极大兴趣。本文在化学振荡理论的基础上,利用反映振荡过程中某种形体浓度大小的电位值随时间周期性变化的关系,提出了一种新的定性定量分析方法——化学振荡计时电位法。该法是利用振荡参数(诱导期、振荡周期、振荡寿命)与振荡体系某一物质起始浓度的依赖关系对该物质进行分析的。实验发现,在H_2SO_4—LB_rO_3—phenol非催化振荡体系中,振荡周期(Tp)的对数与苯酚起始浓度的对数在苯酚浓度为8.00×10~(-2)mol/L的范围内成线性关系,线性相关系数为0.998。将该法用于废水中苯酚含量的测定,回收率达97.7％～108.2％。本文还提出了振荡反应的机理和定量分析的依据。     

碳糊电极测定亚硝酸根的研究

用线性扫描伏安法、计时电流法和循环伏安法等电化学方法研究了NO_2~-在电极上的电化学行为,初步探讨了NO_2~-在电极上的反应机理,同时选择了最佳的实验条件。实验表明:在0.014mol/L Na_2HPO_4-KH_2PO_4(pH=7.0)的缓冲溶液中,亚硝酸根的氧化峰电位在0.95V,NO_2~-的浓度在4.4×10~(-6)～1.7×10~(-3)mol/L范围内与氧化峰峰高具有良好的线性关系,相关系数为0.9987,检测限为2.2×10~(-6)mol/L。在此情况下,许多离子均不干扰NO_2~-的测定。     

SM2签名算法flush-reload cache计时攻击

针对现有flush-reload cache计时攻击中监测地址选取方法不适用于SM2数字签名算法的问题,提出了一种新的监测地址选取方法,通过监测含有函数调用指令的cache块地址,利用函数调用导致的cache块多次访问特性提高了对cache访问行为监测的准确性,降低了恢复标量k的错误率,实现了对SM2数字签名算法的密钥恢复.实验结果表明:所提出的方法能够对SM2数字签名算法实施有效攻击,利用一次签名的旁路信息恢复256 bit标量k的比特错误率仅为1.09%,能在64次密钥搜索的代价下以59%的成功率完全破解签名者私钥.     

基于红外对射技术的短距离跑步计时系统设计与应用

目的 分析基于红外对射技术原理设计的50 m跑计时系统在硬软件架构和操作使用中的问题,通过1 256名大学生进行测试后检验了系统在计时成绩方面的可靠性和稳定性。方法 主要采用文献资料法、实验测试法和数理统计法对红外对射技术短距离跑步计时系统进行分析。结果 （1）通过升级LED发光二极管红外发射探头,解决了强光对该系统红外线的干扰,系统稳定性提升,测试中无成绩丢失;（2）当终点红外对射装置高度在90 cm与专家手计成绩间无显著性差异（P>0.05）;(3)对比该系统与专家手动计时方式间的变异系数值,该系统变异系数值比手动计时低,成绩效度比手动计时高;（4）系统解决了手动秒表所涉及的误差和测试效率问题,可同时进行8人分道测试。结论 计时系统在精度和效度上达到了专家手动计时水平,可以用于50 m跑测试,它对提高学生体质健康测试效率,减少不同学校在50 m测试精度上的差距,同时对教育主管部门评价不同地区学生体质健康水平有非常好的意义,具有较高的应用推广价值。     

基于施压过程计时的非金属基体涂层质量无损检测

研发一种新型的非金属基体表面涂层质量无损检测方法——压力测定计时法,用于解决基体为玻璃、陶瓷等高硬度非金属基体,涂层为橡胶、防污闪复合涂料(PRTV)等低硬度非金属材料的表面涂层质量检测问题.当设备基体与涂层硬度有明显的差异时,用相同的接近速度对涂层表面垂直施压,并设定确定的压力区间.涂层厚度不同,致使压力从起始值到终...