唐敏
- 作品数:28 被引量:30H指数:3
- 供职机构:桂林电子科技大学更多>>
- 发文基金:国家自然科学基金国家级大学生创新创业训练计划广西壮族自治区自然科学基金更多>>
- 相关领域:自动化与计算机技术理学文化科学更多>>
- 一种基于竞争策略的稀疏多元多项式插值算法被引量:1
- 2018年
- 提出了一个有限域上的基于竞争策略的稀疏多元多项式插值算法,改进了Javadi和Monagan在2010年提出的概率性插值算法.对n个变元,t个非零项的多元多项式f进行插值,Javadi/Monagan算法要求给定f的全次数上界d,为确定变元x_j在第i个单项式中的次数,需要从O到d做d+1次根测试,每个变元测试次数为O(td).改进算法设计了两个子算法并采用竞争策略用尽可能少的插值点准确计算变元x_j在多项式f中的次数集,使得测试次数降为O(td'),其中d'为变元x_j在f中出现的次数集的基数,因而减小了测试次数及根冲突的概率.在Maple环境下实现了改进算法,Zippel算法和Javadi/Monagan算法,给出了测试用例对3种算法的插值点个数及其CPU运行时间进行了比较.
- 邓国强唐敏张永燊
- 创新人才培养模式下《高等数学》教学改革探讨
- 2018年
- 在当前高校创新人才培养模式指引下,针对桂林电子科技大学的层次和学生的具体情况,分别从教学内容、教学方法、教学手段、考核机制、网络资源等方面,对《高等数学》课程进行了一系列改革,目标是培养创新型、应用型人才。
- 邓国强唐敏曾祥艳
- 关键词:高等数学教学改革
- 一种基于区块链的敏感新闻定时发布方法及其系统
- 本发明提供了一种基于区块链的敏感新闻定时发布方法及其系统,包括如下步骤:S1:系统初始化;S2:区块链普通用户GUser<Sub>i</Sub>发布随机数,其中i=1,2,…,n;S3:根据所述随机数得到半可行椭圆曲线S...
- 张明武连跃武王玉珠唐敏
- 文献传递
- 二部图最大匹配问题的分层网络优化模型被引量:1
- 2012年
- 为解决二部图最大匹配问题,提出了分层网络及网络逆序的概念,在此基础上建立了一种分层网络优化模型及其算法。给出了算法的思想、步骤、实例、时间复杂度分析,概述了求解二部图最大匹配问题的常见算法,与分层网络优化算法进行比较。实验验证,算法可读性强,易于理解和操作,在解决大规模二部图最大匹配问题时具有良好的性能。
- 唐敏关健邓国强靳强
- 关键词:二部图分层网络广度优先
- 基于形式化方法的混成系统验证
- 2018年
- 对混成系统进行安全性验证是计算机领域具有重要意义和挑战性的课题,传统的测试仿真技术不足以确保系统的绝对安全性和完备性。基于形式化方法是根据混成系统的形式规范与属性,使用数学方法证明其正确性或非正确性。对温控系统实现了抽象算法的形式化,首先对线性混成系统的状态空间进行分割,然后将其转化为图的可达性问题,利用图算法求解,最终对系统进行了安全性验证。实验结果表明,采用形式化方法对混成系统进行安全性验证具有较高的可靠性与可信性。
- 唐敏吴熊李平唐晨杨国荣
- 关键词:形式化方法混成系统温控系统
- 多源数据上的安全内积函数求解方法与系统
- 本发明公开了一种多源数据上的安全内积函数求解方法及系统,所述方法包括:中间参与方生成一个可逆的随机噪声矩阵M并发送给第一参与方;第一参与方使用所述随机噪声矩阵M对第一隐私矩阵A掩蔽后获得第一中间值MA并发送给第二参与方;...
- 张明武蔡梦媛王玉珠唐敏
- 具有隐私保护的智能电网用电量统计和计费系统及方法
- 本发明公开了一种具有隐私保护的智能电网用电量统计和计费系统及方法,包括电力服务提供商ESP、聚合中心AC、智能电表SM;方案包括五个部分:系统初始化,用户数据报生成,识别无效签名,隐私保护的用电量统计和计费,用户数据报阅...
- 张明武王玉珠王晶唐敏黄位甲王凌福李镇安连跃武
- 文献传递
- 初等函数可验证赋值及误差分析被引量:1
- 2015年
- 研究了GNU标准下初等函数的赋值原理及算法实现。基于IEEE 754-2008浮点标准,利用误差分析基本结论,对GNU下C语言标准数学函数库中的初等函数赋值程序进行理论误差分析。利用Boost库中提供的区间类,将以浮点数作为基本数据类型的程序重写成以区间作为基本类型的程序,使用区间算术对初等函数进行可验证赋值,从而得到一个包含真实值的区间包络,并由此给出GNU下初等函数的数值误差界。
- 刘剑唐敏曾霞曾振柄
- 关键词:初等函数误差分析
- 信息与计算科学专业“离散数学”教学内容改革探讨被引量:1
- 2016年
- 探讨了离散数学在信息与计算科学专业中的重要作用,提出以专业需求为导向的理论教学改革方案,阐述了"数论"加入信息专业离散数学课程的必要性与迫切性,同时给出针对信息专业的离散数学实践教学改革的方法和途径。
- 邓国强唐敏
- 关键词:信息与计算科学离散数学数论
- 求解一类凸优化问题的区间迭代算法
- 2015年
- 研究了一类非线性带约束的凸优化问题的求解。利用Kuhn-Tucker条件将凸优化问题等价地转化为多变元非线性方程组的求解问题。基于区间算术的包含原理及改进的Krawczyk区间迭代算法,提出一个求解凸优化问题的区间算法。对于目标函数和约束函数可微的凸优化,所提算法具有全局寻优的特性。在数值实验方面,与遗传算法、模式搜索法、模拟退火法及数学软件内置的求解器进行了比较,结果表明所提算法就此类凸优化问题能找到较多且误差较小的全局最优点。
- 唐敏邓国强
- 关键词:凸优化KUHN-TUCKER条件