公共文化服务平台

刘冬宁: 作品数：80 被引量：128H指数：6; 供职机构：广东工业大学更多>>; 发文基金：国家自然科学基金广州市科技计划项目广东省科技计划工业攻关项目更多>>; 相关领域：自动化与计算机技术文化科学经济管理理学更多>>

合作作者

基于时态数据库的极小子结构逻辑系统被引量：19: 2013年; 逻辑是知识表达的重要方法,但由于时序性知识与时间属性知识交叉应用的复杂性,其对时态数据库支撑一直不尽如人意.目前时态数据运算体系不完备,时态关系演算缺乏系统和有力的逻辑与代数理论支持.为此,文中从子结构逻辑出发,针对时态数据库及其信息处理中关键的知识推理、时态操作与函数依赖等内容,构建了一个极小的(最小的)子结构逻辑系统TDLmin,其恰好等价于传统的数据库函数依赖Armstrong规则.TDLmin系统能在逻辑语义模型中对时序性、时间属性进行表达,而在句法逻辑系统将时间剥离,从而既表达了时态知识,对时态操作进行处理,又降低了逻辑系统的复杂度,使得逻辑系统的时间复杂度为P-time(O(n2)).而该逻辑系统还可与传统的Allen方法进行对接,使得相关时态查询所需的时间代价为传统非时态查询的时间加上一个复杂度仅为O(n)的线性时间,从而使得系统具有更强的普适性和应用前景.; 刘冬宁汤庸滕少华林哲; 关键词：时态数据库时态查询函数依赖

一种改进的带有情感信息的词向量学习方法被引量：4: 2017年; 词语的情感信息对于情感分析任务至关重要,现有大多数基于词向量的无监督学习方法只能对词语的语法语境建模,但忽略了词语的情感信息。针对这一问题,提出了一种结合监督学习和非监督学习的词向量学习方法,既能够获得词语的语义信息又能够获得情感内容。在相关实验中,对词向量分析作了直观的举例对比,并将该方法用于情感分类任务中,通过引入新的评论数据集对该方法进行验证。实验结果表明,融合了语义与情感的词向量方法效果良好,能更为精确地对情感信息进行分类、更为客观地对用户信息进行评价,助力社交网络良性发展。; 张巍史文鑫刘冬宁滕少华; 关键词：情感分析语义

基于复合编码特征LSTM的基因甲基化位点预测方法: 2023年; DNA-N6甲基腺嘌呤(6-mA)甲基化修饰是重要的表观遗传修饰标记之一。异常的6-mA位点会影响基因表达,进而引发多种重大疾病,因此预测6-mA位点对理解治病机理和治疗疾病具有重要意义。提出一种基于K-mer方法和One-hot方法复合特征编码的长短期记忆(Long Short-Term Memory,LSTM)神经网络用于基因甲基化位点预测,通过K-mer编码方法增加基因序列字符信息量,再使用One-hot编码方法对编码后的字符序列进行扩展,形成复合编码矩阵。改进后的序列编码矩阵可增加LSTM模型从基因序列数据中可提取的特征维度和种类,以提高LSTM模型对基因序列的处理性能。通过交叉验证实验表明本方法在公共数据集上的准确率可达93.7%,敏感度、特异性和马氏相关系数分别为93.0%、94.5%、0.875,均优于现有方法。进一步,在其他6个不同物种的基因数据集上,受试者工作特征曲线线下面积(Area Under the Curve,AUC)值介于0.9055~0.9262,表明本方法可适用于动物、植物和微生物的甲基化位点预测。本方法对水稻NC_029258.1基因序列进行全碱基位点的预测,经4种不同的在线工具校验,本方法预测出的86%~96%的潜在甲基化位点在其他工具中也获得相似结论,预测结论可靠,可应用于基因序列甲基化位点的预测分析工作。; 刘冬宁王子奇曾艳姣文福燕王洋

一种资源受限约束下的活动推荐方法及系统: 本申请公开了一种资源受限约束下的活动推荐方法及系统，该方法包括：将响应度矩阵及贡献率预测矩阵进行拟合，得到用户与活动的价值矩阵；根据价值矩阵，利用Top‑N推荐算法筛选出各指定活动的前预定数量的优质用户，对各优质用户中不...; 罗沛刘冬宁黄宝莹王南方

