公共文化服务平台

基于线粒体COI基因序列探讨广西钦州湾牡蛎的遗传分化被引量：19: 2009年; 【目的】初步了解我国广西钦州湾牡蛎的遗传多样性及其分类和系统进化情况。【方法】以采自广西钦州湾的37个白肉牡蛎和29个红肉牡蛎个体为材料,对其线粒体细胞色素氧化酶亚基I(COI)的部分序列进行PCR扩增和序列比对,检测牡蛎的遗传多样性;计算牡蛎不同单倍型及GenBank中已登载的4种牡蛎间的遗传距离,采用聚类分析方法,构建其NJ和UPGMA系统进化树。【结果】66个白肉牡蛎和红肉牡蛎线粒体COI基因片段的PCR产物大小约为600 bp,扩增产物纯化并去除引物序列后获得约535 bp的核苷酸序列;碱基组成平均为:T 37.5%,C18.2%,A 23.8%,G 20.5%,A+T 60.5%,C+G 39.5%,A+T含量高于G+C含量。运用DNAStar软件对66个钦州湾牡蛎序列进行比对,白肉牡蛎中共检测到4个多态位点,包括3个转换位点和1个颠换位点,有4种单倍型;红肉牡蛎中共检测到26个多态位点,转换位点和颠换位点各13个,有3种单倍型。GenBank中香港牡蛎COI序列与白肉牡蛎的遗传距离为0.000,有明巨牡蛎COI序列与红肉牡蛎的遗传距离为0.011,白肉牡蛎与红肉牡蛎的遗传距离为0.146;NJ和UPGMA系统进化树表明,白肉牡蛎与红肉牡蛎亲缘关系较远,白肉牡蛎与香港牡蛎聚为一支,红肉牡蛎与有明巨牡蛎聚为一支。【结论】序列特征、遗传距离和系统进化树分析结果表明,COI基因可用于牡蛎的种类鉴定和系统发育分析。; 李咏梅陈秀荔彭敏马宁黎铭杨春玲蒋伟明曾地刚陈晓汉; 关键词：牡蛎 COI基因线粒体

形式语义描述方法研究进展与评价被引量：5: 2006年; 程序设计语言形式语义描述技术在1990年代进入新一轮发展高潮,它对程序设计语言的设计和标准化,编译程序的设计和优化,程序推理,以及安全协议形式化描述、分析验证与设计等都有着重要的意义。但不同于成熟统一的形式化语法描述技术,语义的形式描述技术尚处于蓬勃发展和多种技术并存时期。首先回顾形式语义描述方法的研究发展史;然后通过实例介绍当前主要的语义形式描述方法;最后给出这些方法的评价标准和比较结果,并指出最有发展潜力的语义描述方法,以及将来的发展方向。; 张迎周张卫丰钱俊彦; 关键词：安全协议分析

基于时间Petri网的嵌入式系统软硬件划分方法被引量：6: 2008年; 软硬件划分技术是软硬件协同设计中的一个关键技术。提出将时间Petri网应用到软硬件划分当中,为系统的性能评估提供了形式化的方法和工具。另一方面,将系统功能集中到Petri网的迁移上,从而将Petri网直接作为划分模型。并利用了Petri网的不变量分析技术求出系统的关键路径作为系统性能评估的依据。另外,使用遗传算法来解决划分中的优化问题。最后通过对比实验,说明了时间Petri网性能评估和遗传算法优化的有效性。; 黄源钟艳如陈洺均; 关键词：软硬件划分 PETRI网遗传算法

应用6-DMAP人工诱导近江牡蛎三倍体的初步研究被引量：4: 2008年; 采用6-二甲基氨基嘌呤(6-DMAP)抑制受精卵第二极体排放法诱导近江牡蛎产生三倍体,通过6-DMAP浓度、诱导时机、诱导持续时间3因素3水平正交试验设计,得出近江牡蛎三倍体诱导3因素最优水平组合,即当30%受精卵出现第一极体时,将受精卵浸泡在含6-DMAP 450μmol/L的海水中20 min;3因素影响诱导率的主次顺序为:6-DMAP浓度→诱导时机→诱导持续时间。; 杨春玲陈晓汉李咏梅彭敏蒋伟明韦嫔媛王大鹏杨彦豪; 关键词：近江牡蛎 6-DMAP

