Image separation using wavelet-complex shearlet dictionary

This paper presents a new method for image separation through employing a combined dictionary consisting of wavelets and complex shearlets. Because the combined dictionary sparsely represents points and curvilinear singularities respectively, the image can be decomposed into pointlike and curvelike parts as accurate as possible. The proposed method based on the geo- metric separation theory introduced by Donoho in 2005 shows that accurate geometric separation of the morphologically distinct fea- tures of points and curves can be achieved by l1 minimization. The experimental results show that the proposed method can not only be effective but also greatly reduce the computing time.     

可计算组织模型的验证难点与验证方法综述

模型“有效性”能否得到验证是推动计算组织理论发展的必要条件,也是一大瓶颈. 立足于计 算组织理论的前沿地位,论文综述并讨论了可计算组织模型的验证难点和验证方法. 首先,可计算组织模型验 证区别于自然工程模型,也超越了传统实证方法,在验证过程面临诸多主观、客观的难点;其次,发展基于问题 域、建模目的、参照系三者内在联系的验证情境,从“度”上考量模型有效性,是可计算组织模型的有效性本质;再次,建立区别于自然工程系统的VV&A验证方法,关注概念效度验证、操作效度验证以及数据效度验证,遵循 迭代验证原则,是未来的研究趋势. 本课题也列举了相应的验证案例;最后,可计算组织模型验证应该是一个不断 增强模型信心的过程,亟待跨领域专家执着于该领域的研究兴趣.     

MATLAB语言在计算的可视化教学中的应用

为了解决计算的可视化教学问题,应用TRIZ理论的相反原则,提出了通过MATLAB语言程序设计实现计算的可视化的教学模式.在该模式中掌握MATLAB编程原理和提高应用软件的能力并重,进行了突出计算功能和绘图功能的教学设计.将MATLAB语言教学的主要内容归纳为MATLAB语言基础、计算和绘图3部分内容.教学实践证明,基于MATLAB语言实现计算可视化教学模式能够激发学生学习的效率,提高教学效果.     

V94.3A燃气轮机当量小时(EOH)计算

燃机受最大应力的部件是热气体通道的部件,例如燃机燃烧室衬垫和透平叶片。根据燃机热气体通道所需的大量维护工作,对这些部件的累积磨损进行常规检查、热通道检验和大检查的运行期间可方便地作出规定,可采用等效运行小时(EOH)来达到。EOH的计算适用于西门子的所有V94.3A燃机。     

中国“天河二号”以最快速度荣获全球超级计算机四连冠

正一个负责测量计算机运算速度的国际组织2014年11月17日在美国发布了全球超级计算机500强最新排行榜,中国国防科技大学研制的"天河二号"超级计算机,以每秒33 860万亿次的浮点运算速度获得四连冠。美国能源部下属橡树岭国家实验室的"泰坦"则连续4次屈居亚军,其浮点运算速度为每秒17 590万亿次。第3名至第5名与上次榜单一样,分别是美国劳伦斯-利弗莫尔国家实     

计算思维引导通识型创新人才教学研究

阐述了计算机科学与所学专业知识方法的结合,计算机系列课程教学改革中融入计算思维形成通识教育的优势.教学实践表明,通过教学改革优化了通识型教学体系的知识结构,培养了通识型应用人才的自主学习意识,奠定了学生创新思维能力,培养了高素质创新人才.     

民用建筑低压配电系统计算校验软件的探讨

根据民用建筑电气设计中的特点和传统电气设计中的不足,本文浅析了利用Excel编制低压配电系统计算校验软件在低压配电系统校验中的应用重点,通过对该软件的重点介绍,为以后民用建筑低压配电系统施工提供借鉴。     

山区河流渠化河段港口码头建设关键技术研究

本课题的总体研究目标是：通过对山区河流架空直立式码头结构工作性状及破坏机理、码头基础与岸坡相互作用机理等科学技术问题的研究，揭示山区河流架空直立式码头结构的传力途径、破坏机理以及结构与基础的受力变形规律，提出架空直立式码头的构造要求、主要构件及基础的设计计算方法，形成适于山区河流架空直立式码头的设计计算体系。     

谱负MAP波动理论的一个注记

谱负MAP是应用概率论领域的重要内容之一.利用Asmussen-kella鞅推广了谱负MAP(X,J)的波动理论,给出谱负MAP在与之独立且服从Erlang分布的随机时刻点上水平与极值的联合变换所满足的等式,进而由Erlangization方法,给出谱负MAP(X,J)的水平与极值的联合变换的瞬时趋近算法.     

计算的极限

计算深刻地影响着人们的日常生活和生产活动,也推动了诸多其他科学领域的发展和变革.本文从几个不同的方面探讨计算的能力和极限.从计算的模型和丘奇图灵论题,到P和NP问题的深远影响及量子计算对传统计算的冲击,我们深入讨论了对计算极限的理解.