搜索筛选:
搜索耗时1.0769秒,为你在为你在102,285,761篇论文里面共找到 16 篇相符的论文内容
类      型:
[期刊论文] 作者:常建生, 来源:试题与研究:教学论坛 年份:2011
历史活动课教学作为学科活动课,是以促进学生发展为目标,以教学实践为切入点,充分引导学生积极主动学习、主动探究、主动实践,从而使学生产生学习历史的兴趣和热情,并在活动中不断......
[期刊论文] 作者:常建生,, 来源:试题与研究:新课程论坛 年份:2011
启发式教学的原则是各种教学方法的灵魂,应渗透在教学活动的各个方面,并贯彻教学活动的始终。教师在典型示范与一般要求相结合、讲授与引导相结合、肯定与补充相结合的原则指导......
[学位论文] 作者:常建生, 来源:北京工业大学 年份:2011
随着可信计算领域的不断发展,可信软件的研究已经逐渐成为当前的研究热点。如何构造可信软件问题,已经成为当前软件技术所面临的一个挑战,该领域的相关研究具有重要的理论意...
[期刊论文] 作者:冯平,常建生, 来源:内蒙古财会 年份:2003
自治区人民政府决定,从2003年4月1日起,取消全区的粮食定购任务,全面放开粮食市场、粮食收购和粮食价格,取消粮食运输凭证制度,允许多种经济成分的市场主体直接到农村随...
[期刊论文] 作者:冯平,常建生, 来源:内蒙古财会 年份:2003
为了更好地推动我区粮食补贴方式改革,前段时间,自治区财政厅组织相关盟市的同志对安徽省滁州市天长、来安两市(县),就其粮食补贴方式改革情况进行了学习考察。现将安徽...
[期刊论文] 作者:余峰,常建生, 来源:内蒙古财会 年份:1991
目前,我国的财政支出是按其用途分类的,为了便于分析研究,本文将财政支出各类分别归于经济建设支出类和消费性支出类,以说明1980年—1989年我区十年财政支出运行格局的变化,并从中......
[期刊论文] 作者:沈昌炜,常建生, 来源:内蒙古财会 年份:1997
企业破产是国有企业深化改革.优化资本结构的重头戏和新探索.1996年自治区呼包二市被列为这方面试点,揭开了自治区国有企业破产改革的序幕。至年底共破产终结29户企业,涉及安置职......
[会议论文] 作者:王丹;常建生;赵晶;, 来源:2010年第四届中国可信计算与信息安全学术会议 年份:2010
针对组件系统的可信验证问题,提出了一种基于B抽象机精化机制的组件间连接的形式化验证方法.以基于组件的实时响应系统——锅炉控制系统为实例进行了分析,设计了该系统的组件...
[期刊论文] 作者:常建生,王丹,赵文兵, 来源:计算机工程 年份:2012
为解决软件实体间的预期协作路径获取问题,提出一种软件实体中预期协作路径的获取方法。结合UML与Pi演算理论,在对软件实体行为分析的基础上,对实体行为进行Pi演算语义抽取,...
[期刊论文] 作者:林树发,常建生,白云鹤, 来源:内蒙古财会 年份:1998
蓝蓝的天上白云飘,白云的下面马儿在跑,牛羊在跑,我们的车儿也在跑。春光明媚的四月中旬,我们杂志社采访组来到了“天似苍穹、笼盖四野”,美丽富饶、广袤无垠的锡林郭勒大草原。......
[期刊论文] 作者:王丹,常建生,赵文兵, 来源:计算机科学与探索 年份:2012
为验证基于构件的软件系统中构件间交互的可信性,将统一建模语言(unified modeling language,UML)与Pi演算理论相结合,提出了一个软件构件间交互的可信性验证模型。在构件行为...
[会议论文] 作者:常建生,王丹,赵文兵, 来源:2010年全国软件与应用学术会议(NASAC2010) 年份:2010
为验证基于构件的软件系统中构件间交互的可信性,将UML与Pi演算理论相结合,提出了一个软件构件间交互的可信性验证模型.在构件行为分析的基础上,利用抽取规则抽取Pi演算语义,以形式化的方式描述构件的行为.进一步利用Pi演算的操作语义推演构件间的实际交互行为.......
[期刊论文] 作者:陈建林,任国保,常建生, 来源:煤矿安全 年份:2003
文章通过对比其它类型跑车防护装置的优缺点来简述新型倾斜井巷先导式跑车防护装置的原理及应用优势....
[会议论文] 作者:刘全书,周浩然,周祥,常建生, 来源:中国粮油学会储藏专业分会成立20周年学术交流会 年份:2005
机械通风就是利用通风机产生的压力,将外界空气有组织在送入粮堆,实现外界空气与粮粒间的交换,从而改变粮堆内气体介质的条件,调整粮堆温、湿度、达到安全储存的条件.机械通...
[会议论文] 作者:刘全书,刘福保,周祥,常建生, 来源:中南地区第二届粮油仓储学术交流会暨储粮新技术研讨会 年份:2005
通过对压一机二风道的地上笼管网,增设钻孔的PVC管网避免了通风死角并减小了空气途径比,合理掌握机械通风时机,逐步有效降低了小麦水分,确保了入库小麦水分达到安全储藏标准....
[期刊论文] 作者:张向明,向忠祥,王贵槐,常建生, 来源:海洋工程 年份:1998
由于柔性尾鳍推进装置的水动力计算在理论和实际上涉及到许多复杂的问题,本文对装置的实验模型作了理论上的抽象和简化,并依据试验图谱,运用机翼理论和襟翼舵原理,建立了该装置的......
相关搜索: