理学 >>> 数学 >>> 数理逻辑与数学基础 >>> 演绎逻辑学 证明论 递归论 模型论 公理集合论 数学基础 数理逻辑与数学基础其他学科
搜索结果: 16-30 共查到知识库 数理逻辑与数学基础相关记录1409条 . 查询时间(4.867 秒)
提出一种将介质型电磁带隙结构与电源平面分割技术相结合,用于抑制高速电路电源/地平面间同步开关噪声的新方法。利用AnsoftHFSS建立相应三维电磁仿真模型并对其进行数值仿真,结果表明:若以-40dB为噪声隔离标准,噪声可在0.01~0.66GHz与0.91~4.11GHz范围内得到有效抑制,并且噪声最大抑制深度可达-152dB。对以分割电源平面为参考平面的单端微带信号线的信号传输质量进行分析,结果...
依据蕴含潍柴动力股份有限公司(简称潍柴)成功发展经验的200多万字的文本资料,运用改进的扎根理论方法,提炼概括了潍柴成功背后的工程管理概念模型,进而从流程视角构建了工程管理理论模型,并以潍柴H1平台开发工程案例加以验证。结果发现,潍柴成功的五个关键维度为做正确的事(Correct),配置合适的领导及团队(Leader),必要的检查与修剪(Inspect/Clip),以及始终如一地朝着一个坚定的目标...
提出一种新颖的中文文本分类框架。在该框架中,首先基于Word2Vec构建词向量模型,然后采用分词频文档频率(segmentation term frequencydocument frequency,STF-DF)筛选出类别区分能力强的关键词,同时构建一种适合于中文文本分类的卷积神经网络(convolution neural network,CNN)进行分类。实验结果表明,采用该框架使THUCN...
应用比较定理和Lyapunov稳定性理论,通过设计开关周期性静态对数量化控制器以及平均时间耦合强度,实现混沌系统的完全同步。给出的充分条件推广和补充已有文献的结果,同时揭示量化效应及平均时间耦合强度与系统同步的内在规律。最后,仿真实例验证了分析结果的可行性。
考虑两个独立且服从指数分布的部件组成的并联系统,研究两个并联系统Σ1和Σ2,其中Σ1和Σ2有一个部件参数相同,另一个部件参数不同,得到了Σ1和Σ2在随机序、似然比序、故障率序和反故障率序意义下的随机比较性质。同时,得到了部件服从成比例故障率模型和韦布尔分布模型的相应结论。
在现有Nginx负载均衡算法的基础上,提出基于ESXi性能计数的负载均衡算法(dynamicweightbasedonESXiperformancecounter,DWEPC),旨在通过均衡集群中的各节点负载,达到降低节点内资源过载的情况,从而提高系统性能。试验表明,相比于Nginx内置均衡算法,DWEPC算法具有更优的效果。
为推动我国金融系统性风险预警研究,在分析金融系统性风险的传导路径、借鉴国际经验的基础上,综合考虑金融系统内外部因素,重构符合我国实际的金融系统性风险预警指标体系,并合成包含资产泡沫、货币危机、外汇市场和其他共四个金融压力指数的金融综合压力指数。选取2001年~2016年历史数据,采用马尔科夫区制转移模型与主成分分析法相结合,对我国金融系统性风险预警进行实证分析。结果表明,该方法有效识别了该时期高风...
构造一个新的光滑逼近函数,通过该函数将非线性互补问题转化为与之等价的方程组问题。建立解该方程组的非精确正则化算法,在该算法中光滑参数与正则参数为彼此独立的变量,且可以通过解线性方程组很快得到。并在较弱的条件下证明了该正则算法的全局收敛性和局部超线性收敛性。
为有效地刻画VIX的均值回复性与非高斯性,在风险中性测度下,以调和稳态过程替换简单跳过程,构建带调和稳态的OU与CIR模型,并应用Doob鞅的方法求解其仿射解结构的特征函数,进而求出VIX期权公式用于定价实证。实证表明:带调和稳态的均值回复模型明显优于其他定价模型,而带调和稳态的CIR模型为最优定价模型。从而得出带调和稳态的均值回复模型不仅有较好的经济解释,而且可抓住VIX均值回复与非对称跳的特征...
本文基于中国科学院大学学生家庭关系网络开展家庭膳食消费调研。此次调研采用城乡交叉分层抽样,首先从国科大在学的4万余名学生中抽取来自全国31省市、符合城乡比例的813名学生作为调查员。由学生调查员按照调研方案的要求从家属及亲朋中抽选8130名被调对象进行膳食调研,调研内容包括粮食、蔬菜和水果、畜禽肉、蛋类和水产品、乳类、食用油、酒类及饮料等各类食物摄入量,以及周末在外就餐的次数、就餐地点、食物重量、...
本文研究一类源于核反应堆的数学模型正解的存在性.该模型旨在描述与快中子流密度、反应堆温度紧密相关的核反应过程.本文主要讨论反应堆与外界有热交换的情形.从数学的角度来看,模型自身的非合作特性导致对正解存在性及相关性质的研究较为困难,适用于研究合作系统的比较原理等方法将不再有效.运用分歧理论,我们获得了该模型存在正解的充分必要条件,建立了正解的全局分歧结果,同时对正解的渐近行为进行了仔细分析.所得结果...
设A是阿贝尔范畴,X是A的子范畴.Sather-Wagstaff,Sharif和White引入了Gorenstein子范畴的概念,记为G(X).我们用PP(相应地,P)代表纯投射R-模类(相应地,投射R-模类).本文给出了一类满足条件“G(P)⊆G(PP)”的环,由此给出了当W是X的子范畴时,G(W)是否包含在G(X)中的一个否定回答.进一步,刻画了包含关系G(P)⊆G(P...
针对引导式场景,结合认知科学上学习区的概念,构造题库网络图,进而根据特定学习者的行为来划分割集,由此建立引导式教学场景下深度强化学习的模型,在推荐偏差指标的控制下,做出最适合学习者的内容推荐。对比实验证明了模型相比控制组能给出合理的“前向推荐”,有效解决学习者作答正确率不稳定的问题。引导式教学场景下深度强化学习的模型能够拟合经验教师出题决策的思维方式,在历史作答数据中提取有效隐含信息,为学习者推荐...
将广泛应用于人力资源管理的职业压力模型引入到人因可靠性分析(humanreliabilityanalysis,HRA)之中。基于这一模型,提出了可应用于HRA的任务需求及资源方法。在这一方法中,建立了任务情景中影响因素和人为心理因素之间的定性关系。基于这一关系,进一步提出了描述不同压力水平下操作人员动机强度和人因差错概率(humanerrorprobability,HEP)关系的概率模型。通过相关...

中国研究生教育排行榜-

正在加载...

中国学术期刊排行榜-

正在加载...

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

正在加载...

中国大学排行榜-

正在加载...

人 物-

正在加载...

课 件-

正在加载...

视听资料-

正在加载...

研招资料 -

正在加载...

知识要闻-

正在加载...

国际动态-

正在加载...

会议中心-

正在加载...

学术指南-

正在加载...

学术站点-

正在加载...