软件人情感控制广义模型

借鉴大系统控制论中广义模型化方法,建立了软件人情感控制的广义模型. 提出了行为受理智和情感共同控制的观点. 从功能上将软件人情感控制模型划分为感觉模型、思维模型和行为模型,并给出了感觉模型、思维模型、行为模型三者之间的关系模型以及思维模型和行为模型两者之间的关系模型.     

应急管理的模型

模型在应急管理中具有非常重要的作用,论文讨论了应急管理中的模型问题.首先给出了模型的概念和常用模型,然后讨论了应急管理中常用的模型及其特点,最后分别介绍了突发事件机理模型、应急管理机制模型、应急决策模型和应急评价模型。     

利用扩展的Petri网模型形式化业务场景模型

UCM模型作为一种图形化的业务场景模型,其场景设计可以表示需求和产生规格,驱动设计和系统演化,UCM模型的正确性影响软件开发的质量.鉴于形式化模型可以验证其正确性,提出了一种利用扩展的Petri网模型,应用模型驱动实现业务场景模型的形式化方法.该方法通过细化Petri网模型中的Transition结点,从而有效的描述业务场景模型中的路径决策和动态行为.通过对UCM模型和扩展的Petri网模型的抽象语法定义,利用模型驱动方法定义了UCM模型元素形式化映射为Petri网模型元素的规则,并根据其规则设计了映射算法;在Eclipse平台上使用ATL语言实现了模型的形式化映射;应用Web Payment实例演示了UCM模型的形式化分析结果.     

植物生长模拟与数学模型研究

着重讨论了植物生长模型的研究特点和模型的基本特征.针对模型的研究层次或尺度、模型的模拟功能等,探讨了模型的分类方式.其中分析了形态发生模型和生理生态模型各自的作用、内涵与使用范围,并对传统数学方法在模型研究中的作用进行了较详细的阐述.同时,对植物生长模型研究领域中存在的主要问题及其研究前景作了总结和概述.     

计算机安全模型的研究

本文简述了访问控制矩阵模型、Bell-LaPadula（BLP）模型、Biba模型、RBAC模型和非形式化安全模型等几种安全模型的基本原理和优缺点,分析了它们的应用特点,给出了计算机安全模型的总体概述,并展望了未来的发展。     

上海能源系统MARKAL模型与情景分析

采用国际上通用的能源系统MARKAL模型,根据上海经济和社会发展的趋势,以及能源需求的增长,以中长期发展为研究目标,建立上海能源系统模型.模型设计了1个基准模型,它包含了一次能源供应,现有能源技术和未来先进的能源技术,以及终端能源需求预测;根据不同SO2排放策略作为约束条件设计了2个情景模型;通过模型的计算,实现基准模型和情景模型的对比与分析.该模型将为上海未来能源策略和政策研究提供通用的系统计算模型和研究方法,并为研究上海未来经济发展模式、低排放能源技术发展策略和能源政策研究奠定了基础.     

蒸发波导预测模型研究

利用海上试验采集的波导数据,对比分析了蒸发波导Paulus-Jeske模型和A模型在我国海域的适应性.结果表明:多数情况下Paulus-Jeske模型的适应性优于A模型,但在较低风条件下,A模型适应性较好.根据两种模型的适应性特点,将Paulus-Jeske模型和A模型结合建立了混合模型.通过仿真分析和试验数据的检验可知,混合模型相对Paulus-Jeske模型对气海温差的敏感性和预测准确性有所改善.     

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

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

用线性组合模型分析软件可靠性数据

针对单一模型分析软件可靠性数据存在的不足,对软件可靠性数据的收集进行规范,并提出线性组合模型,解决了软件可靠性数据和可靠性模型的适用性问题,提高了软件可靠性模型评估和预测的精确度,其中DLC模型是目前线性组合模型中的最佳线性组合模型.     

基于社区结构的P2P流媒体系统建模研究

对基于社区结构的P2P流媒体系统进行了建模研究,总结提出了k-n模型和k-n-t模型两种社区结构模型,并对这两种模型的小世界网络特征作了理论分析和比较。结果表明,k-n模型社区结构比k-n-t模型具有较高的聚集系数,而k-n-t模型社区结构在聚集系数和平均路长两方面取得了更好的折衷。