排序方式: 共有67条查询结果,搜索用时 109 毫秒
1.
生态环境总体布局中农村生态环境建设是重中之重,发展生态农业、建设美丽农村、促进农民增产增收的前提是提高农民生态意识。但是,我国农民自身生态意识目前较为薄弱,生态行为不积极,农村生态教育的资源不足并缺乏有效的教育平台,这直接限制了教育的质量和效果。利用文献研究的方法,在学习和研究学术界已有研究成果和资料的基础上对提高农民生态意识的方法和对策进行了研究。认为在路径选择上,要不断完善农民生态意识教育平台,在改善农民生态意识中发挥教育的重要作用,发动农民自身积极投入到生态文明建设之中。积极推进农村生态保护立法执法工作开展,进一步推进农村生态文明建设。 相似文献
2.
3.
4.
多媒体课件辅助教学作为一种新型的教学手段,能激发学生的学习兴趣,优化课堂结构,提高学习质量,而且有助于学生创造性思维的培养。在数学教学中合理地运用现代多媒体的演示进行辅助教学,就能起到事半功倍的效果,更好地优化数学课堂教学。 相似文献
6.
7.
8.
提出了使用布尔可满足性来验证数字电路的等价性验证方法.这一验证方法把每个电路抽象成一个有限状态机,为两个待验证的电路构造积机,把等价性验证问题转换成了积机的断言问题.改进了Tseitin变换方法,用于把电路约束问题变换成合取范式公式.用先进的布尔可满足性求解器zChaff判定积机所生成的布尔公式的可满足性.事例电路验证说明了该方法的有效性. 相似文献
9.
提出了基于布尔可满足性(Boolean Satisfiability,SAT)的逻辑电路等价性验证方法。这一验证方法把每个电路抽象成一个有穷自动机(FSM),为两个待验证的电路构造积机,把等价性验证问题转换成了积机的断言判定问题。改进了Tseitin变换方法,并将其用于把电路约束问题变换成(Conjunctive Normal Form,CNF)公式。之后则用先进的CNF SAT求解器zChaff判定积机所生成的布尔公式的可满足性。事例电路验证说明了该方法的有效性。 相似文献
10.
刘歆 《自动化技术与应用》2021,40(9):99-103
针对遥感影像中存在着等级错乱的纹理特征,在实际识别中易出现识别精度过低的问题,因此研究出一种基于遥感影像的土地资源利用区划自动识别技术.通过计算机对获取的遥感图像进行分割并模拟遥感小班界线勾绘,提取土地资源的纹理特征,确定土地资源区域,利用多光谱影像中的纹理特征模拟区划中长分辨率的全色影像,构建识别方程,完成对自动识别技术的研究.实验识别区域转化为遥感图像后,采用相同参数的传统计算机自动识别技术与设计的自动识别技术实验结果表明:设计的自动识别技术的识别率在95%以上,精度数值最大. 相似文献