Optical design of the Lyman alpha based beam emission spectroscopy(LAB)diagnostic on the HL-2A tokamak

In this article, we present the optical design of a novel diagnostic on the HL-2 A tokamak, i.e. the20-channel edge Lyman-alpha beam emission spectroscopy, which is a promising solution for edge density turbulence research on tokamaks, as it offers the possibility of density fluctuation measurement with a 3.3 mm spatial resolution while maintains a high temporal resolution of1 μs. The optical path, including the reflective collection optics, the high-dispersion spectrometer, and the linear detector array, is carefully optimized to obtain a good image quality and a high throughput. The maximum root mean square radius of the collection optics is 64 μm.The detected photon flux is estimated to be about 10~(11) photons/s/channel.     

陕南山地烟田不同植烟年限土壤养分的变化

为给陕南山地烟草生产布局及有针对性的施肥措施提供依据,分析了陕南山地烟田不同植烟年限(0~15年)与土壤养分含量的关系。结果表明:随着植烟年限延长,有机质线性下降,全氮和速效钾显著上升,有效磷先上升后下降;氯、有效铁、有效锰、有效硼和有效铜无显著变化或变化很小,有效锌则在第1年急剧下降,之后保持稳定,10年后再次显著下降。认为陕南山地烟区烟叶生产中应适当增加有机肥的施用而合理控制氮肥、磷肥和钾肥的施用,并要注意锌肥的补充。     

The Critical Role of Passive Permeability in Designing Successful Drugs

Passive permeability is a key property in drug disposition and delivery. It is critical for gastrointestinal absorption, brain penetration, renal reabsorption, defining clearance mechanisms and drug-drug interactions. Passive diffusion rate is translatable across tissues and animal species, while the extent of absorption is dependent on drug properties, as well as in vivo physiology/pathophysiology. Design principles have been developed to guide medicinal chemistry to enhance absorption, which combine the balance of aqueous solubility, permeability and the sometimes unfavorable compound characteristic demanded by the target. Permeability assays have been implemented that enable rapid development of structure-permeability relationships for absorption improvement. Future advances in assay development to reduce nonspecific binding and improve mass balance will enable more accurately measurement of passive permeability. Design principles that integrate potency, selectivity, passive permeability and other ADMET properties facilitate rapid advancement of successful drug candidates to patients.     

5-二茂铁基噁唑的合成研究

以二茂铁甲醛和对甲苯磺酰基异氰(TOSMIC)为原料,经过Van Leusen反应,一步合成目标化合物5-二茂铁基噁唑,通过~1HNMR、~(13)CNMR和ESI-MS对其结构进行表征,并对影响收率的主要因素进行考察。结果表明,在物料比n(TOSMIC)∶n(二茂铁甲醛)为1.1∶1、反应溶剂为甲醇、K_2CO_3用量即n(K_2CO_3)∶n(二茂铁甲醛)为2.0∶1、反应温度为65℃、反应时间为8 h的最佳条件下,目标化合物收率达到74.7%。该方法具有原料廉价易得、反应操作简单、收率高等优点,具有一定的应用价值。     

The ‘Hoare logic’ of concurrent programs

Summary Hoare's logical system for specifying and proving partial correctness properties of sequential programs is generalized to concurrent programs. The basic idea is to define the assertion {P} S {Q} to mean that if execution is begun anywhere in S with P true, then P will remain true until S terminates, and Q will be true if and when S terminates. The predicates P and Q may depend upon program control locations as well as upon the values of variables. A system of inference rules and axiom schemas is given, and a formal correctness proof for a simple program is outlined. We show that by specifying certain requirements for the unimplemented parts, correctness properties can be proved without completely implementing the program. The relation to Pnueli's temporal logic formalism is also discussed.     

基于虚拟分割机制的多服务交换路由器的研究

本文提出了一处基于虚拟分割机制的可编程多服务器由器实现结构：PVSMR，并对它的三个层面的主要构成及其关键技术进行了深入研究。PVSMR基于一种有效而灵活的资源虚拟分割算法，它能够提供与多类应用相适应的、灵活的报文处理和转发控制能力。     

基于软交换的NAT/防火墙穿透技术研究

通过对目前几种解决NAT(network addres stranslation)／防火墙穿逢方案的分析，提出了一种较易实现的穿透技术，并给出具体实现方案。