Goedel语言是一种说明性逻辑程序设计语言。该语言基于一阶逻辑，引入了一个多态多类的类型系统和多种新的语言成分，支持抽象数据类型和模块化程序设计等技术，语言本身也具有很强的说明性语义。详细介绍了Goedel语言的类型系统及其构造，对在逻辑程序设计语言中引入类型系统的作用进行了一些深入的分析和讨论。[
上传时间： 2014-11-26
上传用户：BIBI
数据库课程设计 基于C/S模式的图书管理系统的设计 本文介绍了一个基于Client/Server模式的高校图书管理系统的设计与实现。运用Visual Basic.Net结合Microsoft SQL Server 2000开发的登录模块主要用于验证用户身份，进行有效的操作。从主界面模块在验证后进入每个子模块进行各个子系统的具体功能操作。在整个系统设计中充分利用了模块化的设计思想和开发方法。
标签： Microsoft Client Server Visual
上传时间： 2013-12-09
上传用户：dianxin61
2进制，16进制，10进制，8进制各个进制之间相互转换的程序。模块化设计，没两两进制转换可单独拿来用。
标签： 进制
上传时间： 2013-12-29
上传用户：tfyt
企业内部的很多业务都可以抽象为一个或者若干个工作流，最典型的是收发文工作流。一个发文流程可能要经历起草，审批，校对，领导签字，传阅等步骤。传统的办公模式完成此流程需要投入很多人力，而且运转起来较慢，容易出错，如果采用办公自动化系统，公文的流转就可以自动化，显然有很多好处。 UML（Unified Modeling Language)是一种面向对象的建模语言，它已经广泛用于面向对象系统的分析和设计。统一过程(Unified Process)是一种软件工程方法，它将软件开发过程分为一系列的工作流程(Workflow)，充分发挥了迭代的开发思想，是软件开发成功的重要因素。 Struts是基于JAVA的一个开源项目，采用模块化的设计思想将业务逻辑，数据存储和用户界面分离，简化了企业级应用程序的构建。 本文描述了葫芦岛锌厂的办公自动化系统的开发过程，依据统一过程的开发思想，利用UML构建和描述系统的结构与行为，并用Struts完成了系统的最终实现。
上传时间： 2015-11-01
上传用户：ljmwh2000
该文介绍了一种用于监测电动执行机构实时性能的监控与数据采集(SCADA)软件系统的设计方法，该方法同样可被应用于生物信号处理领域．系统中应用了Windows的动态链接库与多媒体定时器技术，从而实现了系统的模块化并提高了实时性．经现场运行调试，该系统的实时性能够得到保障，且通信是稳定可靠的．
上传时间： 2015-11-06
上传用户：gaojiao1999
这是本人自己编写的可用于256*256大小的图像进行sobel边缘检测的vhd文件，可在QuartusII或MaxplisII下综合和仿真，并在FPGA上测试过。可以进行修改支持其他大小图像的sobel边缘检测，同时还可以实现其它的图像模块化处理算法，例如高斯滤波，平滑等。
上传时间： 2015-11-11
上传用户：古谷仁美
节点是网络系统的基本控制单元，论文提出了一种基于CPLD和多处理器结构的控制网络节点设计方案，它能够提高单节点并行处理能力，其模块化结构增强了节点的可靠性。
上传时间： 2015-11-11
上传用户：teddysha
Object Pascal 是一种高级编译语言，具有强类型（对数据类型的检查非常严格）特性，支持结构化 和面向对象编程。它的优点包括代码的易读性、快速编译，以及支持多个单元文件从而实现模块化编程。 Object Pascal 具有一些特性以支持Borland 组件框架和RAD（快速应用程序开发）环境。在很大程 度上，本语言参考的说明和示例假定你使用Borland 公司的开发工具，如Delphi 和Kylix。 绝大多数使用Borland 开发工具的开发者是在IDE（集成开发环境）环境下编写代码并进行编译。 Borland 开发工具帮助我们设置工程和源文件的许多细节，比如维护单元的依赖信息。并且，使用这些工 具在程序的组织上还有一些限制，严格说来，这不是Object Pascal 语言规范的一部分。比如，Borland 开发工具遵循某些文件和程序的命名约定，若你在IDE 以外编写代码并使用命令行来编译，你可以避开 这些限制。 这些帮助主题假设你在IDE 环境下工作，并且使用VCL（可视化组件库）和/或 CLX（跨平台组件 库）创建应用程序。但有时候，Borland 一些特定的规则和Object Pascal 的通用规则并不相同。
上传时间： 2015-11-12
上传用户：cxl274287265
实时操作系统Vxworks下网络测试程序，用作服务器端。需要在Vxworks开发平台Tornado下编译。模块化比较好，本课题组一直用它。
上传时间： 2013-12-11
上传用户：妄想演绎师
实时操作系统Vxworks下网络测试程序，用作客户端。需要在Vxworks开发平台Tornado下编译。模块化比较好，本课题组一直用它。
上传时间： 2015-11-20
上传用户：问题问题
