收藏本站  |  常见问题  |  登陆  |  注册
当前位置 > 首页 > 书籍列表
数学机械化丛书
8 条记录 1/1 页

《交互式马尔可夫链——并发系统的设计、验证与评价》

  • 【作者】:吴尽昭,王永祥,覃广平 著
  • 【出版日期】:2007-06
  • 【定价】:¥28
  •   通过正交结合经典的进程代数和连续时间马尔可夫链模型,交互式马尔可夫链(IMC)提供了完美的可组合化的并发系统设计和分析框架。本书主要介绍了IMC的理论及其在并发系统层次化设计以及功能验证与性能评价方面的应用,主要内容包括IMC上的分支时间等价和前序关系、IMC 的动作细化理论以及基于IMC的模型检验方法。   本书可以供研究生、教师和科研人员作为了解并发系统理论研究及与数学机械化基本思想与方法相结合的形式在设计与分析技术最新成果的参考书。

    《进程代数——对称与动作细化》

  • 【作者】:王永祥,吴尽昭,蒋建民 著
  • 【出版日期】:2007-06
  • 【定价】:¥25
  •   并发系统常常在结构上展示出对称性,这种对称结构一般来说具有相同或相近的性质。本书讨论了并发系统的进程代数语言及其事件结构模型中的对称性、对称约简、对称约简对动作细化的影响以及基于束动作变迁的偏序约简与应用,力图在结构层次上建立对建模语言和模型进行约简及细化的基本理论和方法,为高效机械化设计和分析并发系统服务。   本书可以供高年级大学生、研究生、教师和科研人员作为了解数学机械化基本思想与方法在形式化并发系统设计与分析中应用的参考书。

    《方程求解与机器证明——基于MMP的问题求解》

  • 【作者】:高小山,王定康,裘宗燕,杨宏 著
  • 【出版日期】:2006-09
  • 【定价】:¥55
  •   本书首先在前三章介绍了数学机械化软件平台MMP的基本功能与使用方法,然后在后面的各章中通过MMP的运行实例介绍了数学机械化的基本理论与最新近展,特别是方程求解与机器证明方面的最新研究成果。第四章介绍了多项式方程系统,常微分方程系统,偏微分方程系统的吴特征列方法与投影定理。第五章介绍初等与微分几何中定理自动证明与自动发现的吴方法与若干最新进展。第六章介绍代数方程求解的吴特征列方法以及参数方程求解、预解式理论及其在机器人、曲面拼接、代数簇隐式化中的应用。第七章介绍微分方程求解的吴特征列方法以及微…

    《近世计算理论导引——NP难度问题的背景、前景及其求解算法研究》

  • 【作者】:黄文奇,许如初 著
  • 【出版日期】:2004-06
  • 【定价】:¥20
  • 本书对迄今为止有关计算理论的实质性成果作了深刻、严格而又直观的论述,为计算机科学的实质性难题NP难度问题的实现求解提出了一条现实的高效的求解途径。它在透彻讲解图灵机的基础上,阐明了为什么会有计算机不可解的问题,会有计算机难解的问题;然后为当代实质性的计算机难解问题,即NP难度问题指明了得出高性能求解算法的现实途径——拟物、拟人途径;最后为设计算法与分析问题的复杂度提供了一个强有力的工具——有穷损害优先方法。 本书的内容经过不同组合可作为大学生、硕士生、博士生的教材,也可供有关的…

    《多项式系统的实根分离算法及其应用》

  • 【作者】:陆征一,何碧,罗勇 著
  • 【出版日期】:2004-05
  • 【定价】:¥30
  • 本书利用吴方法、一元多项式实根分离算法及多项式的单调性分解,提出了一般多元多项式组实零点的区间分离算法。将此算法应用于几类典型的微分方程定型性质的研究得到了一些新的结果:一类单调系统的全局稳定性,Lienard系统的小扰动极限环构造,三次系统的弱中心阶数的判定,以及高维系统的极限环构造。 本书适用于大学高年级本科生、研究生及相关的科技工作者使用。

    《实域论》

  • 【作者】:曾广兴 著
  • 【出版日期】:2004-01
  • 【定价】:¥50
  • 本书旨在比较系统地介绍实域理论中的内容、方法和结论。对于进一步学习实代数几何的人来说,本书应是一本必读物。 全书共分9章。前两章围绕著名的Artin-Schreier理论,介绍与实域、序域和实闭域相关的概念和结论。第三章讨论了域的实赋值和实位以及它们与序之间的相容性。第四章介绍E.Artin对Hilbert第十七问题的解答,同时研究了Hilbert第十七问题的逆问题。第五章讨论了实域上的二次型及其密切相关的半序,由此建立了一些重要的结果,其中包括Hilbert第十七问题在定量方…

    《数学机械化》

  • 【作者】:吴文俊 著
  • 【出版日期】:2003-03
  • 【定价】:¥58
  •   本书是围绕作者命名的“数学机械化”这一中心议题而陆续发表的一系列论文的综述。本书试图以构造性与算法化的方式来研究数学,使数学推理机械化以至于自动化,由此减轻繁琐的脑力劳动。   全书分成三个部分:第一部分考虑数学机械化的发展历史,特别强调在古代中国的发展历史。第二部分给出求解多项式方程组所依据的基本原理与特征列方法。作为这一方法的基础,本书还论述了构造性代数几何中的若干问题。第三部分给出了特征列方法在几何定理证明与发现、机器人、天体力学、全局优化和计算机辅助设计等领域中的应用。   本书…

    《消去法及其应用》

  • 【作者】:王东明 著
  • 【出版日期】:2002-09
  • 【定价】:¥48
  • 本书系统介绍多项式系统零点分解的消去算法。这些算法能将任意多元多项式系统分解为三角系统、正则系统、简单系统、具有投影特性的三角系统和不可约三角系统。各种三角型系统理论上性质殊异,计算上难易匪同,应用上则各有所长。书中还简述基于结式和格罗布讷基的消去算法,讨论代数簇的等维与不可约分解以及多项式理想的准素分解,并介绍符号消去法的若干应用,包括代数方程求解、几何定理求证、多项式因子分解和微分系统的定性分析。 本书可供有关科研和工程技术人员参考,也可作为高等院校数学和计算机科学系高年级…
    8 条记录 1/1 页
    友情链接   |     我要投稿    |     购书流程
    温馨提示:你我安全网中的软件,资料文章,图片全来自互联网如侵犯到作者权力与利益请联系客服,谢谢!