排序方式: 共有24条查询结果,搜索用时 0 毫秒
1.
计算机的出现,为数学研究提供了强有力的手段,并激起了机械化与构造化的新浪潮.60年代后期开始,计算机代数异军突起,受到人们广泛关注.其中,吴文俊教授1978年在研究几何定理机器证明的过程中,提出了 Wu-Ritt 整序原理,并以此成功的解决了相当一大类几何定理的机器证明.不仅如此,随后的进一步研究工作表明,Wu-Ritt 原 相似文献
2.
刘卓军 《数学的实践与认识》2008,38(20)
实现和谐社会需要一个与之相适应的社会分配结构.借助基尼系数描述了一种和谐的社会分配结构.通过观察和分析我国近年的经济数据可以发现,为实现和谐的分配状态,我们必须应对许多严峻挑战:城乡差别依旧过大;接近占总人口20%的最贫困人群几乎没有财富积累;过大的地下经济扭曲并影响了社会的公平分配.进行社会分配必须兼顾均衡与效率.要实现和谐的分配状态,可以有许多考虑和选择.建议采取法律、法规、科技、政策和行政的各种手段,要坚决消灭近20%最贫困人群的入不敷出的情形;要全力打造中等收入阶层;要加大取缔黑色收入规范灰色收入的力度;要加快城镇化建设的步伐;要积极营建促进全民创业的环境. 相似文献
3.
在偏微分方程Riemann解法和微分方程裂变思想的启发下,引入了微分方程乘子函数(解)和乘子解法的概念,系统地讨论了二阶线性微分方程的乘子可积性.得到了二阶线性微分方程乘子可积的条件以及Riceati方程可积的充分必要条件,并分别给出了二阶线性微分方程和Riccati方程在乘子解下的通积分. 相似文献
4.
5.
6.
7.
可疑交易识别是打击洗钱犯罪所要面对的一项重要任务.为辅助反洗钱分析人员从海量金融交易信息中甄别客户异常交易,本文提出一种新的基于非线性马尔科夫随机过程、相空间重构和隐马尔科夫链的非线性随机方法,用于对金融交易时序进行建模拟合,然后应用鲁棒控制图对估计误差进行检验以发现异常.应用该算法对实际交易数据和仿真数据的分析验证了所提方法的有效性和可行性,可以被用于异常交易的监测. 相似文献
8.
给出仿射代数集上多项式自同态为同构的Grobner基准则,井利用Wu-Ritt算法进行了计算,同时给出一些具体例子. 相似文献
9.
本文给出了判定一个仿射代数集是否是一个自同构恒等集的充分条件.作为一个推论,我们给出了Mckay-Wang的一个问题的一个新证明.我们也给出了一些具体的例子来说明主要的定理. 相似文献
10.
基于我国安全生产事故快报数据,采用季节指数法对近年安全生产事故现状给出时间特征分析,确定出安全生产事故高发时间段.同时,给出总体的和死亡1人、3人以及4人的安全生产事故每年在每个时段平均事故总起数的概率分布模型.分析方法和结果有助于国家安全生产事故预防、控制和应对的监管工作. 相似文献