作  者

不  限

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

不  限

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

全  文

不  限

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

不  限

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

模型检测:理论、方法与应用  CNKI文献

随着计算机软硬件系统日益复杂,如何保证其正确性和可靠性成为日益紧迫的问题.在为此提出的诸多理论和方法中,模型检测(model checking)以其简洁明了和自动化程度高而引人注目.模型检测的研究大致涵盖以下内容:模态/时...

林惠民 张文辉 《电子学报》 2002年S1期 期刊

关键词: 系统可靠性 / 模态/时序逻辑 / 模型检测

下载(2429)| 被引(360)

盐泽螺旋藻与其他螺旋藻的比较研究  CNKI文献

研究了盐泽螺旋藻的形态、生理生化特性和在不同条件下的生长状况,并与其他螺旋藻进行了比较。盐泽螺旋藻、极大螺旋藻和钝顶螺旋藻在蛋白质的含量、氨基酸组分以及可见光吸收光谱等方面差别不大。盐泽螺旋藻的生长速...

林惠民 《水生生物学报》 1991年01期 期刊

关键词: 藻类 / 螺旋藻 / 光合作用 / 呼吸作用

下载(174)| 被引(29)

移动进程的空间逻辑  CNKI文献

提出了一个用于描述异步π-演算中移动进程的时态和空间性质的模态逻辑.该逻辑具有基于谓词变量的递归构造.建立了这一逻辑的语义理论,并证明了语义的单调性,从而保证了不动点的存在.还设计了一个算法来自动地检测移动...

林惠民 《中国科学E辑:技术科学》 2004年02期 期刊

关键词: 模态逻辑 / 谓词μ-演算 / 模型检测 / 移动进程

下载(179)| 被引(9)

网络技术与网络伦理  CNKI文献

2014年是中国接入互联网20年,截止到2013年底,中国网民规模达6.18亿。随着互联网的迅速普及,垃圾邮件、病毒、网络诈骗等问题也层出不穷,网络伦理成为一个需要着重探讨的话题。网络伦理是人们在信息网络空间中应该遵守...

林惠民 《科技导报》 2014年19期 期刊

关键词: 网站服务器 / 网民 / 行业自律 / 私密信息

下载(194)| 被引(2)

π-演算观察等价的推理系统  CNKI文献

提出带递归π 演算观察等价的推理系统 ,并证明了在受卫递归有穷控制子集上的完备性 .该系统由推理规则和等式公理两部分组成 ,其断言采用条件等式的形式 ,直接刻画了进程项之间的符号互模拟关系 .这一结果一方面将Mi...

林惠民 《中国科学E辑:技术科学》 1999年05期 期刊

关键词: π-演算 / 推理系统 / 等价

下载(177)| 被引(3)

传值系统的互模拟与谓词等式系  CNKI文献

本文引入描述传值并发系统的新模型“带赋值符号迁移图(STGA)”.STGA推广了Hen-nessy和Lin提出的“符号迁移图”的概念,允许迁移上带有赋值,从而能将更大的一类传值系统表示为有穷状态图.STGA的另一优点是在并...

林惠民 《计算机学报》 1998年02期 期刊

关键词: 传值进程 / 互模拟 / 谓词等式系

下载(86)| 被引(5)

高可靠软件研究:向信息技术的未来投资  CNKI文献

随着社会对信息技术的依赖性日益增长,如何提高处于信息技术核心的计算机软件的可靠性成为一个紧迫的问题。测试仍然是目前工业界广泛采用的确认软件是否正确可靠的主要手段,而形式化方法被认为是非常有希望的新途径。...

林惠民 《中国科学院院刊》 2002年06期 期刊

关键词: 信息技术 / 高可靠软件 / 测试 / 形式化方法

下载(90)| 被引(2)

π-演算中无卫递归的消除  CNKI文献

本文提出消除π-演算中无卫递归的公理,证明了将该公理加入到正则π-演算受卫递归子集上的证明系统后,所得到的证明系统在π-演算全体正则子集上关于互模拟等价的可靠性和完备性

林惠民 《软件学报》 1997年05期 期刊

关键词: 进程代数 / π-演算 / 互模拟 / 递归进程

下载(99)| 被引(1)

几种固氮蓝藻的固氮酶活性及其某些特性  CNKI文献

对三种固氮蓝藻:固氮鱼腥藻(水生686)、柱孢鱼腥藻和鱼腥藻7120的整细胞及无细胞抽提液的固氮酶活性,进行了比较研究。水生686的整细胞酶活虽然不低(51.9毫米乙烯峰高/光密度/30分),仅次于柱孢鱼腥藻,但其无细胞抽提液...

林惠民 何振荣... 《水生生物学集刊》 1980年01期 期刊

关键词: 固氮蓝藻 / 固氮酶 / 还原酶 / 固氮鱼腥藻

下载(143)| 被引(2)

Computing Bisimulations for Finite-Controlπ-Calculus  CNKI文献

SupportedbytheNationalNaturalScienceFoundationofChina.1IntroductionTheaimofthispaperistodevelopanefficientalgorithmforcheckingbisimulationequivalencesforfinite-control7-calculus.UnlikeinfinitestateCC...

