可编程模拟器件与技术新进展

简述可编程模拟器件的基本原理、典型应用和开发方法,介绍并比较主要的模拟可编程实现技术与主流器件系列,指出现存的主要问题并展望其未来发展方向.     

乡镇供水工程设计中应注意的若干问题

乡镇供水作为水利开发建设中的一个新领域，设计工作是龙头，有许多技术问题需要研究和探索，阐述了乡镇供水工程设计应注意的若干问题，并对设计中存在的一些具体问题进行了分析和探讨。     

院基寺水库坝基渗漏分析及处理设计

对院基寺水库运行过程中出现的坝基渗漏现象进行了全面的描述,结合坝址工程地质和水文地质条件、施工情况及坝体结构,系统地分析了产生渗漏的原因及渗漏途径,并提出了防渗帷幕灌浆处理方案。灌浆试验、现场施工质量检查及实际观测成果证实,工程处理措施取得了良好的效果。     

Test Case Generation as an AI Planning Problem

While Artificial Intelligence techniques have been applied to a variety of software engineering applications, the area of automated software testing remains largely unexplored. Yet, test cases for certain types of systems (e.g., those with command language interfaces and transaction based systems) are similar to plans. We have exploited this similarity by constructing an automated test case generator with an AI planning system at its core. We compared the functionality and output of two systems, one based on Software Engineering techniques and the other on planning, for a real application: the StorageTek robot tape library command language. From this, we showed that AI planning is a viable technique for test case generation and that the two approaches are complementary in their capabilities.     

基于重量分析的OBDD变量排序算法

有序的二叉判决图（ＯＢＤＤ）是布尔表达式的一种有效表示方法，但它的体积对变量排序具有较强的依赖性。本文提出一种电路结构图，并在此基础上定义了原始输入重量和节点重量等参数，并建立了用重量分析来指导的ＯＢＤＤ变量排序算法。由于从考虑变量对输出函数的影响出发与从考虑ＯＢＤＤ节点共享性出发对变量排序的要求不同，本文分别设计了两类算法。实验结果表明，本文对大多数标准电路变量排序的效果都优于国际上的同类算法，     

绝对时钟智能控制器的研制

介绍了一种日常参数智能控制器的研制及研制过程中的几个重要问题的解决方法。特别是用于城市照明及美化城市的彩灯的开、关时间智能控制方面，给出了依据当地绝对时间、经度、纬度进行昼夜时间计算的方法，使之在不接光电传感器情况下可跟踪季节的昼夜变化。控制系统采用８９Ｃ２０５１单片机，配有时钟日历芯片ＤＳ１２８８７，系统体积小、功能强、可靠性高。     

实体造型中的几何约束

实体造型是一个基于约束的过程，完成从功能约束到几何约束、再到代数约束的转化而得到实体模型。本文讨论了几何约束的层次性及其表示，并且对几何约束同设计意图的关系进行了研究，提出了基于ＣＳＧ／ＧＣＧ／Ｂ－ｒｅｐ的模型表示。     

计算机集成制造系统（CIMS）国际发展动态

ＣＩＭＳ（计算机集成制造系统）是世界上高技术开发项目之一．ＣＩＭＳ是涉及广泛技术领域的复杂系统，当前的研究课题覆盖了ＣＩＭ中方法学、技术和应用领域的部分内容．本文简要讨论ＣＩＭＳ的国际发展动态．     

基于工作站和EUCLID－IS的计算机组装结构CAD系统研究

随着集成电路技术的发展及计算机性能的不断提高，计算机组装结构设计在计算机，总体设计中的地位越来越重要，它直接影响到计算机性能的提高。本文针对一个基于工作站和ＥＵＣＬＩＤ－ＩＳ软件的电子计算机组结构ＣＡＤ系统，从软、硬件平台，系统功能及实现等方面进行了讨论，旨在为电子计算机组装结构设计提供一种强有力的、方便的设计工具，有利于增强国产计算机的市场竞争能力。     

基于工作站和EUCLID-IS的计算机组装结构CAD系统研究

随着集成电路技术的发展及计算机性能的不断提高，计算机组装结构设计在计算机，总体设计中的地位越来越重要，它直接影响到计算机性能的提高。本文针对一个基于工作站和ＥＵＣＬＩＤ－ＩＳ软件的电子计算机组结构ＣＡＤ系统，从软、硬件平台，系统功能及实现等方面进行了讨论，旨在为电子计算机组装结构设计提供一种强有力的、方便的设计工具，有利于增强国产计算机的市场竞争能力。