基于Tableau方法的程序综合系统——DTPS

本文简单介绍了基于Ｔａｂｌｅａｕ方法的程序综合系统－ＤＴＰＳ．ＤＴＰＳ系统以定理证明为基础，为构造一个满足程序规约的程序，只需证明的确存在一个满足条件的对象。如果这个证明存在，那么从证明中可抽取出一个满足该程序规约的程序。     

基于MMS协议的异构网络互连

ＭＭＳ（制造报文规范）是一种能够满足ＣＩＭＳ环境中各种可编程自动化设备间通信需求的应用层协议。本文首先简单介绍了ＭＭＳ的客户／服务器通信模型，接着给出异构网络互连的物理模型及信息模型，并详细论述了异构网络上ＭＭＳ通信系统的实现，最后对实际制造设备入网方法及ＰＬＣ系统入网实现进行了探讨。     

实现光盘.ZIP文件的快速解压安装

指出在ＴＳＲ中调用外部程序的编程方法，介绍了实现ＤＯＳ重入的基本思想和实现方法，并给出了程序框图，以此编写出的程序可将光盘，ＺＩＰ文件快速解压和安装到硬盘（类似于ＩＭＧ．ＥＸＥ文件）。     

单片机应用系统的图形打印

单片机应用系统的图形打印罗斌ＴｈｅＰｒｉｎｔｉｎｇＩｍａｇｅｏｆＳｉｎｇｌｅ－ＣｈｉｐＭｉｃｒｏｃｏｍｐｕｔｅｒＡｐｐｌｉｃａｔｉｏｎＳｙｓｔｅｍ￥ＬｕｏＢｉｎ本文以ＭＣＳ－ｓｌ单片机和ＴＰ卜Ｐ系列打印机为例，介绍图形打印程序的设计方法。ｌ图形打印的...     

BI基础 追寻商务智能的发展轨迹

商务智能的出现是一个渐进的复杂的演变过程,而且仍处在发展之中,它经历了事务处理系统（ＴＰＳ）、高级管理人员信息系统（ＥＩＳ）,管理信息系统（ＭＩＳ）和决策支持系统（ＤＳＳ）等阶段,最终演变成今天的企业商务智能。     

MDI在商业MIS框架生成系统中的应用

本文介绍了多文档界面（ＭＤＩ）在商业ＭＩＳ框架生成系统（ＦＧＳＭ）中的应用。重点介绍了ＦＧＳＭ系统程序框架结构及其实现的关键技术。     

免费主页中简单数据库功能的实现方案

本文介绍了如何在网上免费主页中实现简单数据库功能（录入、查询、过滤、排序等）的一整套方案,并以“校友通讯录”为例给出详细代码。其中,数据的录入通过ＭｉｃｒｏｓｏｆｔＦｒｏｎｔｐａｇｅ９８ＳｅｒｖｅｒＥｘｔｅｎｓｉｏｎ或ＡＳＰ（ＡｃｔｉｖｅＳｅｒｖｅｒＰａｇｅｓ）编程实现,数据的查询用ＤＨＴＭＬ的ＴＤＣ控件编程实现免费主页中简单数据库功能的实现方案@冯冲@王翠茹     

MIDS／BUAA存储管理子系统的设计

存储管理（特别是辅存管理）是任何一个数据库系统的物理实现层，持久性若不最终落实到辅存上，就是一句空话．本文首先讨论了将程序设计语言和持久对象进行集成的３种途径；然后介绍了ＭＩＤＳ存储管理子系统ＳＭＳ（ＳｔｏｒａｇｅＭａｎａｇｅｍｅｎｔＳｕｂｓｙｓｔｅｍ）的设计：（１）ＳＭＳ的体系结构，（２）ＭＩＤＳ对象的存储结构，（３）对象标识的设计，（４）簇聚与索引，（５）持久性的实现，（６）动态地址转换．     

基于TPU的步进电机控制

介绍了以ＭＣ６８３３２的ＴＰＵ为基础组成的步进电机控制电路，给出了主要程序，详细分析了该电路的主要性能，指出了该电路的优点和应用范围。     

通过TCP／IP网络访问MS—DOS应用文件

基于ＭＳ－ＤＯＳ平台运行的特殊应用程序在网络环境里如果能够为网络所共享将是十分有用的。为了让ＵＮＩＸ操作系统的机器能够访问,需要有ＴＣＰ／ＩＰ网络协议和相应的支撑软件。本文即介绍了这样一个软件包,包括ＴｅＩｎｅｔｓｅｒｖｅｒ和ＦＴＴｓｅｒｖｅｒ。Ｔｅｌｎｅｔｓｅｒｖｅｒ用来连接ＭＳ－ＤＯＳ机器,运行上面的程序;ＦＴＰｓｅｒｖｅｒ用来在两机之间传输文件。很多其他功能,象身份识别和设置文件访问权限等,Ｔｅｌｎｅｔｓｅｒｖｅｒ和ＦＴＰｓｅｒｖｅｒ支持。     

