场景驱动的构件行为舍弃

如果构件含有冗余的行为,特别是有用户不想要的功能,则用户无法使用。因此,如何从构件中保留场景规约中用户需要的行为便是一个亟待解决的问题。给出了一种解决方法。该方法通过舍弃用户不需要的行为,保留场景规约中用户需要的行为,得到一个用户可以使用的构件。用带注释的接口自动机为构件的行为建模,用带注释的消息序列图(MSC)描述场景规约,给出了基于场景进行构件行为舍弃的方法。并用一个实例对文中所述的方法进行了说明。     

基于流演算和FLUX的办公室机器人控制

流演算是在经典情景演算的基础上发展起来的一种动作形式化描述理论,为人工智能领域的动作推理提供了强大的表示工具,在此基础上发展起来的逻辑程序设计语言FLUX,利用约束逻辑程序设计方法,具体地实现了动作推理.主要介绍流演算以及FLUX的基本知识,在此基础上对办公室机器人控制的实例进行了研究,并且利用FLUX语言实现了该实例,实验结果表明,流演算及其实现语言可以用来对机器人进行有效控制,具有良好的计算性能.     

聚焦波浪与直立圆柱作用的数值模拟

基于Fluent平台建立了可用于波浪传播模拟的数值计算水槽,利用不同波浪参数的线性规则波模拟分析了网格尺度L/Δx对产生波浪质量的影响,确定数值水槽的网格划分尺度,并验证了阻尼消波的有效性。在此基础上,用模拟频谱的方法对聚焦波浪的传播进行了数值模拟,通过数值模拟与物理试验不同位置处的聚焦波波面和聚焦点下水质点速度时间过程线对比,验证了模拟频谱方法数值计算的有效性。进一步对聚焦波浪与直立圆柱的作用进行了数值模拟,数值模拟聚焦波面过程、聚焦波浪水质点速度、圆柱周围波浪波动过程、圆柱上所受的波压力等,并与试验结果进行了对比,数值计算结果与试验结果吻合很好,验证了所建立的数值水槽的有效性。对聚焦波波面和压力特征值进行了误差分析,并分析了误差的产生原因,为进一步研究聚焦波浪与工程结构物的作用奠定基础。     

一种面向领域需求与业务流程间一致性的检测方法

BPMN是软件开发领域中较为常用的描述业务流程的建模标准.在包含业务流程可变性的软件产品线中,基于BPMN的业务流程模板可支持针对领域需求的业务流程描述,并且能够高效地生成面向特定应用需求的业务流程实例.然而,领域需求与业务流程模板之间往往存在不一致情况.针对该问题,提出一种面向领域需求与业务流程一致性的模型检测方法,该方法使用变数线性时态逻辑(FLT[L)描述领域需求,同时使用状态进程公式(FSP)描述BPMN实例,在持续的迭代过程中使用自动化模型检测工具发现领域需求与业务流程之间的不一致,并将其反馈给相关人员实施修正.     

一个基于语言变量认知流的认知建模方法

提出了一种新的认知流（epistemic fluent）用来解决自主角色的感知和推理问题。该方法是在John Funge的区间取值认知流的区间上定义相应的语言变量（linguistic variables）。新方法能够将离散取值认知流和连续取值认知流统一起来，并且使得自主角色的认知模型更简单。文章还描述了怎样解决不可数“可能世界”的问题，以及新认知流怎样用来推理不等式。     

预冷流模式下混凝土箱梁水化热场时程分布与计算方法

推导了混凝土水化热预冷流复合降热方程,建立了混凝土水化热预冷流模式。采用大型空间有限元程序AN-SYS,对浇注箱梁墩顶块混凝土水化热场进行时程分析,分析了温度峰值和温差峰值的时程变化规律,提出了实用计算公式。结果表明:预冷流模式可明显降低浇注混凝土的水化热温度峰值和温差峰值,缩短最大温度峰值出现的时间,而不改变温差峰值发生的时间。实用计算公式简单明确。     

基于Fluent的水冷滚筒流场数值模拟与设计

水冷滚筒作为电解铅阴极板制备的核心部件之一,其内部冷却水的流场分布直接决定电解铅阴极板的结板厚度和均匀度。为准确掌握滚筒内流场分布状况,运用计算流体力学软件Fluent的多坐标参考系对水冷滚筒内部的流场进行三维模拟,直观地显示水冷滚筒内部的流场特性和流动状态。通过对不同的出水孔孔径得到的流场进行对比,确定最优孔径。设计出的水冷滚筒样机性能通过了现场试验,电解铅阴极板的结板厚度与均匀度均满足生产要求。     

液控注水阀水嘴流量特性仿真与试验研究

液控注水阀作为液控智能注水工艺的核心部件,其水嘴结构尺寸设计关系到注入流量调节的精细程度。通过理论计算、有限元分析及试验研究,对液控注水阀的流量-压差关系曲线进行分析,得到精确的流量-压差关系模板。在液控注水阀8个挡位结构的前提下,得到液控注水阀水嘴直径的优化设计方案,实现单层注入流量0～600 m³/d的精细调节,满足油藏开发需求。研究结果为液控分层注水工艺的开发,以及液控注水阀的设计提供理论依据。     

聚酯/二氧化硅/橙活性成分改性纤维的制备及其性能

为解决天然活性成分改性聚酯纤维生产过程中,天然成分不耐高温易损失导致功能下降的问题,通过分子巢技术将超临界CO₂萃取获得的橙活性成分装载入介孔SiO₂载体中,进而制备具有良好抑菌、抗病毒效果的聚酯/二氧化硅/橙活性成分改性纤维。对改性纤维的形貌结构、化学结构、力学性能、活性成分含量、抗菌性能和抗病毒性能等进行测试与分析。结果表明:制备的介孔SiO₂的尺寸为(100±5) nm,比表面积为729.7 m²/g,平均孔径为 2.55 nm;聚酯/二氧化硅/橙活性成分改性纤维的断裂强度为3.22 cN/dtex,纤维中橙活性成分柚皮甙含量为(0.41±0.05) mg/kg,抑菌率大于或等于91%,抗病毒率大于或等于99%,均显著优于普通聚酯纤维(p<0.01)。     

基于fluent除尘管道拐角处不同流速下流场模拟研究

以90°管道为主要研究对象,利用CFD软件fluent建立模型,模拟4种不同入口流速条件下的压力分布场及出口处速度分布场。模拟结果表明,不同流速情况下在管道内产生的粉尘沉降规律不同。