计算性质视角下的决定论与非决定论

讨论决定论与非决定论关系问题应分别在有穷和无穷条件下进行,并在无穷条件下区分可计算和不可计算情况。有穷情况下,决定论与非决定论不可区分;无穷情况下,若是可计算的则是决定论的,若是不可计算的则是非决定论的。     

复杂性科学视野中的还原论问题

还原论问题是哲学界及科学界激烈争论的问题,本文尝试沿着科学进路在特定视角下分析该问题.在把“不可还原“理解为“有新特性且此特性不可预知“的意义上,于复杂性科学视野中存在着一个考察还原论问题的标度阶梯:线性、非线性、不可计算性,每一个视角下都有其相应的可还原性和不可还原性.可见,复杂性科学进路中可还原与否是依赖于考察问题的视角的.     

论不可交换价值

探讨了我国社会改革发展过程中 ,社会多元价值系统的生成与相互制约关系。着重指出 ,那种用单一价值观来指导社会发展的理念已经不能适应社会改革的需要。在当前我国社会的多元价值格局中 ,政府的行政原则、企业的利润原则与学术界的共同体原则 ,其各自不同的根本价值是不可交换的。社会的稳定与健康发展 ,必须依赖对不同社会价值系统的尊重及其不可交换价值层面的生成     

创新系统生成初探

创新系统化是生成性的，包含着自然生成和社会生成两个层面。在创新目标的生成过程中，复杂性、不确定性和非线性对创新系统有建设性作用，在地域、时间和关系三个雏度上使创新活动表征出系统性，形成创新系统。     

试论计算系统的能力与性能

计算系统包括自然产生的计算系统和人工计算系统两类。计算能力和计算性能是它们的两个最基本的要素 ,其中计算能力是基础 ,计算性能是第二位的。阐明了自然产生的计算系统受到的物质制约、环境制约、发展制约、不可约化的层次体系结构的制约和动态制约等一组广义的概念 ,并以脑神经系统为例讨论了研究这类系统的可能性和面临的挑战。     

关于灰色关联度计算方法的研究

灰色关联度是关联分析的基础,是灰色理论的重要组成部分。然而关联度的计算还存在一些缺陷,学者们在改进以前关联度计算方法的时候,往往又产生了一些新的问题。究其原因,主要对关联度的计算应该满足的最基本条件缺乏系统研究,才导致提出新计算方法的时候顾此失彼。详细论述了灰色关联度的实质(即关联度要达到与实际相符,应具备最基本的性质),并在此基础上提出了一种基于实质的关联度计算方法,论证了它具有良好的性质,从而弥补了以往灰色关联度不完全符合实际的缺陷。     

可计算组织模型的验证难点与验证方法综述

模型"有效性"能否得到验证是推动计算组织理论发展的必要条件,也是一大瓶颈.立足于计算组织理论的前沿地位,论文综述并讨论了可计算组织模型的验证难点和验证方法.首先,可计算组织模型验证区别于自然工程模型,也超越了传统实证方法,在验证过程面临诸多主观、客观的难点;其次,发展基于问题域、建模目的、参照系三者内在联系的验证情境,从"度"上考量模型有效性,是可计算组织模型的有效性本质;再次,建立区别于自然工程系统的VVA验证方法,关注概念效度验证、操作效度验证以及数据效度验证,遵循迭代验证原则,是未来的研究趋势.本课题也列举了相应的验证案例;最后,可计算组织模型验证应该是一个不断增强模型信心的过程,亟待跨领域专家执着于该领域的研究兴趣.     

可计算组织模型的验证难点与验证方法综述

模型“有效性”能否得到验证是推动计算组织理论发展的必要条件,也是一大瓶颈. 立足于计 算组织理论的前沿地位,论文综述并讨论了可计算组织模型的验证难点和验证方法. 首先,可计算组织模型验 证区别于自然工程模型,也超越了传统实证方法,在验证过程面临诸多主观、客观的难点;其次,发展基于问题 域、建模目的、参照系三者内在联系的验证情境,从“度”上考量模型有效性,是可计算组织模型的有效性本质;再次,建立区别于自然工程系统的VV&A验证方法,关注概念效度验证、操作效度验证以及数据效度验证,遵循 迭代验证原则,是未来的研究趋势. 本课题也列举了相应的验证案例;最后,可计算组织模型验证应该是一个不断 增强模型信心的过程,亟待跨领域专家执着于该领域的研究兴趣.     

虚拟汽车风洞

在求解雷诺平均三维不可压Navier-Stokes方程的基础上采用虚拟现实技术建立了虚拟汽车风洞。虚拟汽车风洞与传统的CFD计算结果可视化的表现手段相比，能够交互式地从各个不同的位置更形象更直观地观察车身外流场的流态。采用这种方法可节省汽车模型制作和风洞实验的巨额资金，缩短新车型的开发周期。     

论系统突现的模拟可推导性及其性质与条件

