不可解的问题

数学的美不仅在于它的答案，还在于它的研究方法和过程。数学领域存在很多个猜想，到现在为止，人们仍无法解答；同时也存在着有确定结论的问题，其中有可解答的，也有最终被判定为不可解的。     

推理闭包空间的分离性

目的引入推理闭包空间的T0,T1,T2,Sober以及Urysohn分离性,研究它们的若干性质。方法利用拓扑学中分离性的思想以及研究方法,讨论推理闭包空间的分离性。结果分别给出了它们的定义及相应的等价刻画,证明了T0,T1,T2及Urysohn分离性是可遗传的且在同胚映射下是保持拓扑不变的,得到了诸分离性之间的关系。结论通过推理闭包空间分离性的建立,展现和丰富了逻辑学的拓扑性质。     

评我国刑事证据种类

证据的重要性在刑事诉讼中是无可厚非的,然而,对证据的分类则是其中的重中之重.笔者在本文中对于我国现行刑诉法中规定的七种证据种类进行了深入地分析和研究,最终提出了自己的观点刑事诉讼中只有三种独立的证据种类,即物证、书证和人证,且它们之间是一种并列关系,其它证据都不是具有独立资格的证据法定形式,而是分别处于它们下位的证据类型.所以,在司法实践中,最关键的就是从"人"、"物"和"书"上去寻找能够证明案件事实的各种证据信息.     

一氧化氮生成反应的课堂讨论和课外实践

通过“问题-探索-分析-结论”教学模式,引发学生的求知欲和探索未知的好奇心,激发学生主动学习的热情并牢固掌握所学的内容.结构化学教学中,氧气和氮气化合生成一氧化氮引起了学生的兴趣.为了加深学生对前线轨道的理解,课堂教学中讨论了该反应发生的条件.课外实践中,学生利用分子轨道理论计算验证了反应的机理,得出了一些有趣的结论.这次教学实践活动加深了学生对前线轨道理论的理解,同时增加了对分子轨道理论的认识和利用该理论探索化学现象的兴趣.     

电脑能战胜人脑吗?

<正>今年6月8日,英国雷丁大学的几位研究人员宣称,"尤金·古斯特曼"软件通过了图灵测试,并称其为人工智能领域的一个"里程碑"事件。随后,一些媒体也按照"里程碑"的意义纷纷报道了这件事,但是引起很多人的疑问。为此,我们请教了中国科学院数学与系统科学研究院的陆汝钤院士等几位研究人员。测试结论是否靠谱?科学世界:在人工智能(AI)学界来看,英国研究者所称的"尤金软件通过了图灵测试"这件事,真的具有"里程碑"意义吗?陆汝钤:我个人感觉这种说法是不对的。他们作的这个结论并不符合图灵的原意。     

基于BP神经网络的食品安全抽检数据挖掘

数据挖掘技术在食品安全领域拥有巨大的应用价值和潜力。通过分析逆向传播(BP)神经网络算法,说明使用该方法的可行性和优越性。以抽检数据为对象,阐述了数据预处理过程,设计并实现了数据挖掘实验。最后利用挖掘结果进行食品检验结论预测,验证了方法的实用价值和指导意义。实验表明,基于BP神经网络的数据挖掘方法具有良好的过程健壮性和较高的结果准确性。通过预判不合格食品的出现,可以指导实际食品安全抽检工作,从而杜绝食品安全问题的发生。     

概率论与数理统计课程教学的几点思考

针对概率论与数理统计课程的特点,结合教学实践,探讨了条件概率与乘积概率的关系、二维离散型随机变量的独立性、判断一组数据是否服从正态分布三个问题,得到了相关结论。     

石河子大学学报(自然科学版)征稿简则

《石河子大学学报（自然科学版）》是石河子大学主办的自然科学综合性学术期刊,双月刊,132页,现设有农学&#183;植物保护：园艺&#183;林学、畜牧&#183;兽医、医学&#183;药学、生物&#183;环境、食品&#183;化工&#183;材料、力学&#183;水利&#183;建筑工程、机械&#183;电气工程、计算机技术&#183;信息工程、数学&#183;物理&#183;化学10个栏目。     

新型钢丝拉绳主参数的优化设计及应用

要求钢丝拉绳能快速更换,形式为两头用螺钉压紧,压紧力更大,能达到设计要求,且制作安装更方便可靠,作为最终实施方案。     

否定证据加速类别归纳证据积累并降低反应标准

最近的研究揭示否定证据促进了基于类别的归纳力度判断,但忽略了增加否定证据时,归纳反应时和判断标准的变化,为验证该结论,分别在具体结论(实验1)和一般结论(实验2)2种结论类型下采用2(前提:基线、增加否定证据)×2(结论:一致、不一致)被试内设计,观察增加否定证据对结论判断力度、反应时和判断标准的影响.研究发现增加否定证据提高了归纳力度;同时,进一步发现无论是具体结论还是一般结论条件下,增加否定证据均缩短了结论判断的反应时并降低了判断标准,为线性弹道积累模型提供了证据支持.