基于OWL建模语言实现分布式企业建模的研究

为解决分布式企业建模的知识推理和集成问题，利用OWL的本体技术和传输能力以及作为W3C标准的优势，提出了基于web本体语言OWL的集成化建模语言OWL Based Integrated Modeling Language（OBIML）。OWL作为OBIML的元元模型，对OWL扩展建立的OBIML Schema作为OBIML的元模型。开发的分布式建模工具共享OBIML Schema，实现了图形化模型和OBIML描述的模型之间的转换以及模型的传输、集成和知识推理。给出基于OBIML的分布式建模工具的框架。并通过实例验证了应用OBIML实现分布式企业建模的正确性和可行性。     

病毒动力学模型及评价

病毒作为人类多种疾病的病原体之一,具有非常复杂的感染和繁殖机制,尤其是人类免疫缺陷病毒（HIV）和肝炎病毒（HBV/HCV）,至今没有彻底清除的方法,严重影响患者的生命健康和生存质量。对病毒发病机理的研究是攻克抗病毒药物研究难题及改善抗病毒治疗的关键。数学模型作为促进人们理解病毒产生、复制和消除的重要工具,如今已广泛应用于抗病毒药物研究和病毒发病机理研究。本文概述了：(1)病毒感染动力学的基本模型及其在人类免疫缺陷病毒（HIV）和肝炎病毒（HBV/HCV）研究中的应用;(2)以基本模型为基础的药物的干预作用模型;(3)病毒靶细胞模型;(4)机体对病毒产生免疫作用的免疫模型;(5)病毒耐药性突变模型等。这些模型可为今后的抗病毒研究提供有价值的参考。     

基于Bingham模型的磁流变阻尼器模型改进研究

磁流变阻尼器能够实现阻尼可控,作为半控制的智能器件应用在众多领域。在实验基础上,基于Bingham力学模型,建立了包括线性和非线性的磁流变液阻尼器的力学模型,通过数学方法对模型参数进行辨识,得到对应的方程。由于多项式的非线性模型,容易产生Runge振荡现象,而不能通过有效的方法得到合适阶数,所以采用傅立叶级数建立非线性模型。分别对线性和非线性模型与实验结果进行对比分析,得到的结果表明:线性模型在有加载电流下,低速时不能准确表达阻尼器的实际特性,基于傅立叶级数的非线性模型能够准确地反映磁流变阻尼器的非线性响应,曲线和实验结果基本吻合。研究结果为磁流变阻尼器动力模型的建立提供了参考。     

Al-Mg/C耗散防热材料静态氧化模型

采用XPS、SEM等技术对耗散防热材料静态氧化试验中氧化膜的生成情况及氧化微观形貌进行了研究,并提出了不同温度及不同氧化时间下Al-Mg/C耗散防热材料静态氧化的吸附模型和扩散模型。氧化模型的建立,为研究该材料的耐烧蚀性能,设计冷却剂的成分提供了相应的理论依据。     

Ni—Zr二元相图计算

优化和计算了ＮｉＺｒ二元相图。液相用缔合物模型、端际固溶体用替换溶液模型描述，Ｎｉ５Ｚｒ和Ｎｉ１０Ｚｒ７则分别选用了（Ｎｉ）１（Ｎｉ，Ｖａ）４（Ｎｉ，Ｚｒ）１和（Ｎｉ，Ｚｒ）１０Ｚｒ７的亚点阵模型。计算结果与大部分相图和热力学数据相吻合     

机械产品模型的研究与进展

首先介绍了产品模型的起源与发展；然后对产品模型的研究现状进行踪述，主要包括产品模型的定义、产品模型的研究现状、过程模型的研究、产品建模技术和工具、产品模型与过程模型的相互关系等5个方面；其次分析了目前产品模型技术中所存在的不足；最后指出了产品模型技术的未来发展趋势。     

COREX熔化气化炉区域模型及其理论燃烧温度

把熔化气化炉划分为炉缸区、风口区、填充床、流化床和自由空间5个区域。在已开发的COREX工艺整体静态模型的基础上,对各区域分别建立了物料平衡热平衡模型并联立求解。根据各区域内的物理化学进程设定各区域间边界的条件,模型计算可给出熔化气化炉内各区域的能量分布和物料流状况。利用区域模型还可计算喷煤对理论燃烧温度、炉缸渣铁温度、煤气量等的影响。     

充型过程数值模拟中紊流模型与层流模型的比较

