Abel加半群局部化及性质

本文将Abel加半群引入一种局部化方法,建立了局部化与张量积的关系,证明了平坦半群的局部化也平坦,并证明局部化函子是正合的共变函子且自然等价于一个单侧张量积函子.     

区域规划决策支持系统

本文介绍系统科学研究中心1988年研制成功的新颖集成软件——区域规划决策支持系统的设计思想。区域规划决策支持系统又称规划支持系统(PlanningSupport System,英文缩写PSS)。它采用框架式全模块化结构,可根据省、地、县、经济区和各部门的特点而生成不同的系统,进行计算机辅助规划设计工作,且便于规划的实施和调整,为区域规划的规范化、标准化和程序化创造了条件。     

台湾地名的由来研究

本文对台湾省地名的渊源,进行了比较系统的研完。对台湾得名的由来作了分析和论证,提出自己的见解。对台湾的主要城市、港口、自然地名和名胜古迹,作了较详细的介绍。在介绍地名的由来时,对有关地名的自然面貌和经济状况也作了简要的说明。既可增加对台湾地名来源的知识,也可以供了解台湾地理概况作参考。     

略论苏北旅游资源及其开发利用问题

本文对苏北地区旅游资源的组成、分布和特点进行了较为全面的分析和评价,论述了苏北地区发展旅游业的有利条件。并对今后如何开发利用本地区的旅游资源和发展旅游业的途径问题,提出了几点值得重视的建议。     

C语言与汇编语言程序中的数据通讯技术

本文介绍了在 IBM-PC/XT/AT 及其兼容机上的 C 语言与汇编语言程序之间进行信息交换的原理和方法;讨论了 Microsoft C 语言中的一些具体规定,并用程序实例说明了数据通讯的实现过程。     

外微分形式在多元系热力学中的应用

用外微分形式来表述物理定律和推导物理公式形式简洁、优美,而且外微分运算是自然和自动的,不受空间维数的限制。本文在扼要介绍外微分形式的定义以及相关定理的基础上,介绍它在推导多元系热力学的Maxwell关系中的应用。     

专家系统规则启发式划分和并行推理

本文提出了一个启发式规则划分办法并分析了并行规则推理的代价,设规则集合被划分为π=(π_1,π_2,…,π_k),则对于任何一个规则R_i∈π_i,在π_(i-1)中至少有某个R_i,R_i与R_i在某种代换下相关,如果串行推理对规则进行一次遍历所费时间代价为C,对于同样规则划分π进行多处理机或进程并行推理一遍遍历代价至多为C′,C′≤(k/~#R)C。其中~#R是规则集合R的基数,同时给出一个实例和推理代价的实验数据。     

中国古代研究西北自然地理的思想

中国古代研究西北自然地理,已出现了关注本区总的特点、内部差异性、类型和变迁、成因和规律,以及知识的应用等宝贵思想。它们在一定层次上与现代思想相一致。因此为着更好地认识和开发利用本区,以及更好地发展自然地理学,仍须继承和发扬这些思想,并须发挥它们的历史的借鉴作用。     

关于求解Stiff常微分方程具有参数的一类块方法

本文给出求解Stiff常数分方程含有参数的一类高阶块方法,并给出计算其绝对稳定域的算法.通过对参数的选取,改进了文中的方法的稳定性。对于K=3,4,5,6,我们构造出一类Stiff稳定的块方法,它们是具有很小的非稳定域.这些方法适合求解Stiff常微分方程组