Topology,randomness and noise in process calculus

Formal models of communicating and concurrent systems are one of the most important topics in formal methods, and process calculus is one of the most successful formal models of communicating and concurrent systems. In the previous works, the author systematically studied topology in process calculus, probabilistic process calculus and pi-calculus with noisy channels in order to describe approximate behaviors of communicating and concurrent systems as well as randomness and noise in them. This article is a brief survey of these works.     

Heaviside's operational calculus: Oliver's revenge

The Heaviside operational calculus is rigorously developed from general linear system considerations. This approach is abstract, yet quite simple and allows the most general results to be reached. Both stable and nonstable linear systems are considered but the stable single input-output systems are emphasized, as they are of primary interest. Extension to multivariate systems is immediate     

Heaviside's operational calculus applied to electrical circuitproblems

Heaviside's operational calculus approach is compared with the one-sided Laplace transform method augmented with distribution theory analysis as applied to electrical circuit problems. It is seen that there is a high degree of commonality to these methods, but also several significant problem-solving and pedagogical advantages to Heaviside's method. In particular, the Heaviside operational calculus is better physically motivated, conceptually parallel to the well-established complex sinusoidal circuit analysis (the jw method), and less mathematically intricate, and may with ease also handle initial value problems. Moreover, the mathematical theory of the impulse or δ( t) function, defined as the convolution identity and developed using Heaviside's operational approach, compares very favorably with the quite extensive mathematical machinery of the theory of distributions     

关于积分学基本公式的推广

积分学基本公式是计算定积分的一个重要公式，但它的使用条件较为苛刻，本文利用勒贝格测度，将定理的条件进行了改进，得到了定理3，并说明了定理3已不能再推广。     

Looking back [Ernst Berg ideas on Heavyside's calculus]

Quite recently, in a major American journal on electrical engineering education, a rather forceful suggestion was made for (re)integrating Heaviside's operational calculus in the training of electrical engineers. The author stressed the better physical motivation of this method, its conceptual parallelism to the well-known complex number method in AC circuit analysis, less mathematical intricacy and the particular appropriateness to initial value problems. In the light of this proposal, it might merit some interest to look at the “first wave” of the revival of Heaviside's calculus some 70 years ago     

主变差动保护装置内部二次电流归算方法分析

以南瑞典型差动保护装置为倒,对主变差动保护装置内部二次电流归算方法进行了细致的分析.     

数据采集与高级处理技术

针对数据采集与数据处理的需要,本文介绍了如何用汇编语言程序进行数据采集,将数据转换成EXCEL所要求的输入文件格式,再用EXCEL进行数据处理,实现采集数据的表格化和图形化等高级处理,解决了汇编语言与EXCEL的接口问题,给出了实例。     

盐炉的启动技术

在试验盐炉各种启动技术的基础上,研制了与以往启动装置完全不同的石墨启动电极,实践证明,它具有寿命长、操作方便、制造容易、成本低、易于维修等特点,为盐炉启动技术的发展,提供了新的途径。     

Using least-mean-square-approximation technique in filter design

The applications of the least-mean-square-approximation technique to filter synthesis are discussed, and explicit expressions for the characteristic function of all-pole lowpass filters are derived using a weighted least mean-square error norm. The weight function depends on one variable parameter which controls the shape of the magnitude response both in the passband and in the stopband. It is shown that most of the filter functions in common use are special cases of this approximation procedure, including Legendre monotonic passband filters as a limiting, degenerate case. Also, a useful generalization of Legendre filter functions is proposed.     

Image compression technique

Digital images generally contain significant amounts of spatial and spectral redundancy. Spatial redundancy is due to the correlation between neighboring pixel values, and spectral redundancy is due to the correlation between different color planes. Image compression (coding) techniques reduce the number of bits required to represent an image by taking advantage of these redundancies. An inverse process called decompression (decoding) is applied to the compressed data to get the reconstructed image. The objective of compression is to reduce the number of bits as much as possible, while keeping the resolution and the visual quality of the reconstructed image as close to the original image as possible. This article gives an overview of the major image compression techniques. The decoding steps for most of the coding schemes are quite intuitive and are usually the reverse of the encoding steps     

SG pushes innovation in UHV construction technique

In order to support and smoothly complete the UHVAC experiment and demonstration projects, the State Grid Corporation (SG) arranged various researches on engineering management and construction technique innovation in advance. At present twenty research subjects have been formed in six categories including advanced techniques, construction technologies, equipment and implements, safety devices, standards and regulations, as well as management innovations. On November 11, SG held a report- back meeting on technical innovation of UHV construction. On the meeting, relevant research subjects were summarized and discussed, and the tasks for next procedure were also arranged.     

Past and present - Fractional calculus: A mathematical tool from the past for present engineers

The article gives the historical background and a brief introduction to fractional calculus. An overview of fractional calculus was also given as well as its potential applications. Examples of complex system modeled by means of fractional calculus was given.     

负载牵引测量技术

本文介绍一种新的微波功率器件测量装置——负载牵引测量系统,并与传统测量装置进行比较;给出了测量系统原理框图和关键部件——程控调配器的结构及其主要技术指标。     

循环伏安法在铅酸蓄电池中的应用

给出循环伏安法的基本原理,即一个由氧化还原电极对组成的体系,若对它施加一个随时间作线性函数变化的电势,当高于该体系的平衡电势时,就产生氧化电流响应;当低于平衡电势时就产生还原电流响应。由于反应物质扩散缓慢,供不上反应的需要,或产物积叠,于是分别形成氧化和还原的电流峰及其对应的峰电势。阳极峰电流、阴极峰电流及阴阳极峰电势之间存在某种关系,利用这些关系及它们与扫描速度之间的关系,可以揭示出电极反应机理的信息。文中给出4个应用例子:1)正极板栅合金:纯Pb;Pb Sb;Pb Sn;2)负极添加剂的评估;3)正极添加剂的评估;4)前置的化学反应机理。     

分布式发电系统中的人工智能技术

总结分布式发电系统运行于孤立模式和并网模式时需要考虑的主要问题,全面综述多代理系统(MAS)、人工神经网络(ANN)、遗传算法(GA)和模糊逻辑(FL)等典型人工智能技术在分布式发电系统中应用情况及国内外的研究现状,分析并指出各种方法在应用中存在的问题和解决思路.提出一种基于高速配电网通信技术(PLC)和Mu lti-agent技术的网络化分布式发电系统协调控制系统方案.     

软测量技术及其在装备检测中的应用

软测量技术是一门新兴技术,在工业过程分析、变量测试计量、控制优化等理论和实践中取得了较好的效果。论文在简述软测量技术原理的基础上,从辅助变量的选择、过程数据处理、软测量模型建立和在线校正四个方面介绍软测量技术包含的主要内容和主要实现方法。论文结合武器装备的特点,通过对某自行高炮伺服电机转速与控制电压比例系数的估计来说明软测量技术的应用方法和过程。最后,论文对软测量技术的发展现状和存在的问题进行了总结。