基于前向推理的平面解析几何自动推理系统研究与实现

采用传统的前向推理策略，使用了代数和几何相结合的推理方法，把解方程作为核心思想，较完善地实现了平面解析几何的自动推理系统。实践证明，本系统可以对大部分初等平面解析几何问题进行自动解题。     

面向对象数字电路知识库系统的研究

面对学习者对数字电路问题的辅导要求，研究了面向对象的数字电路知识库系统。该系统以问题自动求解模块的工作为核心，在提供正确解题过程、诊断学习者解题行为、对学习者的解题错误给出恰当辅导、问题的类别信息提取等方面取得了满意的效果。     

图形检索系统的设计与实现

随着信息技术和计算机的普及,如何更有效的利用这些技术来推动教育的发展引起了人们的普遍关注。本文以中学数学教育为切入点,设计并实现了一种图形检索系统,模拟计算机自动推理的方式智能化解题系统,并探讨了系统实现过程中的数据存储、动态作图、数据检索等关键技术。     

区域自动站常见故障维护及分析

区域自动站的广泛布设，为气象预报预警和防灾减灾起了重要作用，经过多年的自动站维护工作，分析总结自动站常见故障、判断处理以及维护过程中需要注意的事项，希望能为维护人员提供一些参考和借鉴。     

汉语自动分词专家系统的设计与实现

本文介绍了自动分词专家系统的设计思想和系统结构，并给出了自动分词专家系统知识库的组织与实现方法，以及推理机制的建立和自动分词过程。     

组态软件WinCC在自动监控系统中的应用

本文针对某厂回转窑，介绍了自动监控系统的软硬件构成，分析了WinCC与PLC之间的通讯机制，并对利用组态软件WinCC设计自动监控程序的方法以及开发过程中遇到的问题和解决途径进行了讨论。     

基于BCB的文档自动生成技术

文档自动生成技术是办公自动化系统中的核心技术之一,本文针对文档自动生成技术中的五个要点即Word的动态连接、图形的自动加载、文字的自动生成、表格的自动生成和框图的自动构建,着重介绍了在Borland C Builder(BCB)编译环境下编程实现的详细过程,并给出了一个具体应用实例.     

母管制并列运行锅炉负荷自动分配简明算法

介绍了母管制并联运行锅炉微机控制系统在突发停炉的非常工况下，动态负荷自动再分配的原理与基本算法。举例说明了自动再分配的实际过程。此方案原理简单，公式明确，在非常工况下自动应急处理事故，较为适用     

基于Agent的文本分类系统

信息检索的一个核心问题是自动文本分类。基于分类体系的文本分类需要全文抽取主题词、计算权重，再根据分类体系对文献进行分类。文中构建一种基于Agent技术的文本自动分类系统。仅需要对文档头进行信息处理就可以进行快速文本分类，有效地减少了文本分类过程中的时间和空间的消耗。     

基于SVM的地理试题自动分类

本文针对地理课程自动解题,采用SVM学习算法实现地理试题自动分类。通过采用TFIDF技术提取地理试题文本中的特征关键词,并选取LibSVM中的Linear核函数进行训练,以构建用于地理试题分类的预测模型。在所收集的地理试题集上的实验结果表明,在22个试题类别上的单类分类精度达到80%以上,整体分类精度也达到了87%。     

一种基于配置管理环境的自动测试定位系统

一个建立了配置管理环境的开发团队,可以进行使用版本定位调试方法来调试软件。文章所探讨的自动测试定位系统可以自动化该过程。设计该系统首先要构造可疑版本的集合,然后以此集合为输入,求解出维数不固定的笛卡尔积。利用该结果进行自动测试,确定引起错误的最小版本集合。版本分组和多测试包测试的手段可以进一步提高该系统的可用性。该系统有助于软件开发团队进行迭代增量式的开发。     

通讯电台整机指标自动测试方法研究

基于某机载通讯电台若干整机指标的具体测试方法,归纳提取了电台整机指标测试的基本动作语义集合;测试实施者的测试意图可以描述为这些语义的排列组合;通过软件体系中的解释模块将这些语义描述的测试意图转换为真正的计算机语言并执行;实践证明,在对仪器进行精度校准、通道进行衰减补偿的基础上,测量结果满足电台指标精度技术要求。     

基于Windows NT的高速大容量数据接收与存储系统

高速连续数据实时接受与存储系统广泛应用于各个领域。基于WindowsNT开发此类系统具有诸多优点,但操作系统非实时性特性会严重影响整个系统的效率。该文从提高效率的目标出发,首先分析了哪些非实时特性会制约高速数据的接收和存储。随后从操作系统的IO管理、文件系统、内存管理、驱动程序等多方面入手,着重介绍如何减少非实时性的影响。同时给出了整个系统(应用程序+驱动程序)的体系结构及设计思路。最后针对笔者设计的系统给出了实验结果和性能评价。     

