摘要：我们设计了一个主要支持知识程序设计的“函数+逻辑”语言。它利用LISP丰富的语言环境,以LISP的S—表达式形式把LISP和Prolog有机统一起来,兼备函数和逻辑混合的或独立的编程风格,具有计算策略丰富、编程方式灵活多样、问题表达能力强等特点。为克服解释实现中逻辑部分执行效率远慢于函数部分等缺陷,我们实现了该“函数+逻辑”语言的解释一编辑系统。本文介绍了该系统的设计思想、内部结构及实现原理等。

摘要：本系统由图档管理和管网数据库管理两子系统组成。本文着重介绍图档管理子系统的设计思想和功能结构。提出了地形图的分级查询和图形拼接的设计思想。为保证管网图形数据库与管网文本数据库中相关信息的一致性,提出了数据一致性的概念。另外还介绍了故障处理与故障显示的设计思想。

摘要：文章提出了利用移动短消息通讯平台实现移动证券实时交易的实现方案,主要讨论了涉及移动运营商、证券商、SIM卡制造商多方的网络体系结构、交易数据流程、功能分工以及交易数据的安全方案。

摘要：本文介绍了一种设计ＩＣＡＩ系统的技术－规划技术，提出了系统的组成、各部分划分及功能，并结合实例模拟了一个ＩＣＡＩ系统的设计与实现过程。

摘要：本文探讨了微型计算机彩色图像显示中的调色板问题,分析了目前常见的调色板设计方法,尝试提出面向图像的调色板设计,并进行了相应算法的设计、分析和改进,介绍了这种技术的实际使用效果。

摘要：可微分架构搜索(DARTS)可高效、自动地设计神经网络架构,但其超网络的构建方式与派生策略的设计之间存在性能“鸿沟”。针对上述问题,提出了优化搜索空间下带约束的可微分神经网络架构搜索算法。首先,以候选操作关联的架构参数为量化指标来分析超网络的训练过程,发现在派生架构中未生效的候选操作none占据了权重最大的架构参数,从而导致算法搜得的架构表现欠佳,针对该问题设计了优化的搜索空间;然后,分析了DARTS超网络与派生架构之间的差异后,以架构参数为基础定义了架构熵,并把架构熵作为DARTS超网络目标函数的约束项,从而促使超网络缩小与派生架构的差异;最后,在CIFAR-10数据集上进行了实验。实验结果表明,所提算法在其中搜得的架构取得了97.17%的分类准确率,综合准确率、参数量和搜索时间优于对比算法。所提出的算法是有效的,提升了搜得架构在CIFAR-10数据集上的准确率。

摘要：本文介绍了一个兼备函数和逻辑程序设计风格的知识程序设计环境,包括其设计思想、基本原理、结合方式及实现等,同时也讨论了设计过程中的一些考虑和选择。

摘要：简单介绍Siemens公司的最新一代TC35系列的TC35i;着重介绍TC35i的原理、特性及层次结构和AT指令;设计实现TC35i通信的外围电路。

摘要：前言dBASFⅣ 是美国 Ashton-Tate 公司自 dBASEⅢ和 dBASEⅢPLUS 之后于1988年10月(尚未正式交付使用)开发的最新版本,与 dBASEⅢ和 dBASEⅢPLUS 完全兼容(即向上兼容),并且速度比 dBASEⅡPLUS 快得多(达到 Fox BASE PLUS 1·2版的80%)。并且以如下的新特点越来越受到国内外用户的青睐。

摘要：在分数阶微积分的工程应用中,一个最重要的步骤是模拟分抗电路的实现,为此采用跨导运算放大器设计了可变阶次分抗电路,并利用有限数量的二端口网络级连,能够在电路设计形式固定的情况下,通过调节跨导运算放大器的控制电流,在一定的范围内改变分抗的运算阶数。模拟结果与理论分析结果相一致,证明该设计方案对于分数阶微积分的实际应用有着一定的工程意义。