关于城市社区体育若干问题的研究

本研究通过对我国八城市180个街道开展社区体育的问卷调查和访问座谈,分析了处于起步阶段的我国城市社区体育的现状、存在问题及其原因,并探讨了其发展趋势。本研究主要涉及社区体育的组织状况、参加者状况、活动状况、场地设施状况、经费状况、指导员状况等六个方面。     

MCS—51单片机系统的“死机”问题

本文介绍了ＭＣＳ－５１单片机程序运行监视的几种方法及恢复。     

1:2.5万土地类型图的编图程序和面积量算方法——以崇阳县华陂区为例

本文根据土地类型本质特征,在尚未有统一的专题制图规范可循情况下,设计了崇阳县华陂区1:2.5万土地类型图的编图程序,采用了求积仪配合方格网量算面积的方法。实践证明,编图效果较好,量算精度较高,速度较快,具有科学性和实用性。     

计算刚架影响线的通用算法与程序

根据结构内力影响线定理提出了一个用程序计算刚架影响线的通用算法。编制了刚架结构影响线的计算程序，可以方便快速地计算刚架与连续梁等结构的弯矩影响线和剪力影响线，为工程结构的设计计算提供了方便。     

"后基础主义"时代数学哲学研究的若干趋势——从波普尔、拉卡托斯到P.欧内斯特

数学基础主义之后,批判理性主义和经验主义(包括拟经验主义)成为某些数学哲学家热衷的选择。虽然对柏拉图主义和实在论有某种解构价值,但两者却混淆了数学与其他科学的本质区别。相比较而言,关于数学的社会建构主义观点虽然有不少真知灼见,但却陷入了某种形式的单一决定论的泥潭。     

浅谈《课时费管理系统》

在windows98平台上,《教师课时费管理系统》的开发和使用,提高了工作效率,减轻了工作人员的工作压力的工作量,缩短了工作时间,保证了数据计算的准确性,方便了教职工个人查询授课课时量及其他收入等内容,准确地反映出个人交税的明细情况,并针对税金核算做出数据统计表。高校使用推广办公自动化刘时代的需要和管理科学化的标志。     

MIS系统设计阶段技术文档规范化的实施方案探讨

本文在国家颁布的有关计算机软件开发规范的两个国家标准基础上，以探讨MIS系统设计阶段技术文档的实施方案为目的，从有关MIS系统设计阶段的具体任务入手，介绍了笔者近几年来在开发数据库管理信息系统（MIS）应用软件时所采用的有关编写系统设计阶段技术文档的一套表格和图表。     

VGA卡13H模式编程技术分析

本文对13H图形模式下。作图的常用编程方法作了较详细的讨论,并以画点为例通过实际运行比较了执行效率。     

Mathematical instrumentalism, Gödel’s theorem, and inductive evidence

Mathematical instrumentalism construes some parts of mathematics, typically the abstract ones, as an instrument for establishing statements in other parts of mathematics, typically the elementary ones. Gödel’s second incompleteness theorem seems to show that one cannot prove the consistency of all of mathematics from within elementary mathematics. It is therefore generally thought to defeat instrumentalisms that insist on a proof of the consistency of abstract mathematics from within the elementary portion. This article argues that though some versions of mathematical instrumentalism are defeated by Gödel’s theorem, not all are. By considering inductive reasons in mathematics, we show that some mathematical instrumentalisms survive the theorem.     

"火炬计划"是推动山西省高新技术产业发展的有效途径

文章介绍了“火炬计划”启动以来，山西省在“火炬计划”项目的实施和高新技术产业开发区的建设方面所取得的丰矾成果，同时简要介绍了山西省“九五”期间高新技术产业发展的决目标。