可计算一般均衡CGE模型的遗传算法研究

简单讨论了求解 CGE模型的早期 Scarf算法和牛顿算法、以及新近流行的 CGE模型求解工具软件 GAMS和 GEMPACK中的典型算法 ,并且分别指出它们的优缺点 ;最后给出了一个基于模拟进化思想体系的 CGE模型竞争求解算法 ,并给出了算例.     

MIS系统支撑环境分析

根据ＭＩＳ系统建设的需要，分析了ＭＩＳ系统支撑环境的构成成分和配置要求，为ＭＩＳ系统的设计提供了依据     

基于扩展Pi演算的SaaS流程演化

针对软件即服务(SaaS)流程的个性化配置需求,引入特征元代数结构来描述软件的非功能特性,通过把Pi演算进行语法扩展(EPi),对软件的功能属性和非功能属性进行形式化描述,由用户需求驱动软件服务流程演化.基于EPi提出SaaS的流程形式化描述和转换方法,建立了SaaS流程演化模型(SSFM)及服务流程演化操作规则,并用量化互模拟理论对流程演化响应需求的情况进行分析,通过建立互模拟程度空间关系量化服务流程演化前后的近似程度.     

基于1987-2016年气象数据的河南省气候舒适度时空变化特征研究

为了解河南省气候舒适度的时空分布特征,以河南省127个县市30年的气象资料为基础,分析各地温湿指数、风效指数和舒适度指数的年际、年内和空间变化特征并评价其舒适状况.结果表明:①3种指数在年际和年内变化都呈现高度一致性,其中温湿指数对判定气候舒适度的变化更敏感,最高等级值达到5级,除冬季外,风效指数和舒适度指数的等级值未超过3级;②河南省北部和西部的气候舒适期开始较晚,结束较早,持续时间短,全省的最佳旅游时段为4—6月和9—10月,其中,5月和9月最舒适;③全省春秋两季气候都很舒适,冬季全省气候舒适度较低,不适宜室外旅行;夏季气候舒适度受高温影响大部分较低,但豫西豫北山地尚可.     

双检测器串联色谱柱分析六味地黄丸

对高效液相色谱系统进行了改造并用于中药六味地黄丸的分析。紫外检测器与蒸发光散射检测器串联以提高峰容量;升高分析温度串联色谱柱以增加柱效。结果显示,紫外检测器共检测到156个峰,蒸发光散射检测器检测到195个峰,其中41个色谱峰为可以认证的共有峰,所构建的系统非常适宜于中草药指纹图谱的研究。     

脱盐水装置采用双室双层浮动床新技术有效降低生产成本

兰州石化公司脱盐水装置采用离子交换制水工艺,阴阳床有固定床和浮动床两种型式,由于设备结构存在问题,阴阳床小时制水量小,制水周期短,周期制水量低,造成阴阳床再生剂用量大,生产成本高。现采用宜兴市锅炉辅机设备二厂的双室双层浮动床技术改造了二套阴阳床设备,新系统投用后,双室双层浮动床除盐效果好,出水稳定,周期制水量提高约50％,再生剂酸碱消耗降低约30％。     

面向轨迹跟踪任务的机器人运动可靠性评估

针对轨迹跟踪任务,阐述了机器人运动可靠性与末端定位精度的数学关系,分析了定位精度的影响因素,建立了面向轨迹跟踪任务的机器人运动可靠性通用模型。引入等效极值原则,将模型求解的多维积分问题转化为一维积分问题,实现了模型的简化求解。以八自由度模块化机器人为研究对象开展仿真研究,实现了典型轨迹跟踪任务的运动可靠性定量评估;在引入相同误差的情况下,深入分析了各因素对运动可靠性的影响情况,分析结果为轨迹跟踪任务的优化控制提供了理论依据。     

细粒度同异步偏序权限建模角色访问控制模型

角色访问控制的应用提高了系统易用性和健壮性.分析了RBAC模型,指出其在细粒度和表达能力等方面的一些缺陷,结合UML对其重构,提出支持偏序权限建模的细粒度面向对象RBAC模型,基于该模型结合部分GoF模式设计了通用应用框架.与其它应用框架相比有着良好的通用性,支持权限关系的同异步及偏序关系表达,并在细粒度动态访问控制上具有更好的灵活性和效率.     

车载自组织网络通信协议

 车载自组织网络（VANET）被认为是未来智能交通系统（ITS）的重要组成部分,可有效提高行车效率、安全性和舒适性。VANET属于移动自组织网络（MANET）,不依赖固定设施,其节点高速移动、网络拓扑变化频繁,具有与MANET不同的构架、特征、应用和挑战。本文综述了VANET网络构架、通信协议、建模与仿真、信息管理和云计算等方面的研究进展,展望了未来的发展方向。     

支持网络软件开发的并行进化模型

软件开发过程的分布并行化是缩短软件开发周期和降低开发成本的有效途径．文中进化式原型方法引入到软件的并行开发过程中，提出并行进化式软件开发模型ＣＥＳＤ及相应的管理与控制机制，并将并行成分及并行控制成分统一到面向对象的机制下，提出并行环境下面向对象的原型进化过程