论文部分内容阅读
本文在计算机上利用有限序列的复合映射给出了矩阵在Mizar系统下的定义,实现了可逆矩阵、对称和反对称矩阵、相似矩阵、合同矩阵等特殊矩阵的定义,给出了与上述矩阵有关的一些定理的计算机证明,并实现了矩阵的初等变换及相关运算。
矩阵的证明及运算在Mizar系统下的实现
【摘 要】
：
本文在计算机上利用有限序列的复合映射给出了矩阵在Mizar系统下的定义,实现了可逆矩阵、对称和反对称矩阵、相似矩阵、合同矩阵等特殊矩阵的定义,给出了与上述矩阵有关的一
【机 构】
：
青岛科技大学
【出 处】
：
数字技术与应用
【发表日期】
：
2011年3期
其他文献
为构建农村现代流通网络，促进社会主义新农村建设，重庆市政府日前下文，将重点实施“乡镇建连锁经营超市、村社建便民放心商店”的农村市场建设工程（以下简称“双建工程”）。
【摘 要】“营改增”是我国为解决营业税重复征收问题和通过税收政策促进现代服务业的快速发展而推行的一项重大的税制改革，随着这项税制改革的不断深入推进，对我国经济社会的发展的影响范围也将越来越大。“营改增”通过在服务业领域引入增值税制度，在短期内可以减轻企业的的负担，增加投资意愿。从长远来看可以刺激投资，优化经济结构调整，提振经济和民众信心。本文剖析了“营改增”这项税制改革给现代服务业所带来的深刻影响
据有关部门统计，我国建筑业增加值占国内生产总值的比重已经达到了7％．建筑业作为国民经济的支柱产业的地位和作用正在日益得到增强。然而．不容忽视的是，由计划经济模式转型过来的
我国现行的住房抵押贷款担保人主要有借款人所在单位、所购房产的开发商、自然人和住房置业担保公司.但由于各种原因,他们并非是真正意义上的担保.银行为了防范风险,不得不设
垂直分层空时码系统（V—BLAST）是贝尔实验室提出的一种基于多输入多输出（MIMO）44-输方式的空时码系统，本文介绍了V—BLAST的系统模型、信道容量和Golden检测算法，并把该算法的仿真
随着市场经济体制的不断完善，电力企业计量资产管理工作面对的环境变得越来越复杂，因此，电力企业必须不断加强内部控制，提高计量资产管理水平，从而降低企业成本，促进企业长远发展。
【摘 要】本文围绕电力营销的市场意义，讨论了电力营销市场的目前形势、存在的不足，分析了电力营销的重要意义。就当前的形势来看，供电公司的营销观念一定要与时俱进，尽可能的为客服提供优质的服务，以实现供电的可靠性，把客户群进行细化，采用阶梯电价和新型的营销手段相结合，促进营销模式的完善，进而使得电力市场得到发展，确立电力营销新理念与新策略以适应市场的需求。 【关键词】电力营销；创新；管理；策略 一、
随着我国国民经济的快速发展和城市化进程的加快。城市基础设施建设投入不断加大。市政工程不仅从数量上持续增加，而且在质量和标准方面也在不断提高。如何在市场经济条件下，合