有效性与可定义性分别是计算复杂性与数理逻辑研究中的基本问题。有效性研究旨在给出相应问题的一致上界,保证算法设计的终止性,并在分析算法的计算复杂度中有重要应用。
我们从基因近端调控序列順式元件频数的矩阵出发,提出了CREF双重特征模块和极化特征向量的概念,并比较了人、黑猩猩、红猩猩的CREF双重特征模块。
我们的方法与原有方法比较,整体上具有更好的光滑性和易加工性,检验表明,我们最终生成的刀具路径严格满足残高约束。
对八元数的每个坐标建立方程,再利用线性化的技术得到了有限域上具有4个未知数的8个线性方程,从而用有限域上线性方程组的求解来代替遍历,从而完全攻破了该密码算法。
关于我们 |
研究所简介 |
科研队伍 |
研究生培养 |
获奖与荣誉 |
关肇直青年研究奖 |
许国志博士后奖励基金 |
科研单元 |
管理决策与信息系统重点实验室 |
系统控制重点实验室 |
数学机械化重点实验室 |
基础数学与应用数学研究室 |
统计科学研究室 |
复杂系统研究室 |
经济分析与预测科学研究室 |
期刊、学会、科学传播 |
系统科学与复杂性(英文) |
系统科学与数学 |
计量经济学报 |
中国系统工程学会 |
控制理论专业委员会 |
计算机数学专业委员会 |
联系我们 |
地理位置 |
来访指南 |