An institution theory of formal meta-modelling in graphically extended BNF

Meta-modelling plays an important role in model driven software development.In this paper,a graphic extension of BNF (GEBNF) is proposed to define the abstract syntax of graphic modelling languages.Fro...     

Physiological arousal, dissonance, and attitude change: Evidence for a dissonance-arousal link and a "Don't remind me" effect.

Two experiments, with 80 undergraduates, replicated and extended research by R. T. Croyle and J. Cooper (see record 1984-11595-001) indicating that cognitive dissonance involves physiological arousal. In Exp I, Ss wrote counterattitudinal essays under conditions of high or low choice and, to assess arousal effects owing to effort, with or without a list of arguments provided by the experimenter. In high-choice conditions only and regardless of effort, Ss showed both arousal (heightened galvanic skin response) and attitude change. Arousal, however, did not decline following attitude change. The more effortful task (no arguments provided) produced increased arousal but not greater attitude change. In Exp II, the opportunity to change one's attitude following a freely chosen counterattitudinal essay was manipulated. As in Exp I, arousal increased following the essay but did not decline following a postessay attitude change opportunity. When Ss were not given an attitude change opportunity, however, arousal did decline. It is suggested that if dissonance is a drive state, drive reduction typically may be accomplished through gradual cognitive change or forgetting. (47 ref) (PsycINFO Database Record (c) 2010 APA, all rights reserved)     

浅析科技英语中词义的汉译

通过实例阐述了在进行科技英语的汉译时,只有根据原文的专业、行业、技术内容、词的本义和可能的引伸义,结合词的上下文语境,才能准确、恰当地确定英语词义的汉译。文章指出明白通畅、浅显易懂、准确的词义是科技英语汉译成功的基础。     

管无芯弯曲中塑性变形规律的研究

通过大量管材弯曲试验,分析了沿弯曲线的切向和管壁厚方向的应力应变状态,给出弯管内、外侧管壁厚变化量和切向应变的近似计算公式。在后续试验的基础上,逐步将修正公式适用于实际生产。同时,为管材弯曲成形机理研究作了相应的基础准备工作。     

基于类标记扩展的半监督网络流量特征选择算法

针对网络流量特征选择过程中存在的样本标记瓶颈问题,以及现有半监督方法无法选择强相关的特征的不足,提出一种基于类标记扩展的多类半监督特征选择(SFSEL)算法。该算法首先从少量的标记样本出发,通过K-means算法对未标记样本进行类标记扩展;然后结合基于双重正则的支持向量机(MDrSVM)算法实现多类数据的特征选择。与半监督特征选择算法Spectral、PCFRSC和SEFR在Moore数据集进行了对比实验,SFSEL得到的分类准确率和召回率明显都要高于其他算法,而且SFSEL算法选择的特征个数明显少于其他算法。实验结果表明: SFSEL算法能够有效地提高所选特征的相关性,获取更好的网络流量分类性能。     

2,2-双(2-噁唑啉)与苯酐联用改性回收PET的动态热性能研究

以扩链剂2,2 双(2 噁唑啉)(BOZ)与苯酐(PA)联用改性回收PET,系统地考察了增黏改性后回收PET动态流变性能和动态力学性能的影响。结果表明,BOZ与PA联用的改性效果明显优于单用BOZ改性回收PET体系;但因扩链剂的加入,在PET分子链中引入的柔性链段而导致聚合物弹性模量下降。     

分布式OSGi研究与发展*

OSGi分布式扩展技术将分布式计算技术与OSGi框架融合,使之能够支持跨多虚拟机的异构分布式处理,是OSGi领域的研究热点。系统地介绍了这一崭新领域的理论研究情况,分类比较了几种主流分布式扩展技术的异同,探讨了分布式扩展的性能以及应用进展情况,给出了未来研究与发展的趋势。     

基于Intel Xeon Phi的激光等离子体粒子模拟研究

激光等离子体粒子模拟广泛用于探索极端物质状态下的科学问题。将一种基于粒子云网格方法的三维等离子体粒子模拟程序LARED P移植到Intel Xeon Phi协处理器上。在移植的过程中,综合运用了Native和Offload两种编程模式：首先运用Native模式对LARED P程序中热点计算任务进行优化研究,通过采用SIMD扩展指令使该计算任务获得了4.61倍的加速;然后运用Offload模式将程序移植到CPU-Intel Xeon Phi异构系统上,并通过使用异步数据传输和双缓冲技术分别提升了程序性能9.8%和21.8%。     

装配式建筑自上而下设计信息协同与模型构建

为顺应国家建筑产业化、智能化发展的政策引导,针对当前装配式建筑专业信息缺乏关联、模 型利用不充分、数据传递效率低下等问题,提出基于建筑信息模型(BIM)技术的自上而下设计方法。以装配式 建筑的设计阶段为切入点,详细阐述了基于 BIM 技术的装配式建筑自上而下设计流程。结合装配式建筑的标 准化构件设计和组装特点,提出一种基于自上而下设计的装配模型,并从层级和专业 2 个角度描述了模型的架 构。针对各专业模型传递时的数据信息标准化、一致性问题,通过工业基础类(IFC)标准对装配模型进行实体和 属性集的扩展,提出基于 IFC 标准的各专业、各阶段的自上而下设计信息协同。经实例验证了 IFC 扩展装配模 型的自上而下设计可行性,为装配式建筑的协同设计提供了有益的方法借鉴。     

基于硬件架构和虚拟化扩展机制的虚拟机自省机制研究

针对现有虚拟机自省技术利用不可信被监控操作系统的内核数据结构在内存中的期望布局及内核函数构建被监控系统语义、无法抵抗直接内核数据结构操纵攻击的问题,对虚拟机自省机制的能力进行全面分析,并对利用虚拟机自省机制可应对的恶意攻击进行分类,提出更具健壮性的基于硬件体系架构和虚拟化扩展机制的虚拟机自省技术,通过硬件体系结构提供的虚拟机自省特性被动地观察与收集被监控系统信息,并利用虚拟硬件扩展机制主动地截获客户虚拟机内部的事件和指令,达到主动监控的目的.描述了基于硬件的虚拟机自省机制在系统调用序列收集与监控上的应用,并进行了效率测试分析.