Using surrogate models and response surfaces in structural optimization – with application to crashworthiness design and sheet metal forming

The aim of this paper is to determine if the Space Mapping technique using surrogate models together with response surfaces is useful in the optimization of crashworthiness and sheet metal forming. In addition, the efficiency of optimization using Space Mapping will be compared to traditional structural optimization using the Response Surface Methodology (RSM). Five examples are used to study the algorithm: one optimization of an analytic function and four structural optimization problems. All examples are constrained optimization problems. In all examples, the algorithm converged to an improved design with all constraints fulfilled, even when a conventional RSM optimization failed to converge. For the crashworthiness design problems, the total computing time for convergence was reduced by 53% using Space Mapping compared to conventional RSM. For the sheet metal forming problems the total computing time was reduced by 63%. The conclusions are that optimization using Space Mapping and surrogate models can be used for optimization in crashworthiness design and sheet metal forming applications with a significant reduction in computing time.     

电动舵机自动测试系统的设计与实现

结合某系列并联电动舵机的特性,介绍了舵机自动测试系统的硬件组成、功能测试项目和软件结构,分析了自动测试系统的主要技术特点,并重点阐述了系统开发过程中关注的几点问题.使用结果表明:该系统功能强大,可靠性高,满足设计要求.     

Radial basis functions method for parabolic inverse problem

The radial basis functions (RBFs) method is employed to handle a class of multi-dimensional parabolic inverse problems. Because they are not modelled by classical parabolic initial-boundary value problems, theoretical behaviour and numerical approximation of these problems have been active areas of research. Based on the idea of RBF approximation, a fast and highly accurate meshless method is developed for solving an inverse problem with a control parameter. Moreover, with the meshless property, it can be used to handle multi-dimensional parabolic inverse problems defined on very complicated geometries.     

用于差动电容传感器的高分辨率电路的研究

本文提出了一种用于差动电容传感器的电路 ,采用弱信号检测技术 ,将被测微小电容变化量转换成直流电压信号 .输出电压与差动电容变化量成线性关系 ,经过单片机处理后能自动补偿偏差电容和电路的漂移 .实验表明 ,最小被测电容变化量可达 8f F,灵敏度可达 3.82× 10 1 1 V/ F.实验结果和理论分析具有良好的一致性     

某型航空发动机传感器通道标定系统设计

航空发动机状态监测系统是发动机地面试车的重要组成部分,由于状态监测系统中需要采集的参数很多,定期手工检测每一条数字通道和模拟通道的完好性和通道特性是一项工作量很大的工程;利用参数估计和假设检验的方法,设计了一套传感器通道标定系统,用以完成检测通道的特性和完好性;测试结果表明,该系统具有测试精度高、可靠性好、易操作等特点;此外也可推广应用于航空发动机之外的其它状态监测系统。     

Sparse distributed fuzzy inference systems

The sparse distributed architecture described would be shown to function effectively as a fuzzy inference system giving essentially the same results as conventional techniques. However, whereas the conventional model reaches a glass ceiling as the order of target systems increases due to computer architectural limitations, this design is able to surpass this limit. It uses the same principles of max–min composition to solve inference problems, and comprises fuzzy sets that can encode a level of linguistic expression typical of such systems. It however expresses fuzzy sets differently, and performs the required computation in a manner suitable to the alternative representation. It may seem a rather complicated solution for low order problems (which it is) with the situation reversing itself for high order problems, the conventional solution being complicated if not impossible and the new architecture simple. The limitation, errors and performance of the new method when compared to the conventional method is documented and quantified by software written to model the two representations considered.     

A biased random key genetic algorithm for open dimension nesting problems using no-fit raster

We consider two NP-hard open dimension nesting problems for which a set of items has to be packed without overlapping into a two-dimensional bin in order to minimize one or both dimensions of this bin. These problems are faced by real-life applications, such as textile, footwear and automotive industries. Therefore, there is a need for specialized systems to help in a decision making process. Bearing this in mind, we derive new concepts as the no-fit raster, which can be used to check overlapping between any two-dimensional generic-shaped items. We also use a biased random key genetic algorithm to determine the sequence in which items are packed. Once the sequence of items is determined, we propose two heuristics based on bottom-left moves and the no-fit raster concept, which are in turn used to arrange these items into the given bin observing the objective criteria. As far as we know, the problem with two-open dimensions is being solved for the first time in the context of nesting problems and we present the first whole quadratic model for this problem. Computational experiments conducted on benchmark instances from the literature (some from the textile industry and others including circles, convex, and non-convex polygons) show the competitiveness of the approaches developed as they were able to calculate the best results for 74.14% of the instances. It can be observed that these results show new directions in terms of solving nesting problems whereby approaches can be coupled in existing intelligent systems to support decision makers in this field.