摘要：作为一项新规范,MARTE有许多方面亟待完善.如何对依照MARTE设计的模型开展验证是待解决问题之一.对象管理组织提出用模型转换的方法将依照MARTE设计的模型(记为A)转换成另一种具有完备的验证方法和工具的形式化模型(记为B),然后对B进行验证和精化,以完成A的验证和精化工作.此思想面临的难题是如何保证B能够完整且准确地模拟A的行为.提出了形式化模型-TTS4SD,用来描述MARTE规范定义的带时间约束的顺序图的形式语义并在此基础上展开分析.首先给出顺序图的形式定义,把时间变迁系统(TTS)扩充成TTS4SD,用TTS4SD描述顺序图的形式语义,最后对TTS4SD展开分析.这在一定程度上提高了设计阶段模型的正确性.通过一个实例说明从顺序图到TTS4SD的转化过程以及基于TTS4SD的验证方法.

摘要：基于延迟容忍特征,移动社会网络采用"存储—运载—转发"模式在节点之间进行消息传输.如何选定合适的中继节点进行消息的高效传输是当前研究中备受关注的热点问题.从不同的角度对网络中的多维社会特征展开分析.首先,根据节点间的交互关系,确定节点间社会关系模型;其次,依据网络拓扑给出了邻居集合和本地社区的定义,提出了一种移动社会网络的本地社区划分方法,进而建立了节点间的社区关系;然后,基于节点间的行为特征给出了节点活跃度定义,通过PageRank算法获得节点的多维属性特征PR值,并利用PR值给出节点间传输值,从而获得节点的不同传输效用值.在此基础之上,综合考虑节点社区关系和节点的不同传输效用值,设计并实现了移动社会网络的消息传输算法.实验表明,算法在传输成功率、传输冗余率、平均延时等多个方面具有优势.

摘要：RAID-6被广泛应用于存储系统中对数据进行保护.其中基于XOR的RAID-6码具有计算复杂度低的优点,因而受到广泛的关注和应用.但是,这类编码的潜在并行能力还没有被充分地挖掘和发挥.分析了基于XOR的RAID-6码的编解码过程,把校验方程的计算分解为预计算和递归求解2个阶段,其中预计算阶段可以被并行执行.此外,还观察到多种RAID-6码具有z-turn性质——只要失效情况在该RAID-6码的容错能力范围内,就至少有1个校验方程只包含1个不可用的数据块.基于此,设计了一个并行的编解码算法EOPC(equation-oriented parallel coding),用以实现具有z-turn性质的基于XOR的RAID-6码的编解码过程.在RDP码和P-Code上的编解码实验表明,使用EOPC实现的编解码过程与传统串行实现方法相比,在编解码吞吐率上有超过50%的性能提升.

摘要：磁盘阵列已成为构建大型存储系统的关键基础设备,目标器为主机提供存储设备访问接口.本文结合RAID原型系统,分析了光纤通道磁盘阵列中目标器模块的功能及其内部体系结构,阐述了目标器对读写请求的不同处理流程,最后采用相关评测工具对光纤通道目标器模块以及RAID系统进行了性能评测,测试结果表明光纤通道目标器模块具有出色的性能,最高数据传输率可达187Mbye/s.

摘要：模型转换是模型驱动开发的核心操作,它通常被实现成一种特殊的程序.模型转换可以实现不同模型、模型和代码,以及模型和各种结构化文档之间的转换.随着模型驱动方法的发展,模型转换正在被运用到越来越复杂的问题上,从而导致越来越庞大的规模和越来越复杂的程序结构.为了更好地控制转换开发过程中的复杂性,需要一种图形化的建模语言,支持对转换程序的分析和设计.提出一种针对模型转换程序的可视化建模语言VisTML(the visual transformation modeling language).它包含7种不同的视图,每个视图都包含一组建模概念.这些概念覆盖了整个转换程序开发过程中(从需求到部署运行)的所有主要阶段,支持开发人员在不同的抽象层次基于不同视角刻画模型转换.用VisTML对转换程序进行建模,有助于控制其复杂性,并促进开发人员的相互沟通与分工合作.最后介绍了VisTML的支持工具TModeler,并且通过3个案例论证VisTML的可行性与有效性.

