可满足性
可满足性(satisfiability)是1993年公布的数学名词。
资源总数
500
可满足性 全部资料 500 份
考勤系统的详细设计与需求分析,通过考勤管理系统能满足公司多种考勤及管理要求
考勤系统的详细设计与需求分析,通过考勤管理系统能满足公司多种考勤及管理要求,能为公司带来巨大的经济效益: 1、考勤管理系统通过考勤机判断并记录员工上下班关信息,可以保证考勤数据的准确、公正、安全,减少考勤人员的工作负担,避免人为因素的干扰...
2014-01-21
65
曲线数据处理之曲线插值主要内容:实际观测值总不能稠密到满足任何条件下的需求
曲线数据处理之曲线插值主要内容:实际观测值总不能稠密到满足任何条件下的需求,对中间没有观测值的点位则需要通过插值获得答案。又实际观测数据往往是离散的,即在X轴上观测数据点之间是不等距的,也需要通过插值使其等距化。
2015-05-13
160
这个程序是基于Msp430单片机开发的一个测量外部频率的程序,经测试精度满足一般要求.
这个程序是基于Msp430单片机开发的一个测量外部频率的程序,经测试精度满足一般要求.
2017-03-22
67
最佳适应算法(Best Fit): 它从全部空闲区中找出能满足作业要求的、且大小最小的空闲分区
最佳适应算法(Best Fit): 它从全部空闲区中找出能满足作业要求的、且大小最小的空闲分区,这种方法能使碎片尽量小。为适应此算法,空闲分区表(空闲区链)中的空闲分区要按大小从小到大进行排序,自表头开始查找到第一个满足要求的自由分区分...
2016-08-16
93
微小型双足爬壁机器人足部传感系统设计
· 摘要: 吸盘的可靠吸附是爬壁机器人运动的基础,设计了机器人足部传感系统,用ADuC842单片机控制和采集了红外传感器阵列、光纤曲率传感器、气压传感器、加速度传感器的信息,经过处理后,通过UART发给机器人主控DSP...
2024-06-22
1