搜索筛选:
搜索耗时0.1101秒,为你在为你在102,285,761篇论文里面共找到 76 篇相符的论文内容
发布年度:
[期刊论文] 作者：刘冬宁,,
来源：沈阳师范大学学报(社会科学版) 年份：2015
交际语言教学法在20世纪60年代诞生后便传遍世界外语教学界,但是在实际应用过程中依然有某些特定的问题。交际语言教学法是以满足学生学习目的为出发点的,经过学习之后,学生...
[学位论文] 作者：刘冬宁,,
来源： 年份：2004
传统的适应冯·诺依曼机器体系可执行语言的特征即表示自动机的状态转换机制，其方式是命令式的，其语义是动态的；而适于这种模型的规范语言，其语义则是静态的。当遇到动态的、实时......
[期刊论文] 作者：刘冬宁,,
来源：化工管理 年份：2013
抗氧剂已成为塑料、橡胶、涂料等行业不可缺少的助剂,在使用过程中各种抗氧剂的优缺点,以及各类抗氧剂的发展趋势和未来抗氧剂性能优化的方向是广大用户所热衷关心的问题。本...
[期刊论文] 作者：刘冬宁,
来源：师道 年份：2009
“我们这行，就算说不上是阳春白雪，那也是曲高和寡了”，我的一位老师如是说。他，叫李小五，我们都爱叫他小五老师，一位外刚内慈的博导，年过五旬。...
[期刊论文] 作者：刘冬宁,
来源：逻辑学研究 年份：2011
1994年Gabbay等论证了时态逻辑的公理化系统和证明论方法不适于时态数据库推理建模,因此目前主要使用非公理化的时态逻辑做推理。然而非公理化的时态逻辑缺乏公理化性质约束,...
[期刊论文] 作者：刘冬宁,
来源：中国化工贸易 年份：2013
摘 要：醋酸乙烯-乙烯（VAE）乳液是乳白色液体，是醋酸乙烯和乙烯共聚物的水分散系，其具有很好的机械性和稳定性，较高的粘度、耐蠕变性及热封性等特性，并杰出地平衡了成本与性能，因此它被广泛地应用到建筑领域、造纸、木材、香烟等领域，并对他的应用领域不断拓新。 关键......
[期刊论文] 作者：刘冬宁,
来源：城市建设理论研究（电子版） 年份：2004
在沥青混凝土公路工程施工过程中，混凝土工程是最为关键的施工环节，离析现象是浇筑混凝土后常见的一种质量问题，当出现这一现象之后就会影响到混凝土的性能，导致公路在使用过程中......
[期刊论文] 作者：刘冬宁,
来源：商品与质量 年份：2015
改革开放以来，国家经济有很大进步，受其影响，公路建设规模、技术等方面有很大程度提高，推动了我国公路建设发展。但尽管如此，公路建设中依旧存在一些难题，阻碍着公路建设发展。沥青......
[学位论文] 作者：刘冬宁,
来源：北京大学 年份：2007
随着MEMS技术研究的深入以及市场应用的不断扩展，研究工作怎么与产业化相结合，以促进研发投入的良性循环成为各国都在探讨的问题。同时，由于器件应用领域的多样化，一个器件一套工......
[学位论文] 作者：刘冬宁,
来源：对外经济贸易大学 年份：2011
在社会经济迅速发展的今天，人力资源已经成为企业获得竞争优势的重要因素，而且随着市场经济的不断成熟和完善，以及现代企业的不断发展，人力资源在企业整体资源结构中将占据越来越......
[学位论文] 作者：刘冬宁,
来源：东北大学 年份：2009
随着数据库与信息技术的深入和发展，信息系统面临许多新的应用和新的需求，对时态信息处理的需求越来越迫切。时态信息处理已成为许多新一代数据库与信息系统的关键技术，其中，针对......
[期刊论文] 作者：刘冬宁,
来源：北方交通 年份：2022
为了探讨浆体流动度和塑性黏度对透水混凝土力学性能的影响,首先通过改变外掺剂掺量控制调整水泥浆体的流动度与塑性黏度,然后将其加入骨料、外掺剂及拌和水中制备成透水混凝土试件,并分别对试件进行抗压强度、抗折强度试验,得到以下结论:透水混凝土抗压强度、......
[期刊论文] 作者：刘冬宁, 汤庸,,
来源：软件学报 年份：2010
尽管在1994年，Gabbay等人论证了时态逻辑的公理化系统和证明论方法是不适合于时态数据库查询语言建模的，但是仍需要通过对时间轴的公理化建模，利用公理化系统的可靠和完全等性质......
[期刊论文] 作者：刘冬宁,汤庸,
来源：逻辑学研究 年份：2008
1958年，Joachim Lambek提出了Lambek演算，进一步推动了逻辑学、语苦学、计算机科学等学界的纵深和交叉发展。然而存语法分析方面，Lambek演算与范畴语法的结合仍存在不足，就传统的...
[期刊论文] 作者：刘冬宁,汤庸,
来源：中山大学学报：自然科学版 年份：2009
为寻找时态逻辑的替代者，以公理化的方式对时态查询语言做句法和语义的分析，构建了并发的Lambek演算（LCTQ）及其范畴语法用以作时态查询的句法分析。根据LCTQ演算构造相应的LCTQ标......
[期刊论文] 作者：刘冬宁,李中阳,
来源：时代数学学习 年份：2005
星期六的早晨阳光明媚，我和父母高高兴兴地乘坐出租汽车去位于市中心的新华书店买书．下车时，我不经意间看了看计价器显示为16．60元．开开心心地买完书本，再次打车回家，可令人始料未及......
[期刊论文] 作者：刘冬宁,汤庸,,
来源：计算机应用研究 年份：2010
智能主体获取信念的途径主要有两种:一种为他省,通过外界交互,从其他主体获取信息;另一种为自省,通过自己的历史数据库获取相关知识。对于主体信念的描述与刻画,两种途径缺一不可,但当前的BD I理论模型中较多地为他省系统,没有做到两者相结合。其次,在当前的许......
[期刊论文] 作者：刘冬宁,郑楚楚,
来源：广东工业大学学报 年份：2021
由于人员分配或资源调度过程中存在冷却时间,导致人机协同多对多任务分配困难并且难以优化,协同效应急剧下降,本文旨在解决冷却时间约束多对多任务分配问题。主要使用角色协同理论(Role-Based Collaboration)及其通用模型E-CARGO(Environments-Classes,Agents,R......
[期刊论文] 作者：朱彦华,刘冬宁,
来源：中国电子科学研究院学报 年份：2018
传统的依靠数理统计选择使用频率较高的信息共享链路,易产生网络拥塞、信息共享时延过大、信息投递成功率低等问题,针对以上问题,结合网络通信技术,研究了资源受限约束下信息...
[会议论文] 作者：刘冬宁,宋静静,汤庸,
来源：第十一届中国人工智能学术年会 年份：2005
在过去几年,人工智能的研究取得了长足的进展.然而也还有很多重要的问题没有的到满意的解决,例如知识库的规则组织与驱动问题.有鉴于此,本文针对目前知识库内部规则组织与驱动缺乏统一标志的弊病,及传统适应冯·诺依曼机器体系的断言静态推理的缺陷,根据时态对......
相关搜索：