用VB实现SMTP服务器的认证

为避免垃圾邮件的干扰，目前在使用SMTP客户端软件发送邮件时，大多数SMTP服务器需对用户身份认征后，才接收邮件并给予转发。根据SMTP服务认证扩展标准，用VB实现SMTP客户端向服务器的认证。     

基于安全隔离的SMTP代理服务的设计与实现

分析了安全隔离和SMTP协议的特点,设计并实现了基于安全隔离方式的SMTP代理服务,支持SMTP认证,邮件过滤,邮件加密等加强功能,能很好地应用于电子政务,银行业务等一些高安全级别的网络.     

面向安全检测的SMTP透明代理服务器

通过对SMTP协议和SMTP代理服务器原理的分析,在Linux环境下开发了面向安全检测的SMTP透明代理,设计并实现了一些关键技术,包括端口重定向、并发邮件服务、获取邮件服务器的地址和端口号、处理附件等。测试表明,该系统实现了用户透明功能,可以代理多种邮件服务,有效地防止了病毒入侵和内容泄露。     

嵌入式系统中SMTP协议的通讯实现

本文介绍了在网络时代的嵌入式系统发展状况．结合网络协议中SMTP协议自身的特点及其应用．提出了在嵌入式系统中提供SMTP支持的具体流程和方法．然后给出了SMTP代理在嵌入式系统下的一个具体实现．     

在Sendmail中实现SMTP认证的技术方案

介绍了使用电子邮件的优点和SMTP的原始命令码及工作原理，分析了在Sendmail中实现SMTP认证功能的必要性，以及实现SMTP认证功能的技术方案，总结了实现这一功能的实际价值。     

邮件发送客户端SMTP协议的实现

Internet的电子邮件服务系统采用SMTP、POP、IMAP等应用协议。文章以SMTP协议为研究对象,在Visual C 6.0编程环境下应用SMTP协议,通过套接字发送SMTP命令,接收并处理邮件服务器的反馈信息,从而在客户端实现对电子邮件的发送。文章详细讨论了SMTP协议的命令、应答、会话流程、邮件格式化的实现以及在发送SMTP和接收SMTP之间的会话及应答过程。软件采用面向对象,消息驱动及多线程等新技术实现系统中的功能。     

简单邮件传输协议的一致性测试研究

Internet协议的一致性测试是保证厂商的Internet产品和服务实现互连和互通的重要技术手段。文章在扼要地介绍简单邮件传输协议SMTP的基础上,理论上分析了SMTP的测试组织、抽象测试方法和测试集的设计,提出了适合于SMTP一致性测试的测试结构和测试描述技术。最后讨论了在协议集成测试系统PITS中SMTP一致性测试的实际应用。     

基于SMTP协议解析的垃圾邮件防治技术

针对当前垃圾邮件的防治技术不足的问题,考虑到协议分析技术检测效率更高,检测准确度更高,并能对一些未知的攻击特征进行识别,因此结合对SMTP协议的分析来识别垃圾邮件,同时进行阻截,可有效防治垃圾邮件。介绍了SMTP的工作模式和协议分析过程,及对SMTP协议命令的解释。从协议分析的角度出发,实现SMTP协议分析程序——snifferSMTP。该程序分析从网络中捕获邮件数据包,还原出邮件信息,依据规则进行模式匹配,检测出入侵邮件。     

基于SMTP协议解析的垃圾邮件防治技术

针对当前垃圾邮件的防治技术不足的问题,考虑到协议分析技术检测效率更高,检测准确度更高,并能对一些未知的攻击特征进行识别,因此结合对SMTP协议的分析来识别垃圾邮件,同时进行阻截,可有效防治垃圾邮件.介绍了SMTP的工作模式和协议分析过程,及对SMTP协议命令的解释.从协议分析的角度出发,实现SMTP协议分析程序--snifferSMTP.该程序分析从网络中捕获邮件数据包,还原出邮件信息,依据规则进行模式匹配,检测出入侵邮件.     

用VB实现Email附件的发送

本文讨论在电子邮件中发送附件的方法。SMTP协议的局限性,需要对二进制附件进行编码,以便在纯文本邮件中发送。UUEncode是一种简单有效的编码方法,对附件编码以后,利用VB6中的Winsock控件和SMTP协议,便可实现附件的发送。