形式化语言在UMTS开发中的应用

由于3G协议规范的复杂性，3GPP方法论指导方针中鼓励使用标准的形式化语言来进行UMTS产品的设计、开发与测试。文中概要性地描述了UMTS的体系结构和在规范描述中用到的一些形式化语言的基本概念和特点，探讨了这些形式化语言在UMTS开发中的应用。使用形式化语言开发UMTS可以简化和改进测试程序，实现新产品与新标准的同步推出。     

HIGHER ORDER MOMENTS OF SAMPLE AUTOCOVARIANCES AND SAMPLE AUTOCORRELATIONS FROM AN INDEPENDENT TIME SERIES

Abstract. Given length- n sampled time series, generated by an independent distributed process, in this paper we treat the problem of determining the greatest order, in n , that moments of the sample autocovariances and sample autocorrelations can attain. For the sample autocovariance moments, we achieve quite general results; but, for the autocorrelation moments, we restrict study to Gaussian white noise (normal, independent and identically distributed). Our main theorem relates to the cross-moments of the non-centred sample autocovariances, but we also establish a relation between these and the corresponding moments for the centred sample autocovariances.     

Event-driven,pattern-based methodology for cost-effective development of standardized personal health devices

Experiences applying standards in personal health devices (PHDs) show an inherent trade-off between interoperability and costs (in terms of processing load and development time). Therefore, reducing hardware and software costs as well as time-to-market is crucial for standards adoption. The ISO/IEEE11073 PHD family of standards (also referred to as X73PHD) provides interoperable communication between PHDs and aggregators. Nevertheless, the responsibility of achieving inexpensive implementations of X73PHD in limited resource microcontrollers falls directly on the developer. Hence, the authors previously presented a methodology based on patterns to implement X73-compliant PHDs into devices with low-voltage low-power constraints. That version was based on multitasking, which required additional features and resources. This paper therefore presents an event-driven evolution of the patterns-based methodology for cost-effective development of standardized PHDs. The results of comparing between the two versions showed that the mean values of decrease in memory consumption and cycles of latency are 11.59% and 45.95%, respectively. In addition, several enhancements in terms of cost-effectiveness and development time can be derived from the new version of the methodology. Therefore, the new approach could help in producing cost-effective X73-compliant PHDs, which in turn could foster the adoption of standards.     

基于CORDIC算法的360°角度传感器的设计

一维霍尔板型角度传感器无法测量0～360°的角度,采用4个霍尔器件的联合测角技术和CORDIC算法可实现0～360°范围内的角度测量。文章详细描述了4个霍尔器件联合测角技术的测角原理及实现算法,并引入了符号幅值表示法,即先利用正弦和余弦的幅值进行0°～90°范围内的反正切CORDIC运算,再根据正弦和余弦正负号(符号)的不同组合实现角度从0°～90°到0°～360°的映射。Modelsim平台仿真验证了该方法的准确度和精度,仿真误差小于0.01%,实测总误差不大于0.05°。     

含高渗透率风电的配电网暂态电压量化评估方法

随着配电网中分布式风电渗透率的增加,评估影响电网暂态电压稳定性的各有关因素变得尤为重要,而评估暂态电压稳定性的现有指标在具有多暂态特性的场景下无法适用。首先介绍多二元表判据的评估思想,针对电压跌落情形,提出一种母线电压跌落安全裕度指标。其次,进一步构建母线过电压安全裕度指标,通过引入阶跃因子将两者指标有效结合,得到基于改进多二元表的母线暂态电压安全裕度指标。再次,提出区域暂态电压安全裕度指标来衡量某区域的暂态电压稳定性。最后,基于所提指标,利用Matlab/Simulink对含高渗透率风电的配电网进行仿真分析,在量化影响配电网暂态电压稳定性各因素的同时,验证了该指标的有效性和普适性。     

表达式与二叉树的相互转换

数学表达式、栈的操作、二又树的遍历,这几个概念在数据结构的教材中是不可缺少的。数学表达式求值是程序设计语言编译中的一个最基本问题,也是栈应用的一个典型例子,用它来研制出各种类型的电子计算器（前缀计算器、中缀计算器（常见的计算器）、后缀计算器）。在数据结构中没有解决表达式与二又树之间的相互转换关系,也就是说不能由一种表达式迅速地得到另外的两种表达式,也就难于解决其他两种计算器的研制过程。本文旨在研究表达式与二叉树间的相互转换关系,便于由一种表达式（或表达式树）迅速求出其他的表达式,再通过栈的应用（操作）研制出三种不同的计算器（栈的应用在数据结构的教材中都有,在此文中不予介绍）。     

On the ambiguation of Polish notation

In this paper we study an alternative way of treating Polish notation. Instead of proving unique reading for a well-behaved set of terms, we interpret any string of the alphabet in a monoid that extends, in a specifiable sense, the given algebra of functions.     

位数随机的有效数字自动运算算法

针对物理实验数据的自动处理,提出一种位数随机的有效数字自动运算算法,包括有效数字运算结果的科学记数表示算法、有效位数的取舍算法、数据表示形武的转换算法以及不同位数有效数字的运算算法.对有效数字多项式的自动运算实验结果表明,该算法符合运算优先级的要求,运算结果符合有效数字的取舍原则,算法运算的结果与人工运算的结果完全相同,算法满足位数随机的物理实验数据的自动处理要求.     

《汉语大词典》未收的《潜夫论》并列复词考释

东汉王符《潜夫论》中的并列复词相当丰富，出现了许多新词新义，然《汉语大词典》存在着对《潜夫论》并列复词未收录的问题；对相关并列复词进行考释。