您的位置: 专家智库 > >

王蓁蓁

作品数:43 被引量:238H指数:6
供职机构:金陵科技学院更多>>
发文基金:国家自然科学基金江苏省自然科学基金江苏省现代教育技术研究规划课题更多>>
相关领域:自动化与计算机技术文化科学理学兵器科学与技术更多>>

文献类型

  • 38篇期刊文章
  • 2篇专利
  • 1篇学位论文
  • 1篇会议论文

领域

  • 33篇自动化与计算...
  • 6篇文化科学
  • 3篇理学
  • 1篇兵器科学与技...

主题

  • 7篇软件测试
  • 5篇思维
  • 4篇逻辑
  • 4篇马尔可夫
  • 4篇马尔可夫决策...
  • 3篇群智能
  • 3篇子群
  • 3篇粒子群
  • 3篇粒子群优化
  • 3篇课程
  • 3篇教学
  • 2篇等价
  • 2篇等价关系
  • 2篇优化算法
  • 2篇软件工程
  • 2篇偏好
  • 2篇人工智能
  • 2篇粒子群优化算...
  • 2篇课程群
  • 2篇课程群建设

机构

  • 28篇金陵科技学院
  • 16篇东南大学
  • 10篇南京大学

作者

  • 42篇王蓁蓁
  • 15篇邢汉承
  • 11篇倪庆剑
  • 11篇张志政
  • 4篇王智钢
  • 3篇周毓明
  • 3篇徐宝文
  • 3篇王倩倩
  • 2篇陈林
  • 2篇王爱侠
  • 2篇张海涛
  • 1篇李言辉
  • 1篇康达周
  • 1篇陈汉武
  • 1篇文巨峰
  • 1篇李广水
  • 1篇王子元
  • 1篇刘嘉
  • 1篇王池社

传媒

  • 10篇计算机科学
  • 4篇教育教学论坛
  • 3篇南京大学学报...
  • 3篇金陵科技学院...
  • 2篇应用科技
  • 2篇模式识别与人...
  • 2篇计算机应用与...
  • 2篇软件学报
  • 1篇中国科学技术...
  • 1篇计算机研究与...
  • 1篇计算机学报
  • 1篇计算机工程与...
  • 1篇广西师范大学...
  • 1篇计算机教育
  • 1篇电脑知识与技...
  • 1篇智能系统学报
  • 1篇科技创新导报
  • 1篇软件工程

年份

  • 3篇2023
  • 1篇2021
  • 1篇2020
  • 1篇2019
  • 2篇2018
  • 2篇2015
  • 9篇2014
  • 7篇2013
  • 2篇2012
  • 4篇2009
  • 7篇2008
  • 3篇2007