高校学分制收费管理信息系统设计与实现: 使用Delphi 6．0作为前端开发工具,选择SQL Server作为后端数据库,设计并实现了高校学分制收费管理信息系统。该系统主要由学费管理模块、选课管理模块、统计查询及报表模块和系统维护模块组成。该系统安全性高、透明...; 申慧萍钱俊彦; 关键词：信息系统收费管理高校; 文献传递

调用模式和正确调用模式语义在Prolog程序测试中的应用: 2008年; 将基于调用模式语义和正确调用模式语义的程序分析技术应用于Prolog程序的CPM测试。通过调用模式分析获得内部过程被调用和成功调用的条件,利用前者删除不满足调用条件的测试帧,或当删除条件不满足时利用该条件更新测试规格中过程属性的划分准则;利用后者预测CPM测试的结果。该方法可较好地保持程序测试的质量,改善Prolog程序的CPM测试过程。; 赵岭忠钱俊彦; 关键词：PROLOG

高校学分制收费管理信息系统设计与实现被引量：2: 2006年; 使用D elph i 6.0作为前端开发工具,选择SQL Server作为后端数据库,设计并实现了高校学分制收费管理信息系统。该系统主要由学费管理模块、选课管理模块、统计查询及报表模块和系统维护模块组成。该系统安全性高、透明性强、工作效率高,已经推广到广西的大部分大专院校,以及其他省市的部分大专院校使用。; 申慧萍钱俊彦; 关键词：信息系统收费管理高校

华南沿海养殖近江牡蛎的分类研究被引量：19: 2006年; 近江牡蛎是我国贝类养殖的主要对象,在华南沿海养殖已有700多年的历史。根据肉的颜色,近江牡蛎通常被珠江三角洲蚝民称为“赤蚝”和“白蚝”,但它们的贝壳形态极其相似。近江牡蛎分类鉴定研究已被探讨多年,传统的形态学、解剖学等已不能完全解决近江牡蛎的分类问题。近年发展起来的分子生物学技术在近江牡蛎分类方面取得了突破性的进展。文章综述了近江牡蛎分类研究进展,综合有关研究报道认为华南沿海养殖的近江牡蛎可能是3个物种的混合体：“赤蚝”可能是一个新种,而“白蚝”含有香港巨牡蛎和有明巨牡蛎2个物种。; 苏天凤; 关键词：华南沿海近江牡蛎形态解剖学分子生物学

RBAC模型的扩充及其应用被引量：8: 2008年; RBAC(Role Based Access Control)是一种被广泛认可的信息系统访问安全规范管理模型,但RBAC访问安全规范模型如何与组织系统的业务过程规范模型融合,从而更有效地服务于可信业务协同系统的开发实践还值得进一步研究改进。在RBAC模型的基础上,融合协同业务规范中的义务及奖惩元素,提出RBAO(Role Based Access and Obligation)模型。RBAO模型不仅能描述角色在组织中可拥有的访问权力,还能描述角色在组织中可能要承担的义务及义务违反时将受到的处罚。这使得RBAO模型更适合用于组织可信规范业务协同系统的管理建模与开发。以具体实例说明了基于RBAO模型的可信业务协同系统管理的分析与建模方法。; 蔡国永林煜明; 关键词：访问控制

简述Statecharts的CASE工具SuperState: 在介绍基于Statecharts语言的验证工具SuperState的编辑环境的基础上,简述SuperState工具中主要部分的实现思想,即采用静态分析和动态仿真保证设计模型的正确性。; 钱俊彦; 关键词：STATECHARTS CASE工具; 文献传递

渝B2-20050021-1　渝公网安备 50019002500403号　违法和不良信息举报中心　互联网出版许可证　新出网证(渝)字10号

广西壮族自治区自然科学基金(0542036)

文献类型

领域

主题

机构

作者

传媒

年份

用户反馈

广西壮族自治区自然科学基金(0542036)

文献类型

领域

主题

机构

作者

传媒

年份

用户登录

用户反馈