成果简介：该研究：编制了1982，1984年全国农业投入产出表(1989年又编制了1987年全国农业投入产出表)。该套农业投入产出表包括实物型表、价值型表和能量型表三种，实物型表包括40种主要产品、16种副产品、10类非农业投入16类固定资产、10类非农业投入和16粝固定资产占用品、价值型表包括24个农业部门，分别按现行价格和1980年不变价格编制；在能量型投入产出表中重点研究了47种农业品在有量上的投入与产出的关系。

成果简介：自适应估计与控制的基础理论控制论研究如何修正系统的动力学特性使其达到预期的目标。它是以实际问题为背景，以数学为工具来研究系统的一般性控制规律的科学。自适应估计与控制则是国际控制界最活跃的研究方向之一。“自适应”就是利用量测数据构造数学算法，来实时地修正系统的参数估计和(或)反馈控制，使得特性不了解或不完全了解的动态系统，达到预期的辨识和(或)控制目的。该项基础理论研究的主要内容，特点及影响如下：(1)彻底解决了控制理论中20年悬而未决的著名难题ASTROM-WITTENMARK自校正调节器的稳定性及收敛性，奠定了在工业中得到广泛应用的自校正调节器的理论基础，推动了适应控制领域的发展。(2)提出了“条件激励”新思想，创造性地解决了实际中广泛应用的三类著名时变参数估计算法的稳定性，在国际上领先开展了时变系统估计的理论研究。(3)提出了新的定阶准则，解决了非平稳反馈控制系统的阶估计这一基本问题。创造了同时估计控制系统阶数及参数的一套系统而又深刻的理论和方法。(4)在国际上率先开展随机适应控制稳健性研究，首次获得关于一般时变随机系统适应控制的稳定性，并得到使参数估计和二次指标同时最优的适应控制。该项目是自适应估计与控制理论基础的重大突破，所创造的思想，理论，公式，算法和定理已得到同行的广泛应用。在控制界学术刊物上，国际同行专家发表了一系列评价，来公开肯定上述工作的突破性，重要性及领先性，部分工作曾在国际上获奖。

成果简介：高新技术产业、劳动就业是首都经济发展面临的两大战略问题，长期以来对两者的关系众说纷纭。该研究利用系统科学方法，将定性分析与定量分析相结合，以投入产出技术为主要定量分析手段，对45个社会经济部门之间的依赖和制约关系进行了完整分析，计算了各部门对劳动力的直接和完全需求系数、完全需求结构系数、劳动力乘数等，深刻揭示了社会经济发展，特别是高新技术产业发展与劳动力需求间的作用机理。科学、准确地回答了两者的关系问题。该研究按照低、中、高三种速度对北京市2005、2010年45个部门的发展规模及劳动力需求进行了预测。它所采用的以产业链上部门间的技术经济联系为纽带，从机理上揭示高新技术产业发展对劳动就业作用的途径、力度的方法，高新技术产业－传统产业投入产出表的编制，高新技术产业－传统产业投入产出模型的提出与建立，在国内外尚未见到，是研究方法、模型技术的创新。其模型方法及分析结果可用于政策研究、决策支持、产业结构调整，建模技术和投入产出表可广泛地应用于资源、环境、财政等多种社会经济问题的研究与发展规划的制定。

成果简介：该项目系统性地创立了电力大系统非线性鲁棒控制新理论体系，包括：带有不确定性的反馈线性化H∞设计理论；分散非线性鲁棒控制方法以及状态-动态-量测（SDM）混成反馈方法等成果。建立了非线性大系统具有模型数值化、分析层次化和实现计算机化特征的控制新理论，包括：可量化几何方法与基于正则型与矩阵半张量积的优化控制设计方法等内容，该成果是处理包括电力系统在内的一般非线性问题的一个创新性工具。除了注重基础性理论创新外，该项目还致力于“新理论－高技术”相结合的研究工作，其目的之一是检验新发展的理论和方法的正确性和有效性；其二是为促进先进生产力发展。在这方面主要内容有：研制出大型发电机组非线性最优和非线性鲁棒综合励磁控制装置；水轮机调速器非线性鲁棒控制器样机和超导储能非线性控制实验装置。在这些装置中，从设计理论到控制软件全部自行开发；在硬件系统中采用当代最先进的处理器和分层式结构。

成果简介：参数估计的渐近有效性是衡量估计量优劣的一个重要标准。该成果集中讨论了Ｂａｈａｄｕｒ渐近有效性、中位无偏渐近有效性和Ｃｒａｍｅｒ渐近有效性等问题，深化了对这些有效性的认识，并且把这些概念进行了各种推广，创造性地把它们运用到各种不同的问题中去，给出了其渐近有效性的基本结果，发展了前人的研究成果，具有重要的理论意义。

