自动装弹机电控系统故障诊断专家系统

基于神经网络的自动装弹机电控系统故障诊断专家系统不但可以对自动装弹机电控系统进行故障检测,而且可以对程序控制盒进行试验,以考核程控盒的技术状况;该系统从自动装弹机的电气控制系统出发,以人机交互的方式,直观地帮助用户进行系统的故障检测和故障诊断,并给出了软件的部分界面以及诊断结果,验证了系统的可行性;根据专家系统与神经网络的结合方式,建立了基于神经网络的故障诊断专家系统(NNES)的模型及系统各组成部分的结构和设计方法。     

装载机远程服务与故障诊断系统研究

通过分析网络化环境下装载机远程服务与故障诊断系统的特点,在此基础上提出该系统的结构,并使用BP神经网络进行装载机的故障诊断,阐述了基于BP神经网络和专家系统混合的神经网络故障诊断专家系统的基本原理。最后分析了基于EJB的装载机远程服务与故障诊断系统的软件实现方法。     

高瓦斯矿井双局扇系统故障诊断方法的研究

针对现有故障诊断方法及其局限性,文章提出了基于粗糙集神经网络的故障诊断专家系统模型,并将该模型应用于高瓦斯矿井双局扇系统的故障诊断中。重点阐述了基于粗糙集神经网络的高瓦斯矿井双局扇故障诊断专家系统的结构及各功能模块的设计,讨论了知识获取模块和神经网络知识库等关键技术,最后详细给出了系统的仿真结果。     

基于模糊神经网络的导弹故障诊断专家系统

为了实现对导弹测发控系统的故障诊断,研究了模糊神经网络理论与算法,以及和专家系统的结合方式;综合神经网络、专家系统和模糊逻辑的各自优点和特点,提出了构建基于模糊神经网络的故障诊断专家系统的基本原则,并给出了一种构建方法;通过将传统的专家系统技术与模糊神经网络技术相融合,文中构造了某型导弹测发控系统智能故障诊断系统,验证了方案的可行性,为类似系统的进一步实现进行了有益的探索。     

基于神经网络的异步电动机故障诊断专家系统的研究

针对传统的专家系统在对异步电动机进行故障诊断时知识获取困难且无法解决新故障的问题,提出了一种基于神经网络的异步电动机故障诊断专家系统的设计方案,给出了系统结构及神经网络模型设计。仿真结果表明,该系统能够很好地结合专家系统与神经网络的优势,达到了异步电动机故障诊断的预期目标。     

基于故障树的梭式窑故障诊断专家系统*

为实现对梭式窑运行异常特别是燃烧异常的故障检测和定位,研究并设计了一种基于故障树的故障诊断专家系统。首先给出梭式窑故障诊断专家系统的形式化定义,进而详细分析并设计了专家系统的各个组成部分;最后重点介绍使用故障树来设计知识库的原理与方法,以及使用故障树来进行故障诊断推理的算法。工程实践表明,该系统知识模型适应性好,使用简单方便,故障诊断结果可靠稳定。     

基于知识和神经网络相结合的实时故障诊断专家系统

以钢厂冷轧生产线为对象，介绍如何将神经网络方法与传统的专家系统方法复合在一起，更好地解决故障诊断。具体介绍了系统的框架设计，神经网络的设计研究，并举例了说明了神经网络故障诊断的推理过程。     

基于SOM算法和免疫神经网络的飞机燃油系统故障诊断

针对传统的飞机燃油系统故障诊断方法如硬件冗余方法和系统模型检测方法存在的飞机重量限制和难以建立精确数学模型的问题,设计了一种基于SOM算法和BP神经网络的故障诊断模型;首先,建立了系统故障诊断模型并对诊断原理进行了描述,然后,对故障征兆数据进行预处理,即先采用SOM算法进行连续属性离散化处理,再通过粗糙集互信息方法进行属性降维,以减少数据量和提高诊断效率;最后,建立了基于BP神经网络的故障诊断模型,为了进一步提高故障诊断精度,在采用免疫优化算法对BP神经网络故障诊断模型中的各参数即权值和阈值等进行优化的基础上,进一步采用BP反向传播算法进行参数调整,从而得到最终的故障诊断模型。通过飞机燃油系统故障诊断实例仿真实验证明了文中方法能较为精确地实现故障诊断,且与其它方法相比,具有较高的诊断精度和诊断效率,具有较大的优越性。     

牵引电机故障诊断专家系统的研究

为提高牵引电机状态异常和故障诊断的能力,设计了以DSPTMS320LF2407A为核心、以专家系统为基础的智能综合测试及故障诊断专家系统;具体给出了专家系统理论及系统的设计方法,提出了基于专家知识库、诊断推理及知识获取机制的诊断方法;完成专家系统知识库的构建和推理机的设计,能较好地完成牵引电机的检测与诊断的要求,为牵引电机故障诊断提供了一种先进的诊断方法,为铁路机车的安全运行提供了可靠技术保障.     

基于多Agent的坦克故障诊断专家系统的设计

以信息技术为核心的高技术群的发展,对装备维修的方法和效率提出了更高的要求.为提高装备故障诊断效率,缩短维修时间,该文以主战坦克为研究对象设计了一种基于多Agent的故障诊断专家系统.该系统按照坦克结构划分,为每一个独立的功能模块构造相应的诊断Agent,每个Agent内部采用基于案例、基于规则、基于神经网络的三层推理方法进行推理决策,然后采用集中式方案对各Agent进行集成.该方法构建的故障诊断专家系统具有通用性和实用性.     

