SOPC技术在电力机车改造中的应用

简要介绍韶山3型4000系电力机车有触点控制的弊端和无触点逻辑控制模块LCM的基本原理;按照机车控制电路功能,设计出符合标准接口规范的专用IP;基于SOPC的设计思想,利用SOPC Builder在1片FPGA上集成了32位NiosⅡ微处理器、逻辑控制单元IP、CAN总线控制器IP及一些必需的外围组件,给出逻辑控制模块的设计实现方案.     

模糊Petri网在8K电力机车LCU故障诊断中的应用

首先引入模糊Petri网的结构和定义,分析了8K电力机车逻辑控制单元(LCU)发生故障的主要原因,总结了3种常见故障;针对LCU故障并发的特点,建立了模糊产生式规则与Petri网推理技术相结合的常开触点和常闭触点两个故障诊断模型,利用其具有较好的并行处理能力及容错性,实现了对8K电力机车LCU的模糊故障的推理;结果表明该模型具有快捷、准确的特点,展现出较强的实用性;8K电力机车LCU的故障综合测试系统已在湖东电力机务段投入使用,提高了工作效率,保证了8K电力机车的安全运行。     

8K电力机车万吨重联故障诊断系统的设计与实现

通过对8K电力机车万吨重联故障诊断系统的整体结构的分析,在对8K电力机车进行无触点改造之后,实现了以逻辑控制单元（LCU）和车载计算机为核心、以485通信总线和232通信总线为纽带的8K电力机车万吨重联故障诊断系统的设计;系统集机车运行状态显示、故障分析和诊断、故障信息转储与地面分析等功能为一体,给出了8K电力机车万吨重联故障诊断系统的网络结构、机车信息采集与状态显示、机车故障诊断与分析、机车信息转储与地面分析,并详细论述了系统机车重联网卡的设计与实现、系统通信管理等方面的内容;8K电力机车万吨重联故障诊断系统已在大同西电力机务段的2号和4号8K四节重联电力机车上成功试运行。     

重载电力机车制动控制单元的研究

介绍了大功率交流传动货运电力机车微机网络控制系统的结构和特点,对基于WorldFIP现场总线的传输模式作了研究,描述了微机网络各控制单元的功能,并概述了制动控制单元的工作原理,搭建实验通信平台,模拟机车的制动网络控制系统。     

基于虚拟样机与二型模糊系统的机车粘着控制

为了抑制轮对空转,并使轮轨间的粘着处于极限状态,需要开发基于虚拟样机和现代控制理论的机车粘着控制技术。组建了包括电力机车多刚体动力学模型、电力牵引传动系统和控制系统的仿真平台。针对电力机车牵引系统的强非线性和不确定性,引入二型模糊逻辑以实现机车粘着控制。仿真结果表明,在该仿真平台上能够成功实现基于二型模糊系统的粘着控制,并且能够较好地抑制空转现象,实现优化粘着控制。     

基于FIP网络的电力机车牵引网络通信模块的研究

主要以基于FIP网络的电力机车作为研究对象,通过对电力机车的FIP网络和在其网络控制下的牵引控制单元(TCU)进行研究,搭建DDU半实物开发平台,开发平台由两台PC机加上相应的FIP网卡模拟机车上的MPU、TCU并和DDU实物组成FIP网络,从而实现整个机车的牵引通信模块的控制功能.     

基于模型设计的列车网络控制逻辑开发研究

现代轨道交通列车控制系统的结构日益复杂,针对目前列车网络控制逻辑开发中存在复杂度和开发难度大的问题,详细研究了基于模型设计高效率开发列车控制单元逻辑软件的方法。通过创建技术需求规范、生成定点模型、自动生成产品级软件代码和持续不断的测试及验证,实现了机车辅助变流器负载控制逻辑的开发。离线仿真试验和地面联调试验结果表明本方法可实现机车辅助变流器负载分配规则和逻辑需求,证明了基于模型设计方法在整车控制单元软件开发工程应用中的有效性和可行性,为轨道交通列车其他控制单元的软件高效率开发提供参考。     

基于PLC的电力机车整备作业控制系统设计与实现

结合国内电力机车整备作业中存在的问题及作业现场的控制要求,分析了电力机车整备作业安全监控过程中设备控制系统的功能需求。划分了电力机车整备作业安全监控系统的软硬件模块,结合计算机网络通讯技术、现场总线技术、PLC控制技术等,设计了集中管理、分布式控制网络结构和PROFIBUS-DP总线网络控制系统。实现了电力机车整备作业安全监控系统自动化、信息化的管理与控制。工程实践表明,该系统能很好满足电力机车整备作业现场控制要求。     

工作流运行控制技术的研究

对如何实现工作流运动的可靠、有效控制进行了较深入研究,提出了工作流引擎的运行控制单元模型,分析了实现运动控制的关键技术,其中包括了逻辑控制、规则控制和单元控制等。     

FT1500A主板上电时序控制的设计与实现

研究了一种基于国产处理器FT1500A的主板的上电时序控制方法。硬件部分采用Altera可编程逻辑控制器EPM240作为控制单元,采用电源模块LTM4627实现电源的使能控制与稳定检测;软件部分在Quartus平台上使用VHDL语言,利用统计可编程逻辑控制器的时钟脉冲的方式实现了延时控制,利用控制器内部的逻辑单元实现了电源模块的使能控制。最后利用示波器的单次触发功能验证了设计的正确性和可靠性。     

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),并对复数小波系数的统计分布进行建模。在此先验分布的基础上,通过运用贝叶斯估计方法从含噪系数中恢复原始系数,达到滤除噪声的目的。实验结果表明该方法在去除噪声的同时保留了图像的细节信息,取得了很好的降噪效果。     

基于QTE的蒙古文显示机制研究与实现

蒙古语言是中国蒙古族使用的通用语言,由于蒙古文区别于其他文字的书写方式和其自身变形机制等特点,在很多通用的文字处理引擎中都不被支持。在嵌入式产品开发与应用领域中Linux加QTE已经成为流行方式。该文给出了一种在QTE环境上实现基于标准Unicode的蒙古文点阵显示和变形算法, 并自定义了支持蒙古文的QTE组件,扩展了QTE功能,为在Linux加QTE方式的嵌入式体系结构中处理蒙古文提供了一种解决方法。