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).     

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

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

基于cDNA宏阵列的系统聚类分析猪发育阶段的基因表达谱

取杜洛克猪胚胎第33,45,55，65．75天的背最长肌样本．用cDNA Macroarray分析方法和聚类分析技术分析了327个EST在骨骼肌内不同发育阶段的基因表达谱．结果表明有98条EST在不同发育时期显著差异表达．第33天和第45天两阶段基因表达状态相似．第55天和第65天基因表达状态相似．而第75天的基因表达与第55天和第65天两个阶段的基因表达具有相近的聚类关系．表达状态相近，基因功能相似的基因大都被聚类在一起．     

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]     

全光网中基于FBG的OADM设计研究

提出一种全新的OADM(Optical Add—Drop Multiplexers)结构设计，此结构仅采用一个多端口环行器，大大减少了环行器的数量，节约了成本。若要上／下路一个波长．则只需要一个FBG(Fiber Bragg Grating)；若要同时上／下路多个波长，则需要2m个FBG。计算机仿真实验证明此结构比H．Yuan提出的结构具有更低的损耗．对全光网络的实现具有重大的意义。     

散射体系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.