Mathematical model of the identical slope surface

The formation of the identical slope surface and the method of construction are discussed. On the basement of building the parameter equation of variable-radius circle family envelope, the frequently used parameter equation of the identical slope surface of the top of taper moving along column helix, horizental arc and line is built. The equation can be used to construct the identical slope surface’s contours, gradient lines and three dimensional figures correctly. Biography: Hu Jian-guo(1953-), male, Professor, research direction: CG and CAD.     

On the Foundations of Constructive Mathematics – Especially in Relation to the Theory of Continuous Functions

We discuss the foundations of constructive mathematics, including recursive mathematics and intuitionism, in relation to classical mathematics. There are connections with the foundations of physics, due to the way in which the different branches of mathematics reflect reality. Many different axioms and their interrelationship are discussed. We show that there is a fundamental problem in BISH (Bishop’s school of constructive mathematics) with regard to its current definition of ‘continuous function’. This problem is closely related to the definition in BISH of ‘locally compact’. Possible approaches to this problem are discussed. Topology seems to be a key to understanding many issues. We offer several new simplifying axioms, which can form bridges between the various branches of constructive mathematics and classical mathematics (‘reuniting the antipodes’). We give a simplification of basic intuitionistic theory, especially with regard to so-called ‘bar induction’. We then plead for a limited number of axiomatic systems, which differentiate between the various branches of mathematics. Finally, in the appendix we offer BISH an elegant topological definition of ‘locally compact’, which unlike the current definition is equivalent to the usual classical and/or intuitionistic definition in classical and intuitionistic mathematics, respectively.     

乌鲁木齐市高中信息技术课程开设现状调查报告

文章研究运用调查法对乌鲁木齐市四所学校高中部的教师和学生进行了调查,得到有关乌市高中信息技术课程开设一般状况的数据.根据调查的结果和数据分析,发现乌市信息技术课程现存的问题,并提出相应的意见和建议.     

枣离体授粉及胚珠培养初探

对晋矮1号×壶瓶枣的离体杂交以及杂交子房和胚珠的离体培养进行了研究.结果表明:附加1.0mg/LIBA的KM8p培养基对枣子房的离体培养较为适宜,ZT对子房的成活具有促进作用,子房的愈伤组织化可减缓子房室内胚珠的败育程度.     

森林面积分布系统的最优控制存在性问题

本文研究森林面积分布系统的最优控制问题。本文将林木总和长消率作为控制变量，以“范数最小”来衡量其最优性，利用空间Ｌ＾２（０，Ｔ）Ｔ〉０的自反、光滑和严格凸性，给出了森林面积分布系统最优控制的一个存在性定理。     

切削刀具倒棱刃口挤压力的理论计算

根据试验观察．揭出了刀具刃口带负倒棱时的切削模型。在此模型中,刀具刃口 存在一个“金属死区”。以新模型为基础．采用能量法,对高温、高应变率下刀具刃 口的挤压力进行了理论计算。所做工作的特点是：１）在材料变形分析中计入了挤压 层金属绕过刀具刃口时的过剩变形;２）进行有关材料变形与物理特性的计算时,考 虑了温度与应变率的影响。利用新研制的压电式切削测力仪进行验证试验,其结果表 明,理论计算值与实测数据较好一致。     

关于我国铁路组织按图行车现状和问题的研究

组织“按图行车”是实现铁路运输管理现代化的重要方面。本文根据调查资料,研究了当前我国铁路实现“按图行车”的现状、货物列车晚点的一般规律,并据以提出了进一步提高我国铁路组织“按图行车”水平的意见。     

弯曲铝合金方管的轴压性能试验研究

为研究带初弯曲度铝合金方管的轴压承载力,完成了8个试件的轴压稳定性试验,并建立了与试验条件一致的有限元模型。通过对比试验和有限元分析结果验证了有限元模型的可靠性。结果表明,带有较大初弯曲度铝合金方管的破坏模式为整体弯曲失稳。最后,根据有限元分析结果拟合得到较大初弯曲度铝合金方管的整体稳定系数计算式,并将拟合计算式结果和数值分析结果及试验结果进行对比,验证了计算式的正确性。     

基于自注意力机制的新生儿胆道闭锁识别

新生儿胆道闭锁是新生儿常见的致命疾病之一,并且该病在亚洲的发病率高于世界其他地区.新生儿胆道闭锁需要及时发现及时治疗,然而由于缺少专业的儿科医生和辅助诊疗手段,新生儿父母往往不能及时发现而错过了最佳治疗时间.因此,本文开发了一个具有实际应用价值的预诊算法,通过新生儿粪便图片预测新生儿是否患有新生儿胆道闭锁,并提醒新生儿父母及时就诊.为了让算法在应用场景下识别率更高,本文的算法基于一个真实场景下拍摄的新生儿粪图片数据集开发.首先我们设计了一个自注意力网络模型BANet(Biliary Atresia Network),将图片的浅层特征和深层特征相结合,可以得到更好的分类效果.由于拍摄自应用场景下的图片存在过暗和过曝等问题.通过分析数据集的亮度分布,我们设计了一个自动亮度调节算法解决.此外,图片中的阴影也会对识别结果造成干扰,因此我们在训练阶段增加了一种阴影数据增强方式来缓解这一问题.为验证本文提出算法的有效性,本文设计了一个和医生的对比试验.结果证明BANet在四分类的识别率、二分类的识别率、特异性和敏感性等客观评价指标上占有明显优势.本文提出的BANet能够有效利用图片中的颜色、异常点...     

地方高校高等数学课程学习成绩影响因素的统计分析——以滁州学院为例

为了进一步改善高等数学课程的教学效果,提高学生的数学素养,以地方应用型高校滁州学院为例,2018—2021年连续4年从学生、教师和学校3个维度基于高等数学课程的学习效果开展问卷调查;基于收集的样本数据,围绕学生学习的内生动力、外部因素、学校管理等多个维度,运用因子分析和线性回归分析方法,对学生学习高等数学课程成绩的影响因素进行统计分析,探索出了提高大学生高等数学课程学习成绩的有效方案。这为地方高校提高高等数学课程教学效果提供了一种途径和方法,可为相关的教学改革研究提供参考。