搜索筛选:
搜索耗时0.5952秒,为你在为你在102,285,761篇论文里面共找到 444 篇相符的论文内容
发布年度:
[期刊论文] 作者：王彩芬,,
来源：商丘师范学院学报 年份：2007
杰克逊.波洛克是20世纪美国抽象表现主义"行动绘画"的代表。他运用极具野性的创作热情和反传统的绘画方式创作出大量惊世骇俗的作品,不仅开拓了"行动绘画"的先河,而且一度推...
[学位论文] 作者：王彩芬,,
来源： 年份：2013
《群仙祝寿图》是任伯年早期的一幅工笔人物重彩画。此图以其通景巨屏的规模、雅俗共赏的艺术风格在清末工笔画坛上独树一帜,在艺术史上具有较高的地位。本文试从《群仙祝寿...
[学位论文] 作者：王彩芬,,
来源：内蒙古大学 年份：2018
近年来,中国电影逐渐受世界瞩目,这有利于促进中外文化传播。因此,字幕翻译现在变得尤为重要,它不但影响观众对电影的观赏,甚至可能会改变观众对中国电影业或中国文化的态度...
[期刊论文] 作者：王彩芬,,
来源：现代焊接 年份：2011
本文主要阐述矿车轮磨损后无法投入使用,通过实施手工电弧焊进行焊接修复,恢复矿车轮的使用功能。此方法适用于井下各型号的矿车轮的修复,可以延长矿车轮的使用寿命,提高设备...
[期刊论文] 作者：王彩芬,,
来源：时代金融 年份：2004
ue＊M＃’＃dkB4＃＃8＃”专利申请号:00109“7公开号:1278062申请日:00.06.23公开日:00.12.27申请人地址:（100084川C京市海淀区清华园申请人:清华大学发明人:隋森芳文摘:本发明属于生物技...
[期刊论文] 作者：王彩芬,
来源：西北师范大学学报：自然科学版 年份：1993
对确定性do循环,利用其WP求出循环不变式.给出了for循环的话义定义....
[期刊论文] 作者：王彩芬,
来源：西北师范大学学报：自然科学版 年份：1996
讨论了循环界函数在程序正确性证明和程序推导技术中的应用问题，提出了求取几类已知循环程序的界函数和面向目标的程序推导中循环界函数的方法。...
[期刊论文] 作者：王彩芬,
来源：西北师范大学学报：自然科学版 年份：2001
采用Herbrand定理及归结原理证明在程序证明中遇到的逻辑公式是可满足的。并给出了相应的算法；同时讨论了已知循环程序中循环不变式的求解方法。...
[学位论文] 作者：王彩芬,,
来源：西北农林科技大学 年份：2016
苹果是陕西省黄陵县主要经济作物,但每年由于施肥不当,其产量和品质受到一定程度的影响,造成资源的大量浪费。运用现代信息化技术改进当前的工作方法,对苹果树进行科学管理,...
[期刊论文] 作者：王彩芬,
来源：兰州大学学报：自然科学版 年份：2000
讨论了将HOARE逻辑应用于面向对象的程序设计语言C++程序的正确性证明的相关问题.如类的正确性以及软件系统的正确性...
[期刊论文] 作者：王彩芬,
来源：甘肃科学学报 年份：1998
从封装、继承及多态性三个方面对Ｃ＾＋＋与Ｓｍａｌｌｔａｌｋ之间的差异进行了比较研究。...
[期刊论文] 作者：王彩芬,
来源：甘肃科学学报 年份：2000
重点讨论了与程序验证相关的问题，并结合已有的求取循环不变式的方法给出了求已知循环程序的循环不变式的原则。...
[学位论文] 作者：王彩芬,,
来源：浙江大学 年份：2015
目的：应用剪切波弹性成像(SWE)技术,定量测定甲状腺结节的Emax值、结节与周边正常腺体Eratio值,绘制ROC曲线,得出Emax值、Eratio值在甲状腺良恶性结节诊断方面的应用价值。资...
[期刊论文] 作者：王彩芬,,
来源：江西测绘 年份：2014
作者针对目前龙岩房产测绘质量管理存在的问题进行分析,从加强房产测绘质量技术管理、完善测绘成果公示制度和完善房产测绘成果鉴定制度等三个方面提出应对措施,对房产测绘行...
[期刊论文] 作者：王彩芬,,
来源：艺术教育 年份：2011
中国画的现代进程在很大意义上是学习西方绘画的一个过程。现代中国画构图将西方绘画中常见的满构图、方构图及平面构成的要素吸收到其中,呈现出不同于传统中国画的面貌。而...
[期刊论文] 作者：王彩芬,,
来源：教学月刊小学版(综合) 年份：2014
阅读是学生接触外语信息的重要途径。通过阅读,可以丰富语言、拓展知识。小学阶段,从五年级的read and write到六年级的let’s read,教材的编排也无不体现阅读教学在小学...
[期刊论文] 作者：王彩芬,,
来源：中国稻米 年份：2007
植物铁蛋白是一种铁储藏结合蛋白，在植物体内起储存铁原子和作为胁迫反应蛋白的作用。利用转基因技术将外源铁结合蛋白基因转入水稻，提高稻米的铁含量，对满足人体对铁的需求和预......
[期刊论文] 作者：王彩芬,
来源：江西金融职工大学学报 年份：2005
亚洲债券基金二期(ABF2)即将启动,在与ABF1相比较的基础上,对这一最新发展作了简要的阐述。进而综合分析了中国当前的金融背景,以及亚洲债券基金对中国金融多方面的影响,提出...
[期刊论文] 作者：王彩芬,
来源：生物技术通报 年份：2009
标记基因在为植物遗传转化提供方便的同时也存在一些问题，综述了植物遗传转化中常用的选择标记基因、标记基因存在的问题以及解决选择标记基因安全性的策略。...
[期刊论文] 作者：王彩芬,
来源：西北师范大学学报：自然科学版 年份：1998
讨论了Ｐｏｗｅｒ Ｂｕｉｌｄｅｒ中的数据窗口在编程中的作用，详细讨论了数据窗口的各种操作及利用ＳＱＬ实现数据的操作。...
相关搜索：
