基于描述逻辑的OntoUML模型的形式化表示

将形式本体理论应用于UML语言的改进是UML的形式化研究的主要方法之一,其中On-toUML是一个概念上完整、语义上清晰和更具本体意义的UML版本。虽然OntoUML基于本体对UML进行了扩充,提供了更为丰富,更能表达现实世界语义的建模原语,但其表达方式不利于在信息系统的设计与开发中应用。本文基于描述逻辑对OntoUML中的关键建模原语及其关系给出了SHIQ形式化表示方法,并进行了实例研究。该方法表达精练、语义清晰,不仅能够表达逻辑清晰的模型,而且保证模型能够正确反映领域事实。这种形式化方法为信息系统概念建模方法提供了理论和应用支撑,在一定程度上推动了OntoUML更为广泛的应用。     

一种基于属性的用户角色自动指派研究

基于角色的访问控制模型没有给出用户角色指派的实现方式,一种基于属性的用户角色自动指派机制,既可以实现细粒度的用户角色自动指派,又可以有效地减少为用户分配角色过程中的代价。本文详细介绍了用户角色自动指派的模型、基于静态属性的指派规则、基于动态属性约束的指派规则以及在某开放系统中的角色自动指派实现实例。     

基于语义分析的设计实体智能搜索

本文提出了在设计联盟组织过程中实现互联网上设计实体智能搜索的方法。根据对互联网上设计实体搜索问题的分析建立了设计实体智能搜索策略；定义了提取设计实体查询向量和描述向量的语义分析规则；提出了基于语义分析的设计实体智能搜索算法；最后编程实现了各项功能。     

一种基于小波变换与分形编码的新闻图片检索方法*

该方法使用户可以针对不同需要,准确高效地检索到所需的信息,并可根据需要确定所提取的信息数量。对图片进行小波变换,并分形编码,从而实现对图像特征的模糊分级检索,以完成对图片信息的高效管理。     

翅片参数与PCM材料对散热器传热影响实验研究

为了研究翅片数量、倾斜角度及相变材料对带有纵向翅片的电源散热器传热性能的影响,在恒定热负荷为16 W的条件对含相变材料和不含相变材料两类工况下的5种不同结构散热器进行了实验研究.通过搭建的由实验段、直流电源、数据采集设备等组成的实验系统开展实验,分析了翅片数量(1～5片)、散热器倾角(0°～90°)和相变材料(正二十烷)对散热器传热性能的具体影响,并通过含相变材料散热器的温升变化特征以及相变传热特征对散热器热性能进行了评估.结果表明,倾斜角度和翅片数对液相相变材料对流单元的形成以及传热和运行时间起着关键作用.对于0°倾角的含相变材料散热器,相比1个翅片,5个翅片达到最大允许温度所需的时间增加了80％,而当倾角增加到90°时翅片数的增加对时间的影响不显著.对于所有的倾斜角度,各个测点的相变材料(PCM)温度值都随着翅片数的增加而减小.当倾角增加时,由于浮力诱导流的增强促使对流液相相变区域变大;在单翅片工况下,60°倾角相比0°倾角状态下的工作时间延长78.6％.     

HIGH TEMPERATURE LOW CYCLIC FATIGUE BEHAVIOUR OF DIRECTIONALLY SOLIDIFIED Ni-BASE ALLOY DK3

研究了镍基定向凝固高温合金DK3和普通铸造合金K3在760℃应变控制和应力控制下的高温低周疲劳行为。结果表明:这两种合金的高温低周疲劳行为可以用常规的应力疲劳曲线来表征。DK3合金不存在“过渡疲劳寿命”N_T,K3合金则很低。在各种不同应变或应力水平下,DK3合金的低周疲劳寿命高于K3合金,当应力水平为785至980MPa时,其寿命约差1倍,当应力水平为490至685MPa时,则差2倍多。     

贵金属Cu、Ag、Au的电子结构和物理性质

由纯金属单原子理论(OA)确定了面心立方结构(FCC)贵金属Cu、Ag、Au的电子结构依次为[Ar](3dn)5.58(3dc)4.21(4sc)0.23(4sf)0.98、[Kr](4dn)4.87(4dc)4.56(5sc)0.66(5sf)0.91、[Xe](5dn)4.20(5dc)4.90(6sc)1.57(6sf)0.33,并确定了Cu、Ag、Au的密排六方结构(HCP)和体心立方结构(BCC)两种初态特征晶体和初态液体的电子结构。根据自然态的电子结构定性解释了熔点、拉伸强度、维氏硬度、体弹性模量、电导和热导率物理性质差异与电子结构的关系,定量计算了晶格常数、结合能、势能曲线及线热膨胀系数随温度的变化。根据非自然态的电子结构,定性解释了晶体结构BCC和HCP的关系。     

A SIMPLIFIED MODEL FOR NO-STANDARD MICROREGION QUANTITATIVE EDS ANALYSIS OF MULTICOMPONENT ALLOYS

本文对作者建立的微区成分无标样定量分析法进行了简化,使原有的计算量大为减少。 用简化模型对Cu-Si,FeS_2,NaCl,GaAs试样和多元钢样原实验数据进行了定量计算,并与原模型多元程序计算结果进行比较。结果表明,这种简化是合理的。