43 条 记 录,以下是 1-10
排序方式:
逻辑马尔可夫决策编程和关系马尔可夫决策编程若干最新进展
2007年
逻辑马尔可夫决策过程和关系马尔可夫决策过程的引入,使得人们可能简洁地、陈述地表达复杂的马尔可夫决策过程。本文首先介绍有关逻辑马尔可夫决策过程和关系马尔可夫决策过程的概念,然后重点介绍它们与普通的马尔可夫决策过程根本不同的一些算法:①依赖于基本状态空间RL的转换法;②把Bellman方程推广到抽象状态空间的方法,③利用策略偏置空间寻求近似最优策略方法。最后对它们的研究现状进行总结及其对它们发展的一些展望。
王蓁蓁邢汉承张志政倪庆剑
一种故障分析的专家管理系统
本发明提供了一种故障分析的专家管理系统,本发明组建参与故障的分析的专家,不仅对故障分析的专家的简历进行有效的数据管理,将专家进行分类,组建需要用的专家的简历进入活跃专家库,在本发明中,同时对参与故障分析的专家的背景条件进...
郭婧游坤王蓁蓁王倩倩朱咸军
一些思维现象的形式模型
人工智能的迅速发展促使人们关注人脑思维功能并积极开发概括性的心智模型。如果能恰当地表示人类思维特征和推理方面的信息,以及开发相应算法去模拟人类思维,则对智能概念和功能的理解十分有益,因此本文的目标是探讨一些思维现象的形式...
王蓁蓁
关键词:思维模型超滤技术人工智能
文献传递
一种基于可变多簇结构的动态概率粒子群优化算法被引量:41
2009年
针对传统粒子群优化算法中全连接型拓扑和环形拓扑的特点,引入了一种粒子群信息共享方式——多簇结构,进而基于多簇结构提出了动态可变拓扑策略以协调动态概率粒子群优化算法的勘探和开采能力,并从理论上分析了最优信息在各种拓扑中的传播,同时从图论角度分析了几种经典拓扑以及动态可变多簇结构的统计特性.通过典型的Benchmark函数优化问题测试并比较了几种经典拓扑以及可变拓扑在高斯动态粒子群优化算法中的性能.实验结果表明,基于多簇结构的可变拓扑策略在求解复杂优化问题时优势明显,可以有效地避免算法陷入局部最优,在保证收敛速度的同时增强了算法的全局搜索能力.
倪庆剑张志政王蓁蓁邢汉承
关键词:群智能粒子群优化算法
模型检验综述被引量:8
2013年
在软硬件验证里,模型检验是一个重要手段,至今它已经形成一个庞大的方法论体系。现在我们把模型检验内容从标准方法、抽象解释方法、综合方法3个范畴加以介绍,旨在形成人们对模型检验总的印象,从而全面理解和掌握模型检验各个方法的精神实质和具体情况,有助于将这些方法运用到实际软硬件验证中并从中受到启发,以便进一步发展模型检验理论或开发模型检验新的方法和工具。
王蓁蓁
关键词:时态逻辑
动态概率粒子群优化模型及实验分析被引量:5
2009年
对传统PSO算法中种群产生方式的特点,结合根据历史信息直接取样生成新种群的思想,抽象出动态概率粒子群优化(DPPSO)模型,并给出了该模型的形式化描述;同时提出了DPPSO模型可以采用的几种动态概率进化算子,最后通过常用Benchmark函数优化问题对DPPSO模型采用不同进化算子时的性能进行了实验分析。实验结果验证了DPPSO模型及所提出的进化算子的有效性,同时根据实验结果提出了进化算子设计与选择的指导性建议,并对相关参数设置也做了分析和讨论。
倪庆剑邢汉承张志政王蓁蓁
关键词:群智能
基于SVC的证券行情周K线涨跌预测被引量:1
2013年
线性预测方法难以描述金融时间序列的非线性特征,神经网络具有非线性逼近能力,但会出现"过学习"现象,已有研究用SVR对证券行情进行短期预测,因证券短期行情具有一定随机性,预测的正确率和实际意义并不理想。提出一种基于SVC的证券行情周K线涨跌预测模型,该模型仿真实验的综合预测正确率为60.78%,上涨预测正确率为62.5%,按照模型预测结果进行证券交易的年化收益率可达10.72%。
王智钢王池社李广水王蓁蓁
关键词:模式识别支持向量机行情预测
马尔可夫决策过程两种抽象模式被引量:2
2008年
抽象层次上马尔可夫决策过程的引入,使得人们可简洁地、陈述地表达复杂的马尔可夫决策过程,解决常规马尔可夫决策过程(MDPs)在实际中所遇到的大型状态空间的表达问题。介绍了结构型和概括型两种不同类型抽象马尔可夫决策过程基本概念以及在各种典型抽象MDPs中的最优策略的精确或近似算法,其中包括与常规MDPs根本不同的一个算法:把Bellman方程推广到抽象状态空间的方法,并且对它们的研究历史进行总结和对它们的发展做一些展望,使得人们对它们有一个透彻的、全面而又重点的理解。
王蓁蓁邢汉承张志政倪庆剑
关键词:情景演算
选修课《人工智能》教学模式初探
2012年
鉴于人工智能是选修课程,本文结合教学实践给出选修课人工智能分专题教学模式,并探讨了各个专题的教学内容,教学方法等,以达到提高教学质量的目的。
王蓁蓁
关键词:人工智能选修课
Logistic动态粒子群优化算法的改进及分析被引量:2
2008年
分析了Kennedy最新提出的高斯动态粒子群优化算法(GDPSO)的寻优模式,针对GDPSO的特点,结合粒子群优化算法的新寻优模式,提出了Logistic动态粒子群优化算法(LDPSO);并基于LDPSO和GDPSO的特性,设计了LDPSO算法的两种改进策略——混合优化策略和最优粒子变异策略,混合优化策略用以提高收敛速度,最优粒子变异策略用以保持群体多样性,避免算法陷入局部最优。实验结果显示了LDPSO及其改进算法的有效性。
倪庆剑邢汉承张志政王蓁蓁
共5页<12345>
聚类工具0