基于精确标识对象Petri网模型的检测方法

精确标识PNO要求一个对象实例既不能同时出现在多个库所,也不能在一个托肯中出现多次,SMV是一个功能强大的符号化模型检验工具.本文提出了将精确标识PNO模型转换成相应SMV程序的算法,并通过列车运行区域模型(TOPNO)演示了具体的转换过程.通过该转换算法不仅能有效地解决精确标识PNO活性、安全性等属性的检测问题,还能验证与模型中对象相关的属性.     

氯代乙酰基乙酰甲胺合成技术的改进

改变了二氯代乙酰基乙酰甲胺的转化剂,提高了转化温度,从而减少了废水量,使转化时间由5.0￣5.5h减少到2.0￣2.5h,缩短了生产周期,提高了生产效率.     

土地整理对区域景观格局的影响——以湖北省安陆市辛榨乡基本农田整理项目为例

土地整理是区域景观变化的主要驱动力之一,其生态影响可以通过景观格局的变化表现出来．结合国家投资基本农田整理项目的空间数据与属性数据。选取景观单元特征指数、景观多样性指数、景观破碎化指数等三大类指数与9小类指标,在AutoCAD与MapGIS平台上提取与处理空间数据和属性数据。并计算出各指标量整理前后的变化．结果表明：土地整理后斑块密度指数减少,景观多样性指数降低,破碎度指数减小,水田的优势度增高且更具有连通性,景观异质程度下降,景观类型有向单一化和非均衡化方向发展的趋势。景观中各类型斑块在空间上的分布也出现非均衡化．     

基于MATLAB的GK模糊聚类算法程序设计

针对MATLAB缺乏GK模糊聚类工具,对于GK模糊聚类的应用及仿真十分不便的情况设计了一系列M函数:GKcluster、cluster-normalize及clustereval,通过这些函数对输入的数据进行规范化处理、模糊聚类并得到聚类结果,最后将这些M函数加入到MATLAB的工具箱中以便直接调用,并用聚类实例表明该程序的正确性、有效性和快捷性.     

西北太平洋热带气旋气候特征及其变化研究的若干进展

为了对我国气象工作者全面了解和参与热带气旋的研究有所帮助,在大量阅读和调研的基础上,介绍了近20年西北太平洋热带气旋活动在季节、年际和年代际尺度上研究的若干主要成果.重点阐述了EN-SO与热带气旋的关系,温室效应热带气旋的数值模拟和观测研究等的最新动态.     

公民的人文素质是构建和谐东莞的基础

中国共产党提出了建立和谐社会的新目标,为实现这一目标而奋斗是全社会也是东莞目前的重大任务.在这个过程中公民良好的人文素质起着不可低估的作用,它是构建和谐东莞的坚实基础.从东莞公民人文素质的现状来看,离和谐社会的要求还有相当的距离,我们必须从实际出发,在实践中探索改变这一现状的途径和方法,以培养和提升公民的人文素质,为构建和谐东莞打下坚实的基础.     

南大洋冰山特征初步分析

基于中国第19次南极科学考察从2002年12月至2003年1月在南大洋航行期间利用船舶雷达对航线两侧冰山的观测,给出了从雷达图像中获取冰山尺寸及其运动速度、方向的方法,获得了航线周围冰山的运动速度和尺寸分布.通过比较分析发现R oss海和W edde ll海冰山长度主要集中在880 m和1 180 m左右,冰山运动主要呈东北或西北向,运动速度与北极冰山的速度接近;P rydz湾的最大冰山尺寸则在65.4°S~68.2°S内随着接近Am ery冰架先增大后减小,符合一般物体崩塌的力学规律.另外,通过多元回归分析建立了冰山运动速度和同步测量的风速、流速间的关系,发现在当地典型情况下,风速对冰山运动的贡献是流速贡献的一半.     

近年来光合作用领域的前沿和热点研究——基于WOS高被引论文的科技术语分析

科技术语是科技论文的基本要素和重要特征,光合作用研究论文中存在大量的科技术语。基于数据驱动的科技术语分析能够对学科领域的动态发展和演变起到较好的揭示和印证作用。文章以VOSviewer软件为主要分析工具,对Web of Science数据库中光合作用领域近三年的高被引论文和热点论文中的科技术语进行计量分析和可视化呈现。分析比较的结果表明,近年来光合作用的研究热点集中在“自然光合作用的机理探究”“光合作用与环境变化”“人工光合的应用和发展”三个方向,“光催化剂”成为这几年光合作用领域研究的前沿。     

框架术语学的三大研究焦点

框架术语学对普通术语学进行了反思和批判,是描写术语学的最新流派之一.文章介绍了该学派的三个研究焦点:主张基于事件概念组织,从而把术语的句法和组合特征纳入研究视野;考察了术语概念的多维性,突出了语境要素在术语概念表征中的重要作用;把专业语料库作为提取概念知识的主要来源,采用自下而上为主的研究路径.     

籼稻93-11和粳稻日本晴DNA插入缺失差异片段揭示的水稻籼-粳分化

碱基的插入/缺失(InDel)引起DNA序列变化并形成了DNA片段长度多态,可以用作遗传标记.为了评价基于籼稻93-11和粳稻日本晴全基因组序列比对获得的差异片段而设计的InDel引物在鉴定籼稻和粳稻两种生态型以及研究稻属不同物种之间亲缘关系的意义,采用45对InDel引物,对来自亚洲10个国家的49份籼稻、43份粳稻品种和24份野生稻进行了检验.结果表明,其中41对InDel引物鉴定籼稻或粳稻品种的准确率高于80%.主成分分析散点图显示:籼稻与粳稻存在明显的遗传分化;含AA基因组的野生稻物种与籼稻品种存在较近的亲缘关系;非AA基因组的野生稻物种不存在明显的籼-粳分化.并且证明了基于籼稻93-11和粳稻日本晴全基因组序列比对获得的InDel差异片段设计的引物可以用于栽培稻籼稻和粳稻品种的鉴定以及籼-粳分化问题的研究,及探索稻属不同物种间的亲缘关系.