A note on the first-passage problem and VanMarcke’s approximation — short communication

Given a scalar, stationary, Markov process, this short communication presents a closed-form solution for the first-passage problem for a fixed threshold b. The derivation is based on binary processes and the general formula of Siegert [Siegert AJF. On the first-passage time probability problem. Physical Review 1951; 81:617–23]. The relation for the probability density function of the first-passage time is identical to the commonly used formula that was derived by VanMarcke [VanMarcke E. On the distribution of the first-passage time for normal stationary random processes. Journal of Applied Mechanics ASME 1975; 42:215–20] for Gaussian processes. The present derivation is based on more general conditions and reveals the criteria for the validity of the approximation. Properties of binary processes are also used to derive a hierarchy of upper bounds for any scalar process.     

逻辑表达式图的实现及其在集成电路故障 可测性中的应用

数字电路的可靠性有着至关重要的影响,测试是其重要保证,测试向量的自动生成(ATPG)在数字电路的测试中占有重要地位;逻辑表达式图(Boolean Expression Diagrams,BED)是用于逻辑函数与逻辑电路表达与运算一种数据结构,能够将逻辑电路在线性空间复杂度内表达,是二元判决图(Binary Decision Diagrams, BDD)在概念上的推广且保留着BDD的许多有用的性质。讨论了BED的性质与实现方法,并将BED用于逻辑电路呆滞型故障测试向量的自动生成中,基于BED的测试算法直接将原电路与故障电路做异或运算后用BED表达再化简或判断其可满足性,算法能充分使用逻辑代数的化简规则和利用电路与故障电路的相似性。实验结果表明,基于BED的测试方法具有较低的复杂度。     

硝基氯苯的分离

本文叙述了根据硝氯苯的物化性质蒸气压方程，设计了采用高效波纹填料的新流程，并与国内外流程装置作比较，指明了新流程和新装置的优点。．     

Determination of the vapor pressures of select polychlorinated dibenzo-p-dioxins and dibenzofurans at 75-275 °C

Vapor pressures were determined for several polychlorinated dibenzo-p-dioxins (PCDDs) and polychlorinated dibenzofurans (PCDFs) at 75-275 °C, extending the available literature data to more relevant temperature regions and providing the first experimental data for 2,3,7-trichlorodibenzo-p-dioxin (2,3,7-TriCD). A modification of the effusion technique, based upon controlling the diffusion of the target compound and subsequent high resolution gas chromatography/low resolution mass spectrometry (HRGC/LRMS) analysis, was proven comparable to other accepted methods for determining the vapor pressures of semi-volatile organic compounds (SVOCs). Vapor pressures for octachlorodibenzo-p-dioxin (OCDD) and octachlorodibenzofuran (OCDF) were in excellent agreement with those reported in literature. The application of the current method for the vapor pressure determinations of eight polychlorinated dibenzo-p-dioxins/dibenzofurans (PCDDs/PCDFs) in the extended temperature range (up to 275 °C) is reported. The extension of the vapor pressures to such temperatures, unprecedented for the PCDDs/Fs, is important for vapor-particle partitioning modeling in regions relevant to PCDD/F formation and control. Estimates for the melting temperatures and enthalpies of sublimation and vaporization are also reported, the latter for which no experimentally determined values have been found in the literature. The use of the method to deliver reproducible, trace concentrations (ppt-ppb) of targets was applied to the calibration of the jet-REMPI/TOFMS as an online detector for low chlorinated PCDDs/Fs.     

Binary phase behavior of 1,3-distearoyl-2-oleoyl-sn-glycerol (SOS) and 1,3-distearoyl-2-linoleoyl-sn-glycerol (SLS)

The binary phase behavior of SOS (1,3-distearoyl-2-oleoyl-sn-glycerol) and SLS (1,3-distearoyl-2-linoleoyl-sn-glycerol) was examined by using DSC and conventional and synchrotron radiation X-ray diffraction. The solid-solution phases were observed in the metastable α and γ forms in all concentration ranges. Results indicated that the miscible γ form did not transform to the β′ form when the mixtures were subjected to simple cooling from a high-temperature liquid to a low-temperature solid phase. However, and α-melt-mediated transformation into β′ and β₂ resulted in the formation of immiscible phases in concentration ranges of SLS below 30%. By contrast, at SLS concentration ranges above 30%, the α-melt-mediated transformation caused crystallization of only the γ form, and β′ and β₂ crystals did not appear. These results show that the specific interactions between SOS and SLS are operative in the phase behavior of the mixture states of SOS and SLS.     

CB-g-WPU/WPU复合材料的制备与气敏响应性能

通过对导电填料炭黑（CB）进行官能化，在CB表面引入羧基官能团，利用CB表面的羧基等活性官能团与端异氰酸酯基聚氨酯预聚物反应得炭黑接枝水性聚氨酯（CB-g-WPU），采用乳液共混法制备得CB—g-WPU／WPU气敏导电复合材料，并对CB—g-WPU／WPU复合材料的气敏响应行为进行了研究。X射线光电能谱（XPS）、傅立叶变换红外光谱（FTIR）、热重分析（TGA）等分析结果表明聚氨酯接枝到了炭黑表面；SEM分析表明，炭黑经过接枝改性后均匀分散在基体WPU中。该法制备的CB—g-WPU／WPU复合材料逾渗值低、气敏响应度大、响应范围广，是一种综合性能优异的气敏导电复合材料。     

ESTIMATION OF VAPOR PRESSURES OF ORGANIC NITROGEN AND SULFUR COMPOUNDS BY A GROUP-CONTRIBUTION METHOD

The group-contribution method for vapor pressures of hydrocarbons and organic compounds containing nitrogen or sulfur, based on the kinetic theory of fluids, is revised and extended to include new groups containing nitrogen or sulfur. Good representation is obtained for vapor pressure data in the region 1.30-270 kPa. The method may be used to estimate vapor pressures and enthalpies of vaporization for those organic fluids containing nitrogen or sulfur, where no experimental data are available.     

基于“二叉决策树”模型的嵌入式软件调试

在嵌入式软件开发过程中,软件不可避免地会出现各种错误,因此调试是软件生命周期中一个非常重要的环节。针对嵌入式软件开发的流程和特点,对其调试部分进行较为深入具体的研究和探索,提出基于调试器的"二叉决策树"调试模型。该模型描述了嵌入式软件调试的一般过程、调试对象和常用方法。实践表明"二叉决策树"调试模型具有较好的实用性和扩展性。     

基于VC＋＋的二叉树遍历算法演示软件的设计与实现

利用VC＋＋开发平台,以《数据结构》课程的重要章节二叉树遍历算法为例,论述二叉树遍历算法演示软件的设计和关键技术并实现整个系统。系统使得学生加深算法的理解,取得良好的教学效果。     

The partition coefficients of ethylene between hydrate and vapor for methane + ethylene + water and methane + ethylene + SDS + water systems

The hydrate formation of CH₄+C₂H₄ mixture was studied experimentally in two different cases, with and without the presence of sodium dodecyl sulfate (SDS) in water. The results manifested that the presence of SDS could not only accelerate the hydrate formation process, but also increase the partition coefficient of ethylene between hydrate and vapor drastically. The partition coefficients of ethylene between hydrate and vapor for methane + ethylene + water with the presence of 500 ppm SDS in water were then systematically measured. The experimental temperature ranged from 273.15 to 278.15 K, the pressure ranged from 2.5 to 5.5 MPa, the initial gas-liquid volume ratio ranged from 95 to 240 standard volumes of gas per volume of liquid, and the mole percentage of ethylene in feed gas mixture ranged from 5.28% to 79.36%. The results demonstrated that ethylene could be enriched in hydrate phase and partition coefficients were increased with the presence of SDS in water. This conclusion is of industrial significance; it implies that it is feasible to recover ethylene from gas mixture, e.g., various kinds of refinery gases or cracking gases in ethylene plant, by forming hydrate.