Investigation and reduction of variance of a weighted estimate in numerical statistical simulation

The efficiency of the “value” and “partial value” modeling related to the construction of a modeling distribution for an auxiliary random variable by multiplying the initial density by a value function is investigated. The value function usually corresponds to a solution of the adjoint equation. Conditions under which the value modeling of the initial distribution reduces the variance compared to the direct simulation are obtained. It is proved that the variance of the weighted estimate is bounded in the case of the partial value modeling. This proposition provides a basis for a method for determining whether or not the variance of the weighted estimate is bounded. This method uses the majorizing adjoint equation. Using a practically important problem in transport theory as an example, the asymptotic optimization of the distribution of the mean free path is presented. The application of the proposed method of the investigation of the variance boundedness for the analysis of the classical exponential transformation method of simulating the mean free path of a particle in the one-dimensional and the spherical variants is discussed.     

小区暖气失调原因调查和改造方案的实施

通过对镇苑小区采暖情况的跟踪调查及数据采集，找出了供暖系统不热的原因，据此对系统进行了针对性的改造，取得了良好的改造效果。     

汉语欧化与近代散文文体解放

汉语自19世纪末开始走上漫长的欧化之路,在语音、词汇、句法等方面,汉语欧化痕迹均十分明显.汉语欧化进程中,近代散文文体得到了极大的解放,同时散文对语言欧化进程也有一定的影响.以新文体、逻辑文为例可以分析得出,政论散文由于欧化而趋向浅近、平易,表达方式趋于严谨,语意更加曲折.但是散文文体的解放仍然有限,近代散文家对古文的复杂态度,古文广泛的作者和读者基础,构成散文文体全面解放的阻力.     

自由基CH(X2Π,a4Σ-)的光谱数据从头算研究

用分子轨道从头算方法,对CH自由基的基态(X2Π)和低激发态(a4Σ-)的光谱数据进行了计算.计算结果表明,在基态CH(X2Π)时,在QCISD(T)/6-311G (3df,3pd)水平上,计算所得的键长R=0.1120981nm,偶极矩μ＝1.5891 Debye,ν＝2845.43cm-1均与实验值相吻合,在B3PW91/6-311G (3df,3pd)理论水平上,计算的基态能量为-38.496143 Hartree,误差仅为0.22%;对低激发态CH(a4Σ-),使用含时的密度泛函方法(TDDFT)和大基组6-311 G(3df,3pd)计算所得的R=0.1094nm,垂直跃迁能量为0.926eV,均与实验结果有较好的吻合.     

短波通滤光片膜系设计

详细介绍用等效折射率概念设计短波通滤光片的原理和计算方法。根据原理和方法，选择二氧化钛（TiO2）作为高折射率材料、二氧化硅（SiO2）作为低折射率材料。首先从理论上计算出用这2种材料设计的波长λ=950～1150nm的短波通滤光片所需要的周期数，然后给出短波通滤光片的主膜系和光谱曲线。由于据此周期数设计出的膜系光谱曲线在750～810nm处的透过率不符合要求，因此对该膜系进行了改进。依照改进的设计进行多次制备，最终制备出了符合要求的短波通滤光片，找到了最佳制备工艺和方法。最后，对制备出来的短波通滤光片薄膜进行了各种环境实验。实验结果表明，膜层的各项指标符合设计要求。     

火工品可靠性试验数据的综合分析方法

升降法试验数据和固定刺激量下的成败型试验数据,是两种最常见的火工品可靠性试验数据．我们应用Markov链,研究了升降法试验数据下,感度分布参数的极大似然估计的特性．在此基础上,应用Bootstrap方法和Bayes方法,给出了综合分析两种试验数据的方法．最后,将该方法应用于520底火的可靠性鉴定,得出了有益的结论．     

Twin Paradox and the Logical Foundation of Relativity Theory

We study the foundation of space-time theory in the framework of first-order logic (FOL). Since the foundation of mathematics has been successfully carried through (via set theory) in FOL, it is not entirely impossible to do the same for space-time theory (or relativity). First we recall a simple and streamlined FOL-axiomatization Specrel of special relativity from the literature. Specrel is complete with respect to questions about inertial motion. Then we ask ourselves whether we can prove the usual relativistic properties of accelerated motion (e.g., clocks in acceleration) in Specrel. As it turns out, this is practically equivalent to asking whether Specrel is strong enough to “handle” (or treat) accelerated observers. We show that there is a mathematical principle called induction (IND) coming from real analysis which needs to be added to Specrel in order to handle situations involving relativistic acceleration. We present an extended version AccRel of Specrel which is strong enough to handle accelerated motion, in particular, accelerated observers. Among others, we show that~the Twin Paradox becomes provable in AccRel, but it is not provable without IND.     

俄语速读课教学软件的开发

随着现代外语教学的发展，传统的俄语速读方法已远远不能满足要求。笔者认为，应适应时代的要求，充分利用现代化的教学手段和教学设备来提高速读课的效率。本文将阐述计算机辅助俄语速读课教学系统及其功能、特点，并论证该系统在学生形成良好的阅读习惯和提高阅读能力中的优势。     

全气相化学激光体系的直流放电研究

 为了提高化学激光体系(AGIL)中F原子的产率，采用直流放电引发方式，对棒式电极的放电特性进行了研究。在对NF3/He混合气体进行解离时，通过选择不同平衡电阻，得到了3 kW左右的放电注入功率。用光谱分析仪对F原子产率进行了测量。通过拟合计算可得：一个NF3分子能够解离出1.3～1.5个F原子。