拟速完备性与网状空间的诱导极限

设（Ｅ，ζ）＝ｉｎｄｌｉｍ（Ｅ_n，ζ_n）为局部凸空间的诱导极限．称（ＤＳＴ）成立若（Ｅ，ζ）中每个有界集含于且有界于某（Ｅ_n，ζ_n）．引进一种弱于速完备性的性质，叫做拟速完备性，并证明了对于严格网状空间的诱导极限，拟速完备性蕴涵（ＤＳＴ）．利用ＤｅＷｉｌｄｅ的理论，也给出了关于（ＤＳＴ）的其他条件．这些结果改进了已有的有关结论     

Generalized Modal Scattering Matrix of Bandpass Filters Using Ridged Waveguides

Simple and accurate integral equation formulation using a three dimensional finite element (3DFEM) to determine the propagation of microwave passive structures is presented. This technique is applied to solve the scattering problems due to various forms of irises in lossless rectangular waveguide.The analysis of these components is highly dependent of the numbers of modes considered in the neighbourhood of the discontinuity. The theoretical model is compared with measurements and Mode Matching Method (MMM). Results are found to be good agreement.     

Topological aspects of numberings

We investigate connections between the syntactic and semantic distance of programs on an abstract, recursion theoretic level. For a certain rather restrictive notion of interdependency of the two kinds of distances, there remain only few and “unnatural” numberings allowing such close relationship. Weakening the requirements leads to the discovery of universal metrics such that for an arbitrary recursively enumerable family of functions a numbering compatible with such a metric can uniformly be constructed. We conclude our considerations with some implications on learning theory.     

横向电感膜片微波矩形波导的传输特性

以微波传输线等效二端口网络模型等效电路理论近似分析了含有横向电感膜片矩形波导的结构。计算发现,矩形波导内置一对膜片时膜片的宽度会影响散射参数的相位和振幅,而膜片放置的位置对散射参数的幅值及带宽没有影响。根据微波无反射传输的条件,研究了微波矩形波导内置两组横向电感膜片结构的转移矩阵。采用Matlab编程计算,得到在插入衰减最小时两组膜片在波导中的最佳间距。等效电路理论计算结果与用CST软件仿真的结果相符。研究发现,在膜片间距取最佳值时,两种方法得到的相对带宽差值仅为0.59%。     

电感支撑磁绝缘传输线的设计与初步实验

 为了研究电感支撑内筒对磁绝缘传输线(MITL)功率流传输的影响,设计了一套电感支撑的MITL及其诊断系统,对MITL各个位置电参数进行了测量,获得了MITL阴阳极电流波形和MITL电压波形。其中一发支撑前阴极电流为90.08 kA,支撑后阴极电流为93.88 kA,阴极电流传输效率为95.96%,多次实验传输效率平均值为92.8%,证实了电感支撑MITL的可行性。     

Inductive heating with magnetic materials inside flow reactors

Superparamagnetic nanoparticles coated with silica gel or alternatively steel beads are new fixed-bed materials for flow reactors that efficiently heat reaction mixtures in an inductive field under flow conditions. The scope and limitations of these novel heating materials are investigated in comparison with conventional and microwave heating. The results suggest that inductive heating can be compared to microwave heating with respect to rate acceleration. It is also demonstrated that a very large diversity of different reactions can be performed under flow conditions by using inductively heated flow reactors. These include transfer hydrogenations, heterocyclic condensations, pericyclic reactions, organometallic reactions, multicomponent reactions, reductive cyclizations, homogeneous and heterogeneous transition-metal catalysis. Silica-coated iron oxide nanoparticles are stable under many chemical conditions and the silica shell could be utilized for further functionalization with Pd nanoparticles, rendering catalytically active heatable iron oxide particles.     

High school students’ perceptions of geometrical proofs proving and refuting geometrical claims of the ‘for every … ’ and ‘there exists’ type

Proving and refuting mathematical claims constitute a significant element in the development of deductive thinking. These issues are mainly studied during geometry lessons and very little (if at all) in lessons of other mathematical disciplines. This study deals with high school students’ perceptions of proofs in the geometry. The study explores whether students know when to use a deductive proof and when an example is sufficient for proving or refuting geometrical claims. The findings indicate that in cases of simple claims, the students corroborate them by using a deductive proof. However, when the claim is more complex, the students tend to present both a proof and an example. Moreover, they are unsure whether using an example can constitute a method for proving a mathematical claim, believing that in mathematics everything must be proven. They believe that examples are used merely for illustration purposes rather than as a means of convincing. The research conclusions support the need for deepening and developing the students’ distinction between cases where examples are insufficient and cases where an example is sufficient for proving a claim.     

Looking back at perpendicular magnetic recording R&D in NEC

This paper reports perpendicular magnetic recording (PMR) circumstances and the results based on the reference published by NEC. The PMR flexible disks using Co-Cr-Ta films were investigated. Pass wear durability of Co-Cr-Ta film strongly depends on the base film surface roughness and Young's modulus values of Co-Cr-Ta films. Pass wear durability, more than 10 million passes, was confirmed under a high temperature (60 °C) and a high humidity (80% RH) condition, as well as a low temperature (5 °C) condition. The read/write characteristics for double-layered PMR media were examined by using a combination of a single-pole-type (SPT) write head and a magnetoresistive (MR) read head, and a conventional merged ring type inductive (ID) write head/MR read head. By differential equalization of the reproduced voltage, the bit error rate less than 10⁻⁶ at 3 Gb/in.² was obtained for the SPT/MR head combination. The antenna effect for PMR realization was analyzed using the merged ring type ID/MR head. In order to increase the magnetic circuit resistance from the ID head pole to the soft underlayer, we developed the sendust (FeAlSi) soft underlayer with low magnetic permeability. We confirmed that the recorded signal has better stability under the ID/MR head-loaded condition than the SPT head-loaded condition. These results show that there are the head and media solutions to realize PMR. We had confidence that we could use the basic structure of the commercial ID/MR head for the PMR head.     

磁绝缘电压叠加器功率流的电路计算方法

以已建成的10级直线变压器驱动源系统为依托,以传输线计算方法为基础,通过引入空间电荷限制流和磁绝缘流阻抗模型,对感应电压叠加(IVA)真空功率流的电路计算方法进行了探索,开发了包含磁绝缘过程的全电路计算程序,提供了一种快速评估该IVA系统真空功率流的方法。计算结果表明:对磁绝缘状态下流阻抗的描述是该方法准确计算的关键;解决好算法的数值稳定性,避免数值振荡的发生,是将这一方法推广应用的重要前提。