BREAKING LITTLEWOOD'S CIPHER

In 1953, the celebrated mathematician John Edensor Littlewood described a stream cipher based on logarithm tables. Fifty years later, we propose the first analysis of his scheme. Littlewood suggests the idea of using real functions as tools to build cryptographic primitives. Even when considering modern security parameters, the original scheme can be broken by a simple attack based on differentiation. We generalize the scheme such that it resists this attack, but describe another attack which is derived from both polynomial approximation and Coppersmith's technique to find the small roots of modular multivariate polynomials. In contrast with these negative results we describe a candidate for a very efficient one-way function and present an open problem based on this work.     

面向对象多介质数据库管理系统

本文讨论的是一个面向对象的多介质数据库管理系统。它能对文本、图形、图象、声音等多种介质形式的数据进行有效的管理和维护。文中介绍了系统的一些概念、设计目标、实现手段以及模型上的一些问题。     

微机板材优化排样系统

板材排样可映射为一个装箱问题。本文根据工艺要求设计了四种典型的排样模式,归纳出两个启发式估价函数。在装箱问题近似解法的框架中嵌入人工智能局部寻优技术,达到了较为满意的结果。     

一个智能化的机器人仿真系统

本文介绍一个智能化的机器人仿真系统的设计与实现,包括机器人运动学及其逆问题,轨迹规划、工作空间几何描述,碰撞和干涉测试,图形生成和处理以及动画技术等内容.系统中将人工智能技术用于机器人运动学及其逆问题解的公式推导,采用图形集合运算完成图形输人并提出一种三维图形快速生成和处理的算法,能适用机器人实时图形仿真.该系统使用 Turbo-Pascal 语言在 IBM-PC 机上实现.     

表格自动录入系统的研究

本文论述了一个表格自动录入系统，它包括表格分析与理解和字符识别，文中提出了表格分析与理解的一个层次模型和算法，它用数学形态学检测表格线段，然后形成表格线段描述，再从表格线段产生表格线，从表格线产生矩形块集合，最后进行表格理解和结果生成它具有抗部分断线，虚线和倾斜的能力，不受粘连和噪音点的影响，文中还提出一种基于机器学习的字符识别方法，通过对大量样本的学习来产生分类的规则，并介绍了一个基于此立法的手     

一种基于Agent的局域网信息检索系统ALIRS

随着局域网规模的不断扩大,网络中的信息数量急剧膨胀,这给信息内容的搜索带来了挑战.针对这种情况提出一种基于Agent的局域网信息检索技术,并在JADE平台上构建了一个分布式的多Agent信息检索系统ALIRS(Agent-Based Lan Information Retrieval System).它运行在统一的平台之上,忽略了局域网内成员的异构性;采用分布式结构,不设专用的检索服务器;集成Lucene全文检索服务,只需提交关键字就能找到符合要求的文档;提供关键信息抽取、有价值信息自动推荐等个性化服务.     

仪表自动检验系统MAIS

本文针对仪表检验，提出一种自适应二值化算法，启发式指针平滑算法及改进的Ｈｏｕｇｈ变换算法，在此基础上设计并实现了仪表自动检验系统ＭＡＩＳ。     

一种评估专家系统的研究

针对飞行器飞行状态的人工评估日趋复杂和困难的问题,将评估树技术和专家系统技术相结合,提出一种用于飞行器任务评估的综合分析模型。首先介绍系统总体结构设计,分析系统各模块的功能和联系;然后,提出一种知识表示模型以及知识获取与转换流程,建立基于数据库的知识库;最后,分析专家系统推理机制,通过不确定性推理提高系统的推理有效性。工程实践表明该专家系统是可靠有效的。     

一个开放式移动机器人体系结构

本文首先说明了体系结构研究的内容，研究体系结构的意义，以及当前几个典型体系结构研究范例，然后较详细地介绍了开放式体系结构ＯＳＭＯＲ及其在传感器处理方面的特点，并分别讨论了结构中各模块的功能及实现方法。     

搅拌器选型专家系统的知识处理和系统实现

从知识获取,知识表达,采用模糊集理论处理领域中不确定性知识以及群组决策等方面,阐述了搅拌器选型专家系统知识处理的解决方案。由系统结构和操作过程,对整个专家系统如何实现进行了描述。     

一种Internet防火墙系统的设计

