基于安全计算机的自动闭塞区间逻辑检查方案研究

机译：Charm安全逻辑求解器（CSL）可以安装在第二型反跨区间区域（非点火防爆结构），魅力安全逻辑求解器（CSL），可以安装在该字段中。

机译：基于轨道代表的区间时间逻辑模型检查程序

机译：如果在我们的放射科进行了不必要的计算机断层扫描，以检查腹部紧急病变;回顾性研究，将进行的腹部计算机断层扫描与以前更安全的检查（如超声检查）进行比较

机译：基于颞逻辑的知识逻辑检查模型检查Hederham-Schroeder安全协议

机译：基于机器学习的安全和节能计算机系统解决方案

机译：一种计算机方法可识别值得临床研究的基于计算机的方案：胰岛素输注方案用例

机译：创新的基于位置的Internet安全协议方案。提出了一种使用信念智能逻辑，特别是通过修改的BAN逻辑的基于位置的方案N-Kerberos安全协议。

机译：选择和使用基于计算机的核安全教学系统的考虑和替代方案

机译：基于Matran逻辑的新计算机设计，涉及逻辑计数和算术，供三个用户组（儿童，学生和研究人员）使用

机译：改进异构网络中基于时域的增强的小区间干扰协调解决方案的装置，方法和计算机程序产品

机译：配置为基于虚拟台式机基础架构（VDI）提供安全PC解决方案的计算机系统，计算机实现方法和计算机可执行代码，包括通过VDI进行IPTV