云南高校图书馆联盟文献共享服务平台- 广西壮族自治区自然科学基金(0542036)

广西壮族自治区自然科学基金(0542036): 作品数：11被引量：55H指数：4; 导出分析报告; 相关作者：钱俊彦李咏梅陈晓汉蒋伟明彭敏更多>>; 相关机构：桂林电子科技大学桂林电子工业学院广西水产研究所中国水产科学研究院南海水产研究所更多>>; 相关期刊：《广西科学院学报》《西南农业学报》《计算机应用研究》《Wuhan University Journal of Natural Sciences》更多>>; 相关主题：近江牡蛎STATECHARTS遗传分化COI基因沿海养殖更多>>; 相关领域：自动化与计算机技术农业科学生物学更多>>

基于线粒体COI基因序列探讨广西钦州湾牡蛎的遗传分化被引量：18: 《西北农林科技大学学报（自然科学版）》2009年第3期60-65,共6页李咏梅陈秀荔彭敏马宁黎铭杨春玲蒋伟明曾地刚陈晓汉; 广西壮族自治区自然科学基金项目(桂科自0542036);广西壮族自治区科技创新能力建设项目(桂科能05112001-6B); 【目的】初步了解我国广西钦州湾牡蛎的遗传多样性及其分类和系统进化情况。【方法】以采自广西钦州湾的37个白肉牡蛎和29个红肉牡蛎个体为材料,对其线粒体细胞色素氧化酶亚基I(COI)的部分序列进行PCR扩增和序列比对,检测牡蛎的遗传多样...; 关键词：牡蛎 COI基因线粒体广西

基于时间Petri网的嵌入式系统软硬件划分方法被引量：2: 《微计算机信息》2008年第8期26-28,共3页黄源钟艳如陈洺均; 广西自然科学基金资助项目(0542036); 软硬件划分技术是软硬件协同设计中的一个关键技术。提出将时间Petri网应用到软硬件划分当中,为系统的性能评估提供了形式化的方法和工具。另一方面,将系统功能集中到Petri网的迁移上,从而将Petri网直接作为划分模型。并利用了Petri网...; 关键词：软硬件划分 PETRI网遗传算法

Abstract Model Checking for Web Services: 《Wuhan University Journal of Natural Sciences》2008年第4期466-470,共5页QIAN Junyan CAI Guoyong GU Tianlong ZHAO Lingzhong; the National Natural Science Foundation of China (60663005, 60563005);the Natural Science Foundation of Guangxi Province (0542036, 0728093, 0728089); Web-services are highly distributed programs, and concurrent software is notoriously error-prone. Model checking is a powerful technique to find bugs in concurrent systems. However, the existing model checkers have no...; 关键词：Web-services model checking predicate abstraction hypertext preprocessor

调用模式和正确调用模式语义在Prolog程序测试中的应用: 《计算机应用研究》2008年第4期1008-1012,共5页赵岭忠钱俊彦; 国家自然科学基金资助项目(60663005);广西自然科学基金资助项目(桂科青0542036); 将基于调用模式语义和正确调用模式语义的程序分析技术应用于Prolog程序的CPM测试。通过调用模式分析获得内部过程被调用和成功调用的条件,利用前者删除不满足调用条件的测试帧,或当删除条件不满足时利用该条件更新测试规格中过程属性...; 关键词：PROLOG 调用模式语义正确调用模式语义主属性区分方法测试

应用6-DMAP人工诱导近江牡蛎三倍体的初步研究被引量：4: 《西南农业学报》2008年第3期825-828,共4页杨春玲陈晓汉李咏梅彭敏蒋伟明韦嫔媛王大鹏杨彦豪; 广西科技创新能力建设项目(桂科能05112001-6B);广西自然科学基金项目(桂科自0542036); 采用6-二甲基氨基嘌呤(6-DMAP)抑制受精卵第二极体排放法诱导近江牡蛎产生三倍体,通过6-DMAP浓度、诱导时机、诱导持续时间3因素3水平正交试验设计,得出近江牡蛎三倍体诱导3因素最优水平组合,即当30%受精卵出现第一极体时,将受精卵浸泡...; 关键词：近江牡蛎 6-DMAP 第二极体流武细胞仪

RBAC模型的扩充及其应用被引量：8: 《计算机工程与应用》2008年第3期228-233,共6页蔡国永林煜明; 广西自然科学基金( the Natural Science Foundation of Guangxi of China under Grant No.0542036); RBAC(Role Based Access Control)是一种被广泛认可的信息系统访问安全规范管理模型,但RBAC访问安全规范模型如何与组织系统的业务过程规范模型融合,从而更有效地服务于可信业务协同系统的开发实践还值得进一步研究改进。在RBAC模型的...; 关键词：访问控制可信协同交互义务组织建模

形式语义描述方法研究进展与评价被引量：4: 《南京邮电大学学报（自然科学版）》2006年第6期86-94,共9页张迎周张卫丰钱俊彦; 国家自然科学基金(60503020);江苏省高校自然科学基金(05KJD520151);广西自然科学基金(0542036)资助项目; 程序设计语言形式语义描述技术在1990年代进入新一轮发展高潮,它对程序设计语言的设计和标准化,编译程序的设计和优化,程序推理,以及安全协议形式化描述、分析验证与设计等都有着重要的意义。但不同于成熟统一的形式化语法描述技术,语...; 关键词：形式化语义描述安全协议分析博弈语义单子语义

高校学分制收费管理信息系统设计与实现被引量：1: 《广西科学院学报》2006年第4期322-325,共4页申慧萍钱俊彦; 广西自然科学基金(0542036)资助; 使用D elph i 6.0作为前端开发工具,选择SQL Server作为后端数据库,设计并实现了高校学分制收费管理信息系统。该系统主要由学费管理模块、选课管理模块、统计查询及报表模块和系统维护模块组成。该系统安全性高、透明性强、工作效率高...; 关键词：信息系统收费管理高校

华南沿海养殖近江牡蛎的分类研究被引量：19: 《南方水产》2006年第6期72-75,共4页苏天凤; 广西自然科学基金(桂科自0542036); 近江牡蛎是我国贝类养殖的主要对象,在华南沿海养殖已有700多年的历史。根据肉的颜色,近江牡蛎通常被珠江三角洲蚝民称为“赤蚝”和“白蚝”,但它们的贝壳形态极其相似。近江牡蛎分类鉴定研究已被探讨多年,传统的形态学、解剖学等已不...; 关键词：华南沿海近江牡蛎形态解剖学分子生物学分类

简述Statecharts的CASE工具SuperState: 《广西科学院学报》2006年第4期382-384,共3页钱俊彦; 广西自然科学基金(0542036)资助; 在介绍基于S tatecharts语言的验证工具SuperS tate的编辑环境的基础上,简述SuperS tate工具中主要部分的实现思想,即采用静态分析和动态仿真保证设计模型的正确性。; 关键词：STATECHARTS 形式化技术 CASE工具

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