热物性数据精度对熔融盐传热性能计算的影响

熔融盐是太阳能高温热发电技术中颇具前景的传热蓄热介质.其黏度、密度、比热容和导热系数与熔融盐的传热过程密切相关.利用函数误差理论,从各种传热条件下的经典换热公式出发,分别计算了对传热性能影响+10%和-10%时各热物性的误差值,并结合热物性数据的误差分析,确定了热物性数据对传热性能计算的影响程度.  

工况对R22及替代工质有效过热循环性能的影响

为解决R22替代过程中制冷系统回热器的再设计问题,以热力学计算分析的方法对运行工况参数对R22及其7种替代制冷剂的有效过热循环性能的影响进行了研究.结果表明,决定有效过热对制冷循环的性能是否有利的因素除了工质种类外。还有运行工况参数;有效过热对R22、R152a和R410A的制冷循环性能的影响是否有利取决于具体工况;有效过热对R407C、R134a、R290和R507的制冷循环性能的影响总是有利的,而对R717的制冷循环的性能总有负面影响.  

用于IT系统自修复的功能点切片模型

针对缺乏以数据为基础的分析模型和信息以非结构化形式存储的复杂IT系统中的软件自修复问题,提出了一个基于过程模型的功能点切片模型(FPSM).该模型在功能点分析5类组件的基础上,建立组件间的各种依赖关系,形成系统功能点依赖图,再应用功能点切片的方法,实现组件间的自动化关联分析,以支持软件系统运行阶段功能异常的自修复.模型实现了异常原因定位、变更影响分析以及解决方案匹配的自动化.实验结果表明,功能点切片模型和基于模型的切片器工具由于对系统组件进行了有效的定义和关联,能有效地降低异常事务的风险指标,并能够减小系统故障的发生频率．  

规范多agent系统动态模型及其属性验证机制

针对规范多Agent系统（NMAS）并发性、动态性和规范性的特点,提出了一种规范多Agent系统动态模型和基于模型检验的属性验证机制.其中动态模型包括行为约束规范语言TNAL和联合行为转移结构两大部分.TNAL以现实世界法律法规为参考,实现了规范的时态特性和道义特性的建模.联合行为转移结构以多Agent联合行为作为状态转移标记,以规范剪枝后的计算树描述规范系统的动态语义,使系统属性描述语言和规范语言相互独立.以CTL*作为系统属性描述语言,借助现有模型检验工具即可实现NMAS的属性验证,这种实现方式使系统验证工作具有更高的灵活性.  

NPCD-Agent：扩展的Agent思维状态模型

在基于Agent的计算中，现有研究对于动机的定义和动机影响Agent行为决策的分析比较片面，缺少对动机的清晰考虑和相应目标产生的描述.为此建立了具有动机的Agent思维状态模型，将动机分为社交行为准则（N）、策略（P）、契约准则（C)和内部愿望(D).形式化地描述了动机扩展的Agent思维状态模型(NPCD-Agent)和BNPCDGI逻辑，阐述了逻辑的语法、语义以及相应的公理系统.给出了动机算子基于Kripke可能世界的新的语义解释，验证了动机算子不存在逻辑全知问题.通过计算0-1规划和设定优先顺序，建立了动机冲突消解模型，改进了现有包含动机的Agent思维状态模型实现方法.实例分析表明，改进的Agent思维状态模型使得Agent行为决策过程更加理性.  

Marc二次开发在混凝土徐变问题中的应用

利用通用商业有限元软件Marc提供的用户子程序,对Marc进行了二次开发,将混凝土徐变的指数函数模型和混凝土弹性徐变方程的隐式解法引入Marc,实现了混凝土徐变问题的有限元求解,并在此基础上探讨了混凝土坝徐变应力的施工仿真问题在Marc中的实现,算例表明该方法是可行的.  

工学结合模式下的高职商务英语专业人才培养体系构建

工学结合人才培养模式是一种以职业人才培养为主要目的的教育模式。它的实施对人才培养提出了新要求。对工学结合模式进行解说,并分析高职商务英语教学的现状,对工学结合模式下的高职商务英语专业人才培养体系构建进行探索,以促进商务英语专业人才的培养。