搜索筛选:
搜索耗时0.7957秒,为你在为你在102,285,761篇论文里面共找到 61 篇相符的论文内容
发布年度:
[期刊论文] 作者：林惠民,,
来源：福建水产 年份：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
以计算机和网络为核心的信息技术(数字技术)已全面融入社会经济的各个领域和层面,极大地提升了金融、工业、农业、商业、交通、能源、文化、医疗、教育、媒体、休闲、体育等行业的效率和质量,并将所有行业连接起来。这为引导、协调、推动经济发展和社会治理,提......
[期刊论文] 作者：林惠民,
来源：中国科学：技术科学英文版 年份：1999
Inference systems for observation equivalences in the pi-calculus with recursion are proposed, and their completeness over the finite-control fragment with guar...
[期刊论文] 作者：林惠民,,
来源：福建水产 年份：1992
漳州市在落实全省水产工作会议精神,认真贯彻福建省委、省政府《全面开发“海上田园”、加快发展水产业》的重要决策,各级党政加强对水产业的有力领导,进一步转变耕海牧渔的...
[期刊论文] 作者：林惠民,
来源：中国科学(A辑 数学 物理学 天文学 技术科学) 年份：1988
完备性问题是抽象数据类型理论中的一个基本问题。本文提出了相对完备与基始完备的概念;讨论了描述的基始完备与模型的行为等价、描述的相对完备与模型的计算等价之间的一致性;证明了基始完备的描述可唯一地扩充成为相对完备,原描述的“终结模型”恰好就是其极......
[期刊论文] 作者：林惠民, 张文辉,,
来源：电子学报 年份：2002
随着计算机软硬件系统日益复杂,如何保证其正确性和可靠性成为日益紧迫的问题.在为此提出的诸多理论和方法中,模型检测(model checking)以其简洁明了和自动化程度高而引人注...
[期刊论文] 作者：陈靖,林惠民,
来源：计算机学报 年份：2002
引入时间符号迁移图的概念，作为既涉及通讯又具有实时性的并发系统的模型，该文给出了这种迁移图时间互模拟的算法，并证明了该算法的正确性。...
相关搜索：
