“非标准分析”的逻辑建构及其后现代数学方法论意蕴

微积分作为人类伟大的数学创造,其知识获得合法性的过程颇为曲折。无穷小量方法由于自身的悖论而被严格化的ε-δ方法所取代。在模型论基础上,鲁滨逊创立的"非标准分析"作为微积分知识的一种新的逻辑建构,深刻地展现了数学知识创造的多元主义方法论。从"标准分析"到"非标准分析",一种具有广深差异性的数学知识范式正在形成,微积分也完成了其历史进程与逻辑建构的相互统一。     

叠置电厂热力系统局部定量分析理论的研究

基于等效热降理论，针对叠置机组热力系统的特殊性，提出了叠置电厂中压机组的功量指标转换系数ξ和热量指标转换系数ψ，利用这２个转换系数能简捷、快速地定量分析叠置机组热力系统变化对机组的经济指标的影响，进而得出了叠置电厂热力系统局部定量分析的数学模型．该模型的概念清晰、结果准确、计算方法与中压机组类型无关，并通过实例验证了定量分析模型的正确性和可行性，从而形成了叠置机组的热力系统的局部定量方法．     

关于我国鲚属鱼类分类的历史和现状——兼谈改造旧鱼类分类学的几点体会

鲚属(Coilia)鱼类是长江中、下游及沿海一带重要的经济鱼类之一,分布很广,产量很高。我国古籍中关于鲚属鱼类的记载相当丰富。比较早的有《尔雅》、《说文解字》等;描述比较全面的有李时珍的《本草纲目》等。这些记载多半是我国古代劳动人民从事捕捞鲚鱼的生产经验总结,是我国鱼类学中十分宝贵的财富。到了近代,一些鱼类学工作者曾按照现代鱼类学分类系统,对我国鲚属鱼类做了一点分类和地理分布等研究工作,开始有了比较系统的论述。在伟大的无产阶级文化大革命中,在毛主席的无产阶级革命路线指引下,从1973年起,沿江有关单位曾对长江流域的鲚属鱼类进行了一次大规模的全面调查,取得了显著成绩。目前,我国已知的鲚属鱼类共有四种,即: 刀鲚(Coilia ectenes Jordan et Seale) 短颌鲚(C.brachygnathus Kreyenberg et Pappenheim) 凤鲚(C.mystus(Linnaeus)) 七丝鲚(C.grayii Richardson) 其中,刀鲚分洄游型和定居型两类。洄游型按水系又分长江、钱塘江等几个生态型。定居型和洄游型的形态、生态等方面差异很大,多分布在长江下游湖泊中,定名为太湖湖鲚新亚种(Coilia ectenes taihuensis ssp.nov.)。短颌鲚属华中区特有种,分湖泊和池沼两个生态型。东南沿海的凤鲚可分长江、闽江、珠江等几个生态型。我国近代鲚属鱼类分类研究工作,由于受欧美的自然科学影响,一方面有了比较科学的记载,另一方面也带来了许多问题,如只依靠几个表面性状做分类根据,比较片面,错误较多,必须补充修改。通过最近几年的调查研究,我们认为旧鱼类分类学必须改造,才能适应我国社会主义建设的需要。其主要途径是面向生产实际,认真学习广大渔民的丰富经验,采取综合的方法,以群体为分类单位,才能把握住每一种鱼的主要特征,真正解决渔业生产中的实际问题。     

变截面通道内超音速两相流升压过程的研究

通过对超音速汽液两相流在变截面通道中的升压过程的实验研究，得到了变截面通道内超音速汽液两相流的压力分布规律。实验结果表明，变截面通道中超音速汽液两相流的压力分布与出口压力、进水流量无关，而主要的影响因素是进水温度和进汽压力，同时超音速汽液两相流在变截面通道的渐缩部分的压力可以近似认为不变，凝结激波发生在变截面通道的喉部等，这些研究结果对该技术的进一步理论研究和应用均具有重要意义。     

热电联产压水堆核电机组热经济性定量分析模型

基于热电联产机组热量法分配的特点,建立了热电联产压水堆机组热力系统发生变化对热经济性指标影响的计算模型,提出了供热系统参数——供热回水率、回水温度、回水地点变化对压水堆机组热经济性影响的定量诊断数学模型,可将复杂的热力系统全面计算简化成3个一次方程。通过实例计算,验证了所提数学模型是正确可行的,同时具有概念清晰、计算简捷的特点。     

饱和蒸汽在高速过冷水射流外凝结换热的数值模拟

采用数值计算的方法,研究了高速过冷水射流外饱和蒸汽的凝结换热过程,在研究中,采用标准的k-ε紊流计算模型,两相界面上采用了凝结换热边界条件,并考虑了蒸汽凝结造成的相界面处的法向速度,计算表明,凝结换热强度完全由高速过冷水充中的紊流运动决定,其平均对流换热系数可以达到1．0MW／（m2,℃）,与实验结果相符合。     

作为形式-建构-模型的数学——关于数学研究对象的一个新阐释

探索数学本质新的构成可能性是从结构、模式、形式系统等新的数学思想的产生开始的。由于数学的研究对象是随着数学的不断发展而逐渐演变的,随着数学在不同历史时期的理论特征和范式转换,数学被赋予越来越深刻和丰富的内涵和意义。本文用"形式-建构-模型"的观点来发展并扩大关于"模式"和"形式结构"的概念。     

布劳威尔数学哲学思想中的后现代萌芽及其对维特根斯坦的影响

虽然直觉主义仍然建立在试图消除威胁数学一致性的悖论的努力之上，但布劳威尔对逻辑主义的解构，对数学中非语言存在的强调，以及对数学创造性本质的描绘，均显露出某种超越现代性的思想特质，并对维特根斯坦的数学哲学观点产生了不小的影响。     

切流向列相液晶孤子的挠曲电效应

本文详细讨论了均匀切变流动下,向列相液晶中孤子所引起的挠曲电效应,给出了A型孤子和B型孤子产生的板极电压,面电荷及体电荷的数值。A型孤子的挠曲电效应比B型孤子要大,其原因是A型孤子的指向角θ随z的变化比B型孤子要快。我们选用一种测量挠曲电系数e_1的实验方法,並作出相应的计算。     

向列相圆盘形液晶盒二维孤子的光强—时间曲线实验

本文采用记录光强曲线的方法,研究向列相园盘形液晶盒中在边缘改变压强所激发的向心移动的二维孤子的性质。实验得到孤子光强随时间变化的曲线,给出白色环形孤子的传播速度与激发气压之间的关系图线。实验结果支持了指向方程均匀定态解存在的分析,证实在向列相园盘形液晶盒中有一种类型的黑环正是二维轴对称A型孤子,并对实验中二维B型孤子存在的可能性进行了讨论。