分别用结合壁面函数的层流模型和K-ε紊流模型，对重力及压力铸造条件下的型腔充填过程进行了数值模拟。结果表明：对于重力充填过程，结合壁面函数的层流模型可获得与结合壁面函数的紊流模型相似的结果，计算效率大大提高；但对压力条件下的充填过程，两种模型的计算结果有明显差别，紊流模型更接近实验结果。所以，对于重力充填过程，结合壁面函数层流模型可近似代替紊流模型进行模拟。     

新一代的溶液几何模型及其今后的展望

由二元系估算三元系和多元系的几何模型是当今在热力学和相图计算中用得最为广泛的一种溶液模型。但现有的这类几何模型由于假设了模型的设定与所处理的具体体系无关，结果造成了一些不可克服的固有缺陷，为了解决这个３０多年来一直存在的问题，我们摒存了这一不合理的假设而假定模型的设定应与所处理的体系有关。当我们引进了“相似系数”这一新概念以后，一种新的更合理的模型出现了。我们将这一类模型统称为新一代的几何模型。这     

宏观弹塑性本构模型的研究进展

有限单元法已经广泛应用于实际生产过程中,其即可有效降低产品设计周期与成本,又能对现有工艺进行优化。但有限单元法计算结果的准确性与可靠性却高度依赖于所采用的本构模型。鉴于本构模型的重要性,文章对描述材料弹塑性变形行为的宏观本构模型的各个组成部分,即屈服准则、流动模型和硬化模型,分别进行了综述。回顾了典型的各向同性、各向异性以及拉压非对称的屈服函数,并比较了各自差异。讨论了关联流动模型与非关联流动模型的特点,分析比较了典型的硬化模型。同时,指出了宏观弹塑性模型研究的一些注意事项及将来的发展方向。     

基于虚拟样机技术的数控铣床主传动系统动力学仿真研究

在分析双主轴数控铣床多级齿轮主传动系统运动及受力的基础上,应用ADAMS构建了传动系统的多刚体虚拟样机模型,将Hertz接触理论嵌入仿真模型,实现了齿轮啮合的动态实时仿真,得到了齿轮的动态啮合力,并基于多刚体模型研究了轴线平行度误差对齿轮啮合力的影响.同时利用ANSYS对铣床主轴进行了有限元建模,通过ADAMS建立了传动系统的刚柔耦合虚拟样机模型,分析了主轴在动态下的应力分布.仿真结果为系统传动的平稳性研究和各部件的强度、刚度、疲劳寿命计算提供了参考.     

压电柔性臂动力学模型修正研究

建立准确的动力学模型是研究压电柔性臂动力学行为和控制方法的基础和理论依据。传统的动力学建模忽略了柔性臂的结构变化、关节摩擦、结构阻尼和导线因素等的影响。以双连杆柔性臂为研究对象,将双杆柔性臂视为Euler-Bernoulli梁处理,采用假设模态法描述臂的弹性变形,利用拉格朗日方程建立双杆柔性臂动力学模型。对系统模型进行了刚度与阻尼方面的适当修正,并结合MATLAB软件对修正后的模型特性进行分析。实验与仿真结果比较得出:修正后系统的转角曲线线性度更好,并且修正后模型与真实模型的弹性振动变化形式吻合度更高,即系统模型的弹性修正是有效的。     

基于广义模块化快速响应设计的液压机产品动态模型的建立

通过分析支持产品快速响应设计的产品模型应具有的特点,建立了面向广义模块化快速响应设计的液压机产品的动态模型,并在此基础上,建立了面向设计与制造的液压机产品数据模型以及广义模块化设计系统的功能模型,为液压机产品的广义模块化快速响应设计提供了技术支持.     

两种实验性糖尿病模型小鼠的比较

目的: 通过对链脲佐菌素(STZ)模型鼠和db/db模型鼠的糖尿病模型鼠的特点以及对三类降糖药反应性的比较,客观评价两种糖尿病模型鼠在药物研究中的应用价值。方法: 离乳、雄性BALB/c小鼠高脂饲料喂养4周后,空腹 12 h STZ(45 mg/kg)腹腔注射,连续3次,一周后检测糖耐量受损、空腹血糖大于 8.0 mmol/L 的为STZ模型鼠。将STZ模型鼠和8周龄空腹血糖大于 8.0 mmol/L 的db/db模型鼠各随机分组,每组8只分别给予罗格列酮(12 mg/kg)、格列苯脲(45 mg/kg)、胰岛素(1 U/kg)和生理盐水(0.1 mL/10 g),每天1次,连续给药4周后检测两模型鼠及其对照组糖脂代谢相关的生化指标及激素水平。结果: STZ模型鼠和db/db模型鼠分别与正常BALB/c鼠、C57BL鼠对比,STZ模型鼠和db/db模型鼠均口服葡萄糖耐量试验(OGTT)异常,空腹血糖、血TG和TC显著升高。但STZ模型鼠的胰岛素与C肽水平低于正常;而db/db鼠血C肽、胰岛素浓度显著升高;3种降糖药给药4周后STZ模型鼠的空腹血糖均明显降低,OGTT显著改善;罗格列酮对db/db模型鼠也可显著降低空腹血糖并改善糖耐量,但相同剂量的格列苯脲和胰岛素对db/db模型鼠的空腹血糖和糖耐量无影响。给予3倍剂量的胰岛素,db/db模型鼠才表现出空腹血糖的显著降低。结论: STZ模型鼠胰岛功能受损并有一定程度的胰岛素抵抗,对3种降糖药均敏感。db/db模型鼠表现出高度的胰岛素耐受,对内源性和外源性的胰岛素都不敏感,对罗格列酮的敏感性与STZ模型鼠相当。     

