递归程序变换实验系统XDPTS

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

格基规约算法在 MIMO 检测中的应用

研究了格基规约（lattice reduction,LR）技术中的 LLL（Lenstra-Lenstra-Lov’asz）算法,以及格基规约辅助（LR Aided, LRA）的多输入多输出系统（multiple input multiple output,MIMO）检测技术,重现了已有的多种 LRA 低复杂度检测算法的结果,探讨了 LR 与 MIMO 检测的本质,继而提出了一种带边界限定的格基规约辅助的选择性的快速枚举展开算法。仿真结果表明：LLL 算法能大幅度提高矩阵的正交性,使低复杂度 MIMO 检测算法的性能接近最优检测;而本文提出的改进算法能进一步逼近最优检测的性能,使误码率为10－4时,和最优检测算法的检测性能仅差0．8 dB。     

小波变换在图像压缩中的应用

介绍小波变换和多分辨率分析的基本思想．讨论基于小波变换的图像压缩编码的一般步骤与小波变换的特性，最后给出小波变换在图像压缩中的主要编码算法。     

傅立叶变换在图像处理中的应用

给出了傅立叶变换的理论及物理解释。实现了傅氏变换的快速算法，并对其在图像处理中的应用给出了相应实例。     

Hough变换在航迹起始中的应用

为了在重杂波区内检测出运动的目标 ,提出了一种改进的 Hough变换算法用于初始航迹的建立。通过检测在变换后参量空间的积累程度 ,可以识别处于匀速运动的目标。同传统的 Hough变换算法相比 ,设计中选取了更为合适的变换参量 ,改进了原算法中性能随距离变化的缺点。解决了跨相邻图元造成积累丢失 ,推算并验证了航迹起始的检测概率及虚警概率。该算法充分利用了目标在采样时间段内的累积信息 ,具有简化的检测手段 ,和良好的检测性能     

递归程序变换的一种新模式一CZ变换

本文讨论?递归程序模式 f(x)≡IF b(x)THEN h/(x)ELSE F(g(x),f(k(x))的等价变换问题。首次提出CZ变换,它跟熟知的Cooper变换和反演变换一起可将相当多的此类模式转化为等价的尾递归模式,通过6个实例说明这三种变换各自的特点。     

小波变换在图像压缩中的应用

小波变换在数字化图象的压缩中起着极其重要的作用。本文在简单阐述小波变换基本理论和Mallat算法基本思想的基础上,着重利用Matlab软件研究了小波变换在图像压缩技术中的具体应用,结合实例给出了具体程序,并对程序进行了详细说明。     

SCADA系统中的规约库技术

SCADA即数据采集与监控系统,是以计算机、通信网络为基础的生产过程控制与调度自动化系统,通过对现场的运行设备进行监视和控制,以实现数据采集、设备控制、测量、参数调节及各类信号报警等功能。该文论述SCADA系统中的规约库技术,常用规约（如CDT、1801、IE0870—5—101、IEC870—5—104、μ4F、MODBUS等）,可内置规约库供直接调用;也可以根据用户要求开发新的规约,新规约调试可以在线完成,不影响系统正常运行。     

小波变换及其在图像融合中的应用

本文通过对小波变换理论的研究,分析了二维离散小波分解与重构的算法,引出了基于小波多尺度分解的图像融合的方案。     

智能仪器监控程序的自动化设计法

介绍了在ＶＣ＋＋可视化编程环境下采用状态变量法的监控程序自动化设计法，该方法提供了从智能仪器键盘状态图到智能仪器监控程序的自动生成，可以为仪器研制人员节省大量的时间才精力。     

浅谈高职院校C/C++程序设计课程教学

C/C++程序设计是计算机专业的一门基础课程,该课程难教、难学一直困扰着广大师生,根据多年的教学经验,总结自己在教学过程中存在的问题,听取老教师的教学观点,提出C/C++程序设计教学的几点建议。     

"任务驱动教学法"在程序设计教学中的应用

计算机程序设计是大学中一门非常普及的课程,但要学好这门课不容易：它不但要求一定的数学知识,还要求学生正确地用计算机语言描述问题求解的过程,既要学习程序设计的许多常规算法,还要反复上机调试,验证程序的正确性．如果采用传统的“填鸭式”教学方法,按部就班地按照教材照本宣科,往往效果差强人意．在实际教学中,笔者采取了“任务驱动教学法”,获得了较好的效果．     

代数规格说明语言ASL及到PROLOG的转换

本文讨论了代数规范说明技术及其到逻辑程序设计语言ＰＲＯＬＯＧ的转换。首先给出了一种基于抽象数据类型的代数规格说明语言ＡＳＬ：然后介绍了由ＡＳＬ描述的规格说明到ＰＲＯＬＯＧ转换　的形式化方法；在这种方法的基础上设计了一个自动转换系统，该系统接受ＡＳＬ语言描述的规格说明，通过转换规则，逐步将此规格说明转换成可执行的ＰＲＯＬＯＧ语言程序。     

求最佳生物序列并置排列的算法和程序

本文提出了计算最佳生物序列并置排列的程序和算法。程序使用计算进化距离的改进算法,在IBM-PC/AT上用Turbo-Pascal 4.0版开发。程序有友好的用户界面、操作简便、通用性强,可以移植到多种计算和操作环境。本文以蛋白质分子序列为例,给出了复杂赋权情形下计算进化距离和最佳并置排列的算法,证明了不同赋权方式本质上不改变改进算法的时间和空间复杂性。     

基于ECC的程序规范描述

介绍一种扩展的类型理论构造演算ＥＣＣ；讨论了用它表示松散语义抽象类型的程序规范的方法，然后介绍如何用函数型语言ＭＬ使这种方法得以实现。     

分形维数计算程序的设计及其应用

分形维数能够表征自然形态的某些特性,通过对原始数字图像的分析和研究,采用适当的处理方法,将数字图像转化为分形图像,并根据分形图像计算分形维数.利用Visual Basic(简称VB)完成了基于Windows平台的分形维数计算程序的设计,并以直线、矩形、康托尘、科赫曲线等分形图形对其进行了检验.在此基础上,利用该程序对一些分形图像进行了研究.     

程序变换的若干探讨

本文试用不动点原理研究几种程序变换,讨论了一类二重递归的终止条件,并用之计算91函数与证明3x+1问题(Ⅰ)。     

基于多参考椭球的坐标转换程序实现

工程测量中仍广泛采用高斯投影,其分带投影的方法使得实际工作中经常遇到坐标不统一情况,需要进行正反算及换带计算。控制高斯投影产生的长度变形及确保坐标的单值性仍是需要解决的问题。本文根据高斯投影理论及特点,并充分考虑高斯投影产生长度变形的影响,在Visual Basic平台上开发了坐标正、反算程序及换带计算程序。通过程序自身验证和程序交叉验证,结果表明计算精度能保持在毫米级,确保了坐标的单值性,且操作简便,具有一定实际应用推广价值。