复旦会计系民国印记

日月光华，旦复旦兮，目前隶属于管理学院的复旦大学会计学系可谓，断裂后重生。该系自1926年设立，1952年因并入上海财政学院面中止，直到1992年又复办，这段历史值得现今财会精英深思良多。     

数学机械化研究回顾与展望

回顾了脑力劳动机械化思想形成的过程,介绍了数学机械化研究的主要结果,并展望了数学机械化在未来的发展.     

改进实数遗传算法在测算农业机械化贡献率中的应用

首先介绍了改进实数遗传算法的基本原理,并给出了测算农业机械化贡献率的基本数学模型,将采用改进的实数遗传算法进行优化该模型,确定该模型的未知参数,进而计算出农业机械化在农业生产中的贡献率.     

数学机械化与数学道理化

以中国传统文化为底蕴、机械化和道理化为特色的中国传统数学,曾经取得光辉的成就.将这些思想用于计算机科学、孤子理论和量子场论,不仅可以系统地产生已有结果,还可以开辟新的研究方向,取得重大突破.     

数学机械化中的AC=BD模式

介绍了AC=BD模式及其在用机械化方法求解方程和证明定理中的应用.首先证明对可单值化算子D,如果CKerD C KerA,则存在算子B使AC=BD.利用带余除法对于给定的算子A给出了求其(C-D对的算法,使得AC=BD.并将其应用到求解算子方程,可以将一些较为复杂的方程化为简单方程求解.其次,利用对偶算子给出了将非线性非交换算子方程组化为单个方程求解的算法.最后,利用解方程的方法给出了机械化产生并证明定理的模式,并且给出了一些实例.     

线性DEDS的机械化求解方法

利用Gauss消元法原理，提出了线性DEDS研究中方程求解、传递矩阵求取、矩阵伪逆运算的机械化方法，为DEDS的建模、分析、计算提供了新的途径．     

管理会计“三镜合一”

管理会计是一整条“线”,更加侧重于立足过去,以及如何更好地管理好今天,并有效地预测未来。     

SISO多维控制系统的反馈镇定性及算法的数学机械化实现

从代数学的理想论以及代数簇理论,探讨了SISO多维控制系统的可反馈镇定条件,并给出反馈控制的表示.文中的主要结果建立在判定一个多变元多项式的零点集是否与由多项式刻画的凸集相交的前提之上,并用数学机械化方法实现了这一判定的过程.     

用符号计算证明Ramsey定理的一个机械化方法

文章给出Ramsey定理自动证明的一个代数化方法,使用符号计算软件实现了R(3,3)=6和R(3,4)=9的自动证明,并讨论了更复杂情况的简化方法,包括R(3,5)=14和R(3,3,3)=17等情形的分治策略.不同于以往的计算机辅助计算方法,文章将Ramsey定理的转化为多项式的展开合并过程,给出的证明是机械化的.     

构造弹性力学位移函数的机械化算法*

本文证明线性算子方程组Au=f的一般解为u=Cv+e,其中v满足方程组Dv=g,D是对角矩阵。以Hilbert零点定理的构造性证明为基础,给出了C,D,e的机械化求示。用此方法可以给出各种弹性力学位移函数的机械化算法。     

微分、差分方程的机械化方法

介绍了微分与差分方程机械化方法研究若干最新进展.主要结果包括: 微分、差分方程的特征列理论与算法,微分、差分方程系统的分解算法以及微分、差分方程解析解求解算法.     

验证形式可积系统解的完备性的机械化算法

在 Reid等人标准型概念的基础上 ,引进形式可积系统的概念 .并给出验证形式可积系统解的完备性的机械化算法 ,并用此方法证明了各向同性弹性力学方程组的胡海昌解的完备性问题 .     

管理会计“粉”起来

进入5月,一个管理会计的“节日”倡议,引爆了管理会计探讨的热潮。     

基于结构分解方法的采煤机械化对煤炭高效开发的贡献研究

采用完全结构分解方法,将采煤劳动强度变化分解为结构份额和效率份额,并基于1985~2006年的统计数据进行了分析.主要结论有:我国采煤劳动强度的下降,也即煤炭资源开发效率的提高是采煤工艺结构变动和各采煤工艺工效提高综合作用的结果,相对效率份额,结构份额的贡献更大一些;从结构份额来看,非机采和高档普采结构的变动导致了整体劳动强度的下降;而从效率份额来看,综采、高档普采和非机采工效的提高则是整体劳动强度下降的主要原因.     

基于连续同伦的多方对策之Nash均衡点的机械化求解方法

Nash定理证明非合作n人矩阵对策一定有混合平衡解,现有文献多讨论n=2时混合平衡解的求法,一般用优化或逼近的方法.文章给出了一种机械化求解方法,通过构造非合作多人矩阵对策的混合平衡局势所满足的多项式方程组,应用方程组求解软件由此可直接求出多人对策的问题的各种混合平衡解.     

“次贷危机”袭来，银行如何拆招——访甲骨文公司大中国区金融行业总经理庄国光

关于次级债的讨论不绝于耳，频见报端。尽管“次贷危机”本质上属于信用危机，但这一危机无疑也暴露出各大金融机构潜在的风险管理漏洞，从而凸现出风险管理在金融企业中的重要地位。作为金融领域的主导行业，银行又该如何应对各种风险呢？     

用向量解直线交点类问题的机械化方法

引言向量法解题平易简捷,但也有一定的技巧,且对几何图形有一定的依赖性.当遇到一个构图更复杂的几何问题时,用向量解题往往需要较大的耐心.如何根据向量法解几何题的基本思路和基本工具,把向量法发展成解几何题的机械化方法,     

基于列随机矩阵的逐次差分代换与正半定型的机械化判定

本文选择列随机平均矩阵T_n作为基本代换矩阵,建立了基于T_n的逐次差分代换方法.获得了R_+~n上正半定型,不定型判定的充要条件.并进一步证明了:正定型的差分代换集序列正向终止.根据这些结果编写的Maple程序TSDS3,能够自动证明代数型不等式,对不成立的不等式总能输出反例.该程序虽可能不停机,但大量的应用实例证实了该方法的实用性.     

“数学机械化国际研讨会——庆祝吴文俊院士90华诞学术会”隆重召开

2009年5月ll－13日,数学机械化国际研讨会在中国科学院数学与系统科学研究院思源楼学术报告厅成功召开,会议由中科院数学机械化重点实验室主办．得到了国家基金委、中科院数学与系统科学研究院、中科院系统所的支持．会议的主要内容包括：符号与混合计算、自动推理、多项式方程求解、微分代数、计算拓扑、数学史．     

银行将过一两年苦日子？

随着五大银行2011年度业绩报告的出炉,国有控股上市银行以接近6743．36亿元的净利润与平均25％的增幅,向公众交出了一份“漂亮”的成绩单。然而,市场却没有为这份成绩单鼓掌,“银行高利润”已经成为一个负面话题。专业人士则从年报数据中读出更让人担忧的信息：一方面,银行盈利模式仍然过度依赖息差收入;另一方面,从中间业务的构成看,增长主要来自手续费和佣金净收入,其中手续费收入增速甚至高过业绩增速,同比增幅均超过30％。