软件测试实验报告三角形形状判定问题一、实验环境VisualC++6.0软件环境二、实验原理软件测试是通过运行所开发的软件产品,识别和控制软件缺陷,以验证和确认用户需求已得到满足的过程。
三、开发程序清单
2023/8/20 16:53:30 81KB 软件测试 实验报告 VC++
1
《10000个科学难题》序  前言  奥特(Vaught)猜想与拓扑奥特猜想  超紧基数典型内模型问题  递归可枚举度中的格嵌入问题和双量词理论可判定性问题  高层有限波雷尔(Borel)等价关系中的两个问题  极小塔问题  r=rω?及s=sω?  连续统势确定问题  奇异基数问题  萨克斯(Sacks)关于波斯特(Post)问题的度不变解问题和马丁(Martin)猜想  图灵(Turing)等价问题  图灵(Turing)度的自同构问题  是否存在一个稳定的一阶完全理论,它有大于一的有穷多个可数模型  Cherlin-zilber猜想  带指数函数的实数理论的可判定性问题  Shelalh唯一性猜想  微分封闭域上的平凡强极小集  3-Calabi-Yau代数的分类  阿廷(Artin)群的Grobner-Shirshov基  布如意(Broue)交换亏群猜想  布朗(Brown)问题  凯莱(Cayley)图和相关的问题  福克斯(Foulkes)猜想  戈伦斯坦(Gorenstein)对称猜想  卡普兰斯基(Kaplansky)第六猜想  中山(Nakayama)猜想和广义中山(Nakayama)猜想  拉姆拉斯(Ramras)问题  Smashing子范畴上的公开问题  巴斯-奎伦(Bass-Quillen)猜想  非半单Brauer代数的表示理论  非交换曲面的分类  关于码交换等价于前缀码的猜测  关于半群上一类重要同余的一个系列推广模式  关于有限码具有有限完备化的判定问题  关于正则半群的两个嵌入问题  广义倾斜模中的两个猜想  考克斯特群的胞腔  满足正规子群极小条件的可解群的Fitting子群是否是幂零的?  模代数smash积的半素性  球极函数的提升Pieri型公式  稳定等价猜想  一些代数的Grobner-Shirshov基  由导出范畴建立量子群和典范基  有限维数猜想  ABC猜测  巴斯(Bass)猜想和索尔(Soule)猜想  Lichtenbaum猜想  里德一所罗门(Reed-Solomon)码的译码问题  沙努尔(Schanuel)猜想  [1]哥德巴赫(Goldbach)猜想  关于不同模覆盖系的厄尔多斯(Erdos)问题  关于倒数和发散序列的厄尔多斯图兰(Erdos-Turan)猜想  关于奇数阶阿贝尔(Abel)群的Snevily猜想  关于有限域上代数曲线点数的Drinfeld-Vladt界  朗兰兹(Langlands)纲领  类数1实二次域的高斯猜想  黎曼(Riemann)zeta函数在奇正整数点处值的超越性  黎曼(Riemann)猜想  欧拉常数的超越性  椭圆曲线的BSD猜想  希尔伯特第九问题:高斯二次互反律如何推广  希尔伯特第十二问题:构作数域的最大阿贝尔扩域  岩泽(Iwasawa)理论的主猜想  ……  编后记
2023/8/19 14:21:04 9.17MB 科学难题,数学,猜想
1
现在很多软件都有统计系统了,说好听点叫做统计用户习惯,改良产品,不好听点,呵呵,我就不说了。
核心我已经封装成类了,可以获取操作系统版本,MAC地址,本地IP地址,以及判定是否为网吧。
测试项目为VS2010MFC.具体使用说明及注意事项,请参阅这里:http://blog.csdn.net/sunflover454/article/details/51525686
1
本文件功能:用BP神经网络预测温湿度。
本次仿真,预测模型为8*8*8*1,输入数据为359天数据(一个小时测一个数据,一天数据为24)。
其中350天数据做训练样本,用来训练BP网络模型的权值和阈值,4天用来做测试样本,用来测试3天左右的温湿度预测值。
本次训练效果比较上次仿真较为准确,判定系数可以达到0.8左右(越靠近1表明仿真效果越好),预测值与实际值点状图基本围绕在主对角线左右,MSE平方误差可以达到0.01,BP网络预测输出图也可以看出预测值的变化趋势基本与期望值一致。
本次仿真存在不足:1.未修改学习率、附加动量等参量没有解决BP网络收敛慢的问题。
2.没有使用全局优化的算法,没有解决BP容易陷入极值点的问题。
这种用BP网络来进行预测的模型网上有很多,但是大多数都是预测风力发电等,可能也是因为该BP模型是40年代所提出,我是没有找到有温湿度的预测,该代码纯属自己改写的,并且运行无误,现在分享出来,让大家节省一些时间去研究更有深度的算法。
2023/8/2 9:25:48 2.28MB BP神经网络  温湿度预测
1
VB石头剪刀布猜拳游戏,游戏操作方法:在窗体左下方的石头、剪子、布图标中,单击用户想要出的一种手势,电脑会自动给出该手势,任一方赢了都会给出相应提示图片信息。
游戏结果判定逻辑:  将用户和计算机所选的图片的序号合成一个字符串,根据这个字符串判断用户的输赢  00石头对石头重来  01石头对剪子用户赢  02石头对布用户输  10剪子对石头用户输  11剪子对剪子重来  12剪子对布用户赢  20布对石头用户赢  21布对剪子用户输  22布对布重来
2023/7/27 20:12:14 356KB VB源码-游戏编程
1
关于支持向量机里面讲核函数的,介绍了线性核函数、高斯核函数、及多项式核函数等。
还介绍了核函数的判定以及Mercer定理
2023/7/21 17:27:50 130KB 核函数 支持向量机 维数灾难
1
来自https://download.csdn.net/download/yangjunbuaa/10157766细化到三级书签,进行过OCR,保留高清图片上传时间:2019/3/2文件大小:32.026MbContents•----封面•----序•----目录•----第十五章曲线积分•斯蒂尔切斯积分--------§1.第一型曲线积分------------543.第一型曲线积分的定义------------544.约化为普通定积分------------545.例--------§2.第二型曲线积分------------546.第二型曲线积分的定义------------547.第二型曲线积分的存在与计算------------548.闭路的情形•平面的定向------------549.例------------550.用取在折线上的积分的逼近------------551.用曲线积分计算面积------------552.例------------553.两不同型曲线积分间的联系------------554.物理问题--------§3.曲线积分与道路无关的条件------------555.与全微分相关问题的提------------556.与道路无关积分的微分法------------557.用原函数来计算曲线积分------------558.恰当微分的判别与在矩形区域的情况下原函数的求------------559.推广到任意区域的情形------------560.最终结------------561.沿闭路的积------------562.非单连通区域或有奇点的情------------563.高斯积分------------564.三维的情形------------565.例------------566.物理问题的应用--------§4.有界变差函数------------567.有界变差函数的定义------------568.有界变差函数类------------569.有界变差函数的性质------------570.有界变差函数的判定法------------571・连续的有界变差函数------------572.可求长曲线--------§5.斯蒂尔切斯积分------------573.斯蒂尔切斯积分的定义------------574.斯蒂尔切斯积分存在的一般条------------575·斯蒂尔切斯积分存在的若干种情况------------576.斯蒂尔切斯积分的性质------------577.分部积分法------------578.化斯蒂尔切斯积分为黎曼积分------------579.斯蒂尔切斯积分的计算------------580.例------------581.斯蒂尔切斯积分的几何说明------------582.中值定理,估计值------------583.斯蒂尔切斯积分记号下面的极限过程------------584.例题及补充------------585.化第二型曲线积分为斯蒂尔切斯积分•----第十六章二重积分--------§1.二重积分的定义及简单性质------------586.柱形长条体积的问题------------587.化二重积分为逐次积分------------588.二重积分的定义------------589.二重积分存在的条件------------590.可积函数类------------591.下积分及上积分作为极限------------592.可积函数与二重积分的性质------------593.积分当作区域的可加函数,对区域的微分法--------§2.二重积分的计算------------594.在矩形区域的情况下化二重积分为逐次积分------------595.例------------596.在曲边区域的情况下化二重积分为逐次积分------------597.例------------598.力学应用------------599.例--------§3.格林公式------------600.格林公式的推演------------601.应用格林公式到曲线积分的研究------------602.例题及补充--------§4.二重积分中的变量变换------------603.平面区域的变换------------604.例------------605.曲线坐标中面积的表示法-----------
2023/7/18 20:22:13 31.27MB 菲赫金哥尔茨 微积分 第8版
1
DataCastle轴承故障预测数据集,可供下载使用的有2个文件:1.train.csv,训练集数据,1到6000为按时间序列连续采样的振动信号数值,每行数据是一个样本,共792条数据,第一列id字段为样本编号,最后一列label字段为标签数据,即轴承的工作状态,用数字0到9表示。
2.test_data.csv,测试集数据,共528条数据,除无label字段外,其他字段同训练集。
总的来说,每行数据除去id和label后是轴承一段时间的振动信号数据,选手需要用这些振动信号去判定轴承的工作状态label。
2023/6/15 11:38:32 21.87MB 数据集
1
简单的登陆界面,用到了简单的Access数据库的链接;可以做学习用.大一时候课程设计也找过类似的程序,但是没有满意的,所以按照我的感觉为刚刚开始学习C#的同学做的.这个小程序除了对登录的用户名和密码进行匹配外,还对登录的身份类型进行了判定;比如,如果是管理员身份则进入管理员界面;如果是普通用户则进入普通用户界面.
1
作者:谢惠民出版社:高等教育出版社出版年:2003-7页数:424定价:35.50元装帧:简裝本ISBN:9787040119220内容简介······《数学分析习题课讲义(上册)》是教育部“国家理科基地创建名牌课程项目”的研究成果,其目的是为数学分析的习题课教学提供一套具有创新特色的教材和参考书。
《数学分析习题课讲义(上册)》以编著者们近20年来在数学分析及其习题课方面的教学经验为基础,吸取了国内外多种教材和研究性论著中的大量成果,非常注意经典教学内容中的思想、方法和技巧的开辟和延伸,在例题的讲解中强调启发式和逐步深入,在习题的选取中致力于对传统内容的更新、补充与层次化。
《数学分析习题课讲义(上册)》分上下两册出版。
上册内容为极限理论和一元微积分,下册内容为无穷级数和多元微积分。
《数学分析习题课讲义(上册)》可作为高等院校理工科教师和学生在数学分析习题课方面的教材或参考书,也可以作为研究生入学考试和其他人员的数学分析辅导书。
目录······序前言第一章引论1.1关于习题课教案的组织1.2书中常用记号1.3几个常用的初等不等式1.3.1几个初等不等式的证明(3)1.3.2练习题(7)1.4逻辑符号与对偶法则第二章数列极限2.1数列极限的基本概念2.1.1基本定义(12)2.1.2思考题(13)2.1.3适当放大法(14)2.1.4例题(15)2.1.5练习题(17)2.2收敛数列的基本性质2.2.1思考题(18)2.2.2例题(18)2.2.3判定数列发散的方法(21)2.2.4练习题(25)2.3单调数列2.3.1例题(26)2.3.2练习题(30)2.4cauchy命题与Stolz定理2.4..1基本命题(31)2.4.2例题(35)2.4.3练习题(37)2.5自然对数的底e和Euler常数72.5.1与数e有关的两个问题(38)2.5.2关于e的基本结果(38)2.5.3Euler常数y(43)2.5.4例题(44)2.5.5练习题(45)2.6由迭代生成的数列2.6.1例题(46)2.6.2单调性与几何方法(49)2.6.3练习题(52)2.7对于教学的建议2.7.1学习要点(53)2.7.2补充例题(54)2.7.3参考题(55)第一组参考题(55)第二组参考题(57)2.8关于数列极限的一组习题课教案2.8.1第一次习题课(60)2.8.2第二次习题课(62)2.8.3第三次习题课(63)2.8.4第四次习题课(65)第三章实数系的基本定理3.1确界的概念和确界存在定理3.1.1基本内容(67)3.1.2例题(67)3.1.3练习题(69)3.2闭区间套定理3.2.1基本内容(70)3.2.2例题(71)3.2.3练习题(72)3.3凝聚定理3.3.1基本内容(73)3.3.2例题(73)3.3.3练习题(74)3.4Ca.uchy收敛准则3.4.1基本内容(74)3.4.2基本命题(75)3.4.3例题(76)3.4.4压缩映射原理(77)3.4.5练习题(79)3.5覆盖定理3.5.1基本内容(80)3.5.2例题(81)3.5.3练习题(83)3.6数列的上极限和下极限3.6.1基本定义(83)3.6.2基本性质(84)3.6.3例题(88)3.6.4练习题(91)3.7对于教学的建议3.7.1学习要点(92)3.7.2一题多解(93)3.7.3参考题(95)第一组参考题(95)第二组参考题(96)第四章函数极限4.1函数极限的定义4.1.1函数极限的基本类型(97)4.1.2函数极限的其他类型(98)4.1.3思考题(98)4.1.4例题(99)4.1.5练习题(102)4.2函数极限的基本性质4.2.1基本性质(103)4.2.2基本命题(104)4.2.3思考题(107)4.2.4例题(107)4.2.5练习题(109)4.3两个重要极限4.3.3例题(112)4.3.4练习题(114)54.4无穷小量、有界量、无穷大量和阶的比较4.4.1记号o,O与~(115)4.4.2思考题(117)4.4.3等价量代换法(119)4.4.4练习题(121)54.5对于教学的建议4.5.1学习要点(122)4.5.2参考题(122)第五章连续函数5.1连续性概念5.1.1内容提要(124)5.1.2思
2023/3/9 20:18:01 7.72MB 谢惠民 数学分析 讲义 上册
1
共 79 条记录 首页 上一页 下一页 尾页
在日常工作中,钉钉打卡成了我生活中不可或缺的一部分。然而,有时候这个看似简单的任务却给我带来了不少烦恼。 每天早晚,我总是得牢记打开钉钉应用,点击"工作台",再找到"考勤打卡"进行签到。有时候因为工作忙碌,会忘记打卡,导致考勤异常,影响当月的工作评价。而且,由于我使用的是苹果手机,有时候系统更新后,钉钉的某些功能会出现异常,使得打卡变得更加麻烦。 另外,我的家人使用的是安卓手机,他们也经常抱怨钉钉打卡的繁琐。尤其是对于那些不太熟悉手机操作的长辈来说,每次打卡都是一次挑战。他们总是担心自己会操作失误,导致打卡失败。 为了解决这些烦恼,我开始思考是否可以通过编写一个全自动化脚本来实现钉钉打卡。经过一段时间的摸索和学习,我终于成功编写出了一个适用于苹果和安卓系统的钉钉打卡脚本。
2024-04-09 15:03 15KB 钉钉 钉钉打卡