作  者

不  限

  • 不  限
  • 1915年
  • 1949年
  • 1979年

不  限

  • 不  限
  • 1979年
  • 1949年
  • 1915年
  • 全  文
  • 主  题
  • 篇  名
  • 关键词
  • 作  者
  • 作者单位
  • 摘  要
  • 参考文献
  • 基  金
  • 文献来源
  • 发表时间
  • 中图分类号

全  文

不  限

  • 不  限
  • 1915年
  • 1949年
  • 1979年

不  限

  • 不  限
  • 1979年
  • 1949年
  • 1915年
  • 全  文
  • 主  题
  • 篇  名
  • 关键词
  • 作  者
  • 作者单位
  • 摘  要
  • 参考文献
  • 基  金
  • 文献来源
  • 发表时间
  • 中图分类号
手机远见搜索 |设置
  • 关闭历史记录
  • 打开历史纪录
  • 清除历史记录
引用
筛选:
文献类型 文献类型
学科分类 学科分类
发表年度 发表年度
作者 作者
机构 机构
基金 基金
研究层次 研究层次
排序:
显示:
CNKI为你找到相关结果

软件模型检测中的抽象模型研究综述  CNKI文献

抽象是解决模型检测中状态爆炸问题的一个基本方法.对近年来软件模型检测研究中所提出的一系列抽象模型进行综述.首先以抽象解释为理论框架阐述了抽象软件模型检测的各组成部分.然后根据模型的结构和功能特征,将抽象模...

魏欧 石玉峰... 《计算机研究与发展》 2015年07期 期刊

关键词: 抽象模型 / 自上逼近 / 自下逼近 / 模型检测

下载(364)| 被引(10)

基于统计的汉语词性标注方法的分析与改进  CNKI文献

从词性概率矩阵与词汇概率矩阵的结构和数值变化等方面 ,对目前常用的基于统计的汉语词性标注方法中训练语料规模与标注正确率之间所存在的非线性关系作了分析 .为了充分利用训练语料库 ,提高标注正确率 ,从利用词语相...

魏欧 吴健... 《软件学报》 2000年04期 期刊

关键词: 词性标注 / n元语法 / 语料 / 语法属性

下载(595)| 被引(81)

循环对称化简及在三值模型上的扩展  CNKI文献

为了将对称化简扩展到更多的非对称系统上,扩展了传统的基于自同构的对称性,提出了一种称为循环对称的新的对称性.证明了采用循环对称置换群或者由一组循环对称置换所生成的置换群仍可得到与原模型互模拟的对称商结构...

魏欧 袁泳... 《软件学报》 2011年06期 期刊

关键词: 模型检测 / 对称化简 / 循环对称 / 三值模型

下载(151)| 被引(7)

汉语词性标注方法的研究  CNKI文献

1 引言自然语言中,表达意义的符号(词)往往在各个层面上有歧义。在句法层面上,一个词可以兼好几种词性;在语义层面上,一个词可能有多个义项。词性歧义是由语言中的兼类词,即具有不止一个词性特征的词所引起的,只有在一...

魏欧 孙玉芳 《计算机科学》 2000年07期 期刊

关键词: Corpus / Part-of-speech / tagging / Speech

下载(300)| 被引(33)

社群企业运营模式及核心要素简析  CNKI文献

近年来,中国涌现出了一批以"社群经济"为核心的新兴企业。互联网时代的社群经济模式区别于传统的"品牌社群"概念,是对传统商业模式的革新。文章首先梳理了传统文献,并结合当下实践梳理出现阶段社...

魏欧 《中国市场》 2016年36期 期刊

关键词: 社群企业 / 运营模式 / 商业模式 / 互联网经济

下载(154)| 被引(2)

基于非监督训练的汉语词性标注的实验与分析  CNKI文献

