摘要：XYZ/E面向对象程序中表示对象概念的语言成分是代理机构:一种由一个数据包块和与之匹配的进程所组成的模块.在时序逻辑框架下给出了面向对象程序及其包含的各种语言成分的语义,并提供了几个用于证明这些语言成分之间的语义一致性的定理.

摘要：K+通道亚型Kv4.3在调节心肌细胞动作电位的幅度与时程方面具有重要作用,是治疗心律失常的有效作用靶点,但目前世界上该通道的特异性抑制剂非常缺乏。敬钊毒素-V(Jingzhaotoxin-V,JZTX-V)是从敬钊缨毛蜘蛛粗毒中纯化到的一种新型肽类神经毒素,能够部分抑制大鼠背根神经节细胞上的瞬时外向K+电流,其半数有效抑制浓度(IC50值)为52.3nmol/L。为了研究JZTX-V对Kv4.3通道的作用,本实验通过多肽固相化学合成的方法得到JZTX-V,并用双电极杆电压钳技术检测JZTX-V对表达在非洲爪蟾卵母细胞上的Kv4.3通道电流的作用。结果显示,JZTX-V能够完全抑制Kv4.3通道电流,并且这种抑制作用具有浓度依赖性和时间依赖性,其IC50值为425.1nmol/L,JZTX-V还能够使通道的电流-电压关系曲线和稳态失活曲线分别向去极化方向漂移大约29mV和10mV,改变Kv4.3通道的动力学特征,因此我们推测JZTX-V是一种Kv4.3通道门控调制毒素。以上研究结果对于开发心肌Kv4.3通道的分子探针及以Kv4.3通道为靶点的药物设计具有借鉴作用。

摘要：叶色性状,作为一个形态学标记,在作物的遗传改良中扮演着重要的角色。在芥菜型油菜品系1280中发现了一个叶色自发突变体,将其命名为1280-1。1280-1新叶通常呈绿色,叶缘和叶脉紫色。随着叶片生长,整个叶片均呈现紫色。1280-1目前已自交7代,叶片紫色性状已稳定。为进一步研究1280-1的遗传特性,将1280-1与2个芥菜型油菜绿叶亲本(芥菜型多室油菜和富源油菜)进行杂交,F1自交后获得F2群体,同时F1与芥菜型油菜绿叶亲本进行回交得到BC1分离群体。F2分离群体统计表明,1280-1的紫叶性状受到1对显性基因控制,将该基因命名为Bjpl1;利用AFLP结合BSA的方法,设计512对引物组合,在1280-1与芥菜型多室油菜构建的BC1分离群体筛选与Bjpl1基因紧密连锁的分子标记,共获得10对与目标基因紧密连锁的分子标记。其中,PL02、PL07和PL10与Bjpl1基因共分离;PL07被转化成一个SCAR标记。目标基因两侧最近的标记分别为PL01(PL04)和PL08,它们与目标基因间的遗传图距分别为0.7和1.3cM。

摘要：本文对海洋来源的内生真菌棘孢曲霉(Aspergillus aculeatus)的次级代谢产物进行了研究,从其提取物中分离得到一个新的具有较长交叉共轭系统的甾体类化合物,通过各种波谱分析方法确定其结构为15α-羟基-(22E,24R)-麦角甾-3,5,8(14),22-四烯-7-酮(15α-hydroxy-(22E,24R)-ergosta-3,5,8(14),22-tetraen-7-one)。测试了该化合物在体外对小鼠白血病细胞株P388、人早幼粒白血病细胞株HL-60、人前列腺癌细胞株PC-3的细胞毒作用。

