根据部分K值逻辑完备性理论,证明了当m=2,σ=e时,若正则可离关系G2=G2({1,2})∪G"2之关系图的基础图仅为N图,则T(G2)不是PK*的最小覆盖成员。
2021-02-22 18:07:25
460KB
1
根据部分K值逻辑的完备性理论和相似关系概念,利用部分多值逻辑函数集中准完备集之最小覆盖成员的判定构造了部分四值逻辑函数集P4*中的Sheffer函数。
2021-02-22 18:07:22
149KB
1
根据部分多值逻辑的完备性理论和部分三值逻辑中准完备集的最小覆盖,给出部分三值逻辑中Sheffer函数的判定算法。
2021-02-22 18:06:56
288KB
1
SetupFactory9.0.3.0汉化补丁包，解压后将文件直接覆盖到装好后的SetupFactory安装目录位置即可使用。不需要再进行其他外挂操作。
2021-02-19 00:04:24
6.64MB
1
shopping-mall项目是一套电商系统，包括前台商城系统及后台管理系统，基于SSM实现。 前台商城系统包含首页门户、商品推荐、商品搜索、商品展示、购物车、订单流程、会员中心、客户服务、帮助中心等模块。 后台管理系统包含商品管理、订单管理、会员管理、促销管理、运营管理、内容管理、统计报表、财务管理、权限管理、设置等模块。
2021-02-16 20:07:40
144KB
1
完整英文版IEC PAS 61249-8-5:2014(E)Qualification and performance specification of permanent solder mask and flexible cover materials(永久性阻焊剂和挠性覆盖材料的鉴定和性能规范), 本规范建立了液态和干膜阻焊材料的评估要求，以及确定其用在一个标准的印制板系统上的可接受性要求， 基本上跟IPC-SM-840E类似。
2021-02-09 11:02:02
8.25MB
这里有数十篇国内外的关于智能清洁机器人全覆盖路径规划的论文，而且有不少是发表在知名的杂志上的论文
2021-02-08 13:02:34
11.84MB
1