退出
我的积分:
中文文献批量获取
外文文献批量获取
李苏婷; 张严;
南京航空航天大学计算机科学与技术学院 南京 211106;
南京林业大学信息科学技术学院 南京 210037;
GSOS; 结构化操作语义(SOS); 进程演算; 共变-异变模拟; 可靠性; 完备性;
机译:非奇异变换引起的unit算子的刻画及其应用
机译:基于L广义广义邻域系统的近似算子的公理化刻画
机译:关于(theta,sigma)-模糊粗糙近似算子的简化公理刻画
机译:关于模糊逼近算子的公理刻画。二,基于粗糙模糊集的情况
机译:使用高阶模拟算子对不同摩擦规律下的破裂传播建模
机译:植物受体激酶GSO1 / SGN3和GSO2识别序列差异性CIF肽的分子机制
机译:非奇异变换引起的Unit算子的刻画及其应用(遍历理论及其环境)
机译:翻译不变基本形态算子在灰度图像之间的刻画
机译:通过激活方式f1(11)分钟→±0mk非活动参数«±0»→«+1 / -1”模拟信号“最小化”结构«-/ +»[mj] f(+/-)- “附加代码”是根据位置三元表示形式的模拟信号f(+ 1,0,-1)在位置符号条件条件下的模拟信号的公理最小化其结构±[mj] fusl(+/-)min(选项俄罗斯逻辑)
机译:f 1 Sub>(11)min→±0 Sup> m k Sub>不连续参数“±0”→“ +”的端到端激活方法“-/ +” [m j Sub>] f(+/-)-“互补码”结构的“最小化区域”中的模拟信号的1 / -1结构,根据三进制数系统的算术公理在位置信号条件最小化结构中生成模拟信号的参数时,f(+ 1,0,-1)± Sup> [m j Sub>] f усл Sub>(+/-) min Sub>(俄罗斯逻辑版本)
机译:在端对端激活f 1 Sub>(00)的“ k”个“最小化区域”结果参数 +1 Sup> m k Sub>中生成的方法 min Sub>→ +1 Sup> m k Sub>用于根据三元数系统的f(+ 1,0,-1)结构的算术公理进行转换模拟信号的参数“«-/ +»[m j Sub>] f(+/-)--”互补代码“转换为条件最小化位置信号的结构模拟信号±< / Sup> [m j Sub>] f усл Sub>(+/-) min Sub>及其实现的功能结构(俄罗斯逻辑版本)
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。