Banach空间无界域上二阶脉冲积分微分方程的解

在比较宽松的条件下，研究了Banach空间中二阶脉冲积分微分方程在正半实轴上具有无穷个脉冲点的初值问题的解的存在性。利用递归法、Tonelii序列和局部凸拓扑，建立了新的存在性定理，对郭大钧的结果做了本质改进。     

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

交流源作用下介观RLC电路系统量子态随时间的演化

根据量子不变量理论，同时考虑介观电容器极板间电子波函数的耦合作用和电路的耗散,研究介观RLC电路系统在交流电流源作用下动力学的演化过程，并且得到描述系统量子态随时间的演化算符.进一步的分析结果表明，介观RLC电路系统的波函数将由任意的初态演化到一般的压缩态. 关键词： 介观RLC电路 交变电源 不变量理论 时间演化算符     

自由基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.