成果简介：本研究利用系统科学与数学方法进行了如下的工作：（１）研究了粮食亩产与十二个因素，即受灾面积、受灾严重程度、化肥施用量、农家肥施用量、灌溉面积、机耕面积、役畜数量、时间趋势、政策变量等的回归关系，得到了若干线性与非线性预测方程；（２）在亩产预测方程的基础上，进行了１９８０、１９８１、１９８２、１９８５等年度的粮食产量预测；（３）得到了若干种因素对粮食亩产的影响指标，如根据计算得出，我国每斤化肥（实物量）对粮食亩产的影响为１．３－２．０７斤（全国平均）等；（４）向中央和有关部门提出了若干增产粮食的措施与建议；（５）对农业方面的部分统计资料提出了修改意见。从目前情况看，粮食产量预测的精度在１％以内。

成果简介：该成果对奇异（广义）控制系统理论进行了深入研究，在奇异摄动系统的控制器设计方面，给出了有穷时间的二次线性指标下的次优控制与次优滤波；用奇异摄动系统的分解方法，提出了奇异摄动控制系统的降阶观测器。在广义控制系统（连续与离散）的结构与性质方面，在各种不同标准结构形式下给出了各种能控的判据和各种能控性之间的关系；讨论了分散广义系统的无穷远固定模及其检验算法；并研究了具有应用前景的广义控制系统设计方法，以及广义控制系统的滤波等问题。该成果在理论上系统、完整，在国内居领先地位。

成果简介：矩阵损失由著名统计学家Ｃ．Ｒ．Ｒａｏ和Ｅ．Ｌ．Ｌｅｈｍａｎｎ教授先后提出，但未见实质性结果。该成果给出的Ｂａｙｅｓ估计、位置参数和位置－刻度参数的最优同变估计的明确表达式及唯一性，估计是ｍｉｎｉｍａｘ或可容许的充分条件，多参数指数族均值向量的常用估计的可容许性。在矩阵损失和一般二次损失下，系统完整地解决了回归系数随机、非随机和部分随机的线性模型中回归系统和参数的线性可估函数的线性估计的可容许问题，对１０种不同情况都给出了充分必要条件。该成果包括１０篇文，已在国内外发表，并多次被引用。

成果简介：该课题包括六篇论文，研究了现代频域法（又称多项式矩阵方法）在线性控制系统方面的应用，并取得了突出的成果。即讨论了用微分算子多项式矩阵方法描述的多变量线性系统的内模原理、反馈系统的非退化条件与物理能实现性之间的关系以及传输零点与结构无静差之间的关系；用谱分解方法研究了二次性能指标下的最优控制的综合问题，把时域中求解Ｒｉｃｃａｔｉ方程的问题转化成了求解Ｄｉｏｐｈａｕｔｉｎｅ方程的问题，从而易于为技术人员所接受；把自校正调节器理论与线性系统的内模原理结合起来，给出了带干扰解耦的自校正调节器的设计方法；并讨论了带有干扰解耦的状态观测器的存在条件及设计方法。

成果简介：参数估计的容许性是统计判决的重要基本概念。本课题从正面探讨了单参数容许，综合多个参数仍保持容许的充分条件，给了一个一般性定理。同时以这个一般定理为指南深入研究了各具体分布族所含参数同时估计的容许性，举出了５个有实用价值的例子。本项成果属理论性工作，有一定的创造性。对这类问题的研究在国内是首先的，可与国际上同类工作相比较。

成果简介：该项目编制了我国第一个全国农业投入产出表；提出了新的包含固定资产计算完全消耗系数的数学方法；编制和研究了能量型农业投入产出表，并计算了各类农产品的产投比及有机能与无机能比例等。可用于编制全国、各地区的农业投入产出表，进行主要农产品成本分析、制订主要农产品理论价格、研究工农业产品价格剪刀差，对全国和各地区主要农产品，如粮食等的产量进行预测等。

成果简介：该项成果研究了图论中的哈密顿问题及其有关图的路与圈结构理论问题。它解决了著名图论专家邦迪的完美路双复盖的猜想；给出了正则图是哈密顿图的最好可能的充分条件；获得了一般图的哈密顿问题的若干深刻结果，提出隐次和闭包运算的概念，大大推进了已有结果；研究了在奥尔型条件下边不交的哈密顿圈存在性的最好可能结果；研究了图的圈型结构与顶点的邻域并的关系，获得了若干结果。该成果对当前国际上正在大力开展的组合优化算法研究有直接的应用价值。

