Four‐dimensional couplings among BF and matter theories from BRST cohomology

The local and manifestly covariant Lagrangian interactions in four spacetime dimensions that can be added to a “free” model that describes a generic matter theory and an abelian BF theory are constructed by means of deforming the solution to the master equation on behalf of specific cohomological techniques.     

学年学分制模式下的高校学生工作探索

我国目前大多数高校采用学年学分制,与学年制和完全学分制不同,它以学分为计量单位,按学年或学期作为结算时段确定学生的降级和退学标准,有相对固定的修业年限。文章对该模式下的学生工作进行初步探讨,提出了进一步完善辅导员制度、加强班集体建设等系列措施。     

Perceptual learning of dot pattern

Dot pattern is a type of pattern defined by specific spatial relationship among some dots. As a compensation for concrete and meaningful visual stimuli, meaningless dot pattern can be used as stimuli in learning tasks. We performed an experiment for exploring the perceptual learning process of dot pattern against random-dot background. Participants were required to learn two types of dot patterns (9-dot and 11-dot). They were assigned to two groups: participants in Group 1 learned 9-dot pattern first and 11-dot pattern later, while those in Group 2 learned 11-dot pattern first and 9-dot pattern later. The results showed that participants could acquire the spatial relationship of dot pattern through perceptual learning in relatively short learning time. In comparison with 9-dot pattern, learning time of 11-dot pattern was slightly longer and its accuracy rate lower, but there was significant positive transfer effect from 11-dot pattern learning to 9-dot learning.     

Statistical approach to light scattering from deformed textured heterogeneous polymer materials

A statistical theory of light scattering from deformed isotropic and textured heterogeneous polymer materials is formulated. Two types of textured structures are analyzed: assemblies of optically isotropic and anisotropic rods and a spatially anisotropic distribution of isotropic spherical inclusion centers. The small-angle H_v light-scattering patterns are calculated. The appearance of scattering from isotropic rods and spheres in deformed materials has been demonstrated. The changes of the H_v scattering patterns as a function of elongation and strucuture parameters are discussed. © 1993 John Wiley & Sons, Inc.     

二维正态分布矩形区域概率质量的局部单调性

研究了二维正态分布矩形区域概率质量当矩形区域中心沿某特定方向平移时的局部单调性。同时给出了一簇矩形区域,其中任一矩形区域的概率质量对正态分布相关系数的绝对值具有局部单调性。     

建筑物室外环视中加速绘制算法

提出一种用于建筑物环视系统混合绘制的加速方法,场景划分为主体模型和层次环境的带有深度的图像缓存(sprite with depth),采用BSP树存储场景的具有深度的图像缓存,用模型对存储场景的BSP树应用三维裁剪算法来减少不必要的绘制,并在环视过程中采用生成替代图像缓存方法,加速环视场景的生成.     

布尔矩阵维数的缺断区间(英)

本文证明了n维布尔矩阵维数的一个新的缺断区间为这一结果扩充了一些已知的结论．     

ContributionsSign-balanced covering matrices

A q × n array with entries from 0, 1,…,q − 1 is said to form a difference matrix if the vector difference (modulo q) of each pair of columns consists of a permutation of [0, 1,… q − 1]; this definition is inverted from the more standard one to be found, e.g., in Colbourn and de Launey (1996). The following idea generalizes this notion: Given an appropriate δ (-[−1, 1]^t, a λq × n array will be said to form a (t, q, λ, Δ) sign-balanced matrix if for each choice C₁, C₂,…, C_t of t columns and for each choice = (₁,…,_t) Δ of signs, the linear combination ∑_j=1^t _jC_j contains (mod q) each entry of [0, 1,…, q − 1] exactly λ times. We consider the following extremal problem in this paper: How large does the number k = k(n, t, q, λ, δ) of rows have to be so that for each choice of t columns and for each choice (₁, …, _t) of signs in δ, the linear combination ∑_j=1^t _jC_j contains each entry of [0, 1,…, q t- 1] at least λ times? We use probabilistic methods, in particular the Lovász local lemma and the Stein-Chen method of Poisson approximation to obtain general (logarithmic) upper bounds on the numbers k(n, t, q, λ, δ), and to provide Poisson approximations for the probability distribution of the number W of deficient sets of t columns, given a random array. It is proved, in addition, that arithmetic modulo q yields the smallest array - in a sense to be described.     

基于OBDD时序电路设计的验证

依据有序二叉判定图（OBDD）和计算树逻辑（或称分支时态逻辑）CTL（Computational Tree Logic)的基本原理，分析了基于OBDD和CTL的验证数据电路设计的基本原理，并在此基础上，给出了时序电路等价验证的方法。     

The Experimental and Theoretical Research of “Local Resonance“ in Ultrasonic Honing System

In 1982, Professor Fang Guoliang found the “Non full resonance“ phenomenon in a tool system while he use the thin-long tool ultrasonically machining deep-small hole. He called it as “local resonance“. Also this “Non full resonance“ phenomenon was discovered in the ultrasonic drilling and the ultrasonic honing system later. To its mechanism, professor Fang thought that the coupling of long-thin tool bar and driving system is weak, so the tool bar can vibrate independently, but the quantitative relation betwe...