理学 >>> 数学 >>> 数理逻辑与数学基础 >>> 演绎逻辑学 证明论 递归论 模型论 公理集合论 数学基础 数理逻辑与数学基础其他学科
搜索结果: 1-6 共查到知识库 数理逻辑与数学基础相关记录6条 . 查询时间(1.75 秒)
提出一种新颖的中文文本分类框架。在该框架中,首先基于Word2Vec构建词向量模型,然后采用分词频文档频率(segmentation term frequencydocument frequency,STF-DF)筛选出类别区分能力强的关键词,同时构建一种适合于中文文本分类的卷积神经网络(convolution neural network,CNN)进行分类。实验结果表明,采用该框架使THUCN...
应用比较定理和Lyapunov稳定性理论,通过设计开关周期性静态对数量化控制器以及平均时间耦合强度,实现混沌系统的完全同步。给出的充分条件推广和补充已有文献的结果,同时揭示量化效应及平均时间耦合强度与系统同步的内在规律。最后,仿真实例验证了分析结果的可行性。
在现有Nginx负载均衡算法的基础上,提出基于ESXi性能计数的负载均衡算法(dynamicweightbasedonESXiperformancecounter,DWEPC),旨在通过均衡集群中的各节点负载,达到降低节点内资源过载的情况,从而提高系统性能。试验表明,相比于Nginx内置均衡算法,DWEPC算法具有更优的效果。
构造一个新的光滑逼近函数,通过该函数将非线性互补问题转化为与之等价的方程组问题。建立解该方程组的非精确正则化算法,在该算法中光滑参数与正则参数为彼此独立的变量,且可以通过解线性方程组很快得到。并在较弱的条件下证明了该正则算法的全局收敛性和局部超线性收敛性。
将广泛应用于人力资源管理的职业压力模型引入到人因可靠性分析(humanreliabilityanalysis,HRA)之中。基于这一模型,提出了可应用于HRA的任务需求及资源方法。在这一方法中,建立了任务情景中影响因素和人为心理因素之间的定性关系。基于这一关系,进一步提出了描述不同压力水平下操作人员动机强度和人因差错概率(humanerrorprobability,HEP)关系的概率模型。通过相关...
主要研究分数阶非线性Schrodinger方程的时间分裂算法,将分数阶非线性Schrodinger方程分裂成一个线性方程和一个非线性方程分别求解。其中,非线性方程可精确求解,并满足“点点守恒”,而线性方程利用CrankNicolson差分格式离散求解。证明了该算法在离散形式下保持了原方程的质量和能量的守恒性,是无条件稳定的,收敛误差为O(h2+τ2)。最后通过数值实验验证了该算法的可行性和精度...

中国研究生教育排行榜-

正在加载...

中国学术期刊排行榜-

正在加载...

世界大学科研机构排行榜-

正在加载...

中国大学排行榜-

正在加载...

人 物-

正在加载...

课 件-

正在加载...

视听资料-

正在加载...

研招资料 -

正在加载...

知识要闻-

正在加载...

国际动态-

正在加载...

会议中心-

正在加载...

学术指南-

正在加载...

学术站点-

正在加载...