命题公式合法性的判定

表达式计算说明 很久就想编一个这样的计算器，只可惜一直没什么思路，最近突然灵感来了，所以就写下这个程序。
现在还在测试阶段，所以功能不是很完善。
程序功能：基本的表达式运算，可以自定义函数跟常量，分别保存在“常数.txt”和“函数.txt”，方便自己添加。
双击相应的函数名或常数名就可以将函数或常量添加到表达式中。
计算过程只能当表达式只有一行时有效。
实例1：计算sqr(19+tan(98)*tan(91)-sin(122)*(5*5-(19-11)))/2 计算过程sqr(19+tan(98)*tan(91)-sin(122)*(5*5-(19-11)))/2 =sqr(19+-7.11536972238419*tan(91)-sin(122)*(5*5-(19-11)))/2 =sqr(19+-7.11536972238419*-57.2899616307588-sin(122)*(5*5-(19-11)))/2 =sqr(19+-7.11536972238419*-57.2899616307588-.848048096156426*(5*5-(19-11)))/2 =sqr(19+-7.11536972238419*-57.2899616307588-.848048096156426*(5*5-8))/2 =sqr(19+-7.11536972238419*-57.2899616307588-.848048096156426*17)/2 =20.3032618253667/2 =10.1516309126834实例2：计算 a=34 b=55 c=a+1 圆的面积(c) a*b c=a+b 圆的面积(c) 以下是计算结果： 圆的面积(c)=3848.4510006475 a*b=1870 圆的面积(c)=24884.5554090847 内置函数： !(x) -x的阶乘 lg(x),log(x) 以10为底的对数 ln(x) 以e为底x的对数 pow(x,y) x的y方次幂 prime(x) 判定x是否是素数，如果是直接将s2返回，否则将其各因子用连乘返回 sqr(x),sqrt(x) -x的二次方根 arcsin(x) -x的反正弦 arccos(x) -x的反余弦 arcsec(x) -x的反正割 arccsc(x) -x的反余割 atn(x),arctg(x) -x的反正切 arcctg(x) -x的反余切 sin(x) -x的正弦 cos(x) -x的余弦 sec(x) -x的正割 csc(x) -x的余割 tg(x),tan(x) -x的正切 ctg(x) -x的余切 harcsin(x) -x的反双曲正弦 harccos(x) -x的反双曲余弦 harcsec(x) -x的反双曲正割 harccsc(x) -x的反双曲余割 harctg(x),harctan(x) -x的反双曲正切 harcctg(x) -x的反双曲余切 hsin(x) -x的双曲正弦 hcos(x) -x的双曲余弦 hsec(x) -x的双曲正割 hcsc(x) -x的双曲余割 htg(x),htan(x) -x的双曲正切 hctg(x) -x的双曲余切有什么意见或建议可以跟我联系Email: ldm.menglv@gmail.com

个计算机视觉，图像处理和机器视觉所共有的经典问题便是判定一组图像数据中是否包含某个特定的物体，图像特征或运动状态。
这一问题通常可以通过机器自动解决，但是到目前为止，还没有某个单一的方法能够广泛的对各种情况进行判定：在任意环境中识别任意物体。
现有技术能够也只能够很好地解决特定目标的识别，比如简单几何图形识别，人脸识别，印刷或手写文件识别或者车辆识别。
而且这些识别需要在特定的环境中，具有指定的光照，背景和目标姿态要求。

WST501—2016电子病历与医院信息平台标准符合性测试规范:本标准规定了电子病历与医院信息平台标准符合性测试的测试过程、测试方法、测试内容和测试结果判定准则等。
本标准适用于电子病历基本数据集标准符合性测试、电子病历共享文档规范标准符合性测试和基于电子病历的医院信息平台标准符合性测试。

软件测试实验报告三角形形状判定问题一、实验环境VisualC++6.0软件环境二、实验原理软件测试是通过运行所开发的软件产品，识别和控制软件缺陷，以验证和确认用户需求已得到满足的过程。
三、开发程序清单

《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）理论的主猜想　　……　　编后记

现在很多软件都有统计系统了，说好听点叫做统计用户习惯，改良产品，不好听点，呵呵，我就不说了。
核心我已经封装成类了，可以获取操作系统版本，MAC地址，本地IP地址，以及判定是否为网吧。
测试项目为VS2010MFC.具体使用说明及注意事项，请参阅这里：http://blog.csdn.net/sunflover454/article/details/51525686

本文件功能：用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年代所提出，我是没有找到有温湿度的预测，该代码纯属自己改写的，并且运行无误，现在分享出来，让大家节省一些时间去研究更有深度的算法。

VB石头剪刀布猜拳游戏，游戏操作方法：在窗体左下方的石头、剪子、布图标中，单击用户想要出的一种手势，电脑会自动给出该手势，任一方赢了都会给出相应提示图片信息。
游戏结果判定逻辑：　　将用户和计算机所选的图片的序号合成一个字符串，根据这个字符串判断用户的输赢　　00石头对石头重来　　01石头对剪子用户赢　　02石头对布用户输　　10剪子对石头用户输　　11剪子对剪子重来　　12剪子对布用户赢　　20布对石头用户赢　　21布对剪子用户输　　22布对布重来

关于支持向量机里面讲核函数的，介绍了线性核函数、高斯核函数、及多项式核函数等。
还介绍了核函数的判定以及Mercer定理

在日常工作中，钉钉打卡成了我生活中不可或缺的一部分。然而，有时候这个看似简单的任务却给我带来了不少烦恼。 每天早晚，我总是得牢记打开钉钉应用，点击"工作台"，再找到"考勤打卡"进行签到。有时候因为工作忙碌，会忘记打卡，导致考勤异常，影响当月的工作评价。而且，由于我使用的是苹果手机，有时候系统更新后，钉钉的某些功能会出现异常，使得打卡变得更加麻烦。 另外，我的家人使用的是安卓手机，他们也经常抱怨钉钉打卡的繁琐。尤其是对于那些不太熟悉手机操作的长辈来说，每次打卡都是一次挑战。他们总是担心自己会操作失误，导致打卡失败。 为了解决这些烦恼，我开始思考是否可以通过编写一个全自动化脚本来实现钉钉打卡。经过一段时间的摸索和学习，我终于成功编写出了一个适用于苹果和安卓系统的钉钉打卡脚本。