成果简介：该课题研究了有向图的树形图和偶图的对集的装箱问题，得到了综合性结果，以推论的形式概括了许多著名的结果，例如Ｅｄｍｏｎｄｓ及Ｆｒａｎｋ等人的经典结果。还研究了有实用背景的二分树和半二分树问题，为计算机技术的某些应用提供了理论基础和算法。对图的圈形结构的研究，给出了无向图存在哈密顿圈全新的“次”型条件；在有向图的圈形结构的研究方面也得到许多重要结果，先后以“次”型条件分别给出竞赛图具有弧泛回路性、有向图包含一条哈密顿圈及一条哈密路的充分条件。该项研究在某些方面是国际上最好的结果，富有创造性。

成果简介：该研究利用正交试验法解决产品的“三次设计”（系统设计、参数设计、容差设计）问题，选择优良的参数组合，从而提高产品的质量，其经济意义巨大。同时，该研究工作还可以开拓其他领域的工作（如电路数学等）的进展。研究中主要解决了三次设计的理论问题，并提出了一些新的方法和一套算法及计算程序，取得了比较完善、系统的研究应用成果。在所完成的项目中，有的科研项目在生产实际中产生了巨大的经济收益，每年可为工厂避免经济损失近二千万元之多，产品的三次设计及其应用研究，不仅达到了理想效果，同时节省了经费，在民用、军用及其他方面都产生了巨大的经济效益。

成果简介：该系统适于多工序，多品种规格产品生产企业的成本核算、预测。生产工艺越复杂，产品种类越多，就越能显示其优越性。该系统不是对手工操作的简单模拟和替代，这是与国内同类技术的主要差别，其特点可概括为：科学性、实用性和可操作性。它以投入产出模型为核心，以核算期投入产出表为依据，按照生产工艺过程，在对各种半成品，产成品的不消耗关系全面、科学分析的基础上进行成本核算、预测。它将现代管理方法与计算技术融为一体，使企业投入产出建模技术和应用方法均有突破。有但实现了按核算周期编表，而且可根据生产、技术的变化随时对其修改，提出了可替代品及多种工艺生产问题的有效处理方法，并按照企业的特点建立块状投入产出模型。它从投入运行之日就完全取代了手工操作，易于掌握的“傻瓜”输入方式，是系统长期稳定运行的保证，数据的加工，转换直至编表、核算或预测，全部由微机自动实现，具有良好的可操作性。该系统的应用，不仅减轻了劳动强度，提高了效率，更为核算人员的职能向管理会计转变提供了条件，充分发挥投入产出分析的功能，使长期难以解决的多报、漏报、乱报现象被制止，有力地加强了管理基础工作，应用三年来，已累计创效约400万元，使企业效益与管理双丰收。

成果简介：审计经济法规库以基层审计工作为主要服务对象，收集政府机关和管理部门颁布的与审计工作有关的各种法规。在此基础上建立的数据库，收集了财政、税务、物价、金融等13大类的法规文件。按照法规库的特点，设计了法规库的管理系统。1.法规库管理系统的原始数据可分为三部分：(1)法规文件按内容分为若干条；(2)隶属于法规文件的分类信息，转发关系和主题词；(3)隶属于法规条款的分类信息和关键词。2.法规管理系统设置下列数据库：(1)法规条文库；(2)文件信息库；(3)主题词转发库；(4)转发库；(5)条款信息库；(6)关键词条文库；(7)主题词库；(8)关键词库。3.法规库管理系统提供下列功能：(1)文本数据的预处理和检测功能；(2)文本数据的装入，重装功能；(3)数据库维护功能；(4)数据库检索功能；(5)公式阅览和计算功能；(6)检索结果的阅览、输出和编辑功能。随着社会法制化的发展，法律法规是执法的依据和准则。法规库的应用不但提高了工作效率，而且使广大的审计人员有了很强的法制观念，推动了法制化的发展，取得巨大的社会效益。

