面向agent的程序设计语言:DL-1

为适应协作分布式问题求解（ＣＤＰＳ）研究和应用的需要，我们研制了面向ａｇｅｎｔ的程序设计语言：ＤＬ－１语言。ＤＬ－１语言由二部分组成：ＤＬ－１／ｓｙｓｔｅｍ和ＤＬ－１／ａｇｅｎｔ。ＤＬ－１／ｓｙｓｔｅｍ主要用于显式地描述ＣＤＰＳ系统的行政管理结构。ＤＬ－１／ａｇｅｎｔ主要用于描述ＣＤＰＳ系统的ａｇｅｎｔ，并允许用户在描述ａｇｅｎｔ的同时，描述ＣＤＰＳ系统的问题求解结构。     

支持软件详细设计工具JS—PDL／C的设计与实现

ＰＤＬ是在ＣＡＳＥ中使用非常广泛的一种软件详细设计方法和工具。ＪＳ－ＰＤＬ是集成环境ＪＳ－ＳＣＡＳ中基于ＰＤＬ方法的详细设计工具，是支持交互式，多窗口和菜单驱动的工作方式。它把概要设计阶段产生的结构图和模块说明自动转换成最初的详细设计档，通过对最初详细设计文档的编辑、逐步精化以及部分自动转换，从而生成Ｃ语言程序和各种详细设计文档。     

关于CLOS的OOP范例的研究

与现有的面向对象的语言相比，ＣＬＯＳ的ＯＯＰ范例有许多独特的特点，一方面这一范例在进一步发展之中，另一方面在向其它领域渗透，另外，由于ＣＬＯＳ有ＡＩ领域有着广泛的应用前景，所以，对ＣＬＯＳ的ＯＯＰ范例的特点进行研究有一定的意义。     

基于文本文件的高级语言（软件）数据共享问题

本文对计算机常用软件（如Ｃ语言，ＦＯＸＢＡＳＥ，ＦＯＲＴＲＡＮ，ＢＡＳＩＣ，ＰＡＳＡＣＬ及ＣＯＢＯＬ等）间的数据共享与参数传递作了产全面的介绍，并重点介绍了数据共享的具体软件方法。     

面向对象数据库的C宿主语言接口实现技术

面向对象的数据库管理系统（ＯＯＤＢＭＳ）通常都具备自身的查询语言，它以交互的方式供用户进行数据定义与数据操纵．除此之外，它还必须为程序员提供可在Ｃ、ＦＯＲＴＲＡＮ、ＰＡＳＣＡＬ等高级语言里嵌入使用查询语言的宿主语言接口．本文首先介绍这样一种Ｃ宿主语言接口Ｃ—ＯＳＤＬ，而后重点讨论它的实现技术，尤其是将Ｃ—ＯＳＤＬ命令转换成ＳＱＬ语句的翻译算法以及使用ＳＱＬ实现支持导航式查找的指针层次管理方法．文中讨论的Ｃ—ＯＳＤＬ实现技术以及最初的接口设计是面向对象的数据库技术的深入探讨．     

用Autolisp语言增强AUTO CAD文本修改功能

本文介绍了用ＡＵＴＯＬＩＳＰ语言增强ＡＵＴＯ ＣＡＤ文本修改功能的方法,给出源程序ＴＥＸＴＸＧ．ＬＳＰ,在某些情况下,它比ＡＵＴＯＤＥＳＫ公司提供的ＣＨＴＥＸＴ．ＬＳＰ功能更强。     

Cutting Stock问题的微机仿真求解

本文就企业生产中经常遇到的Ｃｕｔｔｉｎｇ Ｓｔｏｃｋ（下料）问题进行了讨论，给出了一种计算机仿真求解方法，并用ＰＡＳＣＡＬ语言予以实现，经大量试算，效果良好。     

铝门窗设计,报价及下料系统

介绍一个计算机辅助铝门窗设计、工程报价及优化下料的ＣＡＤ软件。该系统在ＤＳＯ及ＡｕｔｏＬＩＳＰ语言，Ｔｕｂｏ ＰＡＳＣＡＬ语言的基础上，成功的对ＡｕｔｏＣＡＤ软件进行了二次开发。系统开发紧紧抓住铝门窗企业“设计－下料－生产”这条主线，实现了对铝门窗生产加工，备料，成本核算等基础信息的管理，构造出了上有待业特点的ＣＡＤ系统。     

FP──VLSI自动综合系统

ＦＰ—ＶＬＳＩ自动综合系统是一个集成化的ＶＬＳＩ自动设计工具，它能完成从并行算法到脉动算法到脉动结构再到逻辑结构最后到ＣＭＯＳ版图的自动综合过程．ＦＰ—ＶＬＳＩ系统以脉动阵列为ＶＬＳＩ的体系结构，采用具有良好代数性质的ＦＰ／Ｂ语言作为各层次的描述语言，通过程序变换进行综合和优化．该系统支持形式化的ＶＬＳＩ设计方法，能保证设计结果的正确性．     

