紧凑型边界扫描技术的功能与现状

芯片一体化进程的加剧以及对功耗控制的关注日益增加,边界扫描技术面临新的挑战,这些挑战来源于调试、应用、测试等方面,紧凑型边界扫描技术对此提出了有效的解决方法;以IEEE1149.7标准以及国内外文献报道为依据,对精简引脚与增强功能边界扫描技术的测试规范进行系统的分析,重点对该技术的新功能、新特性和新应用进行详细介绍;针对符合IEEE1149.1标准的测试系统与被测系统如何升级以实现IEEE1149.7标准新功能的问题提出了相应的建议;最后总结了该技术的发展方向和应用前景。     

非部分嵌套信息结构的LQG动态队决策问题的可解性（II）*

本文讨论非嵌套信息结构的递阶队决策问题和控制均享信息结构的LQG分散控制问题,文中首先证明这两类问题的信息结构都是“部分控制嵌入”的,进而给出最优策略(或控制)存在的充要条件和当此条件成立时最优策略(或控制)的表达式。     

An information-theoretic approach to the written transmission of old English

Information theory offers a means for analyzing some constraints on the reading and copying process in Old English. Entropy for strings of various lengths offers a baseline measure of the uncertainty involved in transmission of Old English texts, while avoiding the pitfalls of applying models of modern reading to early medieval practice. Analysis of lengthy prose and verse texts in Old English revealed uniformly high values for entropy at all string lengths. High entropies may be the result of the language's irregular orthography, poetic koiné, and several dialects and imply that the language may have been easy to write but difficult to read. The low redundancy of the language which its high entropy values indicate suggests that the reader of Old English played an enhanced role in decoding a text and may provide an explanation for the high variability in the transmission of Old English verse.Katherine O'Brien O 'Keeffe is Professor of English at Texas A&M University and a co-director of its Interdisciplinary Group for Historical Literary Study.William Rundell is Professor of Mathematics at Texas A&M University.     

A λ-unifiability test for set theory

We present a semi-decision algorithm for the unifiability of two set-theoretic formulas modulo -reduction. The algorithm is based on the approach developed by G. Huet for type theory, but requires additional measures because formulas in set theory are not all normalizable. We present the algorithm in an Ada-like pseudocode, and then prove two theorems that show the completeness and correctness of the procedure. We conclude by showing that -unification is not a complete quantifier substitution method for set theory-unlile first-order unification and first-order logic. In this respect set theory is similar to type theory (higher-order logic).This material is based upon work supported by the National Science Foundation under award number ISI-8560438. Any opinions, findings, and conclusions or recommendations expressed in this publication are those of the author and do not necessarily reflect the views of the National Science Foundation.     

A Universal Method of Scientific Inquiry

A paradigm of scientific discovery is defined within a first-order logical framework. Within this paradigm, the concept of successful scientific inquiry is formalized and investigated. Among other results, it is shown that a simple method of scientific inquiry is universal in the sense that it leads to success on every problem for which success is in principle possible.     

可视化基站发电管理系统

针对以前的发电管理系统或只是数据呈现,提供市电及发电相关数据信息,或只是提供出车轨迹,主要实现对出车的管理,不能全面反应发电全过程且不便于对发电事件进行分析的情况,提出可视化发电管理系统的概念。在简要介绍了LBS系统、动力环境监控系统后,讲述了可视化基站发电管理系统的组成以及通过LBS定位管理、短信互动、实时监测数据等进行系统实现。可视化发电管理系统通过可视化的界面帮助发电管理人员进行管理,直观、便捷。     

The need and prospects for improved fusion reactors

