没有合适的资源?快使用搜索试试~
我知道了~
文库首页
开发技术
其它
关于部分K值逻辑Sheffer函数(Ⅳ)* (2004年)
关于部分K值逻辑Sheffer函数(Ⅳ)* (2004年)
自然科学
论文
需积分: 5
0 下载量
79 浏览量
2021-05-16
19:49:47
上传
评论
收藏
550KB
PDF
举报
温馨提示
立即下载
根据部分多值逻辑的完备性理论[罗铸楷等],证明了m=2时的一类正则可离函数集在P*k的极大封闭集之最小覆盖中必不出现。
资源推荐
资源评论
部分四值逻辑中Sheffer函数的判定与构造
浏览:79
根据部分K值逻辑的完备性理论和相似关系概念,利用部分多值逻辑函数集中准完备集之最小覆盖成员的判定构造了部分四值逻辑函数集P4*中的Sheffer函数。
论文研究-部分三值逻辑中Sheffer函数的判定算法.pdf
浏览:152
稀疏矩阵的乘法运算可用于解决许多实际的应用问题。提出一种新颖的稀疏矩阵相乘算法,算法实现中将计算单元由单个元素扩展至行向量,避免了矩阵的转置,减少了扫描次数。利用三元组和少量的额外辅助空间实现稀疏矩阵的相乘。实验结果表明了该算法的有效性。
部分三值逻辑中Sheffer函数的判定算法
浏览:15
根据部分多值逻辑的完备性理论和部分三值逻辑中准完备集的最小覆盖,给出部分三值逻辑中Sheffer函数的判定算法。
论文研究-部分二值逻辑中Sheffer函数的构造与判定算法.pdf
浏览:77
在深入研究部分二值逻辑中Sheffer函数的基础上,根据部分二值逻辑中准完备集的最小覆盖,提出了一种高效地构造部分二值逻辑中Sheffer函数的算法,此算法能够构造出部分二值逻辑中的全部Sheffer函数,在构造算法的基础上,进一步提出了一种部分二值逻辑中Sheffer函数的判定算法,此算法和传统判定算法相比,避免了繁琐的计算,可以说是一种较简单的判定算法。
论文研究-部分四值逻辑中准完备集的最小覆盖.pdf
浏览:82
根据部分[K]值逻辑的完备性理论以及准完备集之间的相似关系理论,定出了部分四值逻辑的所有准完备集的最小覆盖,从而解决了部分四值逻辑中Sheffer函数的判定问题。
部分四值逻辑中保三元正则可离关系函数集最小覆盖的确定
浏览:119
Sheffer函数的判定与构造是多值逻辑函数结构理论中的重要问题之一,此问题可归结为定出多值逻辑函数集之准完备集的最小覆盖。本文根据部分K值逻辑的完备性理论以及准完备集之间的相似关系理论,定出部分四值逻辑中保...
论文研究-关于多处理机调度问题的量子粒子群算法研究.pdf
浏览:197
根据部分多值逻辑的完备性理论和部分三值逻辑中准完备集的最小覆盖,给出部分三值逻辑中Sheffer函数的判定算法。
部分四值逻辑中保二元正则可离关系最小覆盖之确定
浏览:15
根据部分K值逻辑的完备性理论、正则可离关系、相似关系的概念,构造同源关系的概念。对部分四值逻辑中最小覆盖的确定进行分析。首先,总结部分四值逻辑中,对于正则可离函数集共有129个准完各集不可剔除;然后,对保二元...
部分K值逻辑中最小覆盖之判定的一些结果
浏览:175
根据部分K值逻辑完备性理论,证明了当m=2,σ=e时,若正则可离关系G2=G2({1,2})∪G"2之关系图的基础图仅为N图,则T(G2)不是PK*的最小覆盖成员。
部分四值逻辑中保三元单纯可离关系函数集最小覆盖之确定
浏览:15
根据部分K值逻辑的完备性理论和相似关系概念,定出并证明了属于准完备集最小覆盖的保三元单纯可离关系函数集.
部分多值逻辑中保正规关系的准完备集的性质 (2012年)
浏览:82
在多值逻辑完备性理论中,Sheffer函数的刻划是一个重要的问题,此问题的解决可归结为定出其准完备集的最小覆盖.本文对部分多值逻辑函数集中保正规关系的准完备集的性质进行了研究,为确定部分多值逻辑函数集中准完备集...
P4^*中保二元正则可离关系非最小覆盖的剔除
浏览:96
为确定部分四值逻辑的最小覆盖,根据部分K值逻辑的完备性理论、正则可离关系以及准完备集之间的相似关系理论,对部分四值逻辑的最小覆盖进行分析,证明了270个保二元正则可离关系函数集中的222个函数集必不属于部分四值...
正则可离关系之最小覆盖成员的判定结果
浏览:43
根据部分K值逻辑完备性理论,得到了当m=2,σ=e,时,若正则可离关系G<SUB>2之关系图的基础图连通,则T(G<SUB>2)不是P*K的最小覆盖成员的结论。
matlab的素描代码-LiftConceptSketches3D:论文代码:“将徒手绘制的概念草图提升为3D”,YuliaGryaditsk
浏览:56
Sheffer, Adrien Bousseau ACM Transactions on Graphics (Proceedings of SIGGRAPH Asia), 2020. 描述 该代码由两部分组成:用于直线笔划重构StraightStrokesMatLab的MatLab代码和用于CurvedStrokesPython中曲线...
octopi-init:一个Node.js&Electron应用程序,可轻松配置新镜像的OctoPi microSD适配器
浏览:104
OctoPi是OctoPrint的一个特定于Raspberry的发行版,由Guy Sheffer维护 概述 Raspberry Pi计算机上加载的OctoPrint入门涉及安装OctoPi映像,然后进行一些配置工作,然后此计算机才能启动。 该应用程序希望通过引入一...
CustomPiOS:Raspberry Pi和其他ARM设备发行生成器
浏览:31
CustomPiOS是100%免费的开源软件,由Guy Sheffer维护。 如果它有助于您的生活,您的组织或使您快乐,请考虑捐款。 这意味着我可以编写更多代码,而不必担心我的余额。 任何数量都很重要。 也非常感谢人们贡献代码。...
UbuntuDockerPi:开箱即用的Raspberry P Ubuntu发行版,带有Docker的64位chroot
浏览:6
UbuntuDockerPi是100%免费和开源的,由Guy Sheffer维护。 如果它有助于您的生活,您的组织或使您快乐,请考虑捐款。 这意味着我可以编写更多代码,而不必担心我的余额。 任何数量都很重要。 也非常感谢人们贡献代码...
OctoPi-upgrade-helper:一个shell脚本,可帮助备份和还原适用于OctoPi图像升级的OctoPrint数据
浏览:75
是由Guy Sheffer维护的Raspberry Pi计算机的分发映像。 概述 当前的OctoPi分发方法要求每个用户手动备份其~/.octoprint文件夹结构,并记住他们过去所做的许多配置更改。 在某些时候,变更,调整和调整的集合可能会...
Advanced Linear Algebra
浏览:178
4星 · 用户满意度95%
Examples of Sheffer Sequences, 488 Umbral Operators and Umbral Shifts, 490 Continuous Operators on the Umbral Algebra, 492 Operator Adjoints, 493 Umbral Operators and Automorphisms of the Umbral
BUCK/BOOST转换器小信号建模与稳定性分析 (2009年)
浏览:107
利用电感电压平均近似和电容电流平均近似的方法,建立了连续模式(CCM)下电压,控制型BUCK/BOOST结构DC/DC转换器的线性模型,实现了非线性向线性模型的转化。采用此模型得到的控制到输出的传递函数与采用状态空间方法得到的传递函数一致;在此基础上基于Matlah工具对不同补偿网路的频域特性进行了仿真,仿真结果表明双极点、双零点补偿后的系统稳定性能最好。利用Hspice时域仿真验证了频域分析结果
基于MATLAB/SIMULINK的并网型双馈风力发电机仿真模型的研究 (2010年)
浏览:176
在分析双馈发电机交流励磁变速恒频发电运行原理的基础上,利用MATLAB/SIMULINK分别搭建了空载并网控制模型和并网后的追踪最大风能变速恒频发电运行模型,并结合两种模型进行分时仿真,解决了传统仿真方式中由于并网前后定子电压输出方向不同,而无法讨论并网瞬间工况的问题。仿真结果表明了文中所建立的风力发电机模型不但可以在变速情况下可靠并网,而且并网后还能在变速恒频运行的基础上实现有功功率、无功功率的
由心电信号提取呼吸信息的算法及其仿真实现 (2014年)
浏览:164
为了使单纯的心电监护设备实现对多种生理信号的检测,减小设备的复杂性,根据心跳频率和呼吸频率处在不同的频段,提出2种由心电信号提取呼吸信息(ECG-derivedrespiratorysignal,EDR)的算法:离散傅里叶变换EDR算法和离散小波变换EDR算法。利用MATLAB软件在时域和频域分别对这2种算法进行验证,并进行了相关分析比较。经过筛选比较,离散小波变换EDR算法选用coifN小波作为
三自由度Delta并联机器人运动学分析及工作空间求解 (2008年)
浏览:107
通过对三自由度Delta机器人机构的分析,建立了运动学模型推导出该机器人的运动学方程,进一步得到位置反解的计算公式;同时给出了正解的数值解法,并结合算例验证了推导的正确性。利用运动学反解方程,提出了一种工作空间的求法。
自制桥式差分电容测量电路 (2009年)
浏览:155
差分电容传感器电路采用交流电电容桥法对差分电容进行测量。此方法所采用的载波信号为 100 kHz的高频交流信号。相位敏感解调器将输出的高频交流信号转化为直流信号输出之后,利用 RS-232电缆将电压表与电脑连接起来,对输出电压进行记录。实验中,需要先使用固定电容对此电容传感器进行标定,然后将其应用到微小可变电容的测量中。此实验设计出的电容传感器,其分辨率可高达0 .01 fF,等效于差分电容桥的
基于MATLAB Robotics工具箱的SCARA机器人轨迹规划与仿真 (2012年)
浏览:109
为研究SCARA机器人的轨迹规划,在MATLAB环境下,对该机器人运动学参数进行了设计,利用Robotics toolbox工具箱编制了简单的程序语句,建立该机器人运动学模型,讨论了标准D-H参数和改进D-H参数建模方法的区别,并对机器人的轨迹规划进行了仿真.通过仿真,直观地显示了机器人关节的运动,得到了连续平滑的机器人关节角度轨迹曲线.仿真实验表明,所设计的运动学参数是正确的,从而达到了预定的目
一种新型电荷放大器的设计方法与电路 (2006年)
浏览:14
介绍了一种新的电荷放大器的方法和电路。该电路主要由电流转换电路、恒流源电路、积分电路、模拟开关电路等纠成。其突出持点是转换速度快、电路简单及输人信号范围大,适合构建成多路,在传感器测量系统中有着广泛地应用前景。
乘用车物流运输计划问题的模型构建与求解 (2015年)
浏览:15
整车物流随着我国汽车行业的快速发展,成为现代物流行业中发展最迅速的板块. 利用最优化理论和组合优化理论建立了线性规划模型,并结合人工干预及经验,通过定量与定性分析方法,从轿运车的使用数量、乘用车的装载方法及路径选择三方面,对整车物流公司的运输计划问题进行研究和探讨.
已知环境下一种高效全覆盖路径规划算法 (2011年)
浏览:28
5星 · 资源好评率100%
提出一种基于栅格表示的非结构化环境下移动机器人的高效全覆盖路径规划算法.移动机器人采取内螺旋算法从起始点进行覆盖,当陷入覆盖死角时,采用野火法搜索周边离它最近的未覆盖点,找到后按A*算法规划出一条路径到达新的覆盖起点,直到全部覆盖为止.仿真结果表明该算法的覆盖率达到100%,重复率较其他算法低.而且从理论上进一步证明了该算法的有效性.
评论
收藏
内容反馈
立即下载
资源评论
资源反馈
评论星级较低,若资源使用遇到问题可联系上传者,3个工作日内问题未解决可申请退款~
联系上传者
评论
weixin_38655878
粉丝: 5
资源:
973
私信
上传资源 快速赚钱
我的内容管理
展开
我的资源
快来上传第一个资源
我的收益
登录查看自己的收益
我的积分
登录查看自己的积分
我的C币
登录后查看C币余额
我的收藏
我的下载
下载帮助
前往需求广场,查看用户热搜
最新资源
python深度优先搜索算法DFS
【4月组队学习-llm-universe笔记】 0基础小白 RAG应用开发实践笔记
电脑录屏、截屏、区域录屏软件
EPLAN2023免修改时间启动插件
网上校友录管理系统的设计与实现(含完整源代码+完整说明文档)-基于ASP.NET+SQL技术
用C++在Visual Studio写的一个《职工管理系统》练习,可以用于大一大二的课程设计
【4月组队学习-llm-universe笔记】 0基础小白 RAG应用开发实践笔记
halcon图像的对比度增强例子
tomcat lib含kettle
AutoRunner 自动化测试工具
资源上传下载、课程学习等过程中有任何疑问或建议,欢迎提出宝贵意见哦~我们会及时处理!
点击此处反馈
安全验证
文档复制为VIP权益,开通VIP直接复制
信息提交成功