共查询到20条相似文献，搜索用时 390 毫秒
1.
程序切片是一种程序分析技术,它是通过把程序减少到只包含与某个特定计算相关的那些语句来分析程序的.人们在调试一个程序的时候总是从错误语句s开始,并沿着依赖关系跟踪到它影响的程序部分.程序切片自动计算这些依赖,在程序理解、程序分析、调试、测试、软件维护、程序集成和软件质量保证等方面对程序员有所帮助.文章总结前人观点通过图示... 相似文献
2.
灵感思维是在思维经验基础上的高级自动编程思维,用已知程序知识自动编程出未知程序解题是灵感思维的特点。已知程序包括思维经验程序。程序也是一种知识,包括事实知识、过程性知识、控制性知识,更多的是控制性知识。这些知识已贮存在大脑内,思维即是搜索这些知识、应用这些知识找到解题算子,来解决当前面临的问题。或者说应用已知程序知识来解决问题。某种程序知识经常运用,或者说某种程序知识运用的非常熟练了,用活了,这种程序就会变成自动的程序,给一个问题,大脑自动运用这种程序解题。思维也是调出已知程序及相关知识和指令来解题的。灵… 相似文献
3.
本文提出了一种检测C语言程序的循环结构中是否存在死循环的方法,该方法基于循环结构中的循环变量,采用程序的动态切片技术,同时结合了程序的静态切片技术,以及程序的静态分析方法来分析和理解程序,通过上述方法来判断给定的程序在特定的情况下是否存在死循环模式,也即在程序运行中是否会遇到死循环问题,从而提高程序的运行效率。 相似文献
4.
5.
作为我国专利法中唯一的授权后程序,专利无效宣告程序一直由于其作为专利侵权诉讼的主要抗辩手段而具有较高的社会关注度。由于专利无效程序是整个专利行政审批中唯一的双方当事人程序,其审查方式、审查范围等相关程序问题也成为研究的热点。此外,在实践中,专利无效程序也是整个专利行政程序中唯一对非出版物形式的公开进行认定和审查的程序,这就使得无效程序成为研究现有技术的证明与查明的唯一切入点,因此,无效案件中的举证责任和证明标准一直备受关注。 相似文献
6.
发生专利权归属纠纷,表明此时谁是专利权人出现争议,在该争议解决之前,应暂停其他与该专利权有关的程序,即中止程序。但在实务中,出现了专利权人利用关联公司提出权属纠纷并启动中止程序以拖延其他正在进行的程序进程,例如专利无效程序的进程。这使得中止程序有被滥用的可能。本文剖析了两个实际发生的利用中止程序达到拖延时间目的的案例,针对这种情况,提出了对中止程序请求进行实质审查并引入相对方意见的建议,以完善中止程序制度使之免遭滥用。 相似文献
7.
8.
9.
10.
本文研究了拨码开关选择加工程序的硬件和PLC的设计方法,实现了拨码开关选择加工程序,并自动运行选择的加工程序,简化了启动加工程序的流程。 相似文献
11.
土地征收程序不合理是导致我国土地征收纠纷的关键因素之一。通过中外土地征收程序的对比,分析我国土地征收程序的缺陷,提出完善我国土地征收程序的建议。 相似文献
12.
13.
文章从制作软件升级程序的必要性出发,首先,介绍了升级程序所完成的功能,接着阐明了升级程序的设计思路,最后通过详细的设计步骤实现了一个简单的升级程序. 相似文献
14.
正义又可以分为程序正义与实体正义,程序正义是实现实体正义的手段和工具。本文阐述了正义的起源、程序正义的含义及体现,并对二者的辨证关系进行分析,明确了程序正义的价值标准,指出了程序正义具有保障实体正义乃至社会稳定的重大作用。 相似文献
15.
【提要】本书从程序法的角度对量刑规范化改革进行了研究。主要内容包括量刑公正与程序正义、两大法系量刑程序的考察,量刑程序改革的两个基本问题、量刑程序化改造的诉讼构造研究、量刑证据与量刑证明、量刑程序改革的配套机制和构建独立量刑程序的具体设想。 相似文献
16.
17.
18.
PCT程序中的国际初步审查程序是选择性的程序。本文从4个方面,即为何提出国际初步审查要求、如何提交国际初步审查要求书、国际初步审查的程序以及国际初步审查的结果——初步审查报告,全面介绍了PCT申请程序中的国际初步审查,希望可以帮助相关申请人深入了解并准确判断是否在国际阶段选择国际初步审查程序,以更大程度地维护自身利益。 相似文献
19.
程序教学模式是指由于采用程序教学方法而形成的一种教学模式.它主要是指依靠教学机器和程序教材,呈现学习程序,使学习者进行个别学习的教学过程和方法,文章从信息化的角度对程序教学模式中信息传导的原理、条件和过程等进行了分析,以便能够从信息化的视角来探讨和研究程序教学模式中信息传递的本质规律,能够为我们更好地从事教育教学服务. 相似文献
20.
在理论界,许多学者和专家对行政程序的公平和效率价值的关系研究颇多,但是,对行政程序与行政效率关系研究不多。本文主要就行政程序与行政效率之间的关系,以及如何在行政程序中更好地实现效率价值进行探讨,以期对行政管理体制改革,尤其是行政程序制度的建立提供一些参考。 相似文献