程序理解及汇编源程序辅助理解工具TALU

本文讨论程序分析(理解)的理论和方法,重点阐述用于分析的扫描算法,在此基础上简单介绍我校开发的、能帮助程序分析人员分析理解汇编源程序的工具TALU。开发该工具的目的在于降低软件理解对人的智力依赖程度,提高分析人员理解程序的效率和准确度。TALU可以对IBM/PC汇编语言程序提供较强的综合分析能力。并对分析结果提供各种形式的输出报告。     

DECnet-VAX网络系统中通讯及其实现

DECnet网络允许运行在网络不同节点上的两个程序或任务通过逻辑链路交换数据。两个通讯的程序或任务之间的逻辑链路类似于一个I/O通道。链路上的程序均可发送与接收数据。DECnet网络系统任务——任务的通讯程序执行的几个功能包括:请求一个逻辑链接、接受或拒绝逻辑链接请求、发送与接收数据、终止逻辑链接。此外,还可发送中断数据、接收中断数据。文章中给出实现任务——任务之间通讯的实例。     

论国际投资仲裁中的平行程序

随着国际投资争议的增多,国际投资仲裁机构之间或是国际投资仲裁机构与国内法院之间争夺管辖权而造成的平行程序大量增加。避免平行程序可以节约司法资源和当事人的诉讼成本,更重要的是防止当事人提起多重法律程序和东道国处于不利之地位。而两个法院或仲裁机构之间同时进行诉讼或仲裁程序,由于对事实的理解不同,适用的法律也可能不相同,矛盾判决就很难避免。文章分析了国际投资仲裁中平行程序产生的原因并且在现有的法律制度框架内给出了相应对策。     

民事程序转换问题研究

《民事诉讼法》作为程序法必须以严谨的程序设计为依托,任何一项民事程序都有其运行规则和内在逻辑。由于民事法律事实的变化,可能会出现民事程序转换的情形。具体包括审判程序中简易程序与普通程序之间的转换以及非讼程序转换为诉讼程序两大类,而简易程序与普通程序之间的转化具体分为普通程序转化为简易程序和简易程序转化为普通程序两种,简易程序中的小额程序转化为一般简易程序或普通程序也是一种民事程序转化的形式。而在每一项程序制度设计的背后,其可行性、可操作性都是司法实践中无法避免的问题,程序之间如何转换,转换的空间和可能到底有多少,这些都是学界和实务界必须深入研究的问题。     

浅说艺术设计专业的素描教学

分析了传统素描与设计素描之间的差别,强调在教学过程中要注意的教学方法和程序,以及培养学生整体观察、理解和分析能力,以达到教学的目的.     

诉讼程序公正刍议

随着依法治国的深入开展,人们越来越关注司法公正了,实现司法公正是依法治国的一个重要方面。司法公正由诉讼程序公正和诉讼实体公正构成。本文将详细介绍诉讼程序公正观念提出的背景,现在社会对诉讼程序公正的理解,诉讼程序公正与诉讼实体公正的关系,诉讼程序公正与诉讼程序效率的关系,最后探讨诉讼程序公正在我国的实现。     

一种改进的程序流程图--层次流程图HFG

程序流程图是刻划程序控制结构的一种重要的表示方式，层次流程图（HierarchicalFlowGraph,HFG）是一种真正基于块、节点、段三层程序划分机制的完全图形化的新型程序流程图，将程序由二维空间拓展到了三维空间，HFG有效利用了块结构的构型特征和对象封装性，具有较高的可重用性和可扩展性，此外，HFG还提供了极为灵活的程序收缩和延展机制，可提供多级别的程序框架，在很大程度上改善了程序理解和测试工作。     

将C++程序转化为Java程序

如何把一个现有的C 程序转化为Java程序是一个很复杂的问题，这需要考虑程序需求、程序规模以及语言异同等多个方面。本文通过分析Java和C 之间的异同而给出了一个把C 程序转化为Java程序的通用轮廓思路。     

计算机程序切片技术探讨

程序切片技术是一种分析和理解程序的技术，在程序切片技术提出的30年来，得到了很快的发展。本文主要介绍了程序切片的基本概念，程序切片的种类、算法以及用途。     

判决概念的法理分析——两种意义下的判决观

