孙欢
- 作品数：5 被引量：2H指数：1
- 供职机构：江西师范大学更多>>
- 相关领域：自动化与计算机技术语言文字理学更多>>
- 论对外汉语教学中跨文化非语言交际能力的培养
- 跨文化交际有两种形式：语言交际和非语言交际。非语言交际更能反映一个人的真实态度、心理活动和价值观念，在跨文化交际过程中，起到的作用更大(毕继万，1999)。对外汉语教学已经开始关注语言的交际能力，但还是停留在语言交际这一...
- 孙欢
- 关键词：跨文化交际语言交际能力对外汉语教学
- 面向网络教育舆情的文本情感分析研究
- 教育兼重了“国计”和“民生”。近年来，互联网为人民群众聚集民意，表达诉求提供了更便捷的渠道，公众对教育的关注度持续升高。网络教育舆情与现实社会教育相互作用，对现实教育产生深远影响。充分利用网络教育舆情，有利于教育管理者制...
- 孙欢
- 关键词：情感分析文本识别教育舆情
- 文献传递
- 命令式动态规划类算法程序推导及机械化验证
- 2024年
- 动态规划是一种递归求解问题最优解的方法,主要通过求解子问题的解并组合这些解来求解原问题.由于其子问题之间存在大量依赖关系和约束条件,所以验证过程繁琐,尤其对命令式动态规划类算法程序正确性验证是一个难点.基于动态规划类算法Isabelle/HOL函数式建模与验证,通过证明命令式动态规划类算法程序与其的等价性,避免证明正确性时处理复杂的依赖关系和约束条件,提出命令式动态规划类算法程序设计框架及其机械化验证.首先,根据动态规划类算法的优化方法(备忘录方法)和性质(最优子结构性质和子问题重叠性质)描述问题规约、归纳递推关系式和形式化构造出循环不变式,并且基于递推关系式生成IMP(minimalistic imperative programming language)代码;其次,将问题规约、循环不变式和生成的IMP代码输入VCG(verification condition generator),自动生成正确性的验证条件;然后,在Isabelle/HOL定理证明器中对验证条件进行机械化验证.算法首先设计为命令式动态规划类算法的一般形式,并进一步实例化得到具体算法.最后,例证所提框架的有效性,为动态规划类算法的自动化推导和验证提供参考价值.
- 左正康孙欢王昌晶游珍游珍王唱唱
- 关键词：动态规划命令式VCG
- 基于最大半环的DP问题函数式建模与验证
- 2024年
- 针对在DP问题算法的设计和推导中缺乏对DP问题函数式建模算法与验证的细致研究,该文首先通过深入分析最大半环与DP类问题递推关系式的对应关系,找到满足最大半环性质的一类DP问题,使用最大半环对该类DP问题进行函数式建模;然后将实现的基于最大半环的函数式建模算法与Wimmer定义的递归函数结果进行等价性验证,从而保证了函数式建模算法的正确性;最后通过对lcs问题案例分析,验证了该方法的可行性和有效性.
- 王唱唱游珍游珍孙欢
- 基于层次化自制力机制胶囊网络的文本情感分类模型
- 针对胶囊网络和层次化注意力网络的不足，提出了基于层次化自注意力网络和胶囊网络的混合神经网络。本发明的目的是为了融合胶囊网络、层次化模型和注意力机制各自的优势，在层次化注意力网络中引入自注意力机制来增强模型的特征表达能力同...
- 程艳孙欢陈豪迈赵松华
- 文献传递
