基于合约的构件易测试性设计支撑工具的设计与实现

构件技术的新特点为构件测试带来挑战.合约式设计是一种重要的软件易测试性设计方法.基于合约的构件易测试性设计为构件测试提供了一种有效的手段.设计并实现了一种新的合约式设计工具(PKUJDBCT),为构件的易测试性设计提供有力的支撑,并为今后进一步研究基于合约的构件易测试性设计方法打下了良好的基础.     

论西藏大众传媒的发展策略

在维护祖国统一和民族团结,促进西藏社会经济发展的新世纪伟业中,西藏新闻传播事业具有十分重要的历史地位和现实价值。对此,首先应结合西藏实际,建立具有现代传播优势的新闻传媒整体构架,优先发展广播,重点发展网络,确立电视主流地位;其次,注重发展藏语传媒,完善“双语合璧”机制;再则,加大新闻援藏力度,培养民族新闻人才,不断进行市场化尝试,并借助青藏铁路通车和经济跨越式发展的历史契机,努力实现西藏大众传媒的历史性突破。     

可交换α次积分C-半群的性质

在Banach空间上,讨论了两个可交换α次积分C-半群,得到生成元的性质.     

积分C-半群的临界谱

引入了积分C-半群临界谱的概念,获得了积分C-半群的一些性质和临界谱定理.