On a Boolean-valued Model of the Strict Implication System(Continuous)

The reference [4] proved the consistency of S1 and S2 among Lewis' five strict implication systems in the modal logic by using the method of the Boolean-valued model. But, in this method, the consistency of S3, S4 and S5 in Lewis' five strict implication systems is not decided. This paper makes use of the properties: (1) the equivalence of the modal systems S3 and P3, S4 and P4; (2) the modal systems P3 and P4 all contained the modal axiom T(□p → p); (3) the modal axiom T is correspondence to the reflexive property in VB. Hence, the paper proves: (a) ‖As31‖ = 1; (b) ‖AS41‖ = 1; (c) ‖AS5l‖ = 1 in the model (where B is a complete Boolean algebra, R is reflexive property in VB). Therefore, the paper finally proves that the Boolean-valued model VB of the ZFC axiom system in set theory is also a Boolean-valued model of Lewis' the strict implication system S3, S4 and S5.     

The Spaces b~p with 0 < p < 1

Let 0 < p < 1. In this paper we prove that the Bergman norm on the p-th Bergman space bp(H) is equivalent to certain "normal direction norm" as well as certain "tangential direction norm", where H = Rn-1 × R is the upper half space. As an application, we get the boundedness of harmonic conjugation operators on bp(H).     

集值映射的切导数与向量优化问题的最优性条件

利用集值映射切导数与半可微概念，给出了无约束与具约束的集值向量优化问题局部真有效解与局部强有效解的最优性条件。     

Study on Inhibitors of Methionine Synthase Ⅷ: Synthesis of 2,5-Diamino-4-oxo-6- (3-butenyl) pyrimidine

Cobalamin-dependent methionine synthase plays a crucial role in folate metabolism and such would appear to be an excellent target for rational antifolate drug design. However, to date, no anticancer agents directed at this enzyme are available, but the enzyme is efficiently and specifically inhibited by N2O and this has proven invaluable for evaluating the biochemical consequence of enzyme inhibition and for mechanistic studies. [1,2] 2,5-Diamino-4-oxo-6-(3-butenyl) pyrimidine, a key intermediate in synthetic inhibitors of methionine synthase, was first synthesized using γbutenyl-β-ketoester and guanidine carbonate (Scheme 1). [3]     

散射体系A+BC的平-振能量传递

用Alhassid与Levine所提出的动力学李代数的方法(简称A-L理论),研究了含有二级非简谐的共线散射体系A+BC的平-振能量传递问题,计算了散射过程含有主要动力学参量的跃迁矩阵和跃迁几率的解析表示式.     

NEPCⅡ新电子枪热结构分析与测试

北京正负电子对撞机重大改造工程(BEPCⅡ)要求其直线注入器提供更高的能量和流强, 为此必须设计大电流和小发射度的新电子枪, 以提高正电子的产额. 利用ANSYS对BEPCⅡ新电子枪的温度场分布及结构的热变形进行了模拟分析. 对于电子枪复杂的内部结构形态以及能量转换方式, 分析了传导传热方式对温度场的影响. 在此基础上进行了温度场与结构变形的耦合分析, 利用EGUN对电子枪形变前后束流光学特性进行模拟分析, 并对模拟结果与试验 测试结果进行了分析比较.     

多周期公用工程系统运行的模型,优化方法与应用

针对多周期公用工程系统的运行优化问题，考虑了设备的启停费用的情况下。建立了混合整数非线性规划模型并证明了最优解的存在性。针对该运行优化问题本将其分解成若干子问题，然后利用改进的Hooke-Jeeves优化算法求解每个子问题。应用于具体实例，其数值结果与其它方法得到的相比。运行时间短，且更适合多周期公用工程问题的求解。     

Tokamak Experiment and Tokamak Engineering——Development of the Plasma Diagnostics on HL-2A Tokamak

The main mission the HL-2A tokamak is of the experiments on to explore the divertor physics and to investigate the plasma confinement, transport and instabilities with high power auxiliary heating and advanced fuelling, it is necessary to develop more new diagnostics and increase the spatial and temporal resolutions of the measurements for exist system. Up to now, about 30 diagnostic systems have been moved from HL-1M to HL-2A tokamak. Other 10 diagnostic systems are being designed and installed on the device. In developed in last 2 years, will be presented.     

邻苯二甲酸酐与季戊四醇缩聚反应模型的统计处理

首次用统计方法对邻苯二甲酸酐与季戊四醇缩聚反应进了严格处理，获得了缩聚物的数量分布和重量分布函数，数均和重均分子量的表达式。同时还用环形处理法获得了邻苯二甲酸酐与季戊四醇缩聚反应的凝胶化条件。     

Predicting vibration signals of automobile engine using chaos theory

Condition monitoring and life prediction of the vehicle engine is an important and urgent problem during the vehicle development process. The vibration signals that are closely associated with the engine running condition and its development trend are complex and nonlinear. The chaos theory is used to treat the nonlinear dynamical system recently. A novel chaos method in conjunction with SVD (singular value decomposition)denoising skill are used to predict the vibration time series. Two types of time series and their prediction errors are provided to illustrate the practical utility of the method.