对一个Petri网进程表达式的探讨

Petri网进程是Petri网分析和验证的有效手段,而Petri网的进程表达式可以给出系统全部进程的描述。针对文献《一种基于同步合成构造Petri网进程表达式的方法》提出的基于同步合成的Petri网表达式构成方法中的一个引理进行深入研究,并通过一个反例,说明这种方法的错误之处。     

基于OPT的生产计划系统设计

随着以消费者为主导的市场消费体系的形成,多品种、小批量的生产方式已成为主流,新的生产方式要求生产作业管理系统必须与之匹配,这是我国企业现代化改造面临的主要问题之一.MRPⅡ和JIT广泛被用于生产计划与控制,计算机集成制造系统(CIMS)为各种生产调度模型奠定了基础.但是,由于我国制造企业现存的问题,导致上述软件系统无法发挥其应有的作用.在分析MRPⅡ存在问题的基础上,提出了基于OPT(Optimized Production Technology)思想和技术的生产计划系统新模型,并对该生产系统的编制方法进行了探讨.     

恩施土家族特色民族药用植物资源

对我国恩施土家族15种特色民族药用植物的资源分布、化学成分、药理作用以及国内外研究进展进行了概述,并分析了研究中存在的问题,得到了一些结果结论,对土家族民族药用植物资源的综合开发利用具有一定指导意义或参考价值.     

四川大学江安河水质检测及治理方向

文明的发展与水资源的合理利用有着密切的关系。近年来,水资源污染问题日益严重,人们对水资源的合理利用和保护也日益关注。文中针对江安河水体污染日益严重的现状,对四川大学江安河段水体质量进行了调查检测。此次调查通过对水样的采集、预处理和多项水质检测指标的分析测试,对调查水段水质进行了评价并提出了治理方向。     

O型口蹄疫病毒VP4蛋白一个保守性表位的精细鉴定

口蹄疫病毒(FMDV)的结构蛋白VP4在7个血清型之间是非常保守的,对其抗原表位最小基序的测定有助于开发广谱性多肽疫苗.本研究采用生物合成肽法,利用豚鼠抗FMDV O型标准血清,对最新流行的FMDV O型毒株O/BY/CHA/2010的VP4蛋白进行了线性表位扫描作图研究.结果表明:在覆盖VP4蛋白全长序列的10个18聚肽中,发现1个能与豚鼠抗FMDV O型标准血清发生免疫印迹反应的抗原性肽VP4-3;B细胞表位鉴定确定了抗体识别VP4-3的最小基序是INNYYM;该表位位于VP4蛋白的三维结构表面;对7个FMDV血清型的122个毒株同源蛋白质进行序列比对,发现这一表位在7个FMDV血清型的120个毒株中是100%保守.     

黑河上中游流域地表植被对干旱的响应

在干旱半干旱区,水量是植被生长发育的重要因素.本文基于黑河上中游流域2000—2010年MODIS遥感叶面积指数(LAI)产品、中国区域高时空分辨率地面气象要素驱动数据集等多源数据,计算研究区域各栅格逐月的累积相对湿润指数,通过皮尔逊回归分析,建立LAI与累积相对湿润度指数的相关关系,以此定量评价黑河上中游流域不同土地覆被类型(农田、森林、草地、聚落、湿地)LAI对气象干旱的响应.结果表明:1)植被对干旱的敏感性随植被生长的不同阶段而变化,多数类型的植被在每年的8月份对干旱最为敏感;2)不同类型的植被受干旱影响的程度不同,干旱对农田和草地的影响较大;3)含虚拟变量的回归模型能够合理地描述干旱对植被的影响,模型具有一定的精度.     

基于S WA T模型的母猪河流域水资源时空变化特征研究

在山东胶东半岛母猪河流域构建了分布式水文模型SWAT,在模型参数敏感性分析、参数率定、模型验证的基础上,对研究区月水文过程进行模拟,并在此基础上分析了母猪河流域近年来水资源时空变化特征.研究结果表明米山水库水文站月径流过程模拟效果较好,率定期和验证期R2和ENS均在0.8左右.母猪河流域多年平均年径流深为372.5mm,西母猪河源区年均径流深较高,东母猪河子流域较低,流域年径流深基本上呈西高东低的空间分布特征.春夏两季与年径流深空间分布特征较为一致,而秋冬两季径流深空间分布较均匀.汛期7—10月份流域产流量约占全年总产流量84%,极易引发流域性大洪水,而非汛期产流量严重不足,流域水资源短缺问题十分严峻.     

脱硫建筑石膏空心砌块及其热工性能的研究

利用脱硫建筑石膏代替天然建筑石膏生产石膏空心砌块,并对其砌筑墙体的保温性能进行了测试.研究表明,生产的脱硫建筑石膏空心砌块断裂荷载达到4.50 kN,其墙体的实测传热系数为1.06 W/(m2·K),保温性能明显优于烧结多孔砖和普通混凝土空心砌块.     

基于粒子滤波的多导心电信号的T波交替分析算法

对于多导心电信号中非稳态和非高斯的T波交替(Twavealternans,TWA)现象的分析,现有的方法都存在稳健性差的问题.提出了一种基于粒子滤波的多导联TWA分析方法,根据多导联TWA的分析框架,对经过预处理后得到的多导联ST-T段数据首先进行主成分分析,然后采用粒子滤波的方法对变换后每个通道进行TWA检测和对重构后的各导联进行TWA幅值估计,从而实现多导联T波交替的分析.仿真实验结果表明,当交替信号与噪声的比小于-15dB,多导联的粒子滤波方法的估计TWA幅值准确度高,并且没有出现TWA的漏检和误检情况.同时,对非稳态和非高斯的TWA具有很好的稳健性和抗噪性能.     

开放获取环境中的图书馆与社会阅读的发展与变革

阐述了人类阅读媒介5个时代的历史发展与变革,讨论了网络阅读及其开放存取模式在我国的发展情况,探讨了社会阅读文献资源及社会阅读服务方式的发展与变革。