搜索筛选:
搜索耗时0.0385秒,为你在为你在61,042,058篇论文里面共找到 50 篇相符的论文内容
发布年度:
[学位论文] 作者：刘冬宁,,
来源： 年份：2004
传统的适应冯·诺依曼机器体系可执行语言的特征即表示自动机的状态转换机制，其方式是命令式的，其语义是动态的；而适于这种模型的规范语言，其语义则是静态的。当遇到动态的、实时......
[期刊论文] 作者：刘冬宁,
来源：中国化工贸易 年份：2013
摘 要：醋酸乙烯-乙烯（VAE）乳液是乳白色液体，是醋酸乙烯和乙烯共聚物的水分散系，其具有很好的机械性和稳定性，较高的粘度、耐蠕变性及热封性等特性，并杰出地平衡了成本与性能，因此它被广泛地应用到建筑领域、造纸、木材、香烟等领域，并对他的应用领域不断拓新。 关键......
[期刊论文] 作者：刘冬宁,,
来源：沈阳师范大学学报(社会科学版) 年份：2015
交际语言教学法在20世纪60年代诞生后便传遍世界外语教学界,但是在实际应用过程中依然有某些特定的问题。交际语言教学法是以满足学生学习目的为出发点的,经过学习之后,学生...
[期刊论文] 作者：刘冬宁,,
来源：化工管理 年份：2013
抗氧剂已成为塑料、橡胶、涂料等行业不可缺少的助剂,在使用过程中各种抗氧剂的优缺点,以及各类抗氧剂的发展趋势和未来抗氧剂性能优化的方向是广大用户所热衷关心的问题。本...
[期刊论文] 作者：刘冬宁,
来源：师道 年份：2009
“我们这行，就算说不上是阳春白雪，那也是曲高和寡了”，我的一位老师如是说。他，叫李小五，我们都爱叫他小五老师，一位外刚内慈的博导，年过五旬。...
[期刊论文] 作者：刘冬宁,
来源：逻辑学研究 年份：2011
1994年Gabbay等论证了时态逻辑的公理化系统和证明论方法不适于时态数据库推理建模,因此目前主要使用非公理化的时态逻辑做推理。然而非公理化的时态逻辑缺乏公理化性质约束,...
[学位论文] 作者：刘冬宁,
来源：对外经济贸易大学 年份：2011
在社会经济迅速发展的今天，人力资源已经成为企业获得竞争优势的重要因素，而且随着市场经济的不断成熟和完善，以及现代企业的不断发展，人力资源在企业整体资源结构中将占据越来越......
[期刊论文] 作者：刘冬宁,
来源：商品与质量 年份：2015
改革开放以来，国家经济有很大进步，受其影响，公路建设规模、技术等方面有很大程度提高，推动了我国公路建设发展。但尽管如此，公路建设中依旧存在一些难题，阻碍着公路建设发展。沥青......
[期刊论文] 作者：刘冬宁,
来源：城市建设理论研究（电子版） 年份：2004
在沥青混凝土公路工程施工过程中，混凝土工程是最为关键的施工环节，离析现象是浇筑混凝土后常见的一种质量问题，当出现这一现象之后就会影响到混凝土的性能，导致公路在使用过程中......
[期刊论文] 作者：刘冬宁,
来源：北方交通 年份：2022
为了探讨浆体流动度和塑性黏度对透水混凝土力学性能的影响,首先通过改变外掺剂掺量控制调整水泥浆体的流动度与塑性黏度,然后将其加入骨料、外掺剂及拌和水中制备成透水混凝土试件,并分别对试件进行抗压强度、抗折强度试验,得到以下结论:透水混凝土抗压强度、......
[期刊论文] 作者：刘冬宁, 汤庸,,
来源：软件学报 年份：2010
尽管在1994年，Gabbay等人论证了时态逻辑的公理化系统和证明论方法是不适合于时态数据库查询语言建模的，但是仍需要通过对时间轴的公理化建模，利用公理化系统的可靠和完全等性质......
[期刊论文] 作者：刘冬宁,汤庸,,
来源：计算机应用研究 年份：2010
智能主体获取信念的途径主要有两种:一种为他省,通过外界交互,从其他主体获取信息;另一种为自省,通过自己的历史数据库获取相关知识。对于主体信念的描述与刻画,两种途径缺一不可,但当前的BD I理论模型中较多地为他省系统,没有做到两者相结合。其次,在当前的许......
[期刊论文] 作者：刘冬宁,汤庸,
来源：中山大学学报：自然科学版 年份：2009
为寻找时态逻辑的替代者，以公理化的方式对时态查询语言做句法和语义的分析，构建了并发的Lambek演算（LCTQ）及其范畴语法用以作时态查询的句法分析。根据LCTQ演算构造相应的LCTQ标......
[期刊论文] 作者：刘冬宁,汤庸,
来源：逻辑学研究 年份：2008
1958年，Joachim Lambek提出了Lambek演算，进一步推动了逻辑学、语苦学、计算机科学等学界的纵深和交叉发展。然而存语法分析方面，Lambek演算与范畴语法的结合仍存在不足，就传统的...
[期刊论文] 作者：朱彦华,刘冬宁,
来源：中国电子科学研究院学报 年份：2018
传统的依靠数理统计选择使用频率较高的信息共享链路,易产生网络拥塞、信息共享时延过大、信息投递成功率低等问题,针对以上问题,结合网络通信技术,研究了资源受限约束下信息...
[期刊论文] 作者：滕少华,郑明,刘冬宁,
来源：计算机应用研究 年份：2018
目前的音乐推荐系统以考虑歌曲特征和情景上下文因素为主来进行推荐，但选取特征的干扰因素较多，使得噪声干扰较大。为此，提出一种面向音乐推荐的全变差非负矩阵分解方法，通过综合......
[期刊论文] 作者：滕少华,涂宏俊,刘冬宁,
来源：江西师范大学学报：自然科学版 年份：2017
为解决不确定性语义时态查询及其计算资源配置的优化问题,使用子结构逻辑对时态演算机制进行了完善并构建了查询中间件原型.基于构造性逻辑语义,构建了中间件演算流程,将时态...
[期刊论文] 作者：黄亦鹏, 郑晓淇, 刘冬宁,,
来源：教书育人(高教论坛) 年份：2004
高水平大学建设要求注重现代大学治理体系建设、注重培养高素质专门人才和拔尖创新人才,研究生教育走向内涵发展道路。研究生院作为大学的管理职能机构,在维持研究生教育有效...
[期刊论文] 作者：黄亦鹏 郑晓淇 刘冬宁,
来源：教书育人·高教论坛 年份：2018
[摘 要] 本文调研分析了联合培养基地的建设现状，根据专业学位研究生培养目标和定位，结合联合培养基地存在的问题，提出构建产学研培养机制，建立校企合作双赢模式，建立多维度的“双导师制”遴选、考核、激励机制，加强导师的培训力度，探索专业学位研究生联合培养基地培养......
[期刊论文] 作者：梁路, 王彪, 王剑辉, 刘冬宁,,
来源：智能系统学报 年份：2015
用决策树等常规关联规则方法分析电信客户流失问题时,存在属性相关性不够精细的问题,即无法剖析属性的内在结构、内涵及隐藏的细粒度的相关规律,同时也无法满足海量电信数据...
相关搜索：