摘要：Cosmic radiation has several effects on the On-Board Processing(OBP)platform in satellite communications systems,and Single Event Upsets(SEUs)are one of its most important *** order to protect the Finite Impulse Response(FIR)filters against SEU,this paper proposes a novel Residue Number(RN)-based *** proposed method applies the transpose form of the FIR filter to avoid the fault missing caused by SEU on shift *** also adjusts the input intelligently to avoid the fault missing caused by SEU on the filter *** all the fault missing events are avoided,the modulus can be minimised to achieve the minimum *** analysis and simulation results show that the noise introduced by the input adjustment is *** injection shows that the fault missing rate of the proposed method is ***,FPGA implementation shows that the overhead of the proposed method is approximately 75% of Triple Modular Redundancy,and is only 1%-2% higher than that of the traditional RN-based design.

摘要：为了分析传感器结构对籽粒冲击响应信号的影响,建立了籽粒检测传感器的三维结构模型,利用SolidWorks分析了传感器的振动模态。结果表明:传感器的上层面板的结构尺寸是影响传感器振动特性的主要因素,随着面板宽度b的增加,相对变形率γ首先迅速减小;随着b的进一步增加,γ逐渐减小至恒定值,固有频率f则单调增大;增加面板厚度h,固有频率f和相对变形率γ均呈单调增加趋势。将传感器安装到联合收获机振动筛尾部支架上进行清选损失检测试验。结果表明,传感器能够在振动干扰中识别籽粒冲击信号,当b=30 mm时,籽粒冲击响应时间小于2 ms,远小于b=120 mm时的籽粒冲击响应时间。

摘要：分析了文本分类过程中存在的混淆类现象,主要研究混淆类的判别技术,进而改善文本分类的性能.首先,提出了一种基于分类错误分布的混淆类识别技术,识别预定义类别中的混淆类集合.为了有效判别混淆类,提出了一种基于判别能力的特征选取技术,通过评价某一特征对类别之间的判别能力实现特征选取.最后,通过基于两阶段的分类器设计框架,将初始分类器和混淆类分类器进行集成,组合了两个阶段的分类结果作为最后输出.混淆类分类器的激活条件是:当测试文本被初始分类器标注为混淆类类别时,即采用混淆类分类器进行重新判别.在比较实验中采用了Newsgroup和863中文评测语料,针对单标签、多类分类器.实验结果显示,该技术有效地改善了分类性能.

摘要：提出一种节能的无线传感器网络跨层结构(TEPA).TEPA采用跨层设计,在网络层和MAC层之间交互信息以实现高效率的数据传输.TEPA结合了网络的邻居拓扑信息和路由信息,使用微分进化算法(DE)优化MAC层的TDMA时隙配置,减少了数据汇聚树上各分枝之间的冲突,并且加速了单个分枝路径上数据的传递,既节约能量又降低延迟.与以往的协议不同,TEPA根据吞吐量和延迟在不同负载下的折衷找到了最优而非最短的TDMA调度时间表长度.仿真验证了TEPA在能耗与延迟方面的改善.

摘要：首先从视频传感器节点方向性感知特性出发,设计了一种方向可调感知模型,并以此为基础对有向传感器网络覆盖增强问题进行分析与定义;其次,提出了一种基于虚拟势场的有向传感器网络覆盖增强算法PFCEA(potential field based coverage-enhancing algorithm).通过引入"质心"概念,将有向传感器网络覆盖增强问题转化为质心均匀分布问题,以质心点作圆周运动代替传感器节点传感方向的转动.质心在虚拟力作用下作扩散运动,以消除网络中感知重叠区和盲区,进而增强整个有向传感器网络覆盖.一系列仿真实验验证了该算法的有效性.

摘要：电力大数据环境形成已经是业内共识。Hadoop作为大数据处理工具事实上的标准,是构建可行的设备状态评估大数据平台的基础技术。面向输变电设备状态评估的大数据平台与其他平台最大的不同是,其具体应用是多样的、变化的、后续不断增加的。这对任何平台都是极大的挑战。分析输变电设备状态评估应用特征,提出基于Hadoop的大数据底层平台体系架构,并分别针对不同响应时间的业务处理特征提出解决方案,以有效解决一个平台适配多种业务应用特征的难题。