搜索结果: 1-15 共查到“数理逻辑与数学基础其他学科”相关记录102条 . 查询时间(0.906 秒)
未央书院是清华大学为落实国家“强基计划”而特别成立的五个书院之一，主要负责“强基计划”数理基础科学（含工程衔接方向）专业的理工双学位本科人才培养。着重突出数学、物理学等基础学科在学生未来发展中的支撑引领作用，结合对学生在工程衔接方向的志趣引导，在国家亟需而清华一流的工程专业方向上，发挥清华大学的工科优势，积极探索“理+工”双学位的本科育人新方式，规模化培养数理基础扎实，发展潜力深厚，创新能力突出的...
乔希民，男，1960年生，教授，硕士。1982年毕业于商洛师专数学系，1989年7月毕业于天津师范大学数学系，2003年参加教育部高等学校国家级培训班学习，2004年至2006年在西北大学硕士研究生班学习，2010年6月获陕西师范大学基础数学理学硕士学位。1997年至今在商洛学院数学与计算机应用学院工作。主要研究领域为非经典数理逻辑和数学教育研究。发表论文发表学术论文80余篇。国培专家、陕西省高中...
肇庆学院数学与统计学院王传利副教授（图）
肇庆学院数学与统计学院 王传利 副教授 数学方法论 数学史
2021/11/15
学习工作经历：于2002.9-2005.6在华南师范大学攻读基础数学硕士研究生，于2005.7—在肇庆学院工作。曾于2009年11月参加教育部2009年“国培计划—高中数学学科培训者研修项目”，于2010年9月参加广东省“代转公”教师培训；多次参加在职教师远程培训和农村教师置换培训工作。
《北京数学杂志（英文）》创刊三周年（图）
北京；数学杂志；创刊；三周年
2021/10/12
《北京数学杂志（英文）》（Peking Mathematical Journal）是由教育部主管、北京大学主办的英文数学期刊，于2018年9月正式创刊。期刊由北京国际数学研究中心和北京大学数学科学学院联合承办，主要刊登基础数学方面具有突出思想方法的高水平原创研究成果，旨在促进国内外学术交流，推动数学学科发展。
中国科学院数学与系统科学研究院网络模型解析人类遗传变异（图）
人类；遗传变异；网络模型
2021/10/11
遗传变异指不同个体之间在DNA水平上的差异，是物种形成和生物进化的基础。1990年正式启动的人类基因组计划（Human Genome Project, HGP）与曼哈顿原子弹计划和阿波罗计划并称为三大科学计划。作为一项规模宏大，跨国跨学科的科学探索工程，HGP测定了组成人类染色体中所包含的30亿个碱基对组成的核苷酸序列，绘制人类基因组图谱。于2001年发布人类参考基因组的草图，被认为是HGP成功的...
中国科学技术大学核数学科学学院华罗庚英才班赴南方科技大学进行学术交流（图）
华罗庚英才班；
2021/10/12
2021年3月19日，数学科学学院华罗庚英才班21名同学在马杰教授、梁永祺教授和张伟老师的带领下，前往深圳南方科技大学，与南科大数学英才班的师生进行了为期3天的交流活动。
基于关键词策略和CNN的中文文本有害信息分类
词向量 分词频文档频率 特征词集合 Word2Vec模型 卷积神经网络
2022/3/23
提出一种新颖的中文文本分类框架。在该框架中，首先基于Word2Vec构建词向量模型，然后采用分词频文档频率（segmentation term frequencydocument frequency,STF-DF）筛选出类别区分能力强的关键词，同时构建一种适合于中文文本分类的卷积神经网络（convolution neural network,CNN）进行分类。实验结果表明，采用该框架使THUCN...
中国数学会副理事长席南华院士讲述“数学的意义”（图）
中国数学会 数学的意义 席南华院士
2021/7/21
2020年5月30日是我国第四个全国科技工作者日。在这个特殊的日子，为致敬科技工作者、弘扬科学家精神、促进公众对数学的认知，中国数学会联合中国工业与应用数学学会、中国运筹学会邀请席南华院士为大家献上题为“数学的意义”的网络在线科普讲座。
基于开关周期性耦合的混沌系统量化同步
混沌系统 开关周期性耦合 量化同步 耦合强度
2022/3/18
应用比较定理和Lyapunov稳定性理论,通过设计开关周期性静态对数量化控制器以及平均时间耦合强度,实现混沌系统的完全同步。给出的充分条件推广和补充已有文献的结果,同时揭示量化效应及平均时间耦合强度与系统同步的内在规律。最后,仿真实例验证了分析结果的可行性。
基于ESXi性能计数的Nginx负载均衡算法研究
Nginx ESXi性能计数 负载均衡 DWEPC
2022/3/18
在现有Nginx负载均衡算法的基础上，提出基于ESXi性能计数的负载均衡算法(dynamicweightbasedonESXiperformancecounter，DWEPC)，旨在通过均衡集群中的各节点负载，达到降低节点内资源过载的情况，从而提高系统性能。试验表明，相比于Nginx内置均衡算法，DWEPC算法具有更优的效果。
解非线性互补问题的非精确正则化算法
非线性互补问题 全局收敛 局部超线性收敛 非精确正则算法
2022/3/28
构造一个新的光滑逼近函数，通过该函数将非线性互补问题转化为与之等价的方程组问题。建立解该方程组的非精确正则化算法，在该算法中光滑参数与正则参数为彼此独立的变量，且可以通过解线性方程组很快得到。并在较弱的条件下证明了该正则算法的全局收敛性和局部超线性收敛性。
江苏理工学院2013-2017数理学院专利申请及授权表。
安徽建筑大学数理学院
安徽建筑大学数理学院
2019/1/8
安徽建筑大学数理学院前身为基础部，2001年7月成立数理系，2013年12月数理系更名为数理学院。学院下设数学教研室、物理教研室、应用数学系、应用物理系、统计系、实验中心和声学研究所，其中实验中心为省级基础实验示范中心，包括建筑声学、大学物理和应用统计等5个实验室。学院拥有应用统计、系统工程等3个硕士学位授权点以及1个校级重点学科，现有应用物理学、统计学和声学等3个本科专业，在校学生800余人，其...