2219铝合金高温本构模型及热加工图研究

为研究2219铝合金的高温流变行为及最佳热加工工艺窗口，采用Gleeble-3500热模拟试验机在变形温度为573～773 K和应变速率为0.01～10 s^-1条件下对2219铝合金进行了等温压缩实验，得到了不同应变速率和温度下的真实应力-真实应变曲线。根据2219铝合金流变数据的特性，提出了一种新的本构模型，并将其与经典模型的预测精度进行了对比。此外，利用构建的新本构模型推导出了2219铝合金的热加工图解析计算公式，并绘制了其热加工图。结果表明，2219铝合金是一种温度和应变速率高度敏感材料，其高温本构关系必须考虑温度和应变速率的影响。在低温下，Arrhenius模型和Hensel-Spittle模型的预测精度较低，尤其在573和623 K温度下，其预测结果与实验数据存在较大误差。相比之下，新模型在不同温度和应变速率下的预测精度误差较小，并且明显优于Arrhenius模型和Hensel-Spittle模型。这是因为新模型在lnσ和■之间采用了3阶精度逼近，而Arrhenius模型和Hensel-Spittle模型只采用了1阶精度逼近。通过采用更高阶的逼近方法，新...     

棒状共晶的凝固模型

基于定向凝固胞晶Ｓａｆｆｍａｎ－Ｔａｙｌｏｒ指的相似性，给出了棒状共晶凝固模型，和到了λ＾２Ｖ＝Ｄｐｄ０σｅｆｆ表述的相间距选择规律，并用ＭｎＳｂ／Ｓｂ共晶生长实验证实了模型的有效性。     

产品全生命周期建模技术研究

在介绍产品模型的基础上,通过对常规机械ＣＡＤ／ＣＡＭ采用串行工作方式所产生弊端的分析和应用并行工程、虚拟制造等先进技术来缩短新产品开发周期的阐述,证明建立产品全生命周期模型在新产品开发过程中具有重要意义,最后介绍了在建立全生命周期模型中所用于的基于特征、参数化、自顶向下设计、面向装配设计、基于ＳＴＥＰ产品数据交换标准等新技术。     

新几何模型与SELF—SReM模型的关系

将新几何模型和ＳＥＬＦ－ＳＲｅＭ模型的优点相结合,提出了通过引入多元系中的某些特征点信息,提高模型对多元系过剩热力学性质预报精度的新方法,并用之于对Ｍｎ－Ｆｅ－Ｃ和Ｆｅ－Ｓｉ－Ｃ两个三元合金熔体的过剩Ｇｉｂｂｓ自由能的计算,计算与实测结果吻合。     

变动设计及其研究内容

变动设计是为了克服传统ＣＡＤ系统的缺点而发展起来的一种ＣＡＤ新技术它着重强调产品模型建模与修改的方便性，强调产品模型内部各子部分之间的联系和产品与产品之间的邮多个产品的关联设计与联动修改。本文首先分析了传统ＣＡＤ系统的设计流程与存在缺点。     

Ag-Au-Cu合金表面张力的理论计算

表面张力对于材料而言是一种关键性的性质,该性能在液态金属和合金的成分设计领域有着十分重要的地位,其对铸造以及键合丝键合时金属凝固过程中表面是否开裂、焊接后焊接处的微观形貌有着决定性的影响。使用Butler模型和Toop模型分别计算金银铜及其对应二元合金在熔融状态下的表面张力并与实验值进行对比,从而为金银键合丝的成分设计起到一定的指导作用。结果表明:采用Butler模型和Toop模型计算出二元以及三元合金的表面张力与实验值相差较小。在1381K下,Ag-Au-Cu三元合金表面张力随Au和Cu含量变化介于0.89392~1.32471 N/m之间,表面张力随Ag或者Cu含量增加呈现单调减小或单调增大的趋势。