关键词: 结构化操作语义  前同余性  分层  归约  

2019年第09期 《计算机技术与发展》

关键词: 无线体域网  隐私保护  数据分片  数据串通  数据融合  归约  

2019年第11期 《计算机工程》

关键词: 逻辑常项  归约  镜像性  

2018年第06期 《世界哲学》

关键词: 知识表达  cad造型  人工智能  cad系统  过程  归约  求解  精铸模具  模具零件  涡轮叶片  

2005年第03期 《航空制造技术》

关键词: 建模方法  神经网络模型  不可分辨关系  粗集理论  计算方法  原始数据  连接关系  隐层节点  拓扑结构  学习速度  学习算法  容错能力  归约  

2005年第02期 《安徽建筑大学学报》

关键词: 神经网络  旅行商问题  较大规模  公共边  归约  

2018年第10期 《综合运输》

关键词: 支持向量机  自适应  递归  svm  计算效率  原型  调用  数据集  子集  分类  算法  归约  边界  

2005年第05期 《计算机应用与软件》

关键词: 时间自动机  重置序列  归约  计算复杂性  

2019年第07期 《软件学报》

关键词: 智能控制  归约  模糊控制  人工神经网络  

2004年第02期 《航空学报》

关键词: 多重嵌套  自动化重构  自下而上分析  归约  模型代数表达式  

2018年第06期 《计算机工程与应用》

关键词: yacc  

2005年第23期 《计算机工程与应用》

关键词: 微分代数系统  流形  归约  平衡点  向量场  

2005年第04期 《系统工程与电子技术》

关键词: 命题时态逻辑  特征定理  分划  表达能力  扩充逻辑  不变性质  实现过程  状态空间  算法效率  模型检测  t算子  归约  

2005年第06期 《计算机科学》

关键词: 单指令多数据向量化  归约  依赖分析  代码生成  并行性  

2017年第07期 《计算机工程》

关键词: 可判定性  rabin树  归约  

2017年第02期 《中山大学学报论丛》

关键词: 可判定性  rabin树  归约  

2017年第02期 《逻辑学研究》

关键词: 认知逻辑  np问题  确定型图灵机  非确定型图灵机  np机  双语言结构  归约  演绎和反绎  认知逻辑形式语言  

2007年第01期 《前沿科学》

关键词: 分划递推法  hanoi塔  归约  变换  形式化推导  算法  

2006年第04期 《广西科学院学报》

关键词: 欠驱动机械系统  非线性控制  级联系统  归约  规范型  

2006年第05期 《电机与控制学报》

关键词: 冲突消解  语法分析  移进  归约  

2006年第04期 《电子测量与仪器学报》