林惠民 《Journal of Computer Science and Technology》 2000年01期 期刊

关键词: mobile / processes / л-calculus / bisimulation

下载(39)| 被引(2)

嵌套谓词等式系与弱互模拟  CNKI文献

带赋值符号迁移图是一般传值进程的语义模型,其强互模拟等价可以归结为谓词等式系的最大解.该文将这一结果推广到弱互模拟等价,为此,引入嵌套谓调等式系的概念,并提出算法,将带赋值符号迁移图的弱互模拟等价归结...

林惠民 《软件学报》 1999年11期 期刊

关键词: 传值进程 / 互模拟 / 谓词等式系

下载(78)| 被引(2)

蓝藻固氮酶钼铁蛋白的研究  CNKI文献

改进了蓝藻固氮酶的分离、提纯方法。首次用小型厌氧聚丙烯酰胺凝胶制备电泳法,代替常用的层析法,获取了电泳纯的蓝藻固氮酶钼铁蛋白,简化了程序,缩短了实验周期。SDS凝胶电泳和分子筛凝胶过滤测定分子量结果表明,钼铁...

林惠民 何振荣... 《水生生物学报》 1986年01期 期刊

关键词: Anabaena / cylindrica / Nitrogenase / Mo-Fe

下载(99)| 被引(1)

相对完备性与抽象数据类型的描述  CNKI文献

完备性问题是抽象数据类型理论中的一个基本问题。本文提出了相对完备与基始完备的概念;讨论了描述的基始完备与模型的行为等价、描述的相对完备与模型的计算等价之间的一致性;证明了基始完备的描述可唯一地扩充成为相...

林惠民 《中国科学(A辑 数学 物理学 天文学 技术科学)》 1988年06期 期刊

关键词: 完备性 / 抽象数据 / 数据类型 / 完全性

下载(45)| 被引(3)

小学数学分层教学探究分析  CNKI文献

随着我国社会主义经济建设的发展,国内人们对教育的重视程度越来越高。俗话说得好:"学会数理化,走遍天下都不怕。"而在数理化学习中,数学的学习是重点,也是这三门学科中的基础学科。下面,针对所给出的论题对...

林惠民 《新课程(小学)》 2014年04期 期刊

关键词: 小学数学 / 分层教学 / 方法

下载(46)| 被引(0)

递归数据传送进程的证明系统  CNKI文献

本文提出递归数据传送进程互模拟的证明系统,并证明了其可靠性和相对于数据推理的完备性.其中关键的推理规则是唯一不动点归纳法.这个结果一方面将Milner关于正则基本CCS的公理系统[3]推广到数据传送进...

林惠民 《计算机学报》 1996年11期 期刊

关键词: 数据传送进程 / 互模拟 / 递归 / 唯一不动点归纳法

下载(52)| 被引(0)

高级语言中的类型等价问题  CNKI文献

本文针对强类型语言中的类型等价问题,研究了几个影响较大的高级语言对此问题的解决办法,讨论了结构等价与名字等价的利弊,进而分析了类型等价概念在高级语言中的作用,在此基础上,提出一个推荐方案,可以兼收结构...

林惠民 《福州大学学报》 1981年03期 期刊

关键词: 定义 / 赋值 / 等价问题 / 名字

下载(23)| 被引(2)

多重继承的范畴论语义  CNKI文献

Simula 67首先将类、次类、超类和继承的概念引入程序设计语言。这些思想在Smalltalk、C++等语言中得到了进一步的发展,形成了一种独特的、面向对象的程序设计风格。通过继承机制,次类可以共享超类中的代码,从而便利于...

林惠民 庞民治 《科学通报》 1989年14期 期刊

关键词: 面向对象的程序设计 / 多重继承

下载(56)| 被引(1)

在函数式语言SML中实现事件驱动多窗口系统  CNKI文献

本文介绍函数式语言SML窗口系统的设计和结构。该窗口系统实现了“事件驱动”的思想,主要面向于交互式应用。我们还描述了其中的一个工具包,并通过一个实际的例子来说明其应用。

林惠民 《计算机学报》 1990年08期 期刊

关键词: SML / 函数式语言 / 事件驱动 / 多窗口系统

下载(36)| 被引(0)

改革开放光辉的十年——漳州市水产业发展经验综述  CNKI文献

漳州市水产业在党的十一届三中全会以来,认真贯彻“一个中心、两个基本点”的基本路线,全面地贯彻执行全国水产工作方针,水产生产连续7年增产丰收。改革十年来,1985年全市水产品总产量突破10万吨大关,比1978年64 457吨...

林惠民 《福建水产》 1990年02期 期刊

关键词: 渔业经济 / 推广站 / 总产量 / 农业经济

下载(30)| 被引(0)

Inference systems for observation equivalences in the ...  CNKI文献

Inference systems for observation equivalences in the pi-calculus with recursion are proposed, and their completeness over the finite-control fragment with guarded recursions are proven. The inferenc...

林惠民 《Science in China(Series E:Technological Sciences)》 1999年06期 期刊

关键词: inference / system / equivalence / π-calculus.

下载(27)| 被引(0)

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

  • 发文趋势

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

相关机构

大成编客