咨询与建议

限定检索结果

文献类型

  • 58 篇 期刊文献
  • 7 篇 专利
  • 4 篇 学位论文

馆藏范围

  • 69 篇 电子文献
  • 0 种 纸本馆藏

日期分布

学科分类号

  • 44 篇 工学
    • 34 篇 计算机科学与技术...
    • 27 篇 软件工程
    • 4 篇 建筑学
    • 3 篇 机械工程
    • 2 篇 材料科学与工程(可...
    • 2 篇 土木工程
    • 2 篇 水利工程
    • 1 篇 电气工程
    • 1 篇 控制科学与工程
    • 1 篇 测绘科学与技术
    • 1 篇 轻工技术与工程
  • 8 篇 教育学
    • 8 篇 教育学
  • 5 篇 理学
    • 2 篇 数学
    • 1 篇 物理学
    • 1 篇 地球物理学
    • 1 篇 系统科学
  • 3 篇 管理学
    • 2 篇 工商管理
    • 1 篇 管理科学与工程(可...
  • 1 篇 法学
    • 1 篇 社会学
  • 1 篇 农学
    • 1 篇 畜牧学
  • 1 篇 艺术学
    • 1 篇 设计学(可授艺术学...

主题

  • 62 篇 结构化程序
  • 9 篇 程序设计
  • 4 篇 单片机
  • 3 篇 软件
  • 3 篇 结构程序设计
  • 3 篇 非结构化程序
  • 2 篇 技术开发
  • 2 篇 语法
  • 2 篇 语句
  • 2 篇 goto语句
  • 2 篇 遗传算法
  • 2 篇 pad图
  • 2 篇 计算机
  • 2 篇 教学方法
  • 2 篇
  • 2 篇 basic语言
  • 2 篇 高级语言
  • 2 篇 程序设计语言
  • 2 篇 汇编语言
  • 2 篇 设计

机构

  • 3 篇 河南大学
  • 2 篇 大亚湾核电运营管...
  • 2 篇 中国广核电力股份...
  • 2 篇 南京大学
  • 2 篇 西北工业大学
  • 2 篇 山东大学
  • 2 篇 厦门大学
  • 2 篇 中国广核集团有限...
  • 2 篇 西安建筑科技大学
  • 2 篇 苏州热工研究院有...
  • 1 篇 山东工业大学
  • 1 篇 西安航空技术高等...
  • 1 篇 石家庄电视台
  • 1 篇 兰州商学院
  • 1 篇 北京科技大学
  • 1 篇 长沙交通学院
  • 1 篇 河北省交通厅项目...
  • 1 篇 河南财经学院
  • 1 篇 华中理工大学
  • 1 篇 黄河水利职业技术...

作者

  • 2 篇 王威
  • 2 篇 蔡浪飞
  • 2 篇 叶超林
  • 2 篇 叶国华
  • 2 篇 圣国龙
  • 2 篇 杨自军
  • 2 篇 张小千
  • 2 篇 林英
  • 2 篇 李汉波
  • 2 篇 胡正国
  • 2 篇 戴勇
  • 2 篇 彭修广
  • 2 篇 黄联芬
  • 2 篇 刘战强
  • 2 篇 冯超
  • 2 篇 吴卫东
  • 1 篇 peng xiuguang
  • 1 篇 相克俊
  • 1 篇 王先宏
  • 1 篇 徐光勇

语言

  • 69 篇 中文
检索条件"主题词=结构化程序"
69 条 记 录,以下是1-10 订阅
排序:
结构化程序的正确性证明
收藏 引用
西北工业大学学报 1986年 第1期4卷 69-76页
作者: 胡正国 西北工业大学 讲师
本文提出了结构化程序的一种算子表示法,并在它的基础上提出了证明结构化程序部分正确性的算法,这一算法对构造机械验证系统是有一定启发的。
来源: 评论
逆向工程在认证结构化程序中的应用
收藏 引用
计算机工程与应用 2001年 第17期37卷 17-18页
作者: 生滨 杨孝宗 哈尔滨工业大学计算机科学与工程系 哈尔滨150001
文章首先介绍了结构化程序的特点,以及结构化程序与PAD图之间的关系,然后定义了存储PAD图的二叉树结构,最后给出了从结构化程序推导出该二叉树的逆向生成算法,并对下一步工作做了展望。
来源: 评论
MCS-51系列单片机结构化程序设计探讨
收藏 引用
电子技术应用 2007年 第7期33卷 24-26页
作者: 杨勇 王为民 西安航空技术高等专科学校 陕西西安710077 西安创新科技培训学校 陕西西安710077
探讨了MCS-51系列单片机结构化程序设计相关问题,研究了MCS-51系列单片机结构化程序的三种基本结构,并给出了程序实现方法范例,介绍了MCS-51系列单片机结构化程序设计步骤及各部分具体设计要求。
来源: 评论
结构化程序设计浅说
收藏 引用
软件开发与应用 1989年 第2期 17-19,24页
作者: 蔡敏
来源: 评论
结构化程序设计在设备管理方面的应用
收藏 引用
湖南电力 1996年 第2期16卷 34-36页
作者: 刘中建 湖南省变电修试安装公司
1 前言要搞好输变电设施管理工作,保证设备技术参数的准确性、统计数据的可靠性,是一项繁琐和细致的工作,其工作量大、涉及面广。采用以往的统计方法,费时、费力,且很难适用目前日新月异的变,因此必须有一个强有力的管理体系,才能使... 详细信息
来源: 评论
结构化程序设计的一个良好工具和环境
收藏 引用
微电子学与计算机 1987年 第10期 29-31页
作者: 刘家佺 西安冶金建筑学院自控系
结合改进了的T-BASIC系统,本文首先总结了各种结构化子块的文法形式,以此就可构成完全不含GOTO 语句的程序;然后提出了静态链接程序的方法:最后提出用动态链接技术构成文件一级层次模块系统的方法.
来源: 评论
结构化程序的设计方法
收藏 引用
核工业自动 1993年 第4期 26-28,25页
作者: 何平
来源: 评论
结构化程序程序结构化
收藏 引用
茂名学院学报 2008年 第1期18卷 41-44页
作者: 陈一明 广东茂名学院理学院 广东茂名525000
程序设计已从依赖于程序设计者个人的活动变成为一门科学。从科学与发展的角度分析了程序设计风格与观念的转变、结构化程序概念及其在程序设计领域的重要性,阐述了程序结构化的思想,并就该思想在应用系统的开发实践进行了探讨。
来源: 评论
一位微处理器的结构化程序设计方法
收藏 引用
电气应用 1986年 第5期 33-41页
作者: 张效陶 中国矿冶学院
在工业控制中,存在着大量的以逻辑判断为主的监控系统。DJS-010一位微处理器(MC14500B)实质上是具有按位寻址进行逻辑运算的布尔处理器,对于监控这些系统,具有抗干扰能力强、功耗小、硬件和软件处理都比较方便等优点。因此,设计部门已... 详细信息
来源: 评论
应用结构化程序设计的方法开发工程计算程序的过程
收藏 引用
北京计算机 1989年 第1期 17-21,34页
作者: 桂业冲
来源: 评论