对于判决概念的界定是理解判决理论的前提。我国传统诉讼法学理论将判决解释为法官对案件实体问题的决定,这种解释忽略了法官在得出结论之前的推理和论证的重要性。只有从实体和程序两种意义上进行分析,才能科学地认识判决的内在规定性。实体意义上的判决观着力于判决之于当事人之间法律争议的效果,而程序意义上的判决观则强调判决是法官将既定的法律规范涵摄到案件事实并得出结论的过程。     

基于JavaSDG的Java程序参数依赖性分析

基于一种带有标签的Java程序描述（JavaSDG）,给出JavaSDG中的过程依赖图（PDG）的形式化定义,然后分析Java程序方法调用引起的参数之间的依赖关系。并比较基于SDG和基于JavaSDG两种程序分析方法的异同,基于JavaSDG的Java程序分析方法构造的PDG具有结点少、可以重用、可以并发构造等优点。     

一种基于GEP的程序不变量动态发现方法

利用GEP(基因表达式编程)获取最优解的函数发现能力和数学理论的精确计算能力获得较客观的程序不变量的预置形式,能够进行目前技术没有处理的函数型程序不变量的发现生成工作.在函数型程序不变量范围内,有效地克服了目前程序不变量发现技术中存在的两个缺点,即计算盲目性与程序不变量形式预置的主观性.整个工作可以理解为是对目前程序不变量发现技术的一个扩展,它拓广了原有技术可发现的程序不变量种类,增大了从程序运行轨迹数据中发现更多不变量的可能性.     

一种C程序的函数调用图生成算法的设计与实现

阐述了函数调用图在程序理解、程序分析、软件测试和软件维护中的重要性,利用数据库技术、词法分析技术等,设计并实现一种C程序的函数调用图生成算法。     

程序分片技术及应用

程序分片是一种分析和理解程序的技术。系统介绍程序分片的概念，计算方法及分片工具，应用领域，研究现状和发展趋势等方面的问题。     

建立高等学校学生违纪处分听证程序制度的研究

听证制度作为行政程序制度的核心,在高校学生违纪处分工作中发挥着重要作用。近年来,随着高等学校与学生之间的纠纷不断增多,保证程序公正性的制度,逐渐被引入了高等学校对学生的违纪处分程序中。本文阐述了高等学校学生违纪处分听证制度的必要性、听证适用范围及具体程序等,意在使高校的学生处分程序更加规范化、制度化。     

浅谈大型铁路建设项目征地拆迁的若干问题

铁路建设项目的征地拆迁涉及到国家、集体和个人三者之间的相互关系,如果处理不当就会损害各方利益,影响土地征收的正常进行,致使工程目标无法实现。针对我国当前的大型铁路建设项目土地征收程序中存在的一些缺陷和问题,浅谈了笔者的粗浅认识,分析了土地征收过程中的不合理之处。本着有利于大型交通基础设施的建设任务,保护被征地农民的利益,以严格周密的认识态度逐步完善土地征收程序,做好征地拆迁工作,保障建设项目的顺利实施。     

《C程序设计》课堂教学探讨与反思

一、引言 C程序设计课程是一门高级程序设计语言,它的任务是使学生掌握C语言的基本知识,程序设计的基本方法,强调培养学生良好的程序设计风格和习惯,为学生以后的学习打下坚实的基础。因此,通过本课程的学习要求学生具备基本的程序设计思想和简单程序的编写能力,进而能够解决与本专业相关的一些实际问题。     

TPR技术在催化研究中的应用现状

介绍了程序升温还原（TPR）技术的主要理论，着重讨论了程序升温还原技术在催化研究中的应用现状。通过TPR法不仅可以研究金属催化剂中金属组分和载体之间或金属组分之间的相互作用，而且可以了解催化剂的供氧活性和数目。     

二分查找树插入和删除算法的综合推导

程序综合是根据程序规范,推导出满足此规范的程序,推导的过程就是证明的过程,从而保证了最终程序的正确性.程序规范是对程序所要完成的任务的数学描述,表明了程序的目的和应满足的性质. 我们这里借助类似于函数程序语言Miranda的一种函数语言,这种语言曾作为英国牛津     

浅谈递归程序的分析方法

通过实例介绍嵌套分析法、“回推”和“递推”分析法两种分析递归程序的方法,旨在对递归程序的执行过程有较深刻的理解。