Banach空间一阶常微分方程终值问题解的存在唯一性

研究了Banach空间一阶非线性常微分方程的终值问题。采用单调迭代方法和适当的迭代程序，在较弱的条件下，获得了解的存在唯一性，改进和推广了已有的一些结果。     

基于DSP的G726 ADPCM算法的实时实现

讨论了基于数字信号处理器的自适应差分脉冲编码算法在语音采集应用中的实现．实现过程中。充分利用了C62xDSP的优点，对算法进行了更好的简化和优化．通过定点DSP实现浮点运算、并行计算等方法。提高了算法效率。使应用具有很好的可靠性和实时性。并在实际中得到了验证．     

论后现代主义法学的法律正义观

法律正义的问题受到越来越多法学家的重视，传统的法律的实体正义理论受到后现代主义法学思潮的挑战，他们主张对正义进行支新非理性的解构和重建。坚持法学判断的主体化，程序的微观化。     

浅谈工程索赔

本文通过对设计变更的描述,结合FIDIC合同条款提出了国际土木工程合同变更处理的一般程序和控制方法,以减少工程索赔的发生。     

案说《公安机关办理行政案件程序规定》

2006年8月24日公安部颁布施行了新修订的公安部令第88号文件《公安机关办理行政案件程序规定》(以下简称88号令),是公安机关在总结原公安部令第68号文件《公安机关办理行政案件程序规定》(以下简称68号令)实践经验的基础上,进一步规范执法行为和行政案件办理程序、全面推进依法行政的一个     

中达数控系统在立式车床数控改造上的应用

随着我国机械工业现代化的急速发展，普通机床已不适应多品种、小批量生产要求，数控机床则综合了数控技术、微电子技术、自动检测技术等先进技术，最适宜加工小批量、高精度、形状复杂、生产周期要求短的零件。而随着数控技术在我国基础工业中的迅速发展，将普通机床进行数控化改造的技术已经成熟，改造成本较低，而且完全能满足生产的实际需要。     

配平化学方程式的BASIC程序

本文用列主元消元法,编制了适合于配平N=M和N=M+1(M:反应中所涉及的元素种数,N:参数反应的物种数)类型化学方程式的Basic程序,阐述了本程序的操作方法和特点。它操作简单,迅速,准确,自动化程度高。     

基于ACAD平台的给排水制图程序

目前,专业给排水设计软件包很多,但在具体使用过程中,会遇到设计习惯不同、使用烦琐等问题.笔者在AutoCAD平台上,用LISP语言编写了一系列程序,大大简化了设计、制图,并且提高了出图效率和设计的准确性.     

浅谈程序开发的步骤

程序开发是项目的核心；程序员必须了解清楚自己所做部分的需求；在程序开发前最好编写一个开发的步骤文档。下面就项目编写程序合理的安排开发步骤谈谈自己的看法。     

实施整体认证提高集团企业质量管理水平

长期以来，一些集团公司困惑于如何实话质量管理体系。采用集团谁模式，文件的编写、职责划分都是一个系统工作，较难覆盖整个体系，因此一般采用下属子公司单独认证完成质量体系的建立。由于标准只是提供了一些基本要求，子公司在实话的过程中，只能根据自己的理解和要求编制手册、程序文件及相关作业指导，