Only connect: teaching, technology and telesis

Abstract This paper describes an approach to the design of interactive multimedia materials being developed in a European Community project. The developmental process is seen as a dialogue between technologists and teachers. This dialogue is often problematic because of the differences in training, experience and culture between them. Conditions needed for fruitful dialogue are described and the generic model for learning design used in the project is explained.     

European Community policy and the market

Abstract This paper starts with some reflections on the policy considerations and priorities which are shaping European Commission (EC) research programmes. Then it attempts to position the current projects which seek to capitalise on information and communications technologies for learning in relation to these priorities and the apparent realities of the marketplace. It concludes that while there are grounds to be optimistic about the contribution EC programmes can make to the efficiency and standard of education and training, they are still too technology driven.     

一种自适应子融合集成多分类器方法

融合集成方法已经广泛应用在模式识别领域,然而一些基分类器实时性能稳定性较差,导致多分类器融合性能差,针对上述问题本文提出了一种新的基于多分类器的子融合集成分类器系统。该方法考虑在度量层融合层次之上通过对各类基多分类器进行动态选择,票数最多的类别作为融合系统中对特征向量识别的类别,构成一种新的自适应子融合集成分类器方法。实验表明,该方法比传统的分类器以及分类融合方法识别准确率明显更高,具有更好的鲁棒性。     

Avoiding semantic and temporal gaps in developing software intensive systems

Development of software intensive systems (systems) in practice involves a series of self-contained phases for the lifecycle of a system. Semantic and temporal gaps, which occur among phases and among developer disciplines within and across phases, hinder the ongoing development of a system because of the interdependencies among phases and among disciplines. Such gaps are magnified among systems that are developed at different times by different development teams, which may limit reuse of artifacts of systems development and interoperability among the systems. This article discusses such gaps and a systems development process for avoiding them.     

Designing economic np control charts: A programmed simulation approach

This paper presents control charts models and the necessary simulation software for the location of economic values of the control parameters. The simulation program is written in FORTRAN, requires only 10K of main storage, and can run on most mini and micro computers. Two models are presented - one describes the process when it is operating at full capacity and the other when the process is operating under capacity. The models allow the product quality to deteriorate to a further level before an existing out-of-control state is detected, and they can also be used in situations where no prior knowledge exists of the out-of-control causes and the resulting proportion defectives.     

The development of robot art

Going through a few examples of robot artists who are recognized worldwide, we try to analyze the deepest meaning of what is called “robot art” and the related art field definition. We also try to highlight its well-marked borders, such as kinetic sculptures, kinetic art, cyber art, and cyberpunk. A brief excursion into the importance of the context, the message, and its semiotics is also provided, case by case, together with a few hints on the history of this discipline in the light of an artistic perspective. Therefore, the aim of this article is to try to summarize the main characteristics that might classify robot art as a unique and innovative discipline, and to track down some of the principles by which a robotic artifact can or cannot be considered an art piece in terms of social, cultural, and strictly artistic interest. This work was presented in part at the 13th International Symposium on Artificial Life and Robotics, Oita, Japan, January 31–February 2, 2008     

Explanation and prediction: an architecture for default and abductive reasoning

Although there are many arguments that logic is an appropriate tool for artificial intelligence, there has been a perceived problem with the monotonicity of classical logic. This paper elaborates on the idea that reasoning should be viewed as theory formation where logic tells us the consequences of our assumptions. The two activities of predicting what is expected to be true and explaining observations are considered in a simple theory formation framework. Properties of each activity are discussed, along with a number of proposals as to what should be predicted or accepted as reasonable explanations. An architecture is proposed to combine explanation and prediction into one coherent framework. Algorithms used to implement the system as well as examples from a running implementation are given.     

Three Process Perspectives: Organizations, Teams, and People

This paper provides the author's personal views and perspectives on software process improvement. Starting with his first work on technology assessment in IBM over 20 years ago, Watts Humphrey describes the process improvement work he has been directly involved in. This includes the development of the early process assessment methods, the original design of the CMM, and the introduction of the Personal Software Process (PSP)^SM and Team Software Process (TSP){^SM}. In addition to describing the original motivation for this work, the author also reviews many of the problems he and his associates encountered and why they solved them the way they did. He also comments on the outstanding issues and likely directions for future work. Finally, this work has built on the experiences and contributions of many people. Mr. Humphrey only describes work that he was personally involved in and he names many of the key contributors. However, so many people have been involved in this work that a full list of the important participants would be impractical.     

基于复小波噪声方差显著修正的SAR图像去噪

提出了一种基于复小波域统计建模与噪声方差估计显著性修正相结合的合成孔径雷达(Synthetic Aperture Radar,SAR)图像斑点噪声滤波方法。该方法首先通过对数变换将乘性噪声模型转化为加性噪声模型,然后对变换后的图像进行双树复小波变换(Dualtree Complex Wavelet Transform,DCWT),并对复数小波系数的统计分布进行建模。在此先验分布的基础上,通过运用贝叶斯估计方法从含噪系数中恢复原始系数,达到滤除噪声的目的。实验结果表明该方法在去除噪声的同时保留了图像的细节信息,取得了很好的降噪效果。     

How do children do mathematics with LOGO?

Abstract  This paper considers some results of a study designed to investigate the kinds of mathematical activity undertaken by children (aged between 8 and 11) as they learned to program in LOGO. A model of learning modes is proposed, which attempts to describe the ways in which children used and acquired understanding of the programming/mathematical concepts involved. The remainder of the paper is concerned with discussing the validity and limitations of the model, and its implications for further research and curriculum development.