非奇异单圈图的刻划

边数等于顶点个数的连通图称为单圈图.本文修正了文献[1]中关于奇异单圈图的充要条件,并且利用该条件证明了文献[2]中一个关于非奇异单圈图的猜想.     

In situ observation of NaBi(WO4)2 dendrite growth and the study on microstructure of solidification

The dendrite growth process of transparent NaBi(WO₄)₂ with small prandtl and high melting point was studied by using the in-situ observation system. According to the dynamic images and detailed information, there are two kinds of restriction effect on the dendrite growth, the competition between arms and branches and the convection in the melt. The dendrite growth rate was time dependent, and the rate of arm growth reached the maximum 5.8 mm/s in the diffusive-advective region and rapidly decreased in the diffusive-convective region. The growth rate of branch had the same change trends as the arm’s. Based on the EPMA-EDS data of solidification structure of quenched NaBi(WO₄)₂ melt, it was found that there were component differences from stoichiometric concentration in the melt near the interface during the growth process. Supported by the National Natural Science Foundation of China (Grant No. 50331040) and the Innovation Funds from Shanghai Institute of Ceramics, Chinese Academy of Sciences (Grant No. SCX0623)     

寡头垄断市场排污收费的政府调控模型

基于完全信息博弈理论,阐述了寡头垄断市场的排污收费古诺模型.建立了具有政府宏观调控机制的博弈模型,并对调控效果进行了分析.     

Synthesis and magnetic properties of multilayer Ni/Cu and NiFe/Cu nanowires

Highly ordered composite nanowires with multilayer Ni/Cu and NiFe/Cu have been fabricated by pulsed electrodeposition into nanoporous alumina membrane. The diameter of wires can be easily varied by pore size of alumina, ranging from 30 to 100 nm. The applied potential and the duration of each potential square pulse determine the thickness of the metal layers. The nanowires have been characterized by transmission electron microscopy (TEM), magnetic force microscopy (MFM), and vibrating sample magnetometer (VSM) measurements. The MFM images indicate that every ferromagnetic layer separated by Cu layer was present as single isolated domain-like magnet. This technique has potential use in the measurement and application of magnetic nanodevices.     

Practical stopping criteria for validating safety-critical software by estimating impartial reliability

In this research, we investigate stopping rules for software testing and propose two stopping rules from the aspect of software reliability testing based on the impartial reliability model. The impartial reliability difference (IRD-MP) rule considers the difference between the impartial transition-probability reliabilities estimated for both software developer and consumers at their predetermined prior information levels. The empirical–impartial reliability difference (EIRD-MP) rule suggests stopping a software test when the computed empirical transition reliability is tending to its estimated impartial transition reliability. To insure the high-standard requirement for safety-critical software, both rules take the maximum probability (MP) of untested paths into account.     

目标函数扰动的集值优化问题的稳定性

本文研究了由目标函数扰动的集值优化问题的有效点集所定义的集值映射的半连续性.讨论了目标函数扰动的集值优化问题在上半连续意义下的稳定性.特别地,在广义适定性条件下,证明了集值优化问题在上半连续意义下的稳定性.     

Numerical flow visualization of first cycle and cyclic motion of a rigid fling-clapping wing

A flow visualization of the two-dimensional rigid fling-clap motions of the flat-plate wing is performed to get the knowledge of fling-clapping mechanism that might be employed by insects during flight. In this numerical visualization, the time-dependent Navier-Stokes equations are solved for two types of wing motion; ‘fling followed by clap and pause motion’ and ‘cyclic fling-clapping motion’. The result is observed regarding the main flow features such as the sequential development of the two families of separation vortex pairs and their movement. For the ‘fling followed by clap and pause motion’, a strong separation vortex pair of counterrotation develops in the opening between the wings in the fling phase and they then move out from the opening in the following clap phase. For ‘the cyclic fling-clapping motion’, the separation vortex pair developed in the outside space in the clap phase move into the opening in the following fling phase. The separation vortex pair in the opening developed in the fling phase of the cyclic motion is observed to be stronger than those of the ‘fling followed by clap and pause motion’. Regarding the strong fling separation vortex and the weak clap separation vortex above it in the opening, the flow pattern of the fling phase of the cyclic fling and clap motion is different to that of the fling phase of the first cycle. The flow pattern of the third cycle of the cyclic fling-clapping motion is observed to be almost same as that of the second cycle. Therefore, a periodicity of the flow pattern is established after the second cycle.     

TDI线扫相机光学通道建模与仿真

卫星相机建模与仿真研究不论在民用还是军事领域都具有重要的理论研究和实际应用价值。根据TDI线扫相机的工作原理建立了一个TDI线扫相机光学通道的数学模型,该模型包括从景物到TDI CCD离散图像的几何投影关系和能量传递关系两部分,对于确定的成像系统,给定景物参数和光学系统参数,就可以确定对应图像传感器上的离散图像。为了验证模型,对一幅卫星图像进行了计算机仿真。建立的模型可以用来研究当成像条件改变时对图像的影响,进一步还可以用来发展虚拟卫星相机系统。     

Allocating unfunded liability in pension valuation under uncertainty

This paper studied the cost allocation for the unfunded liability in a defined benefit pension scheme incorporating the stochastic phenomenon of its returns. In the recent literature represented by Cairns and Parker [Insurance: Mathematics and Economics 21 (1997) 43], Haberman [Insurance: Mathematics and Economics 11 (1992) 179; Insurance: Mathematics and Economics 13 (1993) 45; Insurance: Mathematics and Economics 14 (1994) 219; Insurance: Mathematics and Economics 14 (1997) 127], Owadally and Haberman [North American Actuarial Journal 3 (1999) 105], the fund level is modeled based on the plan dynamics and the returns are generated through several stochastic processes to reflect the current realistic economic perspective to see how the contribution changed as the cost allocation period increased. In this study, we generalize the previous constant value assumption in cost amortization by modeling the returns and valuation rates simultaneously. Taylor series expansion is employed to approximate the unconditional and conditional moments of the plan contribution and fund level. Hence the stability of the plan contribution and the fund size under different allocation periods could be estimated, which provide valuable information adding to the previous works.