概率参数的获取是基于统计的词性标注的两个主要研究方向之一 .侧重于研究非监督方式 ,利用未标注的语料进行训练获取概率参数 .实现了一个非监督的训练标注模式—— HMM Basic;从不同的初始模型和训练集出发对汉语词...

魏欧 孙玉芳 《计算机研究与发展》 2000年04期 期刊

关键词: 概率参数 / 词性标注 / 汉语 / 非监督方式

下载(130)| 被引(16)

探究信息化对乡村旅游的推动和发展  CNKI文献

在信息爆炸和旅游业迅猛发展的今天,开发有特色的乡村旅游项目符合经济和环境发展的基本要求,有助于促进旅游业和乡村经济的共同发展。针对信息化时期旅游的特点,笔者将乡村旅游的发展策略进行如下分析。

魏欧 《度假旅游》 2019年01期 期刊

关键词: 信息化 / 乡村旅游 / 信息化 / 特色乡村

下载(54)| 被引(0)

探究信息化时代下的旅游景区文化建设  CNKI文献

信息化时代,文化旅游景区成为旅游业发展的支柱之一,得到了旅游开发者的重视。在旅游景区的文化建设中,信息化建设是不可获缺。针对信息化的作用,笔者将当前景区的文化建设现状和建设策略进行了简要的分析。

魏欧 《度假旅游》 2019年02期 期刊

关键词: 信息化 / 旅游景区 / 文化建设 / 信息化管理

下载(85)| 被引(0)

“微研究”在研究生课程教学中的应用探索  CNKI文献

面向国际化培养的研究生课程要求研究生通过课程学习提高研究能力,充分发挥课程教学在研究生教育中的重要作用。本文以"高级软件工程"课程教学为例,探索了在实践过程中"微研究"在课堂教学、综合课...

魏欧 蔡昕烨 《电气电子教学学报》 2015年02期 期刊

关键词: 微研究 / 研究生教育 / 课程教学

下载(66)| 被引(0)

发挥建筑师应对气候变化的领导力  CNKI文献

对建筑在气候变化方面起到的作用,建筑师有着重要的责任。世界范围内,建筑能耗占社会总能耗的35%和总电力的60%,其中大部分来自化石能源。作为最大的终端用能部门,建筑物的温室气体排放占美国排放总量的1/3以上。...

魏欧雅 中国建设报 2017-11-20 报纸

关键词: 气候变化 / 建筑师 / 美国建筑师协会 / 终端用能

下载(4)| 被引(0)

大众选股行为模式研究  CNKI文献

本报告试图探究人们在选购股票时的行为模式,旨在探讨普通投资者在不具备必要金融知识时所进行的选股行为与效益分析。主要包括两个部分,即问卷调查和实证分析。问卷调查部分的数据来自回收的有效问卷,本次问卷调查采...

魏欧 韩思佳 《企业改革与管理》 2016年04期 期刊

关键词: 大众 / 选股 / 行为模式研究

下载(48)| 被引(0)

创新:经济增长的动力,竞争取胜的关键  CNKI文献

中国已经展现出向全球科技界及商界学习的能力、有效参与全球合作的能力,以及让所学融入并适应中国的自身环境、开发新产品的能力。未来,中国在全球创新中的领导地位,取决于建立一套提升私人积极性的政策框架。创新的...

魏欧 一川 《博鳌观察》 2014年02期 期刊

关键词: 创新 / 中华人民共和国 / 研发支出 / 经济

下载(15)| 被引(0)

基于故障配置的故障树生成  CNKI文献

故障树分析是提高系统安全性和可靠性的有效方法。传统的人工故障树生成方式难以解决当前系统的庞大规模与复杂性的问题,且容易出错。为此,提出基于故障配置的故障树生成方法,引入软件产品线的可变性管理,用于系统故障...

黄鸣宇 魏欧... 《计算机科学》 2017年02期 期刊

关键词: 故障树 / 故障配置 / 模型检测

下载(124)| 被引(13)

