复制受限的环境演算中模态逻辑的内涵性

环境演算(MA)的模态逻辑AL进行了研究．在考虑了复制操作和限制操作的情况下，提出了逻辑等价的协归纳操作描述，并利用协归纳关系与进程结构同余关系进行比较，证明了若对MA加上约束条件得到子集MAIF^syn，此时逻辑等价(=L)与结构同余关系是等价的，即AL在MAIF^syn中是内涵的．同时发现由于复制操作的存在，AL的内涵性受到了影响，使得AL的区分能力被削弱，但通过对复制公式的构造验证了AL的表达能力．     

Broadband spectral shaping in a Ti:sapphire regenerative amplifier

A birefringent crystal quartz plate of known thickness has been used as a spectral filter for spectral shaping in a Ti:sapphire regenerative amplifier. The spectral profile of the amplified pulse ejected from the regenerative amplifier was observed while adjusting the birefringent crystal plate in the cavity. By altering the gain spectrum, the bandwidth of the regeneratively amplified pulse was increased from 18 to 35 nm by using a 0.34-mm thick birefringent plate. The output pulse spectrum from the regenerative amplifier neared the bandwidth of the seed pulse. As a comparison, we used a coated filter outside the regenerative amplifier cavity, and the bandwidth of the regeneratively amplified pulse was stretched to 28 nm. When the bandwidth was stretched to 35 nm, the pulse was compressed to 35 fs.     

Bio-antioxidant of Anthraquinone Derivatives

The Rubiaceae family is well known for containing anthraquinones. More specifically, lapachol and its analogues are known to possess antitumor, antibiotic, antimalarial and antiulceric activities.[1] Several report indicated that some quinones containing OH in its structure were found to have higher bio-activity than quinines lacking the OH group.     

多元χ演算运行时错误的不可判定性

针对多元χ演算运行时刻通信安全的判定性问题进行了研究．通过从Lazyλ项到χ项的编码，将判定一个Lazyλ项是否有范式的问题归约为进程是否有通信错误的问题．证明了在多元χ演算中，通讯错误也是不可判定的．结论说明不存在算法直接来检测进程的通信安全性，而只有通过其他间接的手段(如构造类型系统)才能部分达到预防运行时错误的目的．     

如何在教学中开拓学生的发散性思维

从初中进入高一级学校，物理跨了一个高台阶，常使学生感到束手无策，“一听就懂，一做就错．”是学生经常向老师谈的体会．为什么会产生这一情况呢?原因是他们的习惯思维在作怪，使他们在看问题时总有盲点，怎样才能开拓学生的发散性思维?使他们的思维在今后的学习中不为所“框”、不为所“漏”．我认为应从以下方面着手．     

Preparation of well-aligned carbon nanotubes by pyrolysis of phenolic resin in anodic alumina pores

Well-aligned carbon nanotubes (CNTs) of high quality were synthesized by pyrolysis of phenolic resin at 800 °C in anodic alumina oxide (AAO) pores under argon protection. The innocuous source materials and safe operational conditions permit this method to synthesize well-aligned CNTs in large-scale and low cost. The formation mechanism of the synthesized CNTs is also proposed in this work by a series of visual sketches and is proved with obvious evidence. Firstly, phenolic resin nanotubes form in the template pores through the evaporation of solvent. Heat treatment then transfers these tubes into CNTs.     

Competitive influence of atactic polystyrene and supercritical carbon dioxide on the conformation of syndiotactic polystyrene

The crystallization behavior of miscible syndiotactic polystyrene (sPS) and atactic polystyrene (aPS) blends with different sPS/aPS weight ratios was investigated in supercritical CO₂ by using Fourier‐transform infrared spectroscopy, differential scanning calorimetry, and wide‐angle X‐ray diffraction. Supercritical CO₂ and aPS exhibited different effects on the conformational change of sPS and competed with each other. Increasing the content of amorphous aPS in the blends made its effect on the conformational change of sPS gradually surpass that of supercritical CO₂. Supercritical CO₂ favored the formation of the helical conformation of sPS in lower temperature range and the all trans planar conformation in higher temperature range, instead of forming the latter one only in higher temperature range in ambient atmosphere. However, increasing aPS content in the blends pushed the range for forming the helical conformation to lower temperature and made the all trans planar conformation dominant in aPS/sPS 25/75 blend after treating in supercritical CO₂ above 60 °C. The all trans planar zigzag conformation was more favorable than the helical conformation after mixing aPS in sPS in supercritical CO₂. © 2007 Wiley Periodicals, Inc. J Polym Sci Part B: Polym Phys 45: 1755–1764, 2007     

2,3,4,5,6‐Penta­nitro­aniline 1,2‐dichloro­ethane disolvate: `push–pull' deformation of aromatic rings by intra­molecular charge transfer

The title compound, C₆H₂N₆O₁₀·2C₂H₄Cl₂, forms layered stacks of penta­nitro­aniline mol­ecules, which possess twofold symmetry. The voids between these stacks are occupied by dichloro­ethane mol­ecules, which reside near a 2/m symmetry element and display pseudo‐inversion symmetry. The C atoms in one of the two solvent mol­ecules are threefold disordered. In the penta­nitro­aniline mol­ecule, considerable distortion of the benzenoid ring, coupled with the short C—N(H₂) bond and out‐of‐plane NO₂ twistings, point to significant intra­molecular `push–pull' charge transfer at the amino‐ and nitro‐substituted (ortho and para) positions, as theoretically quantified by natural bond orbital analysis of the π‐electron density.     

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.