排序方式: 共有44条查询结果,搜索用时 15 毫秒
1.
离散数学是计算机类专业的基础课程之一,命题逻辑、一阶逻辑与公理集合论是其重要组成部分.教学实践表明,初学者准确理解语法、语义、推理系统等抽象概念是有一定难度的.近年来,已有一些学者开始在教学中引入交互式定理证明工具,以帮助学生构造形式化证明,更透彻地理解逻辑系统.然而,现有的定理证明器有较高上手门槛,直接使用会增加学生的学习负担.鉴于此,在Coq中开发了针对教学场景的ZFC公理集合论证明器.首先,形式化了一阶逻辑推理系统和ZFC公理集合论;之后,开发了数条自动化推理规则证明策略.学生可以在与教科书风格相同的简洁证明环境中使用自动化证明策略完成定理的形式化证明.该工具被用在了大一新生离散数学课程的教学中,没有定理证明经验的学生使用该工具可以快速完成数学归纳法和皮亚诺算术系统等定理的形式化证明,验证了该工具的实际效果. 相似文献
2.
3.
(x 1000盒)1 9821分831 9841 9851 9861987比利时法国联邦德国 11,Q00 43,000 86,000 30,000 17,000 54一000 19,000 压,330 5 .100 4,900 8,500 6,300 to,000 4,500 2,700 1,800 1,000 8,800233,000145,00032已,000,022,930 8230150305998,000,000,000,000,500,000,000,450500500500500500600800900100900000000000750 10,000 41,000 91,000 29,000 18,000 59,000 12,000 5,560 5,已00 4,000 8,300 8,000 12,000 5,000 3,100 2,1 00 1,400 9,0002 35,0001 50,000300,00口,009,050 10,000 39,0Q0 93,000 29,000 18,500 60,000 1 3.500 5,55… 相似文献
4.
TDK公司开发EM和SM技术,制造高密度盒式录象磁带。EM技术,即真空沉积法(Vacuum Evaporation Method)。SM技术则为溅射法(Sputtering Method)。这两种工艺技术之共同点是,二者所制得的磁性层均不用有机粘合剂。EM技术通过金属蒸发和重结晶来构成磁记录层。SM技术是把惰性气体离子撞击成破碎的金属碎屑沉 相似文献
5.
1985年全世界约生产6.55亿盒1/2英寸盒式录象磁带(按T-120计),按83%的成品率计算,所消耗的聚酯薄膜、钴改性氧化铁和二氧化铬磁粉、粘合剂等如表1所示。 相似文献
6.
交流配电网普遍存在闭环设计、开环运行的现象,导致负荷转供速度慢,馈线功率不均衡。同时直流负荷的增加以及新能源渗透率的提高给配电网运行控制带来了新的挑战,要求配电网具备更强的潮流调节能力。为解决上述问题,研究了用于配电网馈线互联的柔性多状态开关(Soft Multi-State Open Point, SMOP)技术,提出基于双钳位子模块(Double Clamp Sub-Module, DCSM)的四端口模块化拓扑结构。基于其数学模型分析,确定了各端口的运行范围,设计控制系统结构并提出自愈控制策略。最后基于PSCAD搭建了四端口柔性多状态开关仿真模型,验证了所提拓扑及控制策略的有效性。 相似文献
7.
卷烟感官指标消费者评价方法 总被引:1,自引:0,他引:1
建立与GB5606. 4-2005《卷烟 感官技术要求》内容所对应的指标评价方法,并利用评价方法完成消费者卷烟感
官评价俗语与GB5606. 4-2005《卷烟 感官技术要求》中相关指标术语的准确转化,该方法能够将消费者感官评价结果以
标准指标术语形式量化体现出来,使消费者感官指标评价能够体现出定性、定量的数据结果,在产品感官品质指标上搭起了
一座与消费者沟通的桥梁。 相似文献
8.
Zr对Mg-Zn-RE合金显微组织及力学性能的影响 总被引:1,自引:0,他引:1
采用金相显微镜、扫描电镜、X-射线衍射仪以及电子万能拉伸实验机等设备研究、分析了Zr对Mg—Zn—RE镁合金的显微组织和力学性能的影响。结果表明:Zr元素对合金组织有明显的晶粒细化作用,Zr改善了合金的组织,提高了合金的力学性能。并且当Zr加入量为0.3%时合金的力学性能最佳:抗拉强度达到207MPa,伸长率达到16.9%。Zr的加入使合金断裂方式由准解理断裂向韧性断裂转变。 相似文献
9.
针对传统路面地物信息采集方法存在的数据采集周期长、成本高等问题,提出了一种基于手机传感器轨迹的城市路面地物检测方法.利用手机记录车辆行驶过程中各传感器数据的变化,分析经过姿态校正后的加速度数据,研究加速度变化与路况之间的联系,构建BP神经网络模型,并使用已采集数据对模型进行训练,以识别路面地物.实验结果表明,基于手机传感器轨迹的路面地物检测方法具有快速准确地检测路面地物信息的能力,且地物检测准确率大于85%,能够较为准确地检测路面地物,文中基于手机姿态传感器对手机加速度传感器姿态进行了实时矫正,利用手机垂直于路面的加速度变化检测路面地物,因此所提方法具有手机加速度传感器姿态无关性,此外,所提方法对硬件设备要求低、数据采集效率高,降低了路面地物信息采集的成本,具有广泛的应用前景. 相似文献
10.
据外刊报导,1985年世界磁记录材料产量增长速度十分可观。与1984年相比,盒式录象磁带增长38.17%,盒式录音磁带增长2.05%,软磁盘增长24.81%。然而,由于销售价下跌,1985年盒式录象磁带的世界总销售额仅比上年度增长1.04%;录音带的价格略有上涨,故销售总额比上年度增长了8.75%;而软磁盘,1985年的总销售额却比1984年下降了3.86%,1984~1985年世界盒式录象磁 相似文献