退出
我的积分:
中文文献批量获取
外文文献批量获取
肖凡; 刘任任;
湘潭大学信息工程学院;
多值逻辑; 完备性; Sheffer函数; 极大封闭集;
机译:k值逻辑中部分Sheffer函数的一些准则
机译:关于部分k值逻辑函数中预完成类的最小覆盖的一些结果
机译:部分K值逻辑函数中准完备集之最小覆盖的一些结果
机译:部分k值逻辑中Sheffer函数的决策和构造的一些结果
机译:情境演算:可判定性和基于非单调归纳定义逻辑的方法。
机译:分离的水母发光蛋白注射的小鼠左心室乳头肌中心肌细胞胞质Ca2 +浓度(Ca2 + i)-时间曲线(CaTCIII)下降阶段的前半部分的半逻辑函数模型
机译:关于三值逻辑中的Sheffer对称函数
机译:第一部分对正定义函数扩展问题的一些贡献第2部分。关于无限可微分正定函数
机译:提供了一种用于数字电源的设备和方法,其可以为两个或更多个电负载提供独立的功率控制。一些公开的实施例提供连续的和可变的功率,而其他公开的实施例提供离散的功率电平。一些描述的实施例可以减小引入电力系统中的谐波和/或闪烁电流的大小。一些实施例包括微处理器,该微处理器使用相控交流电将功率传递给电负载。在一些实施例中,微处理器可以为每个电负载计算与所请求的功率相对应的功率矩阵,提供逻辑以减小谐波和闪烁电流的大小的模式来填充功率矩阵。披露部分包括支票
机译:f Σ Sub>(Σ)并行条件乘数的条件“ j”位的f 1 Sub>(Σ CD Sub>)的函数结构具有乘数[m j Sub>] f(2 n Sup>)和乘数[n i Sub]的参数结构的部分产品的参数的“解密”过程>] f(2 n Sup>)在“附加代码”的位置格式中以及中间和[[Sup> 1,2 Sup> Sj h1 Sup>] f( “附加代码RU”(俄罗斯逻辑版本)的位置格式中的2 n Sup>)
机译:具有人工智能的机器人的一些主要部分的描述和逻辑操作,该机器人使用数字形式的通用含义,形式为树,而该子目录中还包含其他代码。
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。