煤矿井下UPS电源网络化电池管理系统设计

煤矿井下UPS电源是在煤矿发生突发事件断电情况下,井下监控和生命保障设备持续运行的最后保证。因此针对煤矿井下特殊工作环境及目前相关行业标准,设计一种适合煤矿井下大容量UPS锂电池电源需求的电源管理系统,实现对UPS电源单体电池电压、容量、均衡性等多种参数的实时监测与显示,并将每个单体UPS电源接入到CAN总线网络中,通过总线网络实现对整个井下UPS电源系统的智能管理控制和循环自检。     

煤矿井下备用电源网络化电池管理系统研究

针对目前煤矿井下特殊工作环境及相关行业标准,设计一种适合煤矿井下大容量UPS锂电池电源需求的电源管理系统。实现对电源的单体电池电压、电池组容量、均衡性等多种参数的实时监测与显示,对整个UPS电源系统内所有电池组进行循环容量自检和均衡控制。并且将单体电源通过CAN总线控制,在总线上实现了整个UPS电源管理系统的智能相互管理和控制。该系统提高了整个煤矿井下UPS电源的可靠性和电源使用效率。     

矿用直流不间断电源的设计

设计了一种煤矿井下交换机用直流不间断电源。该不间断电源采用MAX713电源管理芯片对镍镉电池进行智能充电;采用MSP430F147单片机作为微处理器,利用外部中断方式监测矿用交流电的工作状态,当发现矿用交流电不能正常供电时对电路进行切换,启动镍镉电池供电,从而保证交换机持续工作。测试结果表明,该不间断电源具有一定的实用性。     

仿生机器鱼动力电源管理专家系统设计

提出一种基于专家系统控制策略,能监控电池充电、放电并实现电池单元自动切换控制的直流动力电源管理专家系统。该动力电源管理专家系统软件采用模块化设计,硬件采用光电隔离手段。将动力电源管理专家系统应用在SPC3-UUV仿生机器鱼平台上,试验结果表明该系统在机器鱼长航程巡游过程中运行良好,实现了电源的科学管理和实时控制,有效提高了可靠性。     

电台用磷酸铁锂电池管理系统设计

为了满足车载电台对电池电源大容量、运行稳定、使用简单方便等关键要求,结合现有技术提出了一种基于ARM—M0＋内核的电池电源管理系统架构和硬件解决方案。系统以飞思卡尔最新推出的KinetisE系列微处理器为核心,辅以MAX14920芯片对电压进行采集,以高灵活性和高可靠性的方式提供一套电池管理系统方案。整个电池系统采用模块化设计,更换方便。     

基于PIC单片机的电池电量检测系统的设计与研究

国内大多数井下控制系统采用电池供电,由于电池电量的不足可能导致井下控制系统不能正常运行.针对这一问题,文章以高温电池作为检测对象,设计了一种便携式电池电量检测电路.通过对电池的电压进行采集、处理,根据预先采集电池放电参数建立的电量与电压分段线性关系,计算出电池的电池电量,在液晶显示屏上显示电池的剩余电量并报警提示.该控制系统操作简单,具有便携性、精度较高等优点.     

带电池管理系统的矿用不间断电源

矿用不间断电源是为矿井监测和通信系统供电的重要设备。介绍了一种带电池管理系统的矿用不间断电源设计方案。采用集成开关稳压器LM2576构成DC/DC稳压电路,实现多路稳压输出。以20节镍氢电池组作为后备电池,并采用低功耗16位单片机MSP430F149和电池组监控管理芯片LTC6803-3实现了电池组状态监控与管理功能,使电池组保持电压均衡,同时将采集的单体电压、电流、温度等信息显示在LCD12864上。测试结果表明,设计的矿用不间断电源达到了系统要求的各项参数指标。该电源结构简单,电池管理功能全面,运行安全可靠,具有重要的实用意义和推广价值。     

井下锂电池应急后备电源的研制

研制了高性能、高可靠性的井下大容量锂电池应急后备电源。设计了该电源中的隔离稳压电路、本安处理电路、恒流/恒压充电电路和电池管理系统。实验样机的实验结果表明,井下大容量应急后备电源能够满足用电设备的供电要求。     

井下微能量收集装置设计

井下无线传感节点能量有限,可利用能量收集技术将井下环境能量转换为电能为传感节点供电,从而延长无线传感节点生命周期。测试并分析了井下巷道弱光环境下光照强度,结果表明距光源1～2m范围内,光照强度为50～170Lux,符合非晶硅、钙钛矿等光电材料工作范围,因此将井下弱光能量转换为电能具有可行性。采用30cm×40cm非晶硅光伏电池板、BQ25505型电源管理芯片和锂电池设计了一种井下微能量收集装置,可将井下弱光能量转换为电能并存储。针对井下环境能量不连续的特点,设计了能量缓存机制,即采用容量较小的可充电锂电池为能量缓存电池,选用较大固定容量的锂电池为备用电池,当可充电锂电池电压达到设计值时由其供电,当电压不足时切换备用电池供电,确保无线传感节点正常工作。对微能量收集装置进行了实验室及井下测试,结果表明:装置在50Lux以上光照强度条件下即可输出毫瓦级电能;当井下光照强度达到170Lux以上时,装置能够利用转换的能量为低功耗无线传感节点供电,无需启用后备电池;当光照强度未达到170Lux时,能量缓存机制协调可充电锂电池和备用电池为无线传感节点供电,有效提高了节点生命周期。     

新型低功耗红外数据采集器的设计与实现

提出了一种适用于煤矿井下的新型低功耗红外数据采集器的设计方案,详细阐述了该数据采集器的工作原理、硬件电路设计、软件设计及低功耗工作方式等。该采集器选用低功耗的微控制器、液晶显示器及电源管理芯片,成功地降低了整体功耗,延长了电池的使用寿命。实验结果表明,在待机状态下,整机工作电流不大于44μA。     

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.