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.     

PERIODIC BOUNDARY VALUE PROBLEM FOR SECOND ORDER FUNCTIONAL DIFFERENTIAL EQUATIONS

This paper investigates the periodic boundary value problems for a class of second order functional differential equations. The monotone iterative technique and the maximum principle are applied to obtain the existence of maximal and minimal solutions.     

改进型迈克耳孙干涉仪

采用分光梭镜代替迈克耳孙干涉仪中的分束镜和补偿板，不仅消除了杂散光斑，且简化了仪器的结构．     

6to4与ISATAP技术相结合的IPv6网络实现

在IPv4向IPv6过渡期间,多种过渡技术可以互相支持、互相组合使用,以达到互利互助。简要介绍了其中2种隧道技术:6to4技术和ISATAP技术,提出了1种基于两者结合的新型实验网络的实现方案。具体讨论了在Linux下如何组建这种新型实验网络平台,详细阐明了如何配置IPv6主机以及双栈路由器,为IPv4过渡到IPv6提供1个可行的方案。     

A polymer onium acting as phase-transfer catalyst in halogen-exchange fluorination promoted by microwave

A polymerized quaternary ammonium salt polydiallyldimethylammonium chloride, exhibiting high stability to heat and base, was prepared and applied as phase-transfer catalyst (PTC) in halogen-exchange (Halex) fluorination of chloronitrobenzenes to give excellent yields of corresponding fluoronitrobenzenes. Dimethyl sulfoxide was found to be the best solvent when microwave was applied as heating resource.     

Fracture mechanisms of Hg0.8Cd0.2Te induced by pulsed TEA-CO2 laser

The fracture mechanisms of Hg_0.8Cd_0.2Te induced by pulsed TEA-CO₂ laser have been investigated theoretically and experimentally in this paper. The Hg_0.8Cd_0.2Te target was irradiated by a TEA-CO₂ laser with wavelength of 10.6 μm and spike width of 240 ns in an ambient atmosphere. The evident cracks can be found on the surface of the target from the scanning electron microscopy (SEM) photos, indicating that the severe breaks happened during the experiment. Theoretical analysis has also been carried out and the results show that the fracture of Hg_0.8Cd_0.2Te is mainly induced by thermal stresses, although there are three forces (thermal stress, evaporation wave and laser-supported detonation (LSD) wave) exerted on the target surface during the process.     

有机化合物电子光谱中的助色基及其作用机理探讨(Ⅰ)

本文就电子光谱中助色基的作用进行了讨论 ,认为不能一概地认为助色基能使与之相连的生色基最大吸收波长统统发生红移 ,而应具体问题具体分析 :对于n→π 来说 ,一方面助色基的p轨道和生色基的最低π 反键空轨道相互作用 ,使π 反键轨道能量上升 ,另一方面助色基的p轨道和生色基的n轨道正交 ,n轨道能量基本保持不变 ,因此n→π 跃迁能增加 ,吸收波长发生蓝移。对于π→π 跃迁来说 ,助色基的p轨道和生色基的最高π成键轨道相互作用生成的新的最高π成键轨道 ,能量虽然有所升高 ,但升高的程度与π 反键轨道升高的程度相比 ,在一些化合物中π轨道升高程度较大 ,因而π→π 跃迁能减小 ,吸收波长发生红移 ;在另一些化合物中π轨道升高程度较小 ,因而π→π 跃迁能增加 ,吸收波长发生蓝移。     

The fabrication and characterization of poly(lactic acid) scaffolds for tissue engineering by improved solid–liquid phase separation

In this article a new technique was developed to fabricate scaffolds with a unique microstructure by solid–liquid separation in combination with particulate-leaching. Firstly, the effects of polymer concentration, quenching temperature on the porous morphology and the mechanical property of obtained scaffolds during solid–liquid separation have been investigated. Then, salt granules as porogen were introduced into the solid–liquid phase separation to produce the unique pore structure of the scaffold. The pore diameter of the scaffold could be controlled with the particulate size and the wall of pores possessed special microstructure, which enhanced the pore interconnectivity. The cell culture results confirmed that a good interconnectivity of the scaffold prepared by the improved solid–liquid separation was useful for nutrition transportation and cell proliferation. Copyright © 2003 John Wiley & Sons, Ltd.     

Simulation of polarization effects in AlGaN/GaN heterojunction

Because of their large band-gap, large high-field electron velocity, large breakdownfield, and large thermal conductivity, GaN and its heterojunction with AlGaN and InGaNhave foreseeable potential in the applications of high-power/temperature electronics, andoptoelectronic devices operative in UV and visible wavelength. Polarization inducedelectric field can reach the magnitude of ~MV/cm[1,2]. For AlGaN/GaN based FETs theconcentration of sheet carrier induced by polarization in the cha…     

KF-Al2O3催化合成2-甲基-1-苄基苯并咪唑

苯并咪唑类杂环化合物具有杀菌、消炎、抗癌、抗氧化的活性,广泛用于食品的防虫和防腐,用于动、植物病毒的防治,人体疾病和肿瘤的防治[1-3],本文用KF Al2O3作催化剂,用DMF为溶剂,利用2 甲基苯并咪唑与苄基溴反应合成2 甲基 1 苄基苯并咪唑的新型方法,考察了诸因素对产率的影响,找出了最佳的反应条件。合成路线如下:1　实验部分1 1　仪器与试剂Brurer AM 500超导核磁共振波谱仪(溶剂CDCl3);CarloErbal1106型元素分析仪,NicoletIm pact410型红外光谱仪,KBr压片,HP1100型和Finnigan FTMS 2000型质谱仪(以上均由华东理工大学分析…