日本“百科事典”中的数学哲学

日本学者历来十分重视数学哲学问题的研究。他们在这方面的基本观点(?)主要研究成果,不仅发表在许多论著之中,而且也反映在各种百科辞典一类书籍里面。这里,仅从日本《玉川百科大辞典》(1)“数学”(诚文堂新光社,1959年版)、《万有百科大事典》(16)“物理数学”(小学馆,1976年版)和《哲学事典》(平凡社,1979年版)等百科辞典中,选出一些有关数学哲学方面的条目,并对其释文进行编译,供大家参考。     

上海大学6种期刊荣获上海市期刊编校质量优秀奖

在上海市新闻出版局日前发布的《关于2011年上海开展期刊编校质量检查情况的通报》中,上海大学期刊社再次取得优异成绩,《秘书》、《社会》、《应用数学和力学(英文版)》、《上海大学学报(自然科学版)》、《运筹学学报》、《应用数学与计算数学学报》荣获上海市期刊编校质量优秀奖.     

近年美国《数学评论》选摘我校学报文章113篇

美国《数学评论》(Mathematica Reviews,简称 MR)是美国数学会编辑出版的数学及其各分支,包括物理学、工程和计算机领域最权威性的文摘杂志,它选摘世界85个国家2920多种(其中中国期判118种)科技期判,是当今世界上最大、最权威性数学文摘刊物。它从1981年开始选摘我校学报(自然科学版)中有关纯粹数学、     

征稿简则

东北师大学报(自然科学版)创刊于1951年,是教育部主管、东北师范大学主办、东北师范大学学术期刊社编辑出版的自然科学综合类学术期刊,季刊,国内外公开发行。本刊为美国《数学评论》(MR)、美国《化学文摘》(CA)、俄罗斯《文摘杂志》(AJ)、德国《数学文摘》(ZBI)、英国《动物     

略论数学的对象

数学的对象是什么?这是每个数学工作者,每个学习数学、研究数学和教授数学的人都要面对的问题,这是数学最基本的方法论问题之一。一恩格斯在《反杜林论》一书中指出,“纯数学的对象是现实世界的空间形式和量的关系”。这个正确论断为解决这个方法论问题指出了正确的方向。需要说明一下的是,在人民出版社出版的中译本《反杜林论》(70年版)中,这句     

征稿简则

东北师大学报(自然科学版)创刊于1951年，是教育部主管、东北师范大学主办、东北师范大学学术期刊社编辑出版的自然科学综合类学术期刊，季刊，国内外公开发行。本刊为美国《数学评论》(MR)、美国《化学文摘》(CA)、俄罗斯《文摘杂志》(AJ)、德国《数学文摘》(ZBl)、英国《动物     

越民义先生和中国排序论

正越民义先生是中国排序论的开拓者和学术带头人。1984年,笔者到美国奥斯汀得克萨斯大学管理学院做访问学者,见到已经在那里访问的越先生,受先生的指引,笔者也开始转向排序论的研究。与越先生相识30余载,目睹越先生即将迎来百岁华诞,仍孜孜不倦地致力于排序论的研究,严谨认真地培养排序论人材。在越先生的关心和指导下,中国排序论呈现出蓬勃发展的态势。     

征稿简则

东北师大学报(自然科学版)创刊于1951年，是教育部主管、东北师范大学主办、东北师范大学学术期刊社编辑出版的自然科学综合类学术期刊，季刊，国内外公开发行。本刊为美国《数学评论》(MR)、美国《化学文摘》(CA)、俄罗斯《文摘杂志》(AJ)、德国《数学文摘》(ZBl)、英国《动物     

征稿简则

东北师大学报(自然科学版)创刊于1951年，是教育部主管、东北师范大学主办、东北师范大学学术期刊社编辑出版的自然科学综合类学术期刊，季刊，国内外公开发行。本刊为美国《数学评论》(MR)、美国《化学文摘》(CA)、俄罗斯《文摘杂志》(AJ)、德国《数学文摘》(ZBI)、英国《动物     

征稿简则

东北师大学报(自然科学版)创刊于1951年，是教育部主管、东北师范大学主办、东北师范大学学术期刊社编辑出版的自然科学综合类学术期刊，季刊，国内外公开发行。本刊为美国《数学评论》(MR)、美国《化学文摘》(CA)、俄罗斯《文摘杂志》(AJ)、德国《数学文摘》(ZBl)、英国《动物     

基于遗传算法的半导体生产线调度研究进展

半导体生产线调度是制造系统实际生产中的重要问题,也是理论研究的难点之一.遗传算法是计算智能的主要研究对象,因此基于遗传算法的半导体生产线调度研究,具有非常重要的研究价值和实践意义,已经引起了国内外研究者的广泛关注.文中评述近几年来在半导体生产线调度优化中遗传算法的应用,详细介绍了算法编码、操作、参数的选择、算法的改进及具体应用,并指出这一领域中值得进一步研究的一些问题和可能的发展方向.     

基于改进蚁群算法的物流车辆调度问题研究

