期刊文献+
共找到168篇文章
< 1 2 9 >
每页显示 20 50 100
结构程序系统及其复杂程度的描述
1
作者 刘灿齐 《计算机学报》 EI CSCD 北大核心 1992年第4期286-294,共9页
本文提出了结构程序和结构程序系统的严格定义.系统地论述了它们的层次结构.并在此基础上研究了它们的复杂程度的数学描述问题,给出了一些对软件设计具有指导意义的公式.
关键词 结构程序 结构程序系统 软件
在线阅读 下载PDF
跟踪调试与结构程序设计
2
作者 陈传绂 《河北科技大学学报》 CAS 1994年第4期55-59,共5页
介绍如何把程序跟踪调试工具作为结构程序设计的学习研究工具,给出了应用范例。还提出了True、BASIC扩展跟踪调试应用范围及提高跟踪执行速度的方法。
关键词 跟踪调试 结构程序设计 下标变量跟踪
在线阅读 下载PDF
程序的结构变换与结构优化
3
作者 李莲治 王世著 郭福顺 《小型微型计算机系统》 CSCD 北大核心 1989年第9期7-14,共8页
本文是“程序流程图的自动生成”一文的续篇;是在高级语言源程序已变换成流程图的前提下,讨论对框图进行结构优化并将优化过的框图变换成源程序的过程。
关键词 结构程序设计 结构变换 结构优化
在线阅读 下载PDF
汇编级代码程序结构分析算法研究 被引量:3
4
作者 蒋烈辉 韩小琨 +2 位作者 费勤福 周博 张有为 《计算机工程》 CAS CSCD 北大核心 2007年第7期68-69,72,共3页
由于嵌入式系统可执行目标代码的多样性与灵活性,对其反汇编后,结果程序的结构化程度以及易读程度均不理想。为了更好地分析反汇编结果程序,该文提出了一种对反汇编结果程序进行子程序划分的算法,对算法设计所依赖的数据结构以及算法实... 由于嵌入式系统可执行目标代码的多样性与灵活性,对其反汇编后,结果程序的结构化程度以及易读程度均不理想。为了更好地分析反汇编结果程序,该文提出了一种对反汇编结果程序进行子程序划分的算法,对算法设计所依赖的数据结构以及算法实现过程进行了描述和分析,给出了反汇编结果程序结构分析算法的性能测试分析结果。 展开更多
关键词 反汇编结果程序结构 程序划分 算法 结点
在线阅读 下载PDF
嵌入式单片机应用系统程序结构 被引量:6
5
作者 孙力 鲍健 《量子电子学报》 CAS CSCD 2000年第3期279-281,共3页
根据嵌入式单片机应用系统的特点,提出了新的程序结构的设计方法.
关键词 单片机 应用系统 程序结构 程序设计
在线阅读 下载PDF
学习即活动:论信息技术教材程序结构的活动建构 被引量:5
6
作者 于颖 于兴华 刘成新 《电化教育研究》 CSSCI 北大核心 2012年第1期68-74,共7页
教材程序结构作为教材结构的重要组成部分,直接影响着学与教活动的进程,影响学生对课程理念的理解与把握。信息技术教材程序结构的既有研究相对较少,教材表现也相对单一,而课程目标要求我们关注学生作为人的信息素养的培养。这就意味着... 教材程序结构作为教材结构的重要组成部分,直接影响着学与教活动的进程,影响学生对课程理念的理解与把握。信息技术教材程序结构的既有研究相对较少,教材表现也相对单一,而课程目标要求我们关注学生作为人的信息素养的培养。这就意味着教材要聚焦于学生之为人之发展。活动学习观将活动定位为人的存在和发展的基本方式,并且强调学习与活动的同一。因而,引入活动是课程与教材发展的必然需要。活动学习视野下的信息技术课程活动呈现出多种具体表现形态,同时信息技术的课程性质和发展历程使得信息技术课程活动还表现出其特有的"信息活动"与"技术应用"二元活动形态。本文基于活动的视角从宏观、中观、微观三个层面建构了信息技术教材的程序结构。 展开更多
关键词 活动 信息技术 教材程序结构 二元
在线阅读 下载PDF
针对子程序结构的线程级推测并行性分析 被引量:6
7
作者 梁博 安虹 +1 位作者 王莉 王耀彬 《小型微型计算机系统》 CSCD 北大核心 2009年第2期230-235,共6页
线程级推测技术为开发更多的线程级并行性,充分利用多核加速传统上难以手工或自动并行化的串行程序提供可行的技术途径.然而,这种技术的性能严重地依赖于线程划分方案.有研究表明,仅推测执行循环所产生的并行性是不够的,但推测执行子程... 线程级推测技术为开发更多的线程级并行性,充分利用多核加速传统上难以手工或自动并行化的串行程序提供可行的技术途径.然而,这种技术的性能严重地依赖于线程划分方案.有研究表明,仅推测执行循环所产生的并行性是不够的,但推测执行子程序结构比循环结构要难.本文提出寻找适于推测并行执行的子程序结构的基本判定依据;通过运行由Simplescalar工具集改造得到的动态剖析工具ProRV、ProFun和SPEC CPU2000基准测试程序,我们对子程序结构线程化推测执行的适合性进行详细分析,给出具有指导意义的实验分析方法和实验数据.我们发现:1无返回值的子程序结构占据程序整体执行时间的大约40%;返回稀疏整型的子程序结构占据了程序整体执行时间的大约10%,对其返回值的预测成功率在70%左右.对于其他返回值类型的子程序结构,由于对其返回值的预测成功率过低,我们认为不适合作为线程划分的对象.2简单的last-value的值预测方案对于返回值的预测是简单而且足够有效的.3访存数据依赖普遍存在于子程序与其后继代码之间,显式同步机制对于针对子程序结构的线程级推测是必要的. 展开更多
关键词 线程级推测 串行程序自动并行化 程序结构 动态剖析 数据依赖分析
在线阅读 下载PDF
以问题结构为基础的递归程序设计 被引量:6
8
作者 陈玉坤 计元 《小型微型计算机系统》 CSCD 北大核心 2001年第8期989-991,共3页
对递归程序的结构进行了较为深入的研究 ,提出了递归程序的更一般结构 ,根据此结构 ,给出了复杂的递归问题的程序设计方法 ,根据此方法 ,可方便地写出较为复杂的递归问题的递归程序 。
关键词 问题结构 程序结构 递归程序设计 数据结构
在线阅读 下载PDF
用结构分析程序计算温度场问题 被引量:4
9
作者 曲圣年 叶以同 焦柯 《计算结构力学及其应用》 CSCD 1992年第3期239-243,共5页
本文采用比拟方法,用结构分析程序直接计算给定边条件的结构温度场,然后利用算出来的节点温度采用同一网格计算热应力,这佯就扩大了结构分析程序的使用功能。
关键词 模拟 温度场 结构分析程序
在线阅读 下载PDF
程序结构分析器生成系统的设计与实现 被引量:2
10
作者 旷海蓉 尤晋元 《上海交通大学学报》 EI CAS CSCD 北大核心 1997年第8期62-65,共4页
介绍了一个程序结构分析器生成系统的设计与实现.描述了系统设计的主要思想,探讨分析器的统一输入、输出、语法分析界面和标志符作用域机制的设计。
关键词 程序结构分析器 静态分析 软件复用 软件工程
在线阅读 下载PDF
现代民事诉讼程序结构的类型化 被引量:10
11
作者 张艳丽 《政法论丛》 CSSCI 北大核心 2015年第3期129-137,共9页
现代民事纠纷的多样性和复杂性推动了我国民事诉讼程序结构类型化的发展。民事诉讼程序类型化是回应型司法、程序相称原理、当事人程序选择权、司法职权优化配置、审判职业化和专业化等现代司法理念的体现。借鉴域外民事诉讼程序类型化... 现代民事纠纷的多样性和复杂性推动了我国民事诉讼程序结构类型化的发展。民事诉讼程序类型化是回应型司法、程序相称原理、当事人程序选择权、司法职权优化配置、审判职业化和专业化等现代司法理念的体现。借鉴域外民事诉讼程序类型化的立法经验,结合我国民事司法改革的深入实践,民事诉讼程序结构的类型化应从审判与执行的分离、诉讼与非讼的分离、财产诉讼与人事诉讼的分离、法院审判与调解的分离、通常诉讼程序与专门诉讼程序的设置等方面进行。 展开更多
关键词 民事诉讼 程序结构 程序分类 程序类型化 程序分离
在线阅读 下载PDF
基于拉力算法的面向对象程序结构可视化研究 被引量:1
12
作者 李宁 刘超 原子 《计算机工程与应用》 CSCD 2013年第6期80-85,113,共7页
面向对象程序整体结构及其特性的逆向分析和可视化在软件维护、软件重用等过程中起着重要作用。现有的逆向工程工具尽管可以通过对程序代码的静态分析自动获取类模型,但是在自动布图方面仍存在一些明显的问题,特别是难以直观展现类之间... 面向对象程序整体结构及其特性的逆向分析和可视化在软件维护、软件重用等过程中起着重要作用。现有的逆向工程工具尽管可以通过对程序代码的静态分析自动获取类模型,但是在自动布图方面仍存在一些明显的问题,特别是难以直观展现类之间的耦合性、聚集效应等程序整体结构的重要特性,从而影响其实际应用。Force-Directed Layout算法能够自然展现复杂结构的耦合关系和聚集现象,因此,将其应用于类图的逆向生成,使其在充分展示程序整体结构的同时,清晰展现类之间的耦合性和聚集效应等结构特征,为软件结构演化分析、缺陷分布分析等提供辅助支持。据此,开发了软件分析与测试工具系列QESat的子工具——基于拉力算法的类图可视化工具QESat/FCD(Quality Easy-Software Analysis and Testing Tools:Force-Directed Class Diagram),通过实例展示了其在大型类图结构特性方面的展现效果。 展开更多
关键词 面向对象程序 程序结构 类图 耦合性 可视化
在线阅读 下载PDF
一种用于软件测试的程序结构划分方法 被引量:1
13
作者 曹化工 刘澎 秦友淑 《小型微型计算机系统》 CSCD 北大核心 2002年第4期492-495,共4页
软件测试中的结构性测试是以程序的结构为基础生成测试用例 ,以测试准则来判定测试的充分性 .由于程序结构的复杂性 ,难于保证对程序进行充分而高效的测试 .本文提出了一种基于程序依赖图的程序结构划分的测试方法 ,即程序块划分法 .该... 软件测试中的结构性测试是以程序的结构为基础生成测试用例 ,以测试准则来判定测试的充分性 .由于程序结构的复杂性 ,难于保证对程序进行充分而高效的测试 .本文提出了一种基于程序依赖图的程序结构划分的测试方法 ,即程序块划分法 .该方法通过对程序进行结构划分 ,将复杂的程序分解为若干程序块 ,并通过程序块间的数据依赖关系导出各程序块的语义 。 展开更多
关键词 软件测试 结构性测试 程序依赖图 程序块划分 程序结构划分方法 软件开发
在线阅读 下载PDF
基于结构整体性评估程序和失效评定图方法的含裂纹缺陷钢轨安全性评定 被引量:6
14
作者 于辉 邹海贝 +2 位作者 李伟 翟建伟 刘利刚 《中国机械工程》 EI CAS CSCD 北大核心 2019年第3期271-278,共8页
为了研究不同工作状态下不同尺寸裂纹的扩展临界条件,通过实验得到了安全性评估过程需要的力学参数和断裂力学参量,采用相互作用积分法计算轮轨接触时含表面裂纹钢轨的裂纹尖端应力强度因子,并通过计算有效净截面应力得到参考应力。采... 为了研究不同工作状态下不同尺寸裂纹的扩展临界条件,通过实验得到了安全性评估过程需要的力学参数和断裂力学参量,采用相互作用积分法计算轮轨接触时含表面裂纹钢轨的裂纹尖端应力强度因子,并通过计算有效净截面应力得到参考应力。采用结构整体性评估程序和失效评定图(SINTAP-FAD)方法,根据0级失效评定曲线对含表面裂纹缺陷钢轨分别在车轮静止状态下与运动状态下进行了安全性评定。结果表明:车速对钢轨表面裂纹状态的影响较大,与车轮静止状态时评价点位于安全区的情况相比,列车运动时的评价点多向不安全区域发展,并造成了裂纹扩展。 展开更多
关键词 钢轨 裂纹缺陷 结构整体性评估程序 失效评定图 有限元仿真 安全性评定
在线阅读 下载PDF
英国宪政:程序主义结构范式——一种对英国宪政结构的重新理解 被引量:4
15
作者 张彩凤 《中国人民公安大学学报(社会科学版)》 北大核心 2004年第4期97-102,共6页
以沟通行为理论对英国宪政进行重新理解,英国协商式民主宪政在结构范式上是程序主义的,其观点主要基于三方面:英宪是一种重在建设性、平衡性的政治沟通共识程序;在行动主义的程序宪政框架中为诉诸议会主权提供辩护;在程序宪政机制中实... 以沟通行为理论对英国宪政进行重新理解,英国协商式民主宪政在结构范式上是程序主义的,其观点主要基于三方面:英宪是一种重在建设性、平衡性的政治沟通共识程序;在行动主义的程序宪政框架中为诉诸议会主权提供辩护;在程序宪政机制中实现的是一种程序正义的动态权利观。 展开更多
关键词 英国宪政 程序主义结构 协商式民主范式
在线阅读 下载PDF
关于结构编辑程序实用化的探讨 被引量:1
16
作者 黄嘉启 《计算机应用与软件》 CSCD 1990年第1期14-18,26,共6页
自从七十年代中期结构编辑技术问世以来,迅速得到了计算机软件界的重视,并取得了不少可喜的成果。进入八十年代以来,结构编辑技术更是硕果累累。如美国Cornell 大学的CPS 系统,Wiseonsin 大学C.N.Fischer 等人的Poe 系统,Carnegie-Mell... 自从七十年代中期结构编辑技术问世以来,迅速得到了计算机软件界的重视,并取得了不少可喜的成果。进入八十年代以来,结构编辑技术更是硕果累累。如美国Cornell 大学的CPS 系统,Wiseonsin 大学C.N.Fischer 等人的Poe 系统,Carnegie-Mellon 大学的GNOME 系统等都已达到了较高的水平,并投入了教学应用。然而,即使是这些高水平的系统,作为软件开发工具来使用它的计算机厂商或软件公司仍很少见到。换句话说,目前的结构编辑技术,离开真正实用化的阶段,仍有一段距离。作者根据正在进行的“C 语言结构编辑程序”课题中所获得的一些经验,对结构编辑技术未能达到实用化的原因作了初步的分析。在此基础上,提出了一些能使结构编辑程序更加实用化的措施,以及实现它的若干技术关键。 展开更多
关键词 结构编辑程序 程序设计 软件开发工具
在线阅读 下载PDF
PROLOG 逻辑程序设计的结构优化 被引量:1
17
作者 段鹰 段文泽 《重庆建筑大学学报》 CSCD 1998年第6期93-99,104,共8页
以减少存储空间消耗为主要目标,讨论逻辑程序设计的结构优化。分析了程序基本结构及其优化方法,提出了一种强制失败-数据旁路结构,作为已有优化方法的补充。由此综合出一种全局结构优化模式,用于机器翻译试验工作,效果显著。
关键词 逻辑程序设计 程序结构优化 人工智能
在线阅读 下载PDF
一种从结构化源程序导出PAD图的方法
18
作者 曾广周 刘毅慧 《计算机研究与发展》 EI CSCD 北大核心 1996年第8期586-590,共5页
本文讨论一种从结构化源程序导出PAD图的方法。该方法可用于程序理解和维护.以求有效地保持PAD文档与结构化源程序之间的一致。
关键词 结构程序 PAD图 软件维护 软件开发
在线阅读 下载PDF
非晶硅短程序与电子结构关系的量子化学研究
19
作者 张瑞勤 戴国才 +1 位作者 关大任 蔡政亭 《高等学校化学学报》 SCIE EI CAS 1988年第6期608-611,共4页
本支通过对Si_(29)无规网络原子簇模型的CNDO计算,探讨了非晶硅(a-Si)结构短程序对其电子态密度(DOS)分布的影响。结果表明,在与实验原子径向分布函数(RDF)基本相同的条件下,a-Si模型中的键角和二面角是影响电子态密度分布的主要参数。
关键词 连续无规网络 结构程序 径向分布函数 非晶硅原子簇模型 电子态密度
在线阅读 下载PDF
基于Gdel配数的程序结构研究
20
作者 洪龙 李爱群 朱梧槚 《南京邮电学院学报(自然科学版)》 2005年第6期45-48,共4页
用自然数研究程序结构的特点是文章的写作目的。在提出同构程序概念和程序G del数概念后,讨论了静态同构程序与动态同构程序之间的关系,证明了同构程序可数;在文中建立的程序积的概念下,从结构化程序设计角度,继承性地对一般程序结构进... 用自然数研究程序结构的特点是文章的写作目的。在提出同构程序概念和程序G del数概念后,讨论了静态同构程序与动态同构程序之间的关系,证明了同构程序可数;在文中建立的程序积的概念下,从结构化程序设计角度,继承性地对一般程序结构进行了定义,并对它们的特点进行了较详细的讨论,从而指出循环结构和子程序结构都是分枝结构的特殊形式;利用同一程序的静态结构与动态结构G del数、程序积之间的关系找出了程序中存在子程序结构、分枝结构和循环结构的条件。讨论的结果表明用G del配数研究程序设计理论是一种行之有效的方法。最后,提出了进一步研究的目标。 展开更多
关键词 Goedel配数 同构程序 指令集 可数 结构程序设计
在线阅读 下载PDF
上一页 1 2 9 下一页 到第
使用帮助 返回顶部