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

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

论鉴定人出庭作证的程序科学性

科学的鉴定程序本身应该是一个完整的系统，即它应该是包括鉴定结论质证程序在内的一个科学系统，如果缺少了鉴定人出庭作证的程序，案件中的专门性问题就难以得到当庭解决，使得鉴定结论的质证变得困难，势必造成鉴定程序本身科学的系统功能受到蚕食。同时，与鉴定结论厉害相关的当事人的质证权亦受到侵害。     

动态图消除程序递归方法研究

寻求更好的消除递归方法一直是程序变换所面临的问题。本文从动态图出发,探讨了如何利用动态图消除程序递归的新途径     

递归程序变换实验系统XDPTS

文中介绍了一个根据速归程序变换基本思想而构造的人-机交互实验系统XDPTS.XDPTS以目前已有的一些程序变换模式为基础,利用人工智能技术将某些类型的递归函数式程序变换成等价的尾递归程序,并生成可直接单独运行的迭代程序文本,XDPTS是实现横向程序变换技术的一个尝试。     

基于控制流的多线程程序的静态切片算法

介绍一种基于控制流的多线程程序的静态切片算法, 该算法的主要思想是在构造多线程程序依赖图的同时保留程序的控制流信息, 利用这些信息能 够判断出程序中的多线程可实现路径, 从而提高多线程程序静态切片的精度和效率. 最后给出一个多线程切片的实例.     

对建立公正国家赔偿程序的思考

国家赔偿程序是一个关系到当事人的赔偿请求权能否得到顺利实现的重大问题,遗憾的是目前的国家赔偿程序设置不公正、不合理、缺乏可操作性,不便于受害人获得赔偿。本文就如何建立公正可行的国家赔偿程序谈几点看法。     

程序规约变换技术在程序设计中的应用

算法设计是程序设计的难点和关键。本文利用程序规约的变换技术得到了排序问题和最长升序问题的算法,并清晰地展示了程序设计的过程,为算法程序设计提供了一种有效的方法和途径。     

诉讼程序公正刍议

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

PLC程序测试与验证的研究进展

可编程逻辑控制器(PLC)是一种在工业领域应用非常广泛的控制装置。随着PLC程序的规模和复杂性不断增加,PLC程序测试与验证已成为一个具有挑战性的问题。该文分析了PLC程序测试与验证的困难。从验证与测试两个方面,分别介绍了该问题的研究现状。对于每一个方法,分别论述了其基本思路、优势与不足。最后,根据当前研究的现状,展望了PLC程序测试与验证技术未来的发展。综合分析来看,PLC程序测试与验证的现有方法都存在比较明显的局限性,有待深入研究。未来可能的新方向包括结构化测试以及不同测试方法的融合等。     

数据库开发程序PowerBuilder中设计查询功能的改进方法

通过对当前流行数据库开发程序ＰｏｗｅｒＢｕｉｌｄｅｒ的介绍，探讨如何利用它在设计数据库查询方面编辑出一种更利于人机交互的程序．     

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

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

一个数字通信计算机模拟程序的设计

本文主要描述一个数字通信中部分响应技术的计算机模拟程序。该程序用C语言编程,将时域一频域分析、绘图、打印结合为一体,可对各种类型的部分响应进行分析研究。文中给出了完整的C代码,并逐段叙述了各部份代码的主要思想或编程算法,程序经多次验证,可供教学演示使用。     

基于Mapinfo平台程序设计方法

详细介绍了在Windows环境Mapinfo平台上，用MapBasic语言设计AM／FM系统，所采用的面向对象的模块化程序设计方法。     

基于DVB-SI的一种EPG实现方法

EPG是数字电视的一大特色，文章首先介绍DVB—SI协议，它是实现EPG的依据．给出了DVB—SI协议流的传送方式，并对其中MPEG-2的节目特别信息（PSI）和数字电视广播（DVB）系统的服务信息（SI）相关的几个重要的表进行了介绍．然后根据协议提出一种EPG实现方案，最后在机顶盒中实现了该方案，为用户提供了简单实用的EPG，从而也证明了该方案的可行性．     

带有向量参数的参数线性规划解的连续性

本文证明了参数线性规划P(λ,μ,θ):min{c~T(λ)x|A(μ)x=b(θ),x≥0}当μ,λ不出现,b(θ)=b_1+Fθ,b_1∈R~m,F是m×t矩阵,θ∈R~t时,最优顶点集VS(θ)是下半连续的,还给出了当μ,θ不出现,c(λ)=c_1+Hλ,c_1∈R~n,H为n×r矩阵,λ∈R~r时,最优顶点集VS(λ)下半连续的充分必要条件.     

“杨辉三角”中行列式的研究

证明了蒋省吾先生提出了的“杨辉三角”中一类行列式值的问题，发现并解决了“杨辉三角”中另外两类特殊行列式值的问题。得到了一类带组合数的行列式的求值方法     

带有向量参数的参数线性规划解的连续性

本文证明了参数线性规划 P(λ,μ,θ):min{c~T(λ)x|A(μ)x=b(θ),x≥0}当μ,λ不出现,b(θ)=b_1+F_θ,b_1∈R~m,F 是 m×t 矩阵,θ∈R~t 时,最优顶点集 VS(θ)是下半连续的,还给出了当μ,θ不出现,c(λ)=c_1+H_λ,c_1∈R~n,H 为 n×r 矩阵,λ∈R~r 时,最优顶点集 VS(λ)下半连续的充分必要条件。     

怎样把QB程序快速转换为VB程序

本文介绍了把ＱＢ程序转换为ＶＢ程序的方法并且给出了一个实例。     

试谈广播电视节目语言的日常应用

广播和电视节目在语言应用上既有同一性,又有其区别.广播节目语言要求通俗易懂、准确流畅、生动形象.电视节目语言除此要求外,还必须强调与画面紧密配合,高度概括,准确贴切.