非等比数列乘幻方的一种构造方法

本文介绍了用ＰＡＳＣＡＬ语言构造非等比数列乘幻方到２９９９９阶，２７１阶乘幻方值可达２８５５１位的实现方法。     

反应式嵌入式系统形式化性能模型的研究

基于进程代数EACSR-VP和形式化描述语言CPSL，介绍了如何建立和描述反应式嵌入式系统的形式化性能评价模型．该模型通过抽象去掉了实现了细节，是可执行的，利用其可以对不同的设计方案进行定量的性能验证，得到不同系统的性能指标并进行分析和比较，从而使最终的系统实现满足特定性能指标要求．     

Profibus-DP总线与Modbus总线通讯控制系统设计与实现

该文详细介绍了基于PROFIBUS-DP总线与MODBUS-RTU总线的PLC通讯控制,设计了单变量PID通讯控制系统,两种总线通过网关进行数据交换,共同完成液位调节,得到理想的控制效果。实验结果表明通讯控制系统可行,同时也为相关技术人员提供参考。     

改进的路由协议BLOCKING-COMPOW

COMPOW功率控制协议通过控制所有的节点采用相同的发射功率来保证网络消耗功率最小化,但该协议不适用于节点分布不均匀的网络。此协议的改进版本CLUSTERPOW可以降低不均匀网络中的能耗,但此协议在节点分布均匀网络中的性能较差。针对两种协议的不足之处,提出了一种新路由协议BLOCKING-COMPOW,仿真结果表明这种新协议在各种节点分布下都具有较好的性能。     

基于协议偏离的程序协议指纹提取与识别

针对传统协议指纹提取技术耗时耗力,且无法提取与识别加密协议指纹问题,提出了一种基于协议偏离的程序协议指纹自动提取方法。协议偏离描述了协议各版本实现程序的网络行为差异,以动态二进制分析技术为支撑,分别从协议偏离会话流层面与偏离消息层面对协议特征进行提取。实验结果不仅验证了所提方法的可行性,还为提取与识别加密协议应用程序指纹提供了一条新思路。     

无线传感器网络动态节能信道接入协议

为了使无线传感器网络移动节点加入时能快速地建立连接并且能量消耗较低,提出一种动态、节能的信道接入控制协议DEE-MAC.该协议以一种新颖的方式在TDMA的基础上叠加了动态分簇和优先级竞争簇头机制,在移动和静止场景中,既有最低性能保障,又有较高信道利用率.仿真结果表明,有移动节点加入时,DEE-MAC协议在数据吞吐量、延时以及丢包率方面比SMAC协议都有明显改善.     

地月通信链路传输协议的研究与性能分析

从传输层和应用层2个角度对空间信息传输中地月通信链路可靠传输协议进行研究,基于OPNET软件开发CCSDS协议进程级模块。针对地月骨干链路场景配置TCP 、SCPS-TP、CFDP/UDP和MDP/UDP 4种可靠传输方式,并进行协议仿真与性能分析。实验结果表明,在长传播延迟、高误码率和高度不对称性前/返向信道速率的链路上,SCPS-TP协议失去了TCP增强优势,MDP协议也表现一般,而CFDP协议的可靠传输模式能较好地适应于这种环境。     

网络通信协议的分析与实现

网络通信协议是网络通信的基础。TCP/IP协议族是应用最为广泛的一种网络通信协议,无论在局域网、广域网还是Internet,无论是Unix系统、Windows平台都支持TCP/IP协议,是计算机世界的一个通用"语言"。讨论了TCP/IP协议族中传输控制协议TCP、用户数据报协议UDP和网际控制报文协议ICMP等原理和应用。     

一种支持流程整合的业务协议组合代数

针对基于Web的业务流程建模问题,将业务流程的参与者抽象为角色,采用基于角色间交互的协议对业务流程进行建模,构造抽象的业务流程模板,提出一个业务协议组合代数,构造一组协议组合算子,即顺序、并发、选择和迭代,并证明该代数的一些相关性质,分析协议的相似性,从而为替换协议提供理论依据。     

Internet网络环境的测试程序设计与实现

在ＩＣＭＰ及ＩＰ协议下,讨论了基于Ｕｎｉｘ环境的任务客户端,通过Ｉｎｔｅｒｎｅｔ网络环境是否可任何服务器端的测试程序设计,主要介绍了利用ｓｏｃｋｅｔ接口客户端测试程序的设计与实现。     

利用CCS的协议描述与验证技术的研究

本文讨论的ＣＣＳ在协议描述与验证方面的应用技术和两个案例分析表明，通讯系统演算ＣＣＳ在协议描述、协议验证等方面有巨大应用潜力。