基于Token编辑距离检测克隆代码

针对当前Type-3克隆代码检测工具较少、效率偏低等问题,提出了一种基于Token的能有效检测Type-3克隆代码的检测方法。该方法同时能有效检测Type-1和Type-2克隆代码。首先将源代码Token化得到特定代码粒度的Token串,其次将所有Token串的定长子串进行映射,在对映射信息进行查询的基础上,利用编辑距离算法确定克隆对,然后通过并查集算法快速构建克隆群,最终反馈克隆代码信息。实现了原型工具FClones,利用基于代码突变的框架对工具进行了评价,并与领域内较优秀的两款工具NiCad及SimCad进行了对比。实验结果表明,FClones在检测三类克隆代码时查全率均不低于95%,查准率均不低于98%,能更好地检测Type-3克隆代码。     

电影对白语言中的语音历时对比分析

普通话已经走过了近百年的历程,目前还很少有人对普通话的历时语音变化及其韵律特征进行系统的实验研究。以2005年颇具代表性的广播电视谈话体语料为基准数据,选取《现代汉语普通话数字化样本库》中20世纪50年代和70年代拍摄的同名电影语料,对其中主要人物对白的音高、时长等语音特征进行历时的对比研究。经过分析发现：在广播电视及影视等有声媒体中,70年代语音的音节时长均值要长于50年代,其中阴平调表现尤为明显;在音高方面,高音点和低音点也都高于50年代,音域也较宽。这说明70年代的语音在发音上显得较夸张、不自然,这与六七十年代那段特殊的历史时期有关。     

葡萄酒中14种单体酚的高效液相色谱测定

建立一种新的、同时测定葡萄酒中14种单体酚含量的高效液相色谱法。采用ZORBAXSB-C18色谱柱(4.6mm×250mm,5μm),乙腈-冰醋酸-水溶液为流动相,梯度洗脱,流速为1.0mL/min,柱温30℃,检测波长280nm。测定6种不同地区、不同年份的赤霞珠干红葡萄酒中14种单体酚的含量。结果表明,不同地区相同品种葡萄酒中没食子酸、儿茶素、表儿茶素3种单体酚含量均较高,但14种单体酚含量各不相同,同地区不同年份的赤霞珠葡萄酒单体酚含量亦有差别,葡萄酒中几种主要单体酚随时间的变化含量均有降低,同时伴随着部分单体酚含量的增加。     

TJ168型架桥机架设铁路2201型T梁的施工

介绍了TJ168型架桥机及其特点,结合具体工程实例,提出了该架桥机架梁施工方案,从成品梁的验收与装载、运梁、架梁等方面进行了阐述,以积累TJ168型架桥机架梁施工经验。     

定差溢流阀的建模与仿真分析

介绍了定差溢流阀的液压原理,并建立其数学模型,得到流量连续性方程、阀芯受力方程和阀口压力流量方程。应用MATLAB/Simulink软件建立了定差溢流阀的仿真模型,对仿真结果进行分析,得到阀芯位移动态响应曲线、阀口两侧压差变化曲线、负载流量动态响应曲线和液压泵压力动态响应曲线。所做研究可以为定差溢流阀的优化设计提供参考。     

化学性缺氧致大鼠脑细胞[Ca2+]i和脑红蛋白表达变化及阿司匹林干预研究

目的: 观察化学性缺氧状况下大鼠脑细胞[Ca²⁺]_i和脑红蛋白(NGB)表达的变化及阿司匹林(ASA)对其变化的干预,并初步探讨其作用机制。方法: 连二亚硫酸钠致原代培养大鼠脑细胞缺氧,用荧光探针Flou-3负载和NGB荧光免疫组化技术双标,激光共聚焦显微镜动态观察。结果: [Ca²⁺]_i和NGB表达与缺氧持续时间有关,随缺氧时间的延长,荧光强度随之增高;经ASA预防性干预,两种荧光强度增高缓慢,其增高程度明显低于单纯缺氧组;治疗性干预,用药早期两种荧光强度增高明显,其增高程度与单纯缺氧组变化相近,后期则增高缓慢,其增高程度明显低于单纯缺氧组。[Ca²⁺]_i浓度和NGB表达呈正相关。结论: ASA对原代培养大鼠脑细胞化学性缺氧损伤具有保护作用,其作用可能与ASA抑制细胞内Ca²⁺超载有关;NGB的表达可能是受到Ca²⁺-CaM复合物的调节;ASA预防性用药的早期保护作用明显优于治疗性用药。     

会宁红色旅游产业发展策略初探

红色旅游产业是爱国主义教育与旅游产业相结合的一种新兴旅游产业。会宁是红军长征胜利会师的地方,具备发展红色旅游产业的基础。文中阐述了会宁的红色旅游资源和红色旅游产业发展现状,并提出了红色旅游产业的发展策略。     

DOT-300重整油脱烯烃催化剂工业试验

中国石油化工股份有限公司茂名分公司的重整生成油脱烯烃装置原使用改性白土时,存在周期使用寿命短、频繁更换和二甲苯产品质量波动大等问题。使用以MWW结构的纳米层状分子筛为活性组分开发的DOT-300催化剂后,表现出优异的深度脱烯烃性能、长周期稳定性和耐高非芳烯含量原料等特点,二甲苯产品质量好。在20多个月的运行期间,原料的溴指数为700～1 600 mg-Br/100 g、非芳烃含量最高为0.96%,在质量空速为4.1h-1、温度为178～193℃条件下,DOT-300催化剂床出口物料的溴指数稳定为30～110 mg-Br/100 g,二甲苯产品溴指数低于14 mg-Br/100 g,稳定期C8芳烃中甲苯含量为0.05%～0.15%。因原料的非芳烃含量指标放宽至2.5%,脱庚烷塔蒸汽消耗量从改性白土工况的平均16.62t/h减少至使用DOT-300后的平均12.58t/h。纳米层状分子筛特殊的二维薄层状结构及处于十二元环空穴的开放活性中心,是DOT-300脱烯烃催化剂具有优异综合性能的关键原因。     

UML状态机模型形式化验证技术研究

系统建模是系统开发经常用到的分析设计方法,如何保证模型的正确性一直是人们关注的话题.为了验证系统设计的模型正确性,进而提高整个系统的质量,提出了一种通过模型检查技术对UML状态机模型进行动态语义验证的方法.对状态机模型进行形式化描述,根据定义的映射规则将图形信息映射成模型检查器可以读取的语言,分析待验证的性质内容,通过使用模型检查器得到验证结果.     

轻钢增层结构的地震反应分析

根据现阶段大量出现的混凝土结构上加盖轻钢结构的结构形式特点,采用子结构方法分别对原有混凝土结构和加层钢结构的质量、刚度和阻尼矩阵进行叠加,进而运用实模态振型分解法求解结构地震反应,通过本文方法与Newmark时程法的比较研究表明,本文方法具有相当的精度。