必须坚持以马列主义作为科学的指导思想——在中国科学院北京地区青年大会上批判右派分子徐芻的发言

右派分子徐芻认为马列主义不能作为科学的指导思想。他攻击马列主义的办法是首先污蔑苏联的科学成就,然后说苏联科学是由于马列主义思想指导坏了。他对他的学生说:“你们无知,教材都是苏联的,以为苏联了不起;我看的书多了,以英文为主,眼界深了,深知英美之厉害,不单水平高,而且发展也快”。他说:“美国科学在总的方面大大超过苏联,无论在人员配备、设备和门类方面”。他并且以电视台为例,说美国有几十个电视台,古巴有九个,而苏联只有八个。

“吴文俊数学与天文丝路基金”与数学史研究

长期以来,吴文俊院士以他的精深研究和崇高威望对中国的数学史界给予了鼎力支持,为中国数学史事业的发展做出了不可磨灭的贡献.他用自己获得的国家最高科技奖建立了 吴文俊数学与天文丝路基金",拨巨款资助数学史研究,充分表明了他对中国数学史界的深情与厚望.这不仅是给我国的数学史研究以有力的物质支持,更重要的是给我国数学史同仁以巨大的精神鼓舞,此举已产生了广泛热烈的社会影响. 吴文俊数学与天文丝路基金"是一项有鲜明特色和深远意义的研究计划,此项计划的提出和实施无疑将对我国的数学史研究产生深远的影响.在这里,我们将阐述设立此项基金对于我国数学史研究的重要推动作用,说明其创新意义,并介绍基金项目的一些进展情况.

西方数学社会史研究述评

长期以来,数学在大多数西方学者心目中是最客观、最少受社会环境影响的一门科学,因此,尽管传统的通史与传记中已积累了大量的工作,但对于数学发展与社会之间关系的自觉探讨,却还是相当晚近的事情。追溯起来,西方学术界在这方面受到的一个强烈刺激,是来自对数学思想与实践的马克思主义分析。苏联学者B.黑森在第二届国际科学史大会上对牛顿《自然哲学的数学原理》中科学思想之社会经济根源的著名阐释,在西方学者中引起了持久的争论。之后便出现了D.J.斯特洛伊克、李约瑟等人的经典性著述。“数学的社会学,研究社会组织形式对数学概念、方法的起源与发展的影响,以及数学作为某一时代社会。

数学的研究对象、方法、特点、作用及其在科学分类中的地位

一本题目的意义数学自17—18世纪积累了大量的材料之后,到了19世纪,发展到了崭新的阶段。非欧几里得几何学的发现是划时代性的,它的诞生说明,数学的发展不仅仅是由于研究自然现象乃至工程技术方面的要求,而是数学中新理论的产生有时只是由于数学内在的需要,由于对某个数学系统的逻辑结构的研究。到了19世纪末,公理方法正式形成了,公理化的趋势在数学中成为主流,数学日益取得抽象而一般的形式。另一方面,方程的求解问题引导出来群论这一学科,于是过去以个别方程解法为主要研究对象的代数学变成了研究带有某些运算的对象系统的结构的学科了。

Petri网系统活性的研究

随着Petri网在平行计算、通讯系统、计算机集成制造系统等领域的广泛应用,在以Petri网为实际系统建立模型之后,人们很关心模型系统各种性质与行为,其中,活性是最关心的性质之一。我们知道Petri网系统是动态系统的静态描述,从它可以很容易得到系统的状态转换图,一般称Petri网系统的可达图(系统无界时,得覆盖图)。实质上,可达图是动态系统的动态描述;系统有多少种不同状态(不考虑系统无界时),可达图就有多少个结点;结点间由有向弧连结。

基于Petri网语言的并发系统性质研究(英文)

给出 Petri网弱活性 (无死锁 )与活性的两个语言刻画 ,讨论了同步合成 Petri网的语言性质 .基于 Petri网语言 ,给出了判定 Petri网活性的充分必要条件 .同时研究了 Petri网同步合成过程中活性保持问题 ,给出保持活性的充分必要条件 .

一类脉冲控制下半比率捕食系统研究

研究了一类带有状态脉冲效应的捕食模型,对无脉冲作用的系统进行定性分析,得到正平衡点存在和稳定的充分条件;对带有状态依赖的脉冲系统,综合利用微分方程几何理论中后续函数法得到系统的阶一周期解存在的充分条件,并且证明了该周期解是轨道渐近稳定的.利用数值模拟讨论了系统的生物学意义.

Petri网系统合成操作的活性保持性研究

合成操作是Petri网系统建模中一种重要的自底向上建模方法,而在Petri网系统的合成过程中,保性性质是一个重要的研究问题。本文综述了我们对Petri网系统两种合成操作(共享合成、同步合成)活性保持性的研究工作。与以往研究不同,侧重从并发语言的角度讨论。定义了相应合成操作的路径并发合成运算,以此建立两种合成操作Petri网系统的并发语言关系式。这些语言关系式可用于判定相应合成操作Petri网系统的活性与无死锁性,同时给出合成的Petri网系统活性与无死锁性的充要条件。最后分别给出条件使得合成的Petri网系统有活性保持性质。

1949—1990年中国学者在国外出版的数学著作

根据初步调查,现将1949—1990四十一年间我国学者在国外出版的数学专著与文集编成目录。这些专著与文集已近五十种,而近年来国内学者在国外出版数学著作更呈明显的加速趋势。这从一个侧面反映了1949年以来我国现代数学发展的水准,对于研究现代中国数学史或许是一份有意义的参考资料。本目录肯定是不完全的,对暂未录入的著作,我们向著(编)

