退出
我的积分:
中文文献批量获取
外文文献批量获取
张师超; 宋德才;
广西师范大学数学与计算机科学系;
广西基本建设综合设计院;
时态逻辑; 时态推理; 分离原则; 数理逻辑;
机译:通过时态逻辑中的计算机演绎形式对嵌入式逻辑控制器规范进行形式验证
机译:基于投影时态逻辑的原子块时态规划模型
机译:时态和语意形式的结合:论具有历史必要性和条件义务的时态逻辑的R_t方法
机译:具有无限时间的区间时态逻辑的完全公理化
机译:时态逻辑中的哲学问题。
机译:乌克兰草原区间断小河中的水生异翅目(NepomorphaGerromorpha)
机译:用时态逻辑分析时态逻辑:一种基于区间的层次方法
机译:扩展区间时序逻辑和时态逻辑程序设计的成帧技术
机译:提供了一种用于数字电源的设备和方法,其可以为两个或更多个电负载提供独立的功率控制。一些公开的实施例提供连续的和可变的功率,而其他公开的实施例提供离散的功率电平。一些描述的实施例可以减小引入电力系统中的谐波和/或闪烁电流的大小。一些实施例包括微处理器,该微处理器使用相控交流电将功率传递给电负载。在一些实施例中,微处理器可以为每个电负载计算与所请求的功率相对应的功率矩阵,提供逻辑以减小谐波和闪烁电流的大小的模式来填充功率矩阵。披露部分包括支票
机译:通过便携式电话终端,固定终端,无线蜂窝基站和交换电话网络中的分布式逻辑常驻提供具有语音/数据/图像双向呼叫和小区间切换功能的无线数字个人通信系统
机译:一种了解原子结构的周期表基本概念及其理论的装置一种了解原子结构的周期表基本概念及其理论的设备
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。