大量的计算机模拟案例表明,英国早期突现主义者所主张的“突现是不可解释的”这个观点是不对的。系统的突现是可以通过模拟推出的,其性质是：（1）它不是分析地或解析地被演绎推出的,而是综合地或基于主体地被模拟推出的;（2）它是一种部分还原的推出,而不是全还原的推出。一种突现性质是能够模拟地被导出的,它至少需要具备下列三个条件：（1）它必须是可模拟的;（2）它必须是可计算的;（3）它必须给出必要的高层次观察函数。     

复杂性研究的成就与困惑

本文主要就欧洲的普利高津学派、美国的圣塔菲学派和中国钱学森学派的复杂性研究分别作了评价,既谈成就,也谈困惑,进而引出几点关于复杂性研究的全局性看法。     

中国六部门可计算非线性动态投入产出模型与参数设定

给出中国六部门可计算非线性动态投入产出模型的构模原理 ,以及如何依实际数据设定模型参数的方法 .本模型是线性列昂惕夫动态投入产出模型的推广 ,它既克服了线性投入产出模型中劳动与资本不可替代的缺点 ,又克服了可计算一般均衡 ( CGE)模型理论上只能求静态平衡点的缺点 .     

中国六部门可计算非线性动态投入产出模型与参数设定

给出中国六部门可计算非线性动态投入产出模型的构模原理 ,以及如何依实际数据设定模型参数的方法 .本模型是线性列昂惕夫动态投入产出模型的推广 ,它既克服了线性投入产出模型中劳动与资本不可替代的缺点 ,又克服了可计算一般均衡 ( CGE)模型理论上只能求静态平衡点的缺点 .     

考虑税收的可计算非线性动态投入产出模型及其参数设定

建立了含税可计算非线性动态投入产出模型,并利用中国的实际数据估计出模型参数.本文是可计算非线性动态投入产出模型在税收领域的应用.根据本文的模型可以给出求解增值税、企业所得税、个人所得税等主要税种合理税率的计算公式.     

气候变化综合评估模型研究新进展

本文在总结全球29个典型的气候变化综合评估模型(integrated assessment models, 简称IAM)的基础上, 围绕模型框架, 不确定性, 公平性, 技术进步和减排机制等五个关键科学问题, 系统总结并评述了气候变化综合评估模型的新进展. 气候变化综合评估模型主要的模型框架有最优化模型, 可计算一般均衡模型和模拟模型等三类. 针对气候变化不确定性, 气候变化综合评估建模中需要解决气候变化影响的概率分布, 人类对气候变化的风险厌恶程度, 人类对社会福利的时间偏好等问题. 在代际公平性方面, 伦理派支持较低的贴现率, 在气候政策上主张立即大幅减排; 市场派支持较高的贴现率, 在气候政策上主张渐进式采取行动. 在区域公平性方面, 应当给予欠发达地区高于发达地区的社会福利权重. 综合评估模型对技术进步的处理有从外生到内生的趋势, 技术进步内生的主要途径包括直接价格诱导, 研发诱导和学习诱导三种类型. 在减排机制方面, 从成本效益角度分析的学者普遍认为价格机制比数量机制更有效.     

个人收入税和消费税政策分析——基于CGE视角

2011年9月1日我国实行新个人所得税法.个人可支配收入不仅受到直接税(如个人所得税),同时也受到间接税(如消费税)的影响.这两种不同的税收对社会福利、以及宏观经济运行到底会有怎样的影响?我国的消费税应该做出怎样相应的改革?本文建立一般经济均衡模型分析征收个人所得税和企业消费税对社会福利水平及宏观经济各个方面的影响.以2010年经济运行数据作为基期校准各项参数,通过大量模拟计算显示,适当降低消费税税率、乡村居民个人收入税税率和适当调高城镇居民个人收入税税率,有利于乡村居民社会福利和收入水平的提高;其次,加大第一产业进口,或者减少第二产业出口,有利于两类居民社会福利水平、收入水平和消费需求增加;另外,第一产业净进口与第二产业净出口同步增长时,宏观经济各项指标均有改善,但是,第一产业将受到巨大冲击.最后,文章指出效用函数的替代弹性对社会福利总水平精度比生产函数的替代弹性的影响小.     

防洪减灾Stackelberg问题研究

为了研究中央政府和大江大河的左、右岸地方政府在防洪减灾中的相互影响和相互作用及其均衡,构造了由中央政府和两个地方政府作为参与人的复杂博弈模型,构成内层问题有关联的两阶Stackelberg问题,利用基于可行域分析的遍历全局搜索法对该数学模型进行了求解,并完成两个案例的计算.研究发现中央政府增加防洪投资并不必然导致防洪投资总额的增加,相反会引起地方政府的防洪减灾投资的减少,因而中央政府应该淡化自身的投资人的角色,而更多地关注如何通过机制对地方政府的防洪投资进行引导,从而实现全社会的最优配置.     

中国金融可计算一般均衡模型

为了研究中国金融问题,本文建立了中国金融可计算一般均衡模型,用于分析中国的货币政策和能源行业的资本存量,从而为中国金融政策的制订提供了数量上的依据。中国金融可计算一般均衡模型的方法也用于其他国家研究金融问题。