Conceptual fusion reactor studies over the past 10–15 yr have projected systems that may be too large, complex, and costly to be of commercial interest. One main direction for improved fusion reactors points toward smaller, higher-power-density approaches. First-order economic issues (i.e., unit direct cost and cost of electricity) are used to support the need for more compact fusion reactors. The results of a number of recent conceptual designs of reversed-field pinch, spheromak, and tokamak fusion reactors are summarized as examples of more compact approaches. While a focus has been placed on increasing the fusion-power-core mass power density beyond the minimum economic threshold of 100–200 kWe/tonne, other means by which the overall attractiveness of fusion as a long-term energy source are also addressed.Nomenclature a Plasma minor radius at outboard equatorial plane (m) - A Plasma aspect ratioR _T /a - AC Annual charges ($/yr) - b Plasma minor radius in vertical direction (m) - B Magentic field at plasma or blanket (T) - B _c Magnetic field at the coil (T) - B Toroidal magnetic field (T) - B Poloidal magnetic field (T) - BOP Balance of plant - C Coil - COE Cost of electricity (mills/kWeh) - CRFPR Compact RFP reactor - CT Compact torus (FRC or spheromak) - c _FPC Unit cost of fusion power core ($/kg) - DC Direct cost ($) - DZP Dense Z-pinch - E Escalation rate (1/yr) - EDC Escalation during construction ($) - ET Elongated tokamak - F Annual fuel charges ($/yr) - FC Component of UDC not strongly dependent or FPC size ($/kWe) - FW First wall - FPC Fusion power core - f _Aux Fraction of gross electric power recirculated to BOP - f ₁ (IC+IDC+EDC)/DC - f ₂ (O&M + SCR + F)/AC - IC Indirect cost ($) - IDC Interest during construction ($) - I _w Neutron first-wall loading (MW/m²) - i Toroidal plasma current (MA) - j Plasma current density, I/a² - k _B Boltzmann constant, 1.602(10)^–16 (J/keV) - LWR Light-water (fission) reactor - MPD Mass power density 1000P_E/M_FPC (kWe/tonne) - M _N Blanket energy multiplication of 14.1-MeV neutron energy - M _FPC Mass of fusion power core (tonne) - n Plasma density (m^–3) or toroidal MHD mode number - O&M Annual operating and maintenance cost ($/yr) - p _f Plant availability factor - PFD Poloidal field dominated (CTs, RFP, DZP) - P Construction time (yr) - P_TH Thermal power (MWt) - P _E Net electric power (1-)P _ET (MWe) - P_ET Total gross electric power (MWe) - p_f Fusion power (MW) - q Tokamak safety factor (B /B _gq )(a/R _T ) - q _e EngineeringQ value, 1/e - R _T Major toroidal radius (m) - RFP Reversed-field pinch - RPE Reactor plant equipment (Account 22) - S Shield - SCR Annual spare component cost ($/yr) - SSR Second stability region for the tokamak - S/T/H Stellarator/torsatron/heliotron - ST Spherical tokamak or spherical torus - T Plasma temperature (keV) - TDC Total direct cost ($) - TOC Total overnight cost ($) - UDC Unit direct cost,TDC/10 ³ P _E ($/kWe) - V _p Plasma volume (m³) - W _p Plasma energy (GJ) - W _B Magnetic field energy (GJ) - Magnetic utilization efficiency, 2nk_BT/(B ²/2₀) - ₀ Permeability of free space, 4(10)^–7 H/m - XE Plasma confinement efficiency, a²/4_E - _e Plasma energy confinement time - _p Overall plant efficiency, _TH(1-) - _TH Thermal conversion efficiency - _FPC AverageFPC mass density (tonne/m³) - Plasma vertical elongation factor,b/a - Thickness of allFPC engineering structure surround plasma (m) - Total recirculating power fraction, (P _ET-P _E)/P _ET, or inverse aspect ratioa/R _T This work was performed under the auspices of USDOE, Office of Fusion Energy.     

Discrete logarithms inGF(p)

Several related algorithms are presented for computing logarithms in fieldsGF(p),p a prime. Heuristic arguments predict a running time of exp((1+o(1)) ) for the initial precomputation phase that is needed for eachp, and much shorter running times for computing individual logarithms once the precomputation is done. The running time of the precomputation is roughly the same as that of the fastest known algorithms for factoring integers of size aboutp. The algorithms use the well known basic scheme of obtaining linear equations for logarithms of small primes and then solving them to obtain a database to be used for the computation of individual logarithms. The novel ingredients are new ways of obtaining linear equations and new methods of solving these linear equations by adaptations of sparse matrix methods from numerical analysis to the case of finite rings. While some of the new logarithm algorithms are adaptations of known integer factorization algorithms, others are new and can be adapted to yield integer factorization algorithms.     

一种新的位错运动理论及对材料动态力学行为的描述

通过对位错在晶格内运动的动力学过程的全面分析。本文提出了一种考虑到粘性阻尼效应和热激活的位错集体运动统一理论。其特点是可用一简单的方程对从低速到高速运动的大量位错的平均行为进行统一描述。对ＫＣｌ晶体的典型实验怕拟合发现理论描述与实验结果相当一致。     

变频开关电源Fuzzy-PID控制器的设计

针对感应式变频开关电源在对金属材料进行热处理过程中，负载的等效参数和谐振频率发生变化，而变频电源的输出频率不能及时调整和跟踪的问题，结合PID和Fuzzy控制技术的优点，设计Fuzzy-PID控制器对变频电源进行控制，在大偏差时用Fuzzy控制，在小偏差时用PID调节。Fuzzy-PID控制器以单片机8098为核心，采用SPWM专用芯片SA4828，实现变频开关电源的电压、电流双闭环控制，使变频电源不仅具有较快的动态响应、更小的超调，并且具有较高的稳态精度和频率跟踪控制特性。