广西师范大学计算机科学与信息工程学院
- 作品数：1,142 被引量：4,587H指数：27
- 相关作者：陆声链徐章艳王修信陈明王驹更多>>
- 相关机构：北京科技大学计算机与通信工程学院北京师范大学地理学与遥感科学学院北京师范大学地理学与遥感科学学院遥感科学国家重点实验室更多>>
- 发文基金：国家自然科学基金广西壮族自治区自然科学基金广西教育厅科研项目更多>>
- 相关领域：自动化与计算机技术文化科学理学经济管理更多>>
- 不同逻辑间翻译的逻辑性质被引量：4
- 2009年
- 如果考虑逻辑间模型的翻译并且一个逻辑的模型类被翻译为另一个逻辑的模型类的真子类,那么可靠的(the soundness)和完备的(the completeness)翻译可以将不可满足的公式翻译为可满足的公式.针对上述问题,该文提出了语义忠实(the faithfulness)和语义满(the fullness)两条逻辑性质来确保可满足的公式翻译为可满足的公式,不可满足公式翻译为不可满足公式.该文例证了二阶逻辑在标准语义下到一阶逻辑的翻译是语义忠实的但不是语义满的,在Henkin语义下是语义忠实的和语义满的.
- 申宇铭马越曹存根眭跃飞王驹
- 关键词：翻译一阶逻辑
- 面向软件工程能力培养的Web技术与应用课程教学实践被引量：1
- 2019年
- Web技术相关课程是高校计算机专业的主要课程。在"互联网+"时代,培养合格且有创新能力的互联网专业人才不仅仅需要与时俱进地更新该类课程中Web技术的知识体系,同时也需要在课堂教学和实践中融入软件系统分析、项目文档撰写、编码测试、团队合作等软件工程实施关键能力的训练,提高学生的软件项目开发综合能力。
- 陆声链李帼
- 关键词：WEB技术教学改革项目化教学
- 电梯群调度的模糊神经网络方法被引量：3
- 2003年
- 采用外呼-分配策略和模糊神经网络方法，研究了电梯群调度的评价函数、模糊规则、网络结构和学习算法，成功地模拟实现了电梯群的调度，表明了模糊神经网络方法的可行性和有效性。
- 陈元琰邓宗明
- 关键词：串行通信模糊神经网络
- 社区医疗服务网络系统的构建方案
- 利用智能化小区现有的网络系统构建一个社区医疗服务网络系统。该系统以大中型医院为中心,幅射周边社区,可以提供社区医疗呼叫、社区居民数字化病历存取、家庭病房的会诊及监护、数字远程保健咨询等医疗服务。
- 鲍有铮俞文全
- 关键词：网络系统
- 文献传递
- 基于特征点和核心部分的网格分割
- 2009年
- 借鉴Sagi Katz等的基于特征点和核心部分的分割方法,不同的是其他分支以特征点作为种子点,快速行进分水岭方法进行自动分割。文献[1]是根据特征点通过最小割集定理得到分割边界,其中特征点的提取采用局部距离函数极大值。三维模型可看成由核心部分和其他分支构成,因此模型分割可分别提取物体的核心部分和其他分支,核心部分提取通过构造模型的最小包围球体,使核心部分的点镜像在镜像点的凸包上。实验表明,该方法简单且能得到有意义的分割。
- 王玉银张红王跃莫谈
- 关键词：特征点凸包网格分割
- 一种预测商品销量及库存的新方法被引量：1
- 2007年
- 在纵向时间轴上设定滑动窗口来动态选择商品合适的同期历史记录,并在所选时间序列中巧妙地将滑动窗口与最佳(Pearson Correlation)拟合公式和均值生成函数相结合,提高了算法的灵活性和预测值的精度。该方法的主要优点包括过滤异常数据记录,避免因其产生负面影响,并能得到清晰的商品销量变化趋势。实验证明,该方法无论从时间复杂度还是预测准确度来说都是可行的。
- 尤晓芳覃泽陈峰汪展张师超
- 关键词：CORRELATION
- v-SVC算法在地震与爆破识别及窗长度选取中的应用被引量：13
- 2010年
- 对天然地震与人工爆破的波形记录,本文用v—SVC支持向量分类机对由波形记录获取的香农熵特征进行了分类识别,效果较好;并对波形记录选取不同的信号窗长度,用v—SVC支持向量分类机分别进行了识别检验。结果表明:窗长度对识别效果有影响,以窗长度为2000点的识别效果最好,识别率达98%。这也表明,在地震与爆破的识别中,合理地选取波形记录的信号窗长度也是重要的。
- 黄汉明边银菊卢世军李锐蒋正锋
- 关键词：支持向量机人工爆破
- 描述逻辑FL-循环术语集的语义及推理被引量：12
- 2008年
- 循环术语集是描述逻辑长期以来的研究难点,它的最基本的问题即语义及推理问题没有得到合理的解决.文中分析了描述逻辑循环术语集的研究现状和存在的问题,在Baader的基础上进一步研究了描述逻辑FL^-循环术语集的语义及推理问题.给出了FL^-循环术语集的语法、语义和不动点模型的构造方法.针对FL^-循环术语集的需要,提出了一种新的有限自动机,使用有限自动机给出了不动点语义和描述语义下FL^-循环术语集的可满足性和包含推理算法,证明了推理算法的正确性,并给出了推理算法的复杂性定理.
- 蒋运承王驹邓培民汤庸
- 关键词：描述逻辑循环术语集不动点语义有限自动机
- 区分对象对集的不完备决策表属性约简被引量：1
- 2011年
- 通过利用粗糙集中差别矩阵的思想,引入不完备决策表的区分对象对集的概念。并给出不完备决策表基于区分对象对集的属性约简定义。同时,也证明了利用该定义得到的不完备决策表的属性约简与基于正区域的属性约简是等价的。相比较基于正区域的不完备决策表属性约简算法,基于区分对象对集的属性约简算法时间复杂度是降低的。最后,用一个实例说明了该算法的合理性。
- 廖洪建徐章艳李晓瑜杨炳儒
- 关键词：粗糙集差别矩阵区分对象对集正区域
- 带RVM的描述逻辑εL混合循环术语集的语义及推理被引量：3
- 2008年
- 分析描述逻辑循环术语集的研究现状和存在的问题,在F.Baader和S.Brandt的基础上进一步研究带RVM的描述逻辑εL混合循环术语集的语义及推理问题.给出带RVM的εL混合循环术语集的语法和语义.针对带RVM的εL混合循环术语集包含推理的需要,提出TBox-完全的概念,并重新定义描述图,使用描述图之间的模拟关系和TBox-完全给出最大不动点语义和描述语义下带RVM的εL混合循环术语集的概念包含推理算法,证明推理算法的正确性,并证明推理算法是多项式时间复杂的.
- 蒋运承王驹周生明汤庸
- 关键词：描述逻辑不动点语义