本文开始介绍网络的安全现状，尔后详细说明我们设计的一个防火墙系统的体系结构和功能结构，另外还介绍包过滤路由器的配置规则。     

FOOD：一个面向对象数据库系统

本文介绍一个面向对象数据库系统ＦＯＯＤ，重点描述ＦＯＯＤ的数据模型，应用编程语言，查询语言，授权模型和模式管理，并简要说明了系统的实现方法以及各功能模块，文末还对进一步的工作作了展望。     

一个基于实例推理的专家系统

该文研究了基于实例推理（Ｃａｓｅ－ＢａｓｅｄＲｅａｓｏｎｉｎｇ,简称ＣＢＲ）的机制,重点讨论了其在商业ＭＩＳ框架生成专家系统ＦＧＳＭ中的应用,结合ＦＧＳＭ系统的研制,给出了ＣＢＲ的一般实现过程。     

类比推理系统BHARS

类比推理提供了一种新的问题求解机制和机器学习方法，本文的类比推理系统ＢＨＡＲＳ包括四个处理部件，即联想器、求精器、匹配器和转换器，文章详细介绍了这四个处理部件的工作原理，并以实例说明了它们的工作过程，与同类系统相比，ＢＨＡＲＳ有功能全面、适应面广和执行效率高的特点。     

电子支付网络系统中的保密通信研究

电子支付网络系统中的保密通信问题是实现安全电子交易的核心问题。本文通过对目前常见电子支付网络通信与认证方式的分析，提出了基于智能卡和公开密钥体系的电子支付网络系统保密通信方案，并详细论述了该方案相对于传统方案而言在解决电子支付网络系统保密通信方面的特点和优势。     

一个EDI系统设计与实现

ＥＤＩ技术越来越受到金融领域的重视和应用，本文以同域清算为应用背景，阐述在中国人民银行江苏省分行实现的一个金融ＥＤＩ系统的设计方法、系统结构和功能模块，为开展其他银行业务ＥＤＩ应用系统提供了一个具有很好操作性，可移植性，可扩充性和可维护性和ＥＤＩ平台。     

一种移动数据库管理系统的体系结构

移动计算的网络环境具有其鲜明的特点：移动性、断接性、带宽多样性、可伸缩性、弱可靠性、网络通信的非对称性、电源能力局限笥等等。而现有的DBMS不能很好地解决移动计算环境中的数据库管理问题,因此有必要设计适于移动计算的数据库管理系统,首先分析了移动计算环境数据库系统的本质,指出移动数据库是一种动态分布式数据库。由于运动是相对的,即客户机被假定静止时,则服务器是动态变化的,通过引入虚拟服务器的概念可以将客户机的“移动”转换为服务器的“移动”,在此基础上,提出了一种移动数据库管理系统的体系结构,这种结构具有一定的通用性,该结构由虚拟服务器和局部DBMS组成,其中虚拟服务器是核心,对它的功能进行了详细的讨论,最后还介绍了基于此体系 结构和自主开发的分布式数据库管理系统DM2上的一个移动DBMS原型。     

IHDL语言与测试生成系统

本文详细地介绍了一种集成式硬件描述语言（ＩＨＤＬ）和与ＩＨＤＬ相适配的门级电路测试生成系统，实现了从硬件描述语言编译器到自动测试生成的完整系统。从我们的理论分析和实验结果来看，这种完整的系统作为ＥＤＡＣＡＤ中的重要环节是可行的，也是有效的。     

开放式CAPP系统及其体系结构

本文介绍了一种基于Ｃｌｉｅｎｔ／Ｓｅｒｖｅｒ工作方式的ＣＡＰＰ系统，给出了针对现在流行网络环境的开放体系结构的ＣＡＰＰ模型，其中对系统客户端的实现作了深入的描述，包括客户端决策／优化管理器的内部体系结构以及实现多目标决策的优化算法。另外本文还对异种网、异种数据库环境下的互联通信进行了有益的讨论。     

APA：类比自动程序设计系统

自动程序设计系统APA使用类比推理技术,向过去经验学习编写新的LISP程序.本文首先给出了它的知识表示和系统结构,然后讨论怎样发现与新问题相似的已解问题,怎样沿着相似推导构作新问题的程序.APA是[1,2]中类比推理理论的一个实验系统.