退出
我的积分:
中文文献批量获取
外文文献批量获取
机译:具有时间,空间和认知运算符的线性和仿射逻辑
Kamide Norihiro;
机译:在S5认知时间逻辑中使用下一步时间运算符表征完美召回
机译:线性时间颞istex逻辑的有界模型检查
机译:将线性时间时间逻辑嵌入无限逻辑:用于切割消除的多毒者无限性认罪线性时间呈现时间逻辑
机译:在动态认知逻辑中添加时间逻辑。
机译:线性时序逻辑的后门
机译:使用s5中的下一步时间运算符表征完美的回忆 和亚s5认知时间逻辑
机译:用于向技术设备或机器操作员发出时间和空间变化的潜在风险信号的方法和设备
机译:手持式平面激光照明和成像(PLIIM)设备,采用围绕线性图像检测阵列安装的一对线性激光二极管阵列,以多个光学组合的空间非相干平面激光照明光束照明要成像的物体(通过在所述线性图像检测阵列的光积分时间段期间对检测到的斑点噪声图案进行时间平均来降低检测到的线性图像中的斑点图案噪声功率
机译:手持式平面激光照明和成像(PLIIM)设备,采用围绕线性图像检测阵列安装的一对线性激光二极管阵列,以多个光学组合的空间非相干平面激光照明光束照明要成像的物体(通过在所述线性图像检测阵列的光积分时间段内对检测到的斑点噪声图案进行时间平均来降低检测到的线性图像中的斑点图案噪声功率
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。