oalib

Publish in OALib Journal

ISSN: 2333-9721

APC: Only $99

Submit

Any time

2019 ( 25 )

2018 ( 619 )

2017 ( 663 )

2016 ( 644 )

Custom range...

Search Results: 1 - 10 of 26246 matches for " 魏欧? "
All listed articles are free for downloading (OA Articles)
Page 1 /26246
Display every page Item
基于分解的多值模型的逼近关系
陈娟娟?,
计算机科学 , 2014, DOI: 10.11896/j.issn.1002-137X.2014.06.025
Abstract: 多值模型可用于对包含不确定与不一致信息的软件系统进行建模与验证。提出了采用基于分解的方式来刻画多值模型之间的逼近关系,这为采用抽象方法解决模型检测时所产生的状态爆炸问题奠定了理论基础。为此,首先给出了多值模型分解为多个三值模型的方法,并且证明了任意μ演算公式在多值模型上的检测结果等于在分解后所有三值模型上的检测结果的合并。进一步,由三值模型上的混合模拟关系给出了多值模型间逼近关系的结构定义,并证明对于任意给定的两个满足逼近关系的多值模型,μ演算公式在其上的检测结果在信息序关系上得以保持。
The Study of Speech Tagging of Chinese Texts
汉语词性标注方法的研究

,孙玉芳
计算机科学 , 2000,
Abstract: With the development of computer technology and more large corpus available.the techniques of statistics-based natural language processing.especially speech tagging technique.become one of the most actively researched project in computational linguistics. In the paper.we studied the statls tics-based methods applied to Chinese part of-speech tagging, analyzed the distinguishing features of Chinese speech ambiguity phenomena.discussed the standard of determining Chinese part of-speech,and the related topics of selecting a tag set.introduced the n-gram model used in statistical methods and studied the related algorithmes.
汉语词性标注方法的研究
孙玉芳?
计算机科学 , 2000,
Abstract:
环氧苍耳素Ⅰ对菜青虫中肠消化酶和羧酸酯酶活性的影响
?周琼,美才,晓明
昆虫学报 , 2011,
Abstract: 【目的】探明苍耳Xanthiumsibiricum活性物质——环氧苍耳素Ⅰ对菜青虫的作用机理。【方法】采用饲喂法处理4龄菜青虫Pierisrapae,测试从苍耳中分离提纯的环氧苍耳素Ⅰ(为倍半萜内酯类物质)对菜青虫中肠蛋白酶、淀粉酶和羧酸酯酶活性的影响。【结果】环氧苍耳素Ⅰ对蛋白酶活性的抑制最强,处理后12,24和48h,菜青虫中肠蛋白酶抑制率分别为20.95%,29.38%和50.06%;其次为淀粉酶,抑制率分别为11.89%,39.01%和31.92%。同时,中肠羧酸酯酶活性在处理后12h与对照之间无显著变化,24h时活性被显著抑制,而48h时活性却明显高于对照。【结论】环氧苍耳素Ⅰ对昆虫中肠消化酶活性的抑制,可能是引起昆虫表现取食抑制和生长发育不良的重要原因之一。
设置粘弹性耗能器的JZ20―2MUQ平台结构冰振控制
进萍,津生
海洋工程 , 2000,
Abstract: 根据JZ20-2MUQ平台结构的冰振反应特点和平台结构实际允许的空间,提出了粘弹性耗能器在平台结构中的设置方式;其次分析了不同方式设置粘弹性耗能器的平台结构动力特性,特别是耗能器给平台结构附加的振型阻比;最后通过大量的数值模拟计算,分析了不同海冰设计条件、不同标高和方向的挤压和弯曲破坏冰力作用下的平台结构冰振控制效果。
红花高产探索
,周向华,
中国中药杂志 , 1985,
Abstract: 本文较详细地介绍了怎样提高红花产量。其高产关键:一是适时秋播,促使形成莲座叶丛。二是合理稀植,增加通透性,提高单株营养面积。三是打去顶尖,抑制顶端优势,促其多分枝结蕾。产量由13斤/亩,提高到大面积56斤/亩,实验点81斤/亩。
采用方向场配准和图匹配的指纹匹配算法
鸿磊,宗瑛,张建新
大连理工大学学报 , 2007,
Abstract: 提出一种新的指纹匹配算法.在配准阶段,引入局部方向场匹配,并结合局部细节点拓扑结构匹配以进行指纹对齐;在对齐后的匹配中,首先在两个指纹的细节点集之间进行弹性匹配,得到一个由匹配的细节点对组成的相似集,然后以相似集中的细节点做顶点,以各顶点之间的连线为边,为输入指纹和模板指纹组成对应的拓扑图进行图匹配;还引入了全局方向场匹配,并与细节点集匹配进行融合,以提高算法的精度.采用FVC2002公布的指纹库进行对比实验,结果证明了算法的有效性.
基于统计的汉语词性标注方法的分析与改进
,吴健?,孙玉芳?
软件学报 , 2000,
Abstract: 从词性概率矩阵与词汇概率矩阵的结构和数值变化等方面,对目前常用的基于统计的汉语词性标注方法中训练语料规模与标注正确率之间所存在的非线性关系作了分析.为了充分利用训练语料库,提高标注正确率,从利用词语相关的语法属性和加强对未知词的处理两个方面加以改进,提高了标注性能.封闭测试和开放测试的正确率分别达到96.5%和96%.
基于双格的软件产品线模型检测
石玉峰?,,周宇?
计算机科学 , 2015, DOI: 10.11896/j.issn.1002-137X.2015.02.036
Abstract: 软件产品线在保留每个产品的可变性前提下通过最大化产品间的共性实现资源的再利用,从而提高生产效率和节约生产成本。近年来,基于特征的状态迁移系统应用于软件产品线的建模和验证中。然而现有的方法不能很好地支持软件产品线中存在的信息不确定和不一致的情况。为此,首先提出一种基于双格的特征迁移系统,用于软件产品线的行为建模,采用投影的方法定义产品的行为模型;然后采用动作计算树逻辑描述系统的时序属性,并且给出它在新系统上的语义,用于支持基于双格的模型检测;最后,采用多值模型检测工具χchek对方法的有效性进行实验分析。
柴达木盆地干柴沟—咸水泉地区中—深层成岩演化及其对储集体性能的影响
成华,董兆雄,学斌
古地理学报 , 2011, DOI: 10.7605/gdlxb.2011.01.008
Abstract: 通过剖面观察、岩心描述、分析化验等手段,系统研究了柴达木盆地干柴沟—咸水泉地区中—深层储集体岩石学特征、主要成岩作用类型及特征、储集空间类型及特征、成岩阶段及成岩演化序列,以及成岩作用对储集体性能的影响程度和规律。结果表明:研究区中—深层储集体主要由成分及结构成熟度均为低—中等的各类砂岩和部分泥灰岩组成;以压实作用、胶结作用、充填作用为主的破坏性成岩作用造成了储集体孔隙空间的大量损失,而以溶蚀作用为主的建设性成岩作用则使部分储集体恢复了储集性能;破坏性成岩作用主要发生在同生成岩、早成岩和中成岩阶段,建设性成岩作用主要发生在褶皱回返引起的表生成岩阶段;受成岩作用影响,主要发育粒间孔、残余粒间孔和溶蚀孔隙,孔隙结构以微细喉型为主,储集层类型以低孔—特低渗储集层为主。
Page 1 /26246
Display every page Item


Home
Copyright © 2008-2017 Open Access Library. All rights reserved.