本推理系统可用于命题、谓词、注解命题和注解谓词的自动推理，系统自动识别是何种类型推理。
注解命题和注解谓词的推理可以解决一般的推理中的不协调问题（即系统中存在矛盾）。
注解命题和注解谓词的推理可以解决一般的推理中的不协调问题（即系统中存在矛盾）。
2022-05-19 15:58:50
268KB
1
人工智能-机器学习-模块化自重构机器人自动对接及分布式协调控制研究.pdf
2022-05-19 10:07:17
3.35MB
为减少城市战伤亡率，提出了一种基于ZigBee和蓝牙技术的红外人体探测系统方案。以星型网络为原型，对系统的探测距离及灵敏度、抗干扰能力、节点功耗、穿透能力进行了测试，做出了定量分析，提出了增大发射功率、使用稳定锂电池、缩小探测距离及角度、部署在关键点、增加关键点路由等改进方法，从而提高系统实战稳定性。
2022-05-18 16:30:36
117KB
1
组建一个完整的zigbee网状网络包括两个步骤：网络初始化、节点加入网络。其中节点加入网络又包括两个步骤：通过与协调器连接入网和通过已有父节点入网。
2022-05-15 16:28:20
73KB
1
大家跨服务器加事务的时候经常遇到以下报错：导入Microsoft分布式事务处理协调器MSDTC，网上大部分教程都是服务器配置msdtc，但是发现两个服务器都配置之后还是不行，可参照此图片解决，已验证过，不好用找我，最低可以支持到sqlserver2005的数据库以及2008R2的服务器，再低的版本没有验证过。
2022-05-09 20:00:53
31KB
1