搜索筛选:
搜索耗时0.4000秒,为你在为你在102,267,441篇论文里面共找到 76 篇相符的论文内容
发布年度:
[期刊论文] 作者：戴玲芬,林惠民,
来源：水生生物学报 年份：1994
蓝细菌红萍鱼腥藻的两种固氮酶系统的放氢特点戴玲芬，林惠民(中国科学院水生生物研究所，武汉４３００７２)ＣＨＡＲＡＣＴＥＲＩＳＴＩＣＯＦＨ＿２ＥＶＯＬＵＴＩＯＮＯＦＴＷＯＮＩＴＲＯＧＥＮＦＩＸＡＴＩＯＮＳＹＳＴＥＭＳＩＮＣＹＡＮＯＢＡＣＴＥＲＩＵＭＡＮ...
[期刊论文] 作者：,
来源：中国科技奖励 年份：2004
林惠民研究员十几年来一直从事计算机科学基础研究 ,主要研究领域是并发程序的形式语义学和形式化方法。在进程代数的验证工具、消息传送进程的语义理论和π -演算的公理化等...
[期刊论文] 作者：姚硕龄,刘长贵,刘贵祥,林惠民,刘学政,
来源：中国肿瘤临床 年份：1995
液氮冷冻治疗中晚期肺癌的临床应用（附３０例报告）姚硕龄，刘长贵，刘贵祥，林惠民，刘学政唐山市肿瘤医院（唐山市０６３００１）我院自１９８６年６月～１９９４年２月对开胸后不能切除的中晚期肺癌３０例施行了液氮冷冻治疗收到满意...
[期刊论文] 作者：陈德荣(文/图),
来源：云南林业 年份：2021
多年来,临沧市委、市政府始终把生态文明建设放在突出位置,坚定不移走绿色发展之路,紧紧抓住国家实施退耕还林还草的重大机遇,坚持把退耕还林还草作为一项重中之重的工作、常...
[期刊论文] 作者：曹良俊,,
来源：林业与生态 年份：2013
近年来，浙江省武义县林业局采取三大措施，将减轻林农负担纳入局重要议事日程，有力地推动了强林惠民进程。...
[期刊论文] 作者：林惠民,,
来源：福建水产 年份：1990
漳州市水产业在党的十一届三中全会以来,认真贯彻“一个中心、两个基本点”的基本路线,全面地贯彻执行全国水产工作方针,水产生产连续7年增产丰收。改革十年来,1985年全...
[期刊论文] 作者：林惠民,,
来源：水生生物学报 年份：1991
研究了盐泽螺旋藻的形态、生理生化特性和在不同条件下的生长状况,并与其他螺旋藻进行了比较。盐泽螺旋藻、极大螺旋藻和钝顶螺旋藻在蛋白质的含量、氨基酸组分以及可见光吸...
[期刊论文] 作者：林惠民,
来源：中国科学院院刊 年份：2002
随着社会对信息技术的依赖性日益增长,如何提高处于信息技术核心的计算机软件的可靠性成为一个紧迫的问题.测试仍然是目前工业界广泛采用的确认软件是否正确可靠的主要手段,...
[期刊论文] 作者：林惠民,
来源：计算机学报 年份：1998
本文引入描述传值并系统的新模型“带赋值符号迁移图（ＳＴＧＡ）”推广了Ｈｅｎｎｅｓｓｙ和Ｌｉｎ提出的“符号迁移图”的概念，允许迁移上带有赋值，从而能将更大的一类传值系统表示为有穷状态图，ＳＴＧＡ的中车优点是在并......
[期刊论文] 作者：林惠民,
来源：软件学报 年份：1995
本文提出数据传送进程的符号迁移语义，引入符号互模拟的概念，证明了两个进程在传统意义下互模拟当且仅当它们符号互模拟。我穷域上的数据传送进程的传统迁移图是无穷的而其中相......
[期刊论文] 作者：林惠民,
来源：软件学报 年份：1999
带赋值符号迁移图是一般传值进程的语义模型，基强互模拟等价可以归结为谓词等式系的最大解．该文将这一结果推广互弱互模拟等价，为此，引入嵌胃词等式系的概念，并提出算法，将带赋值符......
[期刊论文] 作者：林惠民,
来源：软件学报 年份：1997
本文提出消除π－演变中无卫递归的公理，证明了将该公理加入到正则π演算受卫递归子集上的证明系统后，所得到的证明系统在π－演算全体正则子集上关于互模拟等价的可靠性和完备怀。......
[期刊论文] 作者：林惠民,
来源：计算机学报 年份：1990
本文介绍函数式语言SML窗口系统的设计和结构。该窗口系统实现了“事件驱动”的思想,主要面向于交互式应用。我们还描述了其中的一个工具包,并通过一个实际的例子来说明其应...
[期刊论文] 作者：林惠民,
来源：计算机学报 年份：1996
本文提出了递归数据传送进程互模拟的证明系统，并证明了其可靠性和相对于数据推理的完备性，其中关键的推理规则是唯一不动点归纳法，这个结果一方面将Ｍｉｌｎｅｒ关于正则基本ＣＣＳ的公理系统推广......
[期刊论文] 作者：林惠民,,
来源：中国科学E辑 年份：2004
提出了一个用于描述异步π-演算中移动进程的时态和空间性质的模态逻辑.该逻辑具有基于谓词变量的递归构造.建立了这一逻辑的语义理论,并证明了语义的单调性,从而保证了不动...
[期刊论文] 作者：林惠民,,
来源：读写算（教育教学研究） 年份：2012
学生是数学学习的主人,教师是数学学习的组织者、引导者与合作者.因此,在教学中,教师要引导学生积极主动地参与数学学习,从而实现“不同的人在数学上得到不同的发展”的目标....
[期刊论文] 作者：林惠民,
来源：计算机科学技术学报(英文版) 年份：2002
A graphical notation for the propositionalμ-calculus, called modal graphs, ispresented. It is shown that both the textual and equational presentations of theμ...
[期刊论文] 作者：林惠民,,
来源：科技导报 年份：2014
2014年是中国接入互联网20年,截止到2013年底,中国网民规模达6.18亿。随着互联网的迅速普及,垃圾邮件、病毒、网络诈骗等问题也层出不穷,网络伦理成为一个需要着重探讨的话题...
[期刊论文] 作者：林惠民,,
来源：新课程(小学) 年份：2014
随着我国社会主义经济建设的发展,国内人们对教育的重视程度越来越高。俗话说得好:“学会数理化,走遍天下都不怕。”而在数理化学习中,数学的学习是重点,也是这三门学科中的...
[期刊论文] 作者：林惠民,
来源：发展研究 年份：2021
以计算机和网络为核心的信息技术(数字技术)已全面融入社会经济的各个领域和层面,极大地提升了金融、工业、农业、商业、交通、能源、文化、医疗、教育、媒体、休闲、体育等行业的效率和质量,并将所有行业连接起来。这为引导、协调、推动经济发展和社会治理,提......
相关搜索：
