模型化推理与理论的建构

理论模型并不完全与理论一致.模型化推理的逻辑特征在于在原型与模型之间,以及模型与理论假设之间尽可能地建立起可靠的、完善的逻辑联系.利用模型化推理建构理论时,首先是提出模型,然后对其进行检验,最后根据检验结果,看看这个模型是否代表待说明现象的内在结构.理论的延伸可沿两条不同的路线进行.一是形式化的延伸;二是非形式化的延伸,它又可区分为两类:展开与发展.     

创建智能体系统的软件工程方法研究

研究作为数字世界中计算和应用软件系统构造单元的软件智能体构建与开发。提出由 (1)智能体理论模型 ;(2 )以之为概念框架的软件系统逻辑结构模型 ;(3)基于结构模型 ,采用统一建模语言UML实现的应用程序框架三部分组成的方法体系。这三个部分既具有内在机理联系又有过程时序约束 ,它们分别支持软件工程的分析、设计与实现各阶段。预期该方法体系的成功运用将有利于软件智能体系统开发的规范化和标准化 ,进而提高智能体系统开发效率并促进成果共享和软件重用     

网络科学的理论模型探索及其进展

简要评述了复杂网络分类和研究概况,着重概述了近年来本研究项目在网络科学的理论模型方面的探索及其进展。提出和探索了若干模型:和谐统一的混合择优模型,大统一混合网络模型,量子信息网络模型,纳米相干网络模型,局域世界演化模型,非局域连接模型,社区网络模型,属性连接网络模型,含权科学家合作模型,同步最优网络模型,以及广义同步和集团同步等问题。     

混凝土靶的侵彻与穿甲理论

以笔者先前提出的控制刚性弹侵彻动力学的两个无量纲数(即撞击函数I和弹头形状函数N)为基础, 综述了笔者及其合作者在混凝土靶的侵彻与穿甲方面的理论模型工作,包括量纲分析、深层侵彻、浅层撞击,素混凝土靶的正/斜穿甲等,并进而拓展到钢筋混凝土靶的情形.给出了目前该领域国外的研究进展.     

论零售商圈的测定方法

文章介绍了零售店铺商圈测定的两种方法--理论模型法（主要有莱利法则、康帕斯法则阿普波姆法则、伽萨法则和哈夫法则）与实态调查法（主要有家庭购物调查、顾客登记簿调查、来店者调查）.其中重点论述了理论模型法中的莱利法则与哈夫法则,莱利法则分析计算了零售区域的吸引力,哈夫法则测算了消费者的购物概率及消费额.     

LD端面泵浦固体激光谐振腔的研究

为了对激光谐振腔体进行优化设计，采用ABCD光学传输矩阵理论．计算得到具有普适性的三镜折叠腔内高斯模式束腰的解析解．对一典型平-平热透镜腔进行计算分析，结果表明；在针对其进行优化设计的泵浦范围内．腔体稳定性很好．激光光斑半径基本不随泵浦功率变化而波动．实验中以808nm尾纤输出的激光二极管端面泵浦Nd：YAG晶体产生连续1064nm激光．激光输出结果与理论模型值能够较好地相符．     

理论和实验DNA计算

本书是《自然计算系列》丛书之一。近10年来，DNA计算迅速地发展成为计算科学、生物学、工程和数学之间的新研究领域。此书全面地介绍DNA计算的整个领域、历史和发展，书中详细论述至今已有的所有理论模型和实验结果，也讨论了将来可能的发展。     

A12Of＋Cf／ZL109混杂复合材料的常温拉伸强度及预测模型

采用挤压铸造法制备了A12O3f， Cf／ZL109短纤维混杂金属基复合材料，并对该混杂复合材料的常温拉伸强度性能进行了实验及理论分析、在综合考虑纤维长度变化规律、两种纤维在拉伸过程中各自的行为和机理，以及热应力诱发位错强化和纤维弥散硬化等因素对复合材料强度影响的基础上。对复合材料强度预测的混合律模型加以发展和修正，建立了A12O3f， Cf／ZL109短纤维混杂复合材料的常温强度预测模型．利用该模型得到的理论预测值与实验值吻合较好．     

树冠截留降雨模型研究进展及其述评

根据国内外林冠截留模型研究的历史和现状,将模型分为三种类型（经验模型、半经验半理论模型、理论模型）进行系统归纳整理,对各类模型的特点做了简要评述。     

球直坐标转换误差分析及对卡尔曼滤波的制约

将观测器 (如雷达 )在球坐标系的测量值转换到三维直角坐标系后 ,其误差分布规律将发生变化。通过分析 ,证明了理论模型不能直接应用于卡尔曼滤波 ,得到了适用于卡尔曼滤波的直角坐标系的工作模型 ,并对转换后的误差的理论模型和工程模型进行数值比较 ,两者的数字特征非常接近。