ELNF归约演算

ＥＬＮＦ演算是在ＬＮＦ演算的基础上扩充而成的函数／逻辑归约演算系统，扩充的主要工作包括逻辑变量、谓词名的引进。提出并描述了逻辑函子ＳＯＬＵＴＩＯＮ和ＰＲＯＶＥ及其归约规则．讨论了ＥＬＮＦ演算的基本概念。为表征ＨＯＲＮ子句提供了一种有效方式。     

弘扬国学精粹 提高人文素质--高校非中文专业开设"中国古典文学鉴赏"课的必要性与可行性

从高校非中文专业学生知识结构的现状出发，阐述加强人文素质教育的重要性；“中国古典文学鉴赏”课的课程特点及其在人文素质教育中所起的作用决定了在高校非中文专业学生中开设这门课程的必要性和可行性。     

Synapsin I bundles F-actin in a phosphorylation-dependent manner

Synapsin I is a neuron-specific phosphoprotein localized to the cytoplasmic surface of synaptic vesicles. This phosphoprotein is a major substrate for cyclic AMP-dependent and calcium/calmodulin-dependent protein kinases. Its state of phosphorylation can be altered both in vivo and in vitro by a variety of physiological and pharmacological manipulations known to affect synaptic function. Recent direct evidence suggests that it may be involved in the regulation of neurotransmitter release from the nerve terminal. In the nerve terminal, synaptic vesicles are embedded in a cytoskeletal network, consisting in part of actin. We report here the ability of the dephospho-form of synapsin I to bundle F-actin. This bundling activity is reduced when synapsin I is phosphorylated by cAMP-dependent protein kinase and virtually abolished when it is phosphorylated by calcium/calmodulin-dependent protein kinase II or by both kinases. These results, demonstrating an interaction of synapsin I with actin in vitro, support the possibility that synapsin I is involved in clustering of synaptic vesicles at the presynaptic terminal and that the phosphorylation of synapsin I may be involved in regulating the translocation of synaptic vesicles to their sites of release.     

基于分级遗传算法的结构损伤识别方法

提出了一种基于遗传算法的利用不完整振动数据识别结构损伤的新方法，该方法首先扩展不完整的振型并利用单元能量熵差比确定结构损伤的大致位置，然后采用二级搜索策略，借助遗传算法确定结构损伤的程度，数值计算结果表明，当可能的损伤区域较大时，本方法较直接搜索策略更能有效地确定结构损伤的程度。     

尺度变化对形状的比例不变特征的影响

分析了在实际应用中，摄像机拍摄距离或焦距发生变化时，同一对象形状在不同图像中出现细节差别的原因；结合常用的如圆形度、矩不变量和傅里叶描述子等形状特征，通过试验分析，说明了在不同尺度下。这些细节上的变化在一定程度上会影响同一对象的同类形状特征之间的比较，也说明了对形状特征的比例不变性的应用应当是有一定范围限制的．     

表面激子极化激元的定域化

在存在着随机粗糙和空间色散时，利用了一个数字模型研究表面激子极化激元的定域化．发现定域化出现在表面激子极化激元的最大频率附近，在广延态上的衰减长度大于定域态上的衰减长度，表面激子极化激元的定域化是受到粗糙表面散射波的毁灭性干涉所引起的．     

钢筋表面微区电位分布的原位测量

应用自行研制的扫描微参比电极联机测量系统,原位测量了钢筋在模拟混凝土孔隙液中表面微区电位分布.结果表明,钢筋在纯饱和Ca(OH)2溶液中处于钝态.当溶液的pH降低和外加Cl-时,钢筋表面微区电位分布即发生变化,电位差变大,钢筋表面随之发生点腐蚀.     

RNAi-mediated gene silencing in non-human primates

The opportunity to harness the RNA interference (RNAi) pathway to silence disease-causing genes holds great promise for the development of therapeutics directed against targets that are otherwise not addressable with current medicines. Although there are numerous examples of in vivo silencing of target genes after local delivery of small interfering RNAs (siRNAs), there remain only a few reports of RNAi-mediated silencing in response to systemic delivery of siRNA, and there are no reports of systemic efficacy in non-rodent species. Here we show that siRNAs, when delivered systemically in a liposomal formulation, can silence the disease target apolipoprotein B (ApoB) in non-human primates. APOB-specific siRNAs were encapsulated in stable nucleic acid lipid particles (SNALP) and administered by intravenous injection to cynomolgus monkeys at doses of 1 or 2.5 mg kg(-1). A single siRNA injection resulted in dose-dependent silencing of APOB messenger RNA expression in the liver 48 h after administration, with maximal silencing of >90%. This silencing effect occurred as a result of APOB mRNA cleavage at precisely the site predicted for the RNAi mechanism. Significant reductions in ApoB protein, serum cholesterol and low-density lipoprotein levels were observed as early as 24 h after treatment and lasted for 11 days at the highest siRNA dose, thus demonstrating an immediate, potent and lasting biological effect of siRNA treatment. Our findings show clinically relevant RNAi-mediated gene silencing in non-human primates, supporting RNAi therapeutics as a potential new class of drugs.     

Kinetic evaluation of the size-dependent decomposition performance of solvent-free microcellular polylactic acid foams

A thermal gravimetric method is described for evaluating the kinetics of cell size-dependent decomposition and lifetime estima- tion for microcellular tissue engineering scaffolds made of biodegradable polylactic acid(PLA)foams.PLA foam cell sizes from 550 to 20?m were fabricated experimentally using a solvent-free solid-state foaming technique under saturation pressures from 1 to 5 MPa.The thermal properties of the PLA foams with respect to the cell sizes were measured using thermal gravimetric analy- sis in a nitrogen atmosphere and the activation energy and pre-exponential factor were derived to evaluate the decomposition ki- netics and estimate lifetime.It was found that small cell sizes can be achieved under high saturation pressures and that the thermal stability of PLA decreases after the fabrication process.The cell size-dependent thermal stability and degradation rate indicate that a PLA foam of larger cell sizes has a shorter degradation time,a few tenths that of the PLA raw material,at a temperature of 37°C. The results suggest that it is feasible to optimize fabrication parameters to obtain appropriate cell sizes and lifetimes that satisfy the application requirements for various organs.This study provides the basis for precise scaffold design and quantitative analysis of PLA foams in tissue engineering applications.     

Observation of robust edge superconductivity in Fe(Se,Te) under strong magnetic perturbation

The iron-chalcogenide high temperature superconductor Fe(Se,Te) (FST) has been reported to exhibit complex magnetic ordering and nontrivial band topology which ...