专家系统研究

本文从专家系统发展中遇到的问题入手,讨论了专家系统所存在的问题的根源,提出了一些不同于现有认识的观点.然后根据近几年分布式解题系统进展的情况和其基本结构,结合机器学习,给出了一种机器学习与问题求解的合成技术模型,并对专家系统进一步发展提出了一些意见。

Petri 网研究在中国——过去、现在与将来

Petri 网研究与中国计算机学会同步存在与发展。前者始于1962年 Carl Adam Petri的一篇著名论文,后者成立于1962年6月4日,这不能不说是历史的巧合。Petri 网研究三十年有了丰硕成果。每年一次的国际会议已过十二届(91年第十二届年会在丹麦阿呼斯召开),每两年一次的国际会议专门讨论 Petri 网与系统性能,已过四届(91年第四届 PNPM 国际会议在澳大利亚墨尔本召开)。国际著名出版社 Spri-nger-Verlag 在其灰皮书系列中(LectureNotes in Computer Science)每年至少出一卷 Petri 网研究专集,称为 Advances

供应链中生产和分销系统的库存结构优化研究

供应链中的生产与分销系统可以看作一个树状结构的系统,其中生产部分以组装为基本运作形式而分销则以分散化为主要运作特征。对于一个完整的供应链运作系统来说,研究生产和分销系统库存结构的优化,影响系统运作的瓶颈分析等问题是非常重要的。本文应用整数规划模型给出了在库存规模一定的约束下,多个库存缓冲区的分配,采用了分解的方法给出了解决方案,并运用Tabu搜索的算法论述了解的获得过程,最后给出了一个算例分析。

格廷根的数学传统

格廷根(Gottingen)是德国的一座历史悠久的大学城,在现代科学史上占有重要地位,尤其是格廷根的光辉数学传统,深刻地影响了现代数学的发展。现在本文就格廷根数学传统的形成背景、发展过程、主要特征,以及格廷根数学的衰落,作一初步的、历史的分析。一、十八世纪德国学术一瞥十八世纪的德国,落后的经济、政治与繁荣的文学、艺术和哲学(包括自然哲学)形成了鲜明的对照。历史学家们认为,这种社会状态是由德国资产阶级的特殊状况造成的。当时的德国资产阶级反对封建专制统治,想变革德国的现状,但又缺乏力量和勇气。

电子商务协议研究综述

电子商务协议是电子商务实施的技术基础 .对电子商务协议研究进行综述 ,包括电子商务协议设计的原则(如安全性、匿名性、原子性、不可否认性和交易规模 )

Petri网研究:机遇与挑战

本文是文[2]的姐妹篇,以国际动态为背景展示研究工作可以取得成就的方面,也试图就她面临的难点进行建设性的讨论。

具有垂直传染和接触传染的传染病模型的稳定性研究

本文研究了一类具有垂直传染和接触传染的传染病模型.利用常微分方程定性与稳定性方法,分析了该模型非负平衡点的存在性及其局部稳定性.同时,利用LaSalle不变性原理和通过构造适当的Lyapunov函数,获得了平凡平衡点、无病平衡点和地方病平衡点全局渐近稳定的充分条件.结果表明当基本再生数小于等于1时,所有种群趋于灭绝;当基本再生数大于1和病毒主导再生数小于1时,病毒很快被清除;当基本再生数大于1和病毒主导再生数大于1以及满足一定条件时,病毒持续流行并将成为一种地方病.

数字藏象人基础性研究的设计

数字藏象人基础性研究包括 3个内容 :藏象理论数据库建设 ,藏象理论知识库研究 ,藏象理论模型库研制。藏象理论数据库建设将完成对藏象理论文献的梳理、加工和转换 ,使其改变成能够通过主题查询的数据 ,能够被程序调用的信息 ,能够被系统挖掘、用户理解的知识。藏象理论知识库研究是把藏象理论中被普遍认识的规律 ,用信息系统的语言进行表达 ,以形成藏象信息系统推演机制所依据的重要规则 ,是数字藏象人所依赖的基础。藏象理论模型库的研制将完成中医学认识的人体生理各系统活动轨迹及关系的描述 ,并在保持藏象理论知识结构的前提下完成量表化的计算。数字藏象人基础性研究 ,将对藏象理论知识进行系统的整理、规范、整合和发现 ;为藏象理论知识的量化表达探讨有效的方法 ;提出中医理论体系的基本构架并使之可视化 ;还中医理论源于实践、高于实践的本质 ,以构成对中医临床的信息支持。“数字藏象人”具有重要的应用前景 ,将为中医学宏观与微观相结合的研究、中医临床疗效评价的研究、中医学现代化和发展探讨方法的同时也提供自动推演平台。

纪念数学家吴新谋教授

我们怀着尊敬与怀念的心情,纪念数学家吴新谋教授诞生80周年暨逝世一周年. 吴新谋,1910年4月14日生于江苏省江阴县,1932年毕业于原中央大学数学系,大学期间在高等代数、几何与分析方面受业于何鲁先生.1934—1937年任清华大学数学系助教,并在熊庆来先生指导下研习微分方程论。1937年公费留学法国,先从师H·维拉(Villat)研究粘性流体力学,后转随J·阿达玛(Hadamard)从事偏微分方程论研究。侨居法国期间。

算法、演绎倾向与数学史的分期

数学史研究的目的之一,是要对数学的发展获得一个客观而准确的整体的观念。因此,把握描述数学发展的适当的线索,是一件十分重要的事情。众所周知,苏联学者曾引伸恩格斯在《自然辩证法》中的论点,把常量数学与变量数学的矛盾作为理解数学进化的主要线索。