时态逻辑及其对知识库的构架与研究: 传统的适应冯·诺依曼机器体系可执行语言的特征即表示自动机的状态转换机制,其方式是命令式的,其语义是动态的;而适于这种模型的规范语言,其语义则是静态的.当遇到动态的、实时的、并发的或具有其他时态特性的推理时,这种静态的推理...; 刘冬宁; 关键词：模态逻辑时态逻辑知识库; 文献传递

基于E-CARGO模型的在线社会网络消息推荐机制: 随着在线社交网络的快速发展，用户信息和用户规模呈现爆炸性增长，如何从网络上获取有针对性的信息已非易事，为此各种推荐系统已先后涌现.为各类不同用户以自然的推荐方式向其推荐信息并获得较高的用户采纳度是一件富挑战性的工作，也是...; 张巍金国跃滕璐瑶滕少华朱海滨刘冬宁; 关键词：推荐系统群组角色协同社会网络

基于细精度关联规则挖掘的电信客户流失分析被引量：2: 2015年; 用决策树等常规关联规则方法分析电信客户流失问题时,存在属性相关性不够精细的问题,即无法剖析属性的内在结构、内涵及隐藏的细粒度的相关规律,同时也无法满足海量电信数据分析的需求。采用细精度关联规则挖掘解决上述问题,从逻辑学角度提出用二进制编码的方法对属性进行分解,用其构造正负训练样本集,然后进行OCAT关联规则挖掘,并加入启发式规则加快收敛速度,以节省时间和内存开销。实验结果表明,基于这种方法产生的关联规则提高了细精度,同时易于实施并行计算和提高效率,能更好地满足当前电信应用需求。; 梁路王彪王剑辉刘冬宁; 关键词：电信客户流失关联规则逻辑方法启发式规则

MAOCW及其在Web选课中的应用被引量：1: 2005年; 结合MAOCW在Web选课中的应用,发展并扩充了MAOCW这一基于移动Agent技术的新型系统,在计算机支持下的协同工作(CSCW)环境中,有效地提高了系统的工作效率和质量,并解决了负载均衡与优化配置等问题.; 宋静静李振坤胡其伟刘冬宁; 关键词：移动AGENT CSCW

时态查询语言的并发Lambek演算及范畴语法被引量：3: 2009年; 时态逻辑不可递归公理化的性质,造成它的公理化系统和证明论方法不适于时态查询语言的建模.这使得时态逻辑无法利用公理化系统的良好性质及相关证明论方法对时态数据库的推理和查询做更为严谨和细致地刻画.因此寻找时态逻辑的替代者,以公理化的方式对时态查询语言做句法和语义的分析是必要的.考虑的2个主要工具是作为句法分析工具的以Lambek演算为核心的范畴语法系统,和作为语义分析工具的类型演算λ-演算.这主要是基于类型论的演算特点、SQL语句与陈述句的相似性、Lambek演算和λ-演算的公理化与证明论方法,及它们作为句法和语义分析工具之间的密切联系与对应性决定的.据此从Lambek演算出发,结合时态的处理,构建了并发的Lambek演算(LCTQ)及相应的范畴语法,对以公理化系统为基础的时态查询语言的句法分析做相关研究,并从证明论性质上保障了计算性资源,使得系统更为严谨和完善.; 刘冬宁汤庸黄昌勤汤娜; 关键词：时态查询语言句法分析范畴语法

E-CARGO模型在CSP问题中的描述: 2015年; 基于角色的协同RBC(Role-Based Collaboration)是一套研究角色及它们之间复杂关系的方法、理论和技术。在RBC中,群组角色分配GRA(Group Role Assignment)既是一个关键问题,也是一个难题。已有许多研究探讨了基于Q(Qualification)矩阵来处理GRA问题,但仅利用Q矩阵难以描述问题中的复杂约束关系。因此,将约束集(Constraint)引进E-CARGO模型,提出了带约束的EC-CARGO模型,研究了RBC、GRA、SAT(SATisfaction)和CSP(Constraint Satisfaction Problem)之间的联系,建立了RBC-GRA-SAT-CSP问题求解转换关系;提出应用EC-CARGO模型求解经典CSP约束满足问题的方法,进而描述了应用GRA求解CSP约束满足问题的通用框架。最后以N皇后问题为例,验证了通过GRA的约束指派求解CSP问题的有效性。; 滕少华张红刘冬宁朱海滨张巍梁路; 关键词：约束满足问题

刘冬宁

合作作者

文献类型

领域

主题

机构

作者

传媒

年份

用户反馈

刘冬宁

合作作者

文献类型

领域

主题

机构

作者

传媒

年份

用户登录

用户反馈