成果简介：该项目属信息科学及自动化学科，内容部分涉及力学与数学。主要研究参数摄动系统的鲁棒稳定性及控制，是国际控制界前沿问题。包括多项式族稳定性和参数摄动系统的严格正实与镇定。具体有：在仿射参数化下，发现与证明了棱边定理及多项式族稳定性的基本性质(与美国学者合作)和提出值映射参数化方法并给出可将棱边定理及KHARITONOV定理等作为简单推论的基础性结果--边界定理及其在复多项式族和根分布不变性等的扩展形式；对连续和离散系统给出用相角表达仅用端点判断凸组合稳定的弱充公条件；在多仿射参数化下，按控制系统特点给出与证明了以摄动向量为基础的映射定理新形式，克服了检验顶点数指数爆炸的困难；运用系数空间距离、方向极值等概念得到非线性情形下边界检验的一些充分条件，并针对区间矩阵的D稳定性给出了低维检验条件；给出区间系统严格正实性的八顶点检验(与美国同时发表)，组合强强镇定的两顶点检验；给出适应控制工程要求的稳定性区域并使区间族有强KHARITONOV结论，对多线性参数化系统传递函数族给出严格正实检验的强KHARITONOV型检验与顶点检验。成果系统，方法独特，控制意义明确，便于推广应用。

成果简介：综合集成系统开发的系统方法论思考，用系统科学方法来研究宏观经济系统这一开放复杂巨系统问题，提出了模型体系和综合集成系统建模的各种策略，并归纳为5类建模方法，发展并建立了多类信息、多类知识混合变量系统重构分析方法和模型，并应用于GDP增长预测，对于多目标决策与群决策问题进行一些深入的研究，完成了一系列围绕ECB的计算机支持工具，认为群体思考活动是解决OCGS问题中群体知识创造的主要源泉，认为HWMSE即是一种知识创造场，探索了创造力支持系统，提出了在解决复杂问题过程的普遍存在的沟通-协作-共识的群体活动C3过程模型；设计了HWMSE雏型中的一个逻辑工作流程，提出了面向复杂问题求解或复杂系统建模的综合集成知识创造系统，开始探索研究知识科学这一新兴学科。

成果简介：(一)创立计算机生成几何定理可读证明的原理与算法能否用计算机产生几何定理的可读证明(即入容易理解和检验的证明)，是人工智能领域的一大难题。该成果研究人员提出以消点思想为主线的新原理，给出了世界上第一个能够自动产生几何定理可读证明的算法和程序。不仅给出的证明简短可读，效率也比已知其它算法高得多。随即将消点思想运用于非欧几何，给出世界上第一个非欧几何可读证明自动生成程序，从而开创了靠计算机通用程序成发现非平凡新定理的先例。这一成果使得机器证明的研究从以判定为主的阶段进入机器产生的证明与人的手工证明竞相比美的阶段。被国际著名计算机科学家R.BOYER誉为“自动推理领域三十年来最重要的工作”，“发展计算机处理几何问题能力的道路上的里程碑”。(二)创立定理机器证明的数值并行方法的原理与算法该成果研究人员提出了对给定的命题通过有限次数值检验加以严格证明的有效算法。在国际上首次实现了用低档微机证明非平凡几何定理以及发现新定理。该算法也是目前唯一可并行的几何定理机器证明算法。(三)对几何定理机器证明的方法的改进与发展创建“含参结式法”，“WR分解”，“聚筛法”等有效算法；建立了文字系数多项式的完全判别系统，为不等式的快速证明提供了有力工具。

成果简介：“管理科学学科发展战略研究”是国家自然科学基金委员会56个学科发展战略研究项目之一。研究工作主要针对管理科学学得根植于自然科学与社会科学两大门类知识体系交叉的土壤之中，与社会、经济等实践活动紧密相连等特点，围绕我国管理科学学科的战略地位，管理科学学科的发展趋势与管理科学学科发展战略目标及措施，以包括实证和规范方法在内的系统化分析为主线，同时对涉及管理科学学科发展战略的一些主要和前沿的理论和方法及其应用进行较深入的研究，从而使整个研究具有创新性、系统性和较高的理论及应用价值。研究根据管理活动日益多样化、管理理论研究不断深入的趋势，从管理系统的混沌性复杂性以及自组织学习过程出发，建立起新的管理概念及对管理科学的基本认识并构造管理科学学科体系框架。通过实证研究对我国管理科学学发展现状进行了全面分析，建立了学科发展环境分析的方法。提出了在我国建立社会主义市场经济体制过程中学科发展战略目标、研究对管理科学基金项目的资助工作起到宏观引导作用，特别是对从“九五”到21世纪初的资助的重点领域和方向、重点和重大课题的选题起到指导作用，对管理科学学科的建设和发展起到了学术规划作用，对国内管理科学学科其他人员和政府社会经济等方面的决策起到了参谋和咨询作用。推广应用四年来，此研究成果不仅对国家自然科学基金委员会及其管理科学部的工作起到了非常好的指导和促进作用，而且对我国管理科学的健康发展起到了很好的咨询，参谋作用。