面向对象与面向过程的程序设计方法比较

讨论了面向对象与面向过程的程序设计方法,并对它们进行了比较,重点论述了面向对象的程序设计方法与面向过程的程序设计方法的区别以及面向对象的程序设计方法的主要优点。     

数字大脑综合管理平台设计与实现

【目的】某公安局信息化系统包括计算机网络系统、机房动环系统、楼宇自控系统、视频监控系统、背景音乐系统、信息发布系统、一卡通管理系统、防盗报警管理系统等。这些系统是独立运行的，导致运维量大、数据孤岛现象严重。在数字孪生背景下，有效提高公安局信息化系统运维人员的工作效率成为关键。【方法】针对某公安局信息化系统运维现状，设计了一套基于B/S架构的数字大脑综合管理平台。该平台一体化运维关键重点设备、业务和系统，并结合智能化技术应用。【结果】通过建立一种新型的运维模式，以智慧运维管控为支撑，实现了视频监控系统、背景音乐系统、防盗报警系统的联动显示，并实现了对重点子系统的集中控制，减少值守人员的数量。【结论】这种新型运维模式能提高某公安局信息化系统的运维效率。     

基于DHT11温湿度测控系统的设计

依据DHT11温湿度传感器的工作原理,设计了以单片机STC89C52RC为主控核心的实验室温湿度测控系统.在硬件方面,主要设计了单片机最小系统电路、DHT11与单片机的连接电路、12864液晶显示电路、蜂鸣器报警电路及抽湿机驱动电路.在软件方面,主要编写了DHT11检测温湿度程序、12864显示程序、报警程序及驱动抽湿机动作的程序.实验表明,所设计的系统可以正常工作,系统运行状态良好.     

试谈学生算法设计能力的培养

算法设计能力是决定程序水平的关键因素。本文论述了如何在程序设计教学中提高学生的算法设计能力，并提出了从算法设计角度改进程序设计教学的具体做法。     

基于单片机的电子密码锁设计

本文通过电子密码锁的设计,详细介绍了单片机系统、矩阵式键盘的程序设计方法、LED数码管显示及动态扫描的程序设计方法、报警系统等。本设计成本比较低,功能实用,适用于工厂、企业、家庭等场所。     

函数式语言中赋值语句（之二）

为了能够较好地处理函数式程序设计语言中的I/O问题,通过采用Monad方法将I/O加入到函数式程序设计语言中,来保持函数式程序设计语言的优点,本文探讨了在函数式I/O系统中加入赋值操作与其引用透明性的问题。     

多路巡回自动检测系统软件设计

介绍了巡回检测系统主程序设计和Ｖ／Ｆ变换器与单片机结合实现Ａ／Ｄ转换的程序设计，并给出了程序流程图。     

基于SJA1000智能CAN节点的设计与实现

介绍了基于SJA1000的CAN接口电路的软硬件设计方法,给出了CAN接口电路、SJA1000初始化程序、接收及发送数据程序的框图.     

函数式语言中的数组更新(I)

为了能够较好地处理函数式程序设计语言中的I／O问题，通过采用Monad方法将I／O加入到函数式程序设计语言中，来保持函数式程序设计语言的优点。本文探讨了在函数式I／O系统中数组操作的问题和数组更新的指称语义。     

Windows Sockets与UNIX套接口的编程设计

本文主要叙述了Windows Sockets的编程原理，并对一个基于连接的点对点实时通信程序服务器端与客户端的程序设计。     

一类二次二层规划的平衡点算法

Manoel Campelo借助线性规划的单纯形算法,给出了求解线性二层规划的平衡点算法.本文借助线性规划的单纯形法和二次规划的Lemke算法,给出求解一类非线性二层规划的平衡点算法,并给出算例说明算法可行性.     

数据库通用报表快速输出程序研制

本文就ＦＯＸＢＡＳＥ＋２．１关系数据库管理软件报表程序设计问题，提出了点菜式二维报表的快速输出程序的设计方法，此程序可与任何数据库挂接，可用在任一管理软件中。     

基于PVS的时序逻辑语义模型及其实现

时序逻辑作为一种规格说明语言,能够很好地描述程序性质.为了能够利用现有的定理证明器PVS(prototype verification system)对用时序逻辑公式描述的程序性质予以证明,从而达到程序验证的目的.文中在PVS中建立了时序逻辑的语义模型,同时给出了其语义解释.然后通过一个简单的例子(求解整数平方根的程序),应用时序逻辑公式对该程序的部分性质进行了描述,取得了较好的效果.实现了程序性质的时序逻辑公式表示,为使用PVS验证程序的性质打下了一个好的基础.     

程序设计课程中提高教学方法时效性的尝试

针对高职高专院校程序设计类专业基础课程教学中所面临的问题,特别是现行程序设计课程中应用的诸多教学方法效果偏差的现状,提出了提高学生学习程序设计课程时效性的方法.教学实践表明,时效性方法提高了学习效果,培养学生逻辑思维与抽象思维的能力,为后续专业课程的学习奠定基础.     

任意六面体同位网格中的SIMPLE算法

针对建筑风场数值模拟,利用有限体积法建立了与任意六面体同位网格系统相适应的压力校正方程,给出了详细的压力校正方程离散形式.编制了相应的建筑风场数值模拟程序WSB.对双坡屋面建筑模型的风场数值模拟的结果表明:任意六面体同位网格系统中SIMPLE算法的计算效率高、收敛快,能够通用于比较复杂的建筑风场数值模拟.     

任务教学法在机械设计课程双语教学中的建构与实践

论述了对机械设计课程实施双语教学的重要性以及当前机械设计课程双语教学中存在的问题,并结合教学实践就任务教学法在机械设计课程双语教学中的建构及实践进行了详细的分析及说明,最后,从激发学生学习的热情,培养学生的学习能力,培养学生的跨文化交流能力,提高学生的英语应用能力等方面总结了任务教学法在机械设计课程双语教学中的实施效果,证明任务教学法在机械设计课程的双语教学中是有效的。     

AutoCAD在液压原理图设计中的应用

阐述了液压元件菜单程序编制的方法、步骤和该程序在实际应用中的特点。     

计算无穷限多重积分的一种有效算法

利用蒙持卡罗方法探讨了无穷限多重积分的近似计算问题,给出了一种算法和用Ｑｕｉｃｋ Ｂａｓｉｃ语言编写的计算程序,对实例进行计算和比较,说明其有效性。     

液体粘滞系数实验数据处理的程序设计

本文以从数学模型出发，用C语言设计编译了一套程序，用于计算粘滞系数及其误差，给出了计算实例。