|
| - 新矩阵的证明及运算在Mizar系统下的实现
- 作者：梁希采 刘玲玲 姜西春 来源期刊：数字技术与应用 年卷号：2011(3).-114-116
- 摘要：本文在计算机上利用有限序列的复合映射给出了矩阵在Mizar系统下的定义,实现了可逆矩阵、对称和反对称矩阵、相似矩阵、合同矩阵等特殊矩阵的定义,给出了与上述矩阵有关的一些定理的计算机证明,并实现了矩阵的初等变换及相关运算。
-
- 矩阵的证明及运算在Mizar系统下的实现
- 作者：梁希采 刘玲玲 姜西春 来源期刊：数字技术与应用 年卷号：2011(3).-114-116
- 摘要：本文在计算机上利用有限序列的复合映射给出了矩阵在Mizar系统下的定义,实现了可逆矩阵、对称和反对称矩阵、相似矩阵、合同矩阵等特殊矩阵的定义,给出了与上述矩阵有关的一些定理的计算机证明,并实现了矩阵的初等变换及相关运算。
-
- 移动用户数量猛增
- 作者：无 来源期刊：网管员世界 年卷号：2011(3).-11-11
- 摘要：根据独立研究机构Ovum的新研究指出，移动宽带全球市场将会继续快速的成长，而且到了2015年将会有10亿人把移动宽带当作他们惟一的上网方式。这10亿人口将会占据全球整体移动宽带用户的28％，或当时全球人口的13％。
-
- 新移动用户数量猛增
- 作者：无 来源期刊：网管员世界 年卷号：2011(3).-11-11
- 摘要：根据独立研究机构Ovum的新研究指出，移动宽带全球市场将会继续快速的成长，而且到了2015年将会有10亿人把移动宽带当作他们惟一的上网方式。这10亿人口将会占据全球整体移动宽带用户的28％，或当时全球人口的13％。
-
- 新浅谈宏程序条件和循环语句的灵活运用
- 作者：张琳 来源期刊：职业 年卷号：2011(3).-108-108
- 摘要：宏程序是一种高级数控编程语言,与常见数控系统编程指令不同,该程序中通常带有变量、运算符、表达式及循环语句等。其中,循环语句是宏程序的灵魂部分,如何熟练并灵活地运用循环语句,是许多初学宏程序者感到最难的地方。为此,笔者通过一个例子展示循环语句的特点及掌握技巧。
-
|