程序逻辑相关论文
目前,Google等综合型搜索引擎系统已经取得了极大的成功,但是,当使用综合型搜索引擎来检索专业内容时,往往找不到专家们需要的内容......
数据备份系统是互联网服务的基本组成单元之一,是提供高可用服务的重要保障。随着服务规模的不断扩大,为了能够快速响应不同地区用......
论述了研制半主动雷达寻的空空导弹训练弹的必要性，提出了训练弹设计方案的基本要求及关键所在，在分析导弹工作过程的基础上，指出必须......
为了克服传统硬件PLC的缺陷,满足当前用户对PLC成本低、兼容性强和高开放性的迫切要求,本文研究并开发了符合IEC61131-3标准的软件......
一个数据库系统的生命周期可以分成设计、开发和成品三个阶段.在设计阶段进行数据库性能优化的成本最低,收益最大.数据库的优化通......
软件越来越复杂,软件人员之间的协作也更加紧密.因此,程序设计的规范性变得日益重要.本文从培养合格程序员的角度,指出程序设计规......
随着银行业务规模和产品种类的不断扩大，银行信息系统也越来越复杂。面对海量的版本程序实体，黑盒测试的复杂度也随之越来高。然而，在......
通过PlayKit套件和Proteus软件的结合来开展单片机课程设计,极大的提高了学生的编程兴趣,锻炼了动手能力,套件丰富的扩展功能,可以......
《程序逻辑技术与应用》是软件技术专业的入门课程，在这门课程中，主要是通过四个学习情境来讲解Java中的逻辑结构与面向对象的思想，在......
嵌入式软件开发是嵌入式系统应用的关键所在,已成为国内外的一大研究热点.通过分析Windows CE的特性,并比较Windows CE与Windows的......
针对数据结构的性质,特别是链式数据结构,提出一种自动测试中的状态生成算法。结合传统的模型检测思想从自动测试生成的角度对程序......
许多程序验证问题都可以被归结为精化验证,即证明一个较具体的程序不会比一个较抽象的程序产生更多的行为。本文发掘了在并发环境......
程序语言的内存模型规定了在程序执行的过程中内存访问是如何发生的。它作为桥梁将为程序员和语言实现连接起来,帮助程序员写出正......
《道路交通安全法》基于道路交通管理因素,授权公安交管部门采取临时性限行措施,环保因素超越了法律授权。实践中,临时限行措施的......
网络舆情分析与监控是有效掌控网络、促进社会主义和谐社会建设的重要手段。互联网已成为当前涉警舆情监控的重点，如何获取更多更准......
<正>笔者阅读了《中国社会工作》刊登的《末期评估中怎样多维度展示项目成效》之后很有感触。文中提到项目成效的评估准备可以站在......
主要针对单片机的三相电源的设计,分析整体方案的设计思路,给出系统框架,并对关键模块进行介绍,最后对主体程序和波形数据发送程序......
期刊
在分离逻辑和C语言规范的基础上,设计一个C语言子集C3(C Code Certified)上的程序逻辑,其由操作语义、推导规则和可靠性证明组成.......
本刊2011年第9期实务版刊发了"社会服务评估步步学"系列之一,着重介绍项目评估的概念、项目评估意义,并简述了五种类型的评估工具......
本文通过具体实例介绍MCS—51系列单片机的布尔处理器在逻辑电路分析与设计中的应用,并与通用微处理器及MCS—48单片机的同一功能......
在经济犯罪的社会治理过程中,需要法际关系的研究,更需要程序逻辑的规制、价值和意义。这体现为经济犯罪法际关系的程序意义。它遵......
介绍杜比环绕、杜比程序逻辑的文章已经相当多了,事实上全球讨论环绕声的文章,没有不涉及杜比的。但我们有理由相信,由杜比实验室......
现场运行中，备用电源自动投入（备自投）装置往往没有发挥应有的作用。分析了备自投装置自投方式、逻辑设计、动作条件与原则、闭锁条件......
期刊