基于概率模型检测和遗传算法的基因调控网络的无限范围优化...  CNKI文献

基因调控网络是一类基本且重要的生物网络,通过对其进行控制可以实现生物系统功能的调节。在生物系统中,通过外部的干预控制构造关于基因调控网络的控制理论成为了非常热门的研究主题。目前,作为一种重要的网络模型,带...

刘爽 魏欧... 《计算机科学》 2018年10期 期刊

关键词: 基因调控网络 / 优化控制 / 概率模型检测 / 遗传算法

下载(68)| 被引(0)

模型检测网络传播干预策略  CNKI文献

网络广泛存在于自然界和人类生活中,计算机病毒、传染疾病、森林火灾和社会流言等在网络中的传播给经济、社会带来巨大挑战,寻找有效的干预策略实现对网络传播的控制是一个重要的研究问题。对受时间和邻接点影响的网络...

余鹏 魏欧... 《计算机科学与探索》 2014年08期 期刊

关键词: 模型检测 / 网络传播 / 干预策略

下载(65)| 被引(1)

一种状态事件故障树的时间特性分析方法  CNKI文献

状态事件故障树是一种适合于描述构件化嵌入式系统失效因果链的建模技术,其顶层事件描述失效发生的结果.对顶层事件发生的平均时间进行分析,是获得系统平均失效时间参数的一种有效方法,可为系统的安全性评估提供支持....

徐丙凤 黄志球... 《软件学报》 2015年02期 期刊

关键词: 状态事件故障树 / 交互马尔可夫链 / 平均时间分析 / 形式化方法

下载(395)| 被引(19)

应用改进的遗传算法优化软件产品线特征选择  CNKI文献

软件产品线工程是一个利用更全面的软件复用技术能够在开发成本和产品上市时间方面极大改善软件开发过程的有效方式.特征模型是软件产品线工程中描述软件产品家族共性和可变性特征以及特征之间关系的需求模型.基于特征...

刘玉梅 魏欧... 《小型微型计算机系统》 2017年01期 期刊

关键词: 特征模型 / 原子集 / 遗传算法 / 优化特征选择

下载(115)| 被引(2)

基于SAT求解器的故障树最小割集求解算法  CNKI文献

故障树分析广泛应用于核工业、航空航天和交通控制等安全攸关领域的安全性分析。求解故障树的最小割集是故障树分析的关键步骤。目前,对于大规模故障树的最小割集的求解方法主要是将故障树转化为二元决策图之后求解,其...

罗炜麟 魏欧... 《计算机工程与科学》 2017年04期 期刊

关键词: 故障树分析 / 安全性分析 / 最小割集 / 可满足性问题

下载(75)| 被引(2)

基于双格的软件产品线模型检测  CNKI文献

软件产品线在保留每个产品的可变性前提下通过最大化产品间的共性实现资源的再利用,从而提高生产效率和节约生产成本。近年来,基于特征的状态迁移系统应用于软件产品线的建模和验证中。然而现有的方法不能很好地支持软...

石玉峰 魏欧... 《计算机科学》 2015年02期 期刊

关键词: 模型检测 / 软件产品线 / 多值逻辑

下载(59)| 被引(3)

使用模型检测解决概率布尔网络优化控制  CNKI文献

系统生物学期望对复杂生物系统建立一个真实的、可计算的模型,以便于以系统的角度去理解生物系统的演变过程。在系统生物学中,一个重要的主题是通过外部的干预控制发展关于基因调控网络的控制理论,以作为未来基因治疗...

郭宗豪 魏欧 《计算机科学》 2017年05期 期刊

关键词: 基因调控网络 / 概率布尔网络 / 优化控制 / 概率模型检测

下载(75)| 被引(1)

学术研究指数分析(近十年)详情>>

  • 发文趋势

热门学者(按发文篇数排行)

相关机构

轻松读懂《孙子兵法》