国家自然科学基金(10761002)
- 作品数：8 被引量：12H指数：2
- 相关作者：朱新华黄均振陈勇铭张波张媛更多>>
- 相关机构：广西师范大学桂林工学院中南大学更多>>
- 发文基金：国家自然科学基金广西壮族自治区自然科学基金广西研究生教育创新计划项目更多>>
- 相关领域：理学自动化与计算机技术文化科学更多>>
- 若干_2F_1型超几何级数恒等式的WZ方法证明被引量：1
- 2009年
- 利用WZ方法对Gauss2F1恒等式、Chu-Vandermonde2F1恒等式、Kummer2F1恒等式等7个著名的超几何恒等式进行了证明.由此得出结论:WZ方法在证明求和恒等式时是非常有效的,其最大的优势在于高度算法化,尤其是在证明较复杂的超几何恒等式时,采用WZ方法显得较为简便.
- 黄均振褚玉明
- 关键词：WZ方法GAMMA函数
- 用WZ方法证明3个著名组合恒等式
- 2009年
- 利用WZ方法证明Bailey4F3恒等式、Vandermonde恒等式和李善兰恒等式成立.
- 黄均振
- 关键词：GAMMA函数超几何级数组合恒等式WZ方法
- 极大单调算子的一个投影近似邻近点算法被引量：1
- 2008年
- 在Hilbert空间中给出求极大单调算子零点的近似邻近点算法,给出的误差准则比现有的算法弱,并证明该算法生成的序列{xk}弱收敛到算子的零点。应用该算法求解单调变分不等式,得到求解单调变分不等式的近似邻近点算法。
- 孙巍吴长亮范江华
- 关键词：极大单调算子变分不等式
- 周期伪轨跟踪性与伪轨跟踪性的关系被引量：8
- 2010年
- 设(X,d)为紧致度量空间,f是X上的连续自映射.首先证明了:若f具有周期伪轨跟踪性,则f的链回归集与周期点集的闭包相等,即CR(f)=P(f).然后利用此性质,给出了一个具有伪轨跟踪性但不具有周期伪轨跟踪性的例子.最后给出了伪轨跟踪性蕴含周期伪轨跟踪性的两个充分条件.
- 赵俊玲张莉
- 关键词：链回归点
- 用Jackson q-差分算子证明两个q-级数公式
- 2009年
- 利用Jacksonq-差分算子证明q-二项式定理和q-Chu-Vandermonde求和公式.
- 黄均振
- 基于SCORM的学习知识库交换模型的设计被引量：2
- 2010年
- 为了提高学科知识库在不同学习管理平台之间的共享和重用,在分析了学科知识库结构和知识点关系的基础上,提出了一种基于知识点的学科知识库交换模型。该模型遵照SCORM的语法结构,并根据学科知识体系表达的需要,扩展了SCORM规范的语义;同时针对SCORM模型的不足,扩展了item元素来适应学科知识库的资源引用方式。最后通过示例表明了该模型的可行性,并讨论了学科知识体系的规范表达机制和符合规范的学科知识库的构建方法。
- 张波张媛陈勇铭朱新华
- 关键词：知识点学科知识库
- 一种使用函数组件的学习顺序设计方法
- 2010年
- 现行的学习顺序规范,譬如IMS学习顺序规范和SCORM顺序导航规范,不支持基于内容上下文的顺序组件的重用。针对这个问题,提出了一种使用顺序函数组件的学习内容顺序设计方法。方法遵从IMS学习顺序规范和IMS内容包装规范,并在内容清单中扩展了一种允许带参数的顺序函数组件。通过参数元素,组件可以描述结构一致、功能相同的学习顺序组件;并支持带参引用,以适应具体的重用上下文。介绍函数组件的设计原理,并以一个简单示例说明方法在设计学习对象时的应用。
- 张波陈勇铭张媛朱新华
- 关键词：XMLSCHEMA
- 基于C_Schema的XML模式到关系模式的映射
- 2011年
- 为解决复杂XML文档中的递归元素、多命名空间信息、重复结构、面向未来可扩展元素和属性等关系模式的映射,针对P_Schema和B_Schema在XML模式到关系模式映射中的不足,提出了一种基于C_Schema的XML模式到关系模式的映射方法。C_Schema对P_Schema和B_Schema进行了继承和扩展,将上述复杂信息提取出来生成新类型,并在其相应的父元素中保留对新类型的引用。C_Schema与XML Schema模式是一种等价关系,根据一定的映射规则,将C_Schema直接映射为关系模式,实现将XML文档在数据库中的存储。依据该模式可实现各种基于模式的复杂XML文档到关系数据库的存储与还原,可广泛应用于各种基于XML的行业标准中。
- 曾庆玲朱新华吴丽萍曹庆花
- 关键词：XML模式
