搜索筛选:
搜索耗时0.6505秒,为你在为你在102,267,441篇论文里面共找到 747 篇相符的论文内容
类      型:
[期刊论文] 作者:, 来源:Tsinghua Science and Technology 年份:2004
Tsinghua Professor Wang Xiaoyun was awarded the Qiushi Outstanding Scientist Prize at the 2006 annual...
[期刊论文] 作者:林祝微,钟发荣, 来源:科技信息(科学·教研) 年份:2004
异步非对称Chi演算是目前更接近于现在的分布式程序语言的形式化系统.本文研究了异步非对称Chi演算的各种互模拟关系,文中定义了异步非对称Chi演算的语法和操作语义,引入一组...
[期刊论文] 作者:董笑菊, 来源:高技术通讯 年份:2004
This paper carries out a systematic investigation into the bisimulation lattice of asymmetric chi calculus...
[期刊论文] 作者:YIN Chongyuan,LUO Guiming, 来源:清华大学学报(英文版) 年份:2004
The construction of B(u)chi automata from linear temporal logic is a significant step in model checking.This...
[期刊论文] 作者:温福雪, 王栋, 张兴文, 乔娜, 孙迎超, 张灏,, 来源:水处理技术 年份:2004
采用硫酸亚铁溶液浸渍经壳聚糖(CHI)修饰的多壁碳纳米管(MWNTs)制备Fe/CHI-MWNTs粉末,并与石墨粉、聚四氟乙烯以一定比例混合制成Fe/CHI-MWNTs修饰石墨电极,用作电Fenton体系...
[期刊论文] 作者:Ling Tang,Xiao Juan Wu,Bao Min, 来源:中国化学快报(英文版) 年份:2004
Two new acetylated kaempferol glycosides were isolated from the seeds of Camellia semiserrata Chi, their...
[期刊论文] 作者:徐锋,王启弘,朱剑虹,周良辅, 来源:中华实验外科杂志 年份:2004
目的 将高磷酰胆碱基团接枝的壳聚糖(PC-Chi)涂在微弹簧圈(MC)上,研究评价应用多孔复合膜微弹簧圈骨架系统(PC-Chi-MC)栓塞动脉瘤的治疗效果.方法 体外研究PC-Chi与人脐静脉...
[期刊论文] 作者:, 来源:当代体育 年份:2004
AND 1 的Tai Chi(太极)系列无可非议是它的王牌产品,自从猛龙队卡特穿起第一代太极篮球鞋开始,已极受喜爱街头篮球的年青人追捧,连姚明为NBA拍的推广广告,也以太极为主题。...
[期刊论文] 作者:徐山, 来源:桂林师范高等专科学校学报 年份:2004
考释了“屰、逆、Chi(斥)”等三字。“屰”字的甲骨文形体呈倒人状,其发生背景为人跌倒而头朝下或人从高处头朝下坠落。“逆”的甲骨文形体义为前面有人倒栽葱在地上,另一人则...
[会议论文] 作者:时昌桂, 来源:第五届国际双语学研讨会 年份:2004
因此,在这里就本人时姓的两种读法现象,略谈姓氏的文化内涵,弄清时姓起源乃至时(chi)姓得...
[期刊论文] 作者:Tzu-Fang Chen,, 来源:Journal of Thermal Science 年份:2004
Lagrangian flow field simulate very well the interface curve of the Yin-Yang balance inthe ancient Tai-Chi...
[期刊论文] 作者:YAN Cheng-yun,CHEN Da-wei,GU J, 来源:高等学校化学研究(英文版) 年份:2004
Oxymatrine (OM)/N-succinyl-chitosan ( Suc-Chi, with a degree of substitution being 0. 32 ) was synthesized...
[期刊论文] 作者:简桂良,卢美光,王志兴,贾士荣,邹亚飞,程红梅,孙文姬, 来源:农业生物技术学报 年份:2004
将几丁质酶(chitinase,Chi )基因导入国产抗虫棉GK19中,目前已选出既抗病又抗虫的棉花新株系[1],1999~2002年在北京对其抗枯萎病和黄萎病以及抗棉铃虫性进行了研究。1 材...
[期刊论文] 作者:鲍丹,杨绍全, 来源:电子学报 年份:2004
韦布尔和对数正态分布雷达杂波模型可描述海杂波的分布,但实现模型不同,且不能对杂波物理成因做出合理解释.这里提出一种非中心化chi平方伽玛分布模型,可精确地模拟海杂波,概...
[期刊论文] 作者:简桂良,卢美光,王志兴,贾士荣,邹亚飞,程红梅,孙文姬, 来源:农业生物技术学报 年份:2004
将几丁质酶(chitinase,Chi)基因导人国产抗虫棉GK19中,目前已选出既抗病又抗虫的棉花新株系,1999~2002年在北京对其抗枯萎病和黄萎病以及抗棉铃虫性进行了研究。...
[期刊论文] 作者:罗清胜, 来源:计算机与现代化 年份:2004
时序逻辑程序的形式化验证对提高程序的正确性具有重要意义.基于自动机的理论,用标签转移系统(S)表示程序的行为,用时序逻辑公式(F)描述程序的性质,构建相应的Büchi自动机,...
[期刊论文] 作者:王曦,徐中伟, 来源:电子学报 年份:2004
基于自动机理论模型检测的一个关键算法是判断有穷状态系统是否满足属性的判空检测.对标准Büchi自动机作判空检测,容易引起状态爆炸.本文以TGBA为研究对象,提出基于启发式SC...
[期刊论文] 作者:王睿哲,施强慧,张子凡,钟华建,王云浩,沈晓龙,曹鹏,陈华江,徐辰,袁文, 来源:广州医科大学学报 年份:2004
目的:初步探究炎症相关分泌蛋白CHI3L1在椎间盘退变(IDD)中的作用及机制.方法:通过收集腰椎间盘突出症患者手术中的椎间盘样本作为退变组,同时收集腰椎外伤患者手术中的椎间...
[期刊论文] 作者:程廷才, 夏庆友, 刘春, 赵萍, 查幸福, 徐汉福, 向仲, 来源:遗传学报 年份:2004
通过对家蚕(Bombyx mori)大规模EST的分析,发现家蚕的chi、gluE和fruA基因分别与微生物的相应基因存在高度的氨基酸序列同源性,且进化关系很近,但与线虫(Caenomabditis elega...
[期刊论文] 作者:魏巍,贺淹才,方柏山, 来源:生物信息学 年份:2004
利用生物信息学的方法,分析天蓝色链霉菌Streptomyces coelicolor中几丁质酶C(Chi C)的一些基本性质,并针对链霉菌属菌种的几个几丁质酶基因做了进化树,进而验证了天蓝色链霉...
相关搜索: