FORWARD-BACKWARD STOCHASTIC DIFFERENTIAL EQUATIONS WITH STOPPING TIME

The existence and uniqueness results of fully coupled forward-backward stochastic differential equations with stopping time (unbounded) is obtained. One kind of comparison theorem for this kind of equations is also proved.     

The effect of olefinic terminal chains on the mesomorphic properties of 4,4'-disubstituted diphenyldiacetylenes

New diphenyldiacetylenes of the type with A, B = H and/or F; m = 0, 1; n = 1-4; and X = C n H 2n + 1 , F, CF 3 or CN were synthesized and their mesomorphic properties determined by hot stage polarizing microscopy and DSC. When m = 0, all of these compounds showed only a nematic phase except when X = CF 3 when both nematic and smectic A phases were seen. Both clearing and melting temperatures were higher than those reported for substitution with the corresponding alkyl chains but the much larger increase in clearing temperatures produced considerably wider nematic phases. Eutectic mixtures of a few of these olefins yielded nematic materials also having much wider temperature ranges and higher clearing temperatures than the eutectic mixtures of the alkyl compounds, while retaining their high birefringence and low viscosities. Such materials are of interest for beam-steering devices.

Four of the diacetylenes with m = 1 ( A, B = H) were also prepared ( X = C 6 H 13 , F, n = 2, 3). When X was C 6 H 13 ( n = 2), the nematic range was smaller in the 2- than in the 1-olefin but wider than in the alkyl series. When X = F, either no nematic phase or a monotropic one was observed, whereas the 1-olefins gave a much wider nematic phase. Both transition temperatures were lower than those for the corresponding 1-olefin and alkyl analogues. The compound with X = C 6 H 13 and n = 2 had a melting temperature below room temperature.     

一类递归集的Hausdorff维数及Bouligand维数

本文给出递归集的Ｈａｕｓｄｏｒｆｆ维数的下界估计，并由此确定了一类递归集的维数，所获结果包含并推广了Ｂｅｄｆｏｒｄ，Ｄｅｋｋｉｎｇ及文志英、钟红柳等人的有关结果。     

On the limit cycles of a quintic planar vector field

This paper concerns the number and distributions of limit cycles in a Z_2-equivariant quintic planar vector field.25 limit cycles are found in this special planar polynomial system and four different configurations of these limit cycles are also given by using the methods of the bifurcation theory and the qualitative analysis of the differential equation.It can be concluded that H(5)≥25=5~2, where H(5)is the Hilbert number for quintic polynomial systems.The results obtained are useful to study the weakened 16th Hilbert problem.     

类型γ射线能谱指纹的识别机理

放射源的辐射指纹能起到标识和鉴别放射性物体的作用.在涉及核弹头不可逆销毁过程的深度核裁军核查中,核弹头的辐射指纹对标识和鉴别裁减下来的核弹头将起到关键作用.预先研究辐射指纹的有关技术,如识别机理的研究,将有助于深度核裁军的核弹头核查技术发展.以实验室放射源为研究对象,探索了类型γ射线能谱指纹的同一性识别机理.类型γ射线指纹识别机理的研究,就是要找出一种合适的方法,以较高的置信度,描述两个正在进行比较的γ射线指纹是否为同一放射源的指纹.采用了谱形比较法,并用谱相似度概念来描述两个指纹的相似程度.在谱形比较思想的指导下,编制了放射源类型指纹识别软件,并通过放射源同一性的识别实验验证了软件的有效性,同时研究了谱相似度随统计涨落和测量条件,如时间、源强和本底等因素的变化情况.研究结果表明:1)用相似度概念来描述两个指纹的相似程度,回答两个待比较的γ射线能谱是否代表同一类型放射源,是切实可行的;2)该识别机理只具备识别放射源类型的能力,而对同一类型、差异甚微的放射源个体还不能识别 关键词： γ射线能谱指纹 辐射指纹 识别机理 核查技术     

MTL代数的特征定理

对于逻辑系统代数结构的研究,是一个十分重要的研究课题.近期提出的BL代数,R_0代数,MTL代数就是这个方向具有代表性的研究成果.本文讨论MTL代数的性质与结构,给出这种代数的几个特征定理,澄清这种代数与其它代数结构的关系.鉴于单位区间中由左连续t-范数诱导的剩余蕴涵与MTL代数的紧密联系,本文还考察了这种模糊蕴涵的特征性质.     

A simple model for high fluence ultra-short pulsed laser metal ablation

The ultra-short laser metal ablation is a very complex process, the complete simulation of which requires applications of complicated hydrodynamics or molecular dynamics models, which, however, are often time-consuming and difficult to apply. For many practical applications, where the laser ablation depth is the main concern, a simplified model that is easy to apply but at the same time can also provide reasonably accurate predictions of ablation depth is very desirable. Such a model has been developed and presented in this paper, which has been found to be applicable for laser pulse duration up to 10 ps based on comparisons of model predictions with experimental measurements.     

The Monitoring System Using FOBG Sensor for The Health of the Rocket

A novel heath monitoring system of the rocket based on fiber optic Bragg gratings is brought forward, its component units and working principle are also described.