摘要：新的民事诉讼法修改之后,在特别程序中增加了"实现担保物权的案件"一节。如何理解新条文与之前实体法条文的衔接与突破?如何适用这些条文规定的担保物权实现的条件、方式、程序?其制度设计的性质是什么?对于这些问题,目前的理论研究尚有不明确的地方,同时这也是当前审判实践亟须解决的难题。要解决这些问题,首先应厘清实现担保物权的模式分类,接着从比较法的角度考察其他国家和地区相关制度的构建,然后具体分析我国法律对于该制度的构建的优劣。

摘要：元程序设计是许多逻辑程序语言具有的重要特点,它可以有效地实现程序自解释自调节功能,研究逻辑语言的元程序设计方法对于自动优化程序设计和实现智能计算都具有重要的意义.Prolog语言与Gdel语言分别支持使用非基本表示与使用基本表示的元程序设计功能.本文通过对这两种语言中的元程序设计方法进行研究,讨论了基本表示与非基本表示的主要特点和实现机制,具体分析了Prolog语言与Gdel语言元解释程序的构造方法以及部分求值功能实现.

摘要：分析了服务器程序的通用设计方法的缺点。介绍了一种在Linux下的预先创建子进程池程序设计方法,在原理上进行了细致的分析。最后给出了一个实现程序的框架。

摘要：针对连续画"点"法实现LCD表格显示效率较低的缺点,提出用"按字节赋值"的方法来提高表格显示的效率。然后以SED1335为例,具体说明了应用该方法来实现画一条垂直线和画一条水平线这两个关键子程序的设计与实现程序。

摘要：提出遗传算法(GA)的一种改进算法———最优结果记录。使用MATLAB语言编制了GA及其改进算法的实现程序,用无人驾驶汽车智能控制器设计检验了改进算法的有效性。改进算法可以大幅度提高GA用于求解复杂动力问题的鲁棒性。

摘要：对汉诺塔问题的算法进行了具体分析,提出了四种不同的经典算法,并通过对此问题给出不同的算法,以期激发出学习者对经典汉诺塔问题新算法的探究热情。

摘要：动态链接库(Dynamic-link libraries,DLL)是面向对象程序设计中的一个重要的组成部分。DLL不受开发工具的限制,可以使得不同工具开发的多个应用程序共享同一个DLL,从而减少内存的占用,实现程序的数据独立和代码共享。本文以VB为例,给出了其动态链接库的生成与相互调用方法。