摘要：针对面向服务体系结构(Service Oriented Architecture,SOA)在形式化和可信属性建模方面的不足,用代数学方法对服务、服务组合以及服务体系结构的属性和行为特征进行抽象,把服务组合解释成组件"运算"实现,并结合进程代数中算子概念,定义了多种服务组合运算,从而建立SOA的代数模型.在代数模型基础上,进一步对SOA可信属性建模,提出多种SOA可信范式,为可信SOA软件设计提供理论支持.最后介绍了一个应用案例.

摘要：通过改变氧分压,利用脉冲激光沉积方法在Si(100)衬底上制备了系列LaNiO3导电氧化物薄膜;经XRD测试研究发现,通过调控氧压,可获得具有高(100)取向薄膜,且氧压对薄膜结晶性有很大影响,在氧分压为7.5Pa时获得结晶性最好的薄膜。经XRF分析表明,La、Ni元素化学成分计量比随氧压增大而减小。经四探针法测试,薄膜电阻率最小为2.03×10-4Ω.cm,表现出了良好的金属导电性。经SEM和AFM分析表明,薄膜晶粒为柱状晶,排列均匀致密,薄膜表面均匀,粗糙度较小,表明LaNiO3薄膜可以用作一种良好的铁电薄膜底电极材料。

摘要：Beck抑郁认知理论认为功能失调性态度和自动思维对抑郁的形成和发展有着重要的影响,但是不同水平的认知因素在青少年抑郁中起什么样的作用还有待于进一步的研究。根据Oei和Kwon(2007)综合认知模型(ICM),我们假设在青少年负性生活事件和抑郁症状间功能失调性态度是调节变量,而自动思维是中介变量。研究采用开学初和临近期末间隔近四个月两个时间点的纵向数据搜集方式,对613名初中生施以青少年生活事件量表(ASLEC)、功能失调性态度问卷(DAS)、自动思维问卷(ATQ)以及流调中心用抑郁量表(CES-D),然后通过路径分析对模型进行了拟合度和性别差异检验,结果表明:(1)各变量显著相关(p<0.01),且各变量间隔四个月两个时间点的分数差异显著(p<0.01);(2)修正后的青少年抑郁综合认知模型较好地拟了数据,且功能失调性态度与负性生活事件的交互作用对自动思维的影响上女生的路径系数显著大于男生。结论:功能失调性态度在负性生活事件和青少年抑郁症状间起调节作用,而自动思维从中起到了认知中介的作用,且该模型性别差异显著。

摘要：以92名小学五年级的儿童为被试,考察了不同归因取向的表扬对儿童遭遇失败前的心理效应。结果表明,在遭遇失败前,能力取向表扬和努力取向表扬对儿童的自我评价、坚持性、对题目的喜欢程度、任务评价、效能预期以及测试焦虑水平等指标均不存在显著的组间差异。但能力取向表扬使儿童更倾向于关注同伴成绩信息,而努力取向表扬使儿童更倾向于关注解题策略信息。上述结果表明,在遭遇失败前,能力取向的表扬并未对儿童产生更为积极的心理效应,这与人们的内隐观相悖。

摘要：研究数字地球漫游优化问题,传统的Arcball算法表达三维空间视角的自由旋转,但无法精确地将鼠标运动映射到实际场景中,为了提高运动旋转精度,对方法进行了改进,提出了一种新的三维数字地球交互漫游方法,可以精确定位到地球的任意一点。首先采用多细节层次(LOD)的四叉树分块结构设计来构建三维数字地球模型,利用真实DEM生成的数字地球模型作为鼠标拖曳动作的投影球体,对三维地球模型进行快速相交测试,根据Arcball算法使用四元数并结合多种漫游融合。进行仿真,结果实现了对数字地球全方位、精确、交互的自由旋转漫游,证明具有实用价值。

摘要：海浪运动随机性大、波谱范围宽,且涌浪波谱窄、能量大,是仿真大规模海浪的难点所在。针对难点问题,采用频率等分方法对海浪波进行区间等分分割,获取海浪真实性有效数据区域,提出了一种在Gerstner软件上扩展多波模型叠加LOD多情况绘制策略的海浪仿真模型。使用P-M波浪谱和SWOP观测数据求解真实海浪一系列参数,完成了海浪模型的真实造型;叠加LOD视点算法和多情况绘制策略解决了海浪模拟实时性问题。基于多波模型,设计了海浪仿真的UML类图,并运用Direct3D技术实现了海浪的实时仿真。实验证明,等分方法能够满足海浪真实场景实时仿真的要求,取得了较好的实验效果。

摘要：真实立体云仿真是计算机图形学中非常实用的研究。为了实时和逼真研究立体云图仿真,提出了一种基于卫星云图的三维立体云仿真方法。首先利用Micaps3.0处理卫星云图,提取二维云图像,然后从二维云图像中提取云的三维信息,并对其进行空间填充,最后通过充分利用GPU硬件加速改进性能,利用改进Billboard算法实现三维立体云仿真。与以往三维云实现方法相比,改进方法实现简单而且十分高效。实验表明,在气象地理信息系统应用中,方法可以获得更加实时、真实三维立体云效果。

摘要：传统实现蛋白质分子动态模拟均采用采样方式生成原子运动轨迹。较大的采样间距使原本光滑的轨迹由于时域影响变得凹凸,而小的采样间距使运动缓慢且难以辨别。为解决上述问题,提出一种基于主元分析的运动轨迹生成算法。在参考坐标系内采集所有原子位置数据,计算并构造位置差的协方差矩阵,选择主元构成新基作为投影向量,确定兴趣运动点。以PYP为例,实验验证,通过提出的算法仿真PYP运动平滑而又凸显重点。

摘要：针对机械设备大型化及结构复杂化引起的设备内部结构不能直观显示,拆装重组困难等问题,利用三维渲染引擎Open Scene Graph,结合数据库、虚拟现实等技术构建了机械设备仿真平台。首先为解决模型载入前需转换为osg相关格式,解析并读取了常用3DS存储格式;然后为提高三维场景的沉浸感,利用改进的Arcball算法,将鼠标运动精确地映射到三维场景中,并采用平视显示及天空盒技术;最后为解决网络发布中模型加载速度慢的问题,采用边折叠方法对三维模型进行简化分层,实现了三维模型的累进传输,加载速率明显提高。经验证,平台可以方便的制作发布集拆装和工作原理演示等功能于一体的拥有三维真实感的交互式仿真项目并快速在网上发布。

摘要：在分析快速出药系统升降平台传动系统动力学特征的基础上,建立了升降平台传动系统垂直方向上9个自由度的动力学模型,推导出该系统的动力学方程。按照升降平台运行速度反解求得了激励矩阵,利用MATLAB对升降平台传动系统动态方程进行了数值求解,分析比较动态响应的变化规律。求解了系统的低阶固有频率,研究了低阶固有频率受升降位置、负载的影响。