逻辑论文

2023-02-05一种基于BAN类逻辑的安全协议分析方法及其自动化实现

2023-02-05高中古典诗词教学需要引入逻辑分析

2023-02-03基于时序逻辑语言XYZ/E的CA认证系统描述与求精

2023-02-01DNA动态逻辑回路与静态结构自组装的生物化学应用研究

2023-02-01双模腔中强场驱动下的非传统几何逻辑门

2023-02-01AFS模糊逻辑在分类器设计中的应用

2023-02-01模糊描述逻辑扩展模糊软集的研究

2023-02-01结构化论辩系统——限制性反驳和非限制性反驳（英文）

2023-01-30基于原子—腔—光纤系统的纠缠态制备和远程量子逻辑门实现方案

2023-01-30基于AFS理论的模糊决策树算法研究

2023-01-30逻辑程序非基有限失败的语义

2023-01-29基于知识的模糊逻辑电路非线性行为宏模型

2023-01-26部分多值逻辑中极大封闭集之最小覆盖的判定

2023-01-25基于互补式忆阻结构的可重构逻辑研究

2023-01-25基于ARM的MVB接口机车逻辑控制模块设计与实现

2023-01-15“二重性逻辑”在哲学概念教学中的作用浅析

2023-01-15基于光学系统的量子逻辑门和量子密集编码

2023-01-15基于逻辑框架法的PPP项目实施计划模型研究

2023-01-15面向服务提供的逻辑承载网构建关键技术研究

2023-01-12基于模糊数学理论的信誉报告策略研究

2023-01-11基于遗传算法的量子可逆逻辑电路综合方法研究

2023-01-09基于PLC的组合机床控制理论研究

2023-01-08非经典逻辑代数的粗糙性研究

2023-01-08基于滑模观测和模糊逻辑的永磁同步电机控制技术及应用

2023-01-06基于SVO逻辑的电子商务协议形式化分析与研究

2023-01-04基于语料库的逻辑结果程式语的语义的对比研究

2023-01-03基于RTD的通用逻辑单元设计及其应用

2022-12-25应用模糊逻辑法确定顾客需求重要度的研究

2022-12-24基于逻辑ATE的双界面CPU卡测试研究和开发

2022-12-23基于CORBA的分布式智能网的业务逻辑对象实现