[!--title--]

来源 :环球慈善 | 被引量 : [!--cite_num--]次 | 上传用户:[!--user--]
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
[!--newstext--]
其他文献
肉食品生产及其质量保证体系是一个科学的系统工程。肉食品生产从原料基地、采购、运输,到各个生产环节,再进入市场,便形成了一个联系紧密,环环相扣的系统工程。因此,肉食品生产企
在教育制度、教育思想日益丰富的今天,社会对于综合全面性人才的需求越来越大,因此,必须要做好小学生的德育教育工作。本文分析了小学德育生活化教学的现状,并提出了几点有效
<正> DIES系统是一建造基于知识的自动问题求解器的领域独立专家系统.在该系统中其描述性知识和规范知识(规则)均为知识库中的标准类型项.DIES系统具有双重结构,即认知系统和
以教学《咏雪》为例,研讨语文核心素养中的语言建构与运用和思维发展与提升之间的关系,指出语文课堂教学应通过优化语言实践活动,发展学生的形象思维能力、逻辑思维能力、创
<正>1.引论 近三十年来,计算机学者对模拟自然过程,特别是生物进化过程的算法产生了日浓厚的研究兴趣。研究分析表明,软件技术同生物技术有很大相似
<正>一、引言 自从1967年Floyd发表其论文“给程序赋予意义以来,程序自动验证工具的研究持续了数十年。Floyd在文[4]中提出了用“断言式方法”证明程序的正确性。其具体作
<正>PVM(Parallel Virtual Machine)是一种基于现成局域网(典型的是Ethernet)的异构并行计算环境,一个纯软件系统,由美国Oak Ridge国家验室、田纳西大学等联合开发而成,异构
这篇文章分析了基于模型(转换系统)的规格说明方法的特点,给出了形式方法和严格定义,并且通过实例,探讨了基于模型的规格说明方法在公平条件下约束下,描述系统安全和活动性质的能力
<正> 六十年代初期,计算机技术开始应用于教学领域,这时的计算机辅助教学(CAI)系统只能于简单的课程安排和进阶测验。七十年代,随着人工智能(AI)的不断发展和成熟,人们开始考
<正> 四、XDUCS Windows的实现 XDUCS Windows主要由输入模块、输出模块、代码转换模块和其它辅助模块组成。 1.输入的实现 UCS字符的输入是利用MS-Windows提供的系统钩子(Ho