退出
我的积分:
中文文献批量获取
外文文献批量获取
文摘
英文文摘
第一章引言
第二章软件形式化方法
第三章PAR方法及其在组合数学问题上的有效性
第四章PAR方法在组合数学问题中的应用研究实例
第五章结束语
参考文献
附录一转换器界面
附录二C++程序代码及运行结果
致 谢
孙凌宇;
江西师范大学;
算法程序; 形式化; PAR方法; 组合数学; 软件开发;
机译:流体动力学问题中实验方法与数值方法之间的相互作用
机译:等几何间接边界元方法的应用以及精确几何表示在声学问题中的重要性
机译:在计算天空物理学问题中计算磁水动力现象的一些积分一致方法
机译:PAR方法在短期负荷预测中的应用研究
机译:显微定性和定量方法在涉及微生物修改的先进人类学问题中的应用
机译:顺序分析方法在人类遗传学问题中的应用
机译:生物启发算法在到达方向估计问题中的应用研究生物启发算法在到达方向估计问题中的应用研究
机译:基于量子化学的团簇建模方法及其在气体动力学问题中的应用。
机译:用于自动提炼数学问题中的概念以及动态构建和测试数学概念集合中的数学问题的系统和方法
机译:?用于从数学问题中自动提取概念并从一组数学概念中动态构建和测试数学问题的创建的系统?
机译:医学问题中的光学接触感测
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。