系统理论中系统动力学方法论的困境、问题与未来——基于经典定性与定量方法的批判视角

系统动力学是政策实验室的一种重要方法论,是一种综合了定性、定量研究方法的交叉复杂大系统,却受到了经典定性与定量方法的批判。本研究在梳理经典定性学者和定量学者对其批判的内容基础上,使用了典范视角分析了系统动力学受到批评的原因,提出系统动力学方法要与其他方法融合、领域内学者要与其他学者合作、平衡学术与实务导向的建议。     

定性仿真与人工智能的关系及计算机化解法体系

定性仿真是采用定性推理方法建立和求解定性代数方程或定性微分方程模型,得到被仿真对象的定性行为和展望的预测过程。定性仿真(QSIM)和基于深层知识的人工智能技术,在其核心内容上看是属于同一科学领域。图论方法是求解复杂定量或定性仿真模型的实用且有效的计算机化方法。提出了有关定量和定性仿真计算机化的解法体系,给出了一种计算机求解实例。     

图书馆学定性研究趣味的敌人

阐述了后现代主义、相对主义、科学主义是图书馆学定性研究趣味的主要敌人,指出与趣味的敌人作斗争将是一个长期的过程。     

F-P腔的调装

本文结合实验,具体介绍了F-P腔的调装过程。     

一个推广的周期非线性色散波方程的爆破解

使用经典的数学技巧研究了一个推广的周期非线性色散波方程的柯西问题。通过使用Kato半群理论，获得了这个方程局部解的存在唯一性。在关于初值的适合条件下，得到了这个方程的一个精确爆破图景（即解在有限时间爆破当且仅当lim supt↑T{supx∈S|γux(t,x)|}=+ SymboleB@ ）和一个爆破结果（即解爆破的一个充分条件）。
     

如何上好耐久跑教学评价课

上好耐久跑课评价课，要做到即时评价与阶段评价相结合、定性评价定量与评价相结合、他人评价与自我评价相结合、过程性评价与终结性评价相结合的方式。     

具有下半连续选择对应的抽象经济的平衡

本文中，抽象经济和定性对策的几个平衡存在性定理被证明。在本文框架下，经济人的数目可以是可数无限的，经济人的策略空间可以是无限维和非紧的，选择对应可以是下半连续的而没有开图或开下截口和约束对应可以是间断的而没有开下截口。这些定理改进和推广了最近经济文献中的某些结果。     

重质石油中含氮化合物的形态及分布分析Ⅰ

建立了萃取－柱色谱的预分离方法。对南京管输油中的含氮化合物进行了富集，并用ＧＣ／ＭＳ和红外光谱定性鉴定了所得的含氮化合物各组分。     

面向半结构化数据的树逻辑及其性质研究

半结构化数据正以其灵活性而成为解决Internet环境下互操作语义层面问题的重要工具和网络数据交换格式的标准．从基础理论层面上对版结构化数据进行研究，在考察了进程代数和空间逻辑的有关结果后，从模型和逻辑系统的角度对半结构化数据特别是XML语言进行刻画．在[1]的基础上，在数据模型中加入了受限算子，并提出一种新的空间逻辑——树逻辑，在其中引入了一个新的模态算子，它们的意义在于能够对私有数据的性质进行刻画和表达．此外，通过修正数据模型中的同余关系，使得模型符合数据的有序性，从而使其更为合理．在此基础上证明了树逻辑系统公式可满足性的不可判定性，从而说明针对整个树逻辑系统的模型检测算法是不存在的．同时选择了其中一个子逻辑系统，给出了其模型检测算法，并证明了该算法的正确性．     

一类非线性四阶方程的纽结波解

用微分方程定性理论结合数值模拟方法研究了一类非线性四阶波动方程的纽结波. 在r＜ 0的条件下,首先把波动方程转换成一个常微平面系统,然后用定性理论讨论该平面系统的奇点性质,画出该系统的相图分支,根据相图找到了纽结波的存在条件,并求出了纽结波的解. 最后用数学软件Maple对行波方程进行数值模拟,得到纽结波的平面模拟图. 数值模拟进一步验证了理论分析结果.