摘要：随着网络上光盘资源的增长,光盘服务器成为光盘网络共享的重要技术.针对传统光盘服务器的缺点,实现了一个新的高性能光盘服务器CDS(CD Server).CDS系统采用两级C ache(客户端C ache加服务器C ache)的技术来提高系统的性能.客户端C ache根据光盘顺序访问特点,采用慢速增长快速下降的预取算法设计,即提高了系统的性能,也保证预取不命中时的响应时间.服务器C ache采用H ash算法同平衡二叉树相结合的两级组织结构,实现了C ache的快速查找.在详细介绍了CDS系统的两级C ache算法的同时,进行了相应的试验测试和性能分析.

摘要：提出了一种针对多姿态人的服装区域分割算法,通过融合显著性分析和图割方法有效地提高了服装区域分割的性能.首先,提出一种基于滑动窗口的视觉显著性区域分析方法,计算前景?背景种子区域初始定位,实现种子区域定位的姿态无关性;然后,通过基于图的分割方法对初始种子区域进行矫正;最后,通过将种子区域作为输入的迭代图割方法——GrabCut获得服装区域分割.实验结果表明,文中算法具有较好的分割性能,具有应用前景.

摘要：提出一种新颖的活动链的行为规范概念,该概念的粒度介于活动和场景概念之间,并根据基于活动链的行为刻画需求,设计"链存在、链缺失、链前提和链因果"四个行为模式,并给出这些模式到标记迁移系统LTS的映射规则,精确刻画了行为模式的操作语义,通过定义组合E-服务满足活动链模式的内涵,给出可满足性验证的充要条件和判定算法,最后给出实例分析.

摘要：背景:前期实验已证实再生丝素膜可促进pcDNA3.0-VEGF165转染的L929细胞表达血管内皮生长因子(Vascular endothelial growth factor,VEGF)。目的:进一步观察再生丝素膜对经腺病毒介导的人VEGF(Ad-VEGF165)转基因成纤维细胞基因转录表达的影响。设计、时间及地点:对比观察细胞基因工程实验,于2007-11/2008-04在苏州大学细胞与分子生物实验室完成。材料:再生丝素膜由苏州大学材料工程学院李明忠教授提供。方法:将Ad-VEGF165腺病毒感染培养在再生丝素膜、聚氯乙烯膜及聚乙烯膜上的QBI-293A人胚肾和WI-38人胚肺成纤维细胞,以空载体Ad-GFP腺病毒和未接种病毒的PBS组为对照。主要观察指标:通过实时定量RT-PCR法检测不同材料对成纤维细胞VEGF mRNA转录的影响;ELISA法检测其对VEGF、血管生成素1、碱性成纤维细胞生长因子、血小板衍化生长因子表达的影响。结果:再生丝素膜组成纤维细胞VEGF mRNA呈高水平表达,但聚氯乙烯膜组转录水平明显下降(P<0.05)。再生丝素膜组Ad-VEGF165转基因293A细胞及WI-38细胞不仅目的基因VEGF细胞因子的分泌呈高水平表达,并可促使血管生成素1基因表达水平明显提高(P<0.05),而且再生丝素膜还可使成纤维细胞自身分泌的碱性成纤维细胞生长因子、血小板衍化生长因子呈现正常表达水平。结论:再生丝素膜不仅利于VEGF目的基因在成纤维细胞中呈现高效表达,并促进血管生成素1基因的表达,而且能维持成纤维细胞自身分泌的与组织损伤修复相关基因碱性成纤维细胞生长因子、血小板衍化生长因子的正常表达。

摘要：传统基于WIMP界面范式的表格设计,无法满足用户与界面自然、高效、连续性交互的需求,尤其是用户无法根据设计意图自由勾画任意通用的表格,也无法自动标识表格界面逻辑.提出一个基于笔交互的表格组件的设计方法.该方法以数字笔代替鼠标键盘,能够连续输入笔迹并识别为文字、勾画草图并识别为正式表格或框线、使用笔手势操纵界面对象,并能自动识别表格的逻辑结构.本文讨论了该笔式表格组件的开发框架及关键技术,以及表格组件架构,并给出了应用实例及性能评估,实验结果表明,用户使用该方法设计表格具有较高的效率与用户满意度.