WISHBONE片上总线符号模型检测

随着多核体系结构的出现和普及,片上总线逐渐成为影响片上系统功能和性能的关键部件.因此,片上总线的验证成为片上系统设计中一个重要组成部分.模型检测作为一种主流的形式化验证方法,可以自动化穷举搜索系统行为以决定片上系统的设计是否满足设计规范.然而,模型检测受制于状态空间爆炸问题,且现有规范语言如计算树逻辑和线性时序逻辑等的描述能力有限.提出了一种基于命题投影时序逻辑的WISHBONE片上总线符号模型检测方法.该方法将以Verilog硬件描述语言实现的WISHBONE总线转化为以NuSMV模型检测工具的建模语言SMV描述的系统模型,使用命题投影时序逻辑描述WISHBONE总线期望的性质,通过PLSMC工具验证系统模型是否满足期望的性质.实验结果表明该方法能够有效验证WISHBONE片上总线的定性性质,以及时间敏感和迭代性等定量性质.     

基于枢轴选择策略的多核并行skyline算法

针对当前大规模高维数据集skyline计算效率较低的问题,提出了一种多核并行算法MPSSI(Multi-core Parallel Skyline computation based on Sorting and Incomparability).首先对数据集进行预排序处理,简化了后续计算过程;并通过精心选择枢轴点,将数据空间划分为若干区域,利用区域支配关系,减少了数据点之间的支配测试次数;同时在多核平台上对计算过程进行并行化处理,进一步提高了效率.MPSSI算法处理过程简洁、渐进性好、可扩展性强.实验结果表明,对大规模高维数据集,算法效率有大幅提升,相对加速比接近线性.     

烤烟品种间烟叶化学成分含量对海拔高度的响应

为了探讨品种间烤烟化学成分与海拔高度的相关性,在云南不同海拔(706～2356 m)植烟区采集182 个烤烟中部烟叶样品,品种涉及云烟87、云烟85、K326 和红大,检测了样品中的34 种化学成分,通过相关分析和聚类分析,比较了化学成分及其与海拔高度相关性在品种间的差异。结果表明,4 个品种中红大可溶性糖类和有机酸类含量最低,总氮、烟碱、质体色素和多酚类物质含量最高,明显区别于其他3 个品种。相关分析表明,K326 中总糖、总氮、烟碱、石油醚提取物等指标与海拔高度的相关性明显不同于其他3 个品种,类似的结果也体现在丙二酸、丁二酸和亚油酸、β-胡萝卜素、单双糖含量等指标。因此,烟叶的化学成分及其随海拔高度的变化情况存在着较大的品种差异。     

Verilog程序的命题投影时序逻辑符号模型检测

为了保证以Verilog硬件描述语言设计的片上系统的正确性,提出了Verilog程序的符号模型检测方法．依据形式化操作语义将Verilog程序建模为有限状态机,将设计规范用命题投影时序逻辑公式描述,并采用命题投影时序逻辑符号模型检测工具对程序进行验证,从而证明片上系统满足设计规范．以Verilog程序描述的四位同步二进制计数系统的验证实例表明,Verilog程序的命题投影时序逻辑符号模型检测方法是可行的．     

基于非靶向代谢组学的红花大金不同生育期烟叶代谢图谱差异分析

  目的  为分析不同生育期烟草烟叶代谢图谱差异。  方法  以烟草品种红花大金元为研究对象,采集团棵期、现蕾期和成熟期烟叶样品,利用LC-QTOF/MS进行代谢指纹图谱检测,利用统计分析方法对差异代谢物进行筛选,基于Spearman相关分析计算代谢物之间的相关性系数,利用MetaboAnalyst软件进行代谢通路富集分析。  结果  （1）不同生育期烟草样品代谢图谱存在明显差异,共鉴定出245个差异代谢物,其中类黄酮、有机酸、氨基酸、核苷、生物碱、脂类等物质种类最多。（2）烟碱及其衍生物,如烟碱-1-氧代、麦斯明、假木贼碱、马钱子碱、新烟碱、2, 3'-二联吡啶,均随烟草生育期而逐渐累积,而与烟碱合成相关的前体物质,如精氨酸、亚精胺、腐胺、羟基丁酸等,均随着生育进程逐渐减少,且与烟碱含量显著负相关。（3）与次级代谢物合成相关氨基酸和有机酸等物质在团棵期或现蕾期含量较多,而在成熟期含量较低,与成熟期次级代谢物合成有关。（4）大部分类黄酮和酚酸组分在成熟期时含量较高,可以提高烟草抗病和抗逆能力。（5）相关性分析发现,烟碱含量与谷氨酸、泛酸、吡哆醛、蜜二糖、3-羟基邻氨基苯甲酸和顺式玉米素-o-葡萄糖苷等物质显著正相关,可能是调控烟叶中烟碱含量的重要标志物。  结论  基于代谢组学揭示了不同生育期烟草代谢物变化规律,为优质烟草育种及品质分析提供技术支撑。      

云南烤烟特征化学成分分析

采用偏最小二乘法对云南省内159个与省外30个种植点生产的烤烟烟叶中102种主要化学成分和致香成分进行了比较分析。结果表明云南省内生产的烤烟烟叶与省外生产的烤烟烟叶能够得到良好地区分,进一步数据分析显示云南烤烟的特征化学成分为草酸、十四酸、棕榈酸、十八酸、油酸、亚油酸、亚麻酸、新绿原酸、芸香苷、山奈酚苷、3-甲基-2-丁烯醛、糠醇、2-乙酰吡啶、巨豆三烯酮。     

如何规范填写监理日记

对监理日记填写中常见问题进行叙述,从监理日记的管理要求、填写要求和注意事项三个方面,对监理日记的填写进行规范。