传统蚁群算法在求解中容易出现搜索时间长、收敛过早或停滞现象,为克服这些缺点,通过对蚁群算法进行选择策略、信息素更新等方面的改进,以加快算法的收敛速度,提高算法的搜索能力。再将改进后的蚁群算法引入物流运输车辆调度、综合车辆调度理论,对物流运输车辆的优化调度进行了探讨,对有时间窗车辆调度问题(VSPTW)探求新的求解方法,运用Matlab语言进行编程实现,应用实例对算法进行验证。实践证明,改进后的蚁群算法基本上克服了一般蚁群算法自身的不足,提高了算法的性能。     

基于多智能体的虚拟企业任务调度研究

采用多智能体技术构建了虚拟企业任务调度运行模型,该模型包括管理智能体、任务智能体、资源智能体等。针对模型中的调度优化问题,以资源智能体所承担的生产任务为对象,综合考虑资源智能体自身已确定的生产任务、完成虚拟企业生产任务所需作业时间及转运时间等因素,建立了以生产延续时间最小化为目标的优化调度模型,并给出了粒子群优化求解算法。工业机械手实例说明了任务调度模型及实现方法的有效性。     

A Novel Testability-Oriented Data Path Scheduling Scheme in High-Level Synthesis

Scheduling is an important step in high-level synthesis and can greatly influence the testability of the synthesized circuits. This paper presents an efficient testability-improved data path scheduling scheme based on mobility scheduling, in which the scheduling begins from the operation with least mobility. In our data path scheduling scheme, the lifetimes of the I/O variables are made as short as possible to enlarge the possibility of the intermediate variables being allocated to the I/O registers. In this way, the controllability/observability of the intermediate variables can be improved. Combined with a weighted graph-based register allocation method, this scheme can obtain better testability. Experimental results on some benchmarks and example circuits show that the proposed scheme can get higher fault coverage compared with other scheduling schemes at little area overhead and even less time delay.     

关于合作社立法若干问题的探讨

合作经济在当今生活中发挥着越来越重要的作用，但是我国至今没有一部专门的合作社法规其运营和发展，本文从立法的角度，对合作社的定义及特征、类型、性质、基本原则以及合作社组织与其社员间的权利义务等基本问题进行了初步分析与探讨，以求合作社法的明确定位及尽早出台。     

含装配约束的作业调度问题及遗传解码算法

传统上加工与装配是分开研究的,而且很少涉及作业装配问题.为此,描述了一种包含加工与装配的作业调度问题.利用FT10基准调度问题的工序数据构造了调度问题及其产品结构.初步进行了以经典作业调度问题(JSSP)为对照的研究.采用基于字符串直接解码的遗传算法,解决了染色体对应不可行调度解的问题.仿真实验验证了遗传解码算法的可行性和有效性,而且进一步表明装配约束改变了JSSP;近优值2 046也优于关键路径规则算法的结果.     

分组调度算法在工作流技术中的应用

调度是一个与企业密切相关的内容,合理的调度能够有效的提高企业的效率,提高企业的竞争力。本文通过分析工作流管理系统高层视图,将工作流管理系统抽象,在工作流管理中提出了分组调度的概念。并在此基础上对原有的先来先服务调度算法进行适当的改进,使该算法实现了分组调度的功能。     

政治博弈论研究述评

政治博弈论应用博弈论的分析方法研究政治互动中理性主体如何做出战略选择的过程。政治博弈论的研究在我国还处于起步阶段。从政治博弈论的基本概念与假设出发,介绍其研究的基本内容、国内外研究状况以及存在的问题与发展前景,将引出许多有价值的研究课题,势必拓展政治博弈论的研究深度与广度。     

基于深度强化学习的分布式能源系统运行优化

分布式能源系统凭借其高效、环保、经济、可靠、和灵活等特点成为我国能源未来发展的重要方向。目前我国的很多分布式能源系统经济效益较差,主要原因是能源系统没有良好的运行策略。本文提出一种基于深度强化学习的分布式能源系统运行优化方法。首先,对分布式能源系统的各个设备进行数学建模。深入阐述了强化学习的基本原理、深度学习对强化学习的结合原理及一种基于演员评论家算法的分布式近端策略优化(Distributed Proximal Policy Optimization, DPPO)算法流程,将分布式能源系统运行优化问题转化为马尔可夫决策过程(Markov decision process,MDP)。最后采用历史的数据对智能体进行训练,训练完成的模型可以实现对本文的分布式能源系统的实时优化,并对比了深度Q网络(Deep Q Network, DQN)算法和LINGO获得的调度策略。结果表明,本文提出的基于DPPO算法的能源系统调度优化方法较DQN算法和LINGO得到的结果运行费用分别降低了7.12%和2.27%,可以实现能源系统的经济性调度。     

具有切换时延的异步光分组交换调度方案(英文)

光交换结构有同步和异步两种工作方式,同步算法已经很多了,但异步调度算法却研究得较少。针对这种情况,提出了一个新的异步调度算法——LETF算法。证明了LETF算法在有两个输出端口时为最优调度算法,并进一步证实在多输出端口时,该算法为2近似调度算法。理论分析和仿真表明,LETF算法的时间复杂度为O(N),能达到100%吞吐量。一般情况下,在加速比最小时能无限接近于最优调度。