两个分别与有理数及无理数的稠密性相关的命题     

黄崇智 《内江师范学院学报》2003,18(2):87-89

本处理了两个一般人视为当然而实则不易证明的，与有理数及无理数的稠密性分剐相关的命题。  相似文献   

基于多维体的逻辑函数化简法的研究     

张凤英  陈生庆 《嘉应学院学报》2003,21(3):50-53

针对变量较多的逻辑函数在分析手工化简方法和计算机辅助列表化简方法的基础上,给出了易于计算机实现的化简方法,即用多维体表示逻辑函数,然后运用多维体的有关运算,用张弛法求出函数的无冗余覆盖,并举例说明了化简的具体步骤.  相似文献   

软件配置测试的测试数据生成     

聂长海  徐宝文 《东南大学学报》2004,20(1):26-30

本文提出利用多次单因素试验、正交实验设计和均匀设计等常用方法为软件的配置测试产生测试数据, 以确保待测软件可以在不同的配置上正确运行, 并分析比较了这些方法的优缺点. 在此基础上提出使用两两组合覆盖方法来改善正交试验设计方法的不足、使用多因素组合覆盖方法来降低因不完全测试而带来的风险, 并提出一种单因素覆盖方法, 该方法可以产生最少的测试数据, 在覆盖各个系统因素的同时, 尽可能多地覆盖各个因素间的两两组合. 最后, 对这些测试数据生成方法从测试数据集的规模、组合覆盖率、可用性等方面进行了比较.  相似文献   

浅论儿童书装设计的新发展     

刘新 《邢台职业技术学院学报》2006,23(1):83-85

儿童读物对于儿童的成长发育起着不可忽视的作用。近年来书籍整体设计的发展也使儿童读物出现了新的面貌,主要体现在书籍审美形态、印刷与纸张、传播形式、材料选择、封面、插图与版式、内容等多方面。我国在以上诸多方面与国外同行还有一定的差距,这需要作者、出版者、编辑、设计者以及印刷装订者的共同的努力。  相似文献   

符号逻辑计算的设计及应用     

牟廉明 《内江师范学院学报》2005,20(2):8-10

由于符号逻辑计算在现有数学软件中尚无相应的函数；本文首先将符号逻辑表达式抽象为一张向量表，巧妙地将符号逻辑计算转化为二值逻辑运算与对表的操作，成功地实现了符号逻辑乘和逻辑加；最后探讨了符号逻辑计算在图论中的应用。  相似文献   

A new photonic bandgap cover for a patch antenna with a photonic bandgap substrate     

林青春  朱方明  何赛灵 《Journal of Zhejiang University. Science. B》2004,(3)

INTRODUCTIONInvestigationofphotonicbandgap(PBG)materialsiscurrentlyoneofthemostactivefron-tiersinengineeringandphysics.PBGmaterialshaverecentlyemergedasanewmultidisciplinaryfieldofstudy(Kesleretal.,1996;Yablonovitch,1994;SimovskiandHe,2001).APBGstructurecanhaveabandgapwithinwhichelectromagnetic(EM)wavepropagationispreventedinalldirec-tions(Joannopoulosetal.,1997;Ozbayetal.,1994).Foratwo-dimensionalPBGmaterial,thepropagationofanEMwavewithinitsbandgapispreventedinalldirectionswithin…  相似文献   

UG注塑模具设计与数控加工应用     

周建安 《深圳职业技术学院学报》2007,6(2):14-17

以手机前翻盖为例,对使用UG Moldwizard自动设计注塑模具的过程和要点,以及应用UG CAM进行数控加工的方法和技术,进行了研究和探讨。设计出相应的注塑模具,介绍了模具的材料,并给出了模具的装配图。  相似文献   

英文求职信的人际功能实现     

冯俊英 《和田师范专科学校学报》2010,29(6):129-130

本文以系统功能语法中的人际功能理论为分析框架,以20篇英文求职信为语料,主要从语气和情态两个方面分析英文求职信的人际功能实现。研究结果表明,英语求职信有特定的语言特征,这些语言特征与语篇所要实现的人际功能密切相关。  相似文献   

WRF土地利用/覆被数据优选及其在城市热岛模拟中的应用     

曹峥  廉丽姝  顾宗伟  朱平盛  李宝富 《资源科学》2015,37(9):1785-1796

针对WRF模式自带土地利用数据更新不及时及精度不高的现象,本文将国内外主要土地利用数据（MODIS2012、GLC2009、GLC2000）与WRF模式耦合进行土地利用数据的优选,并将优选数据初步应用于枣庄城市热岛模拟中。结果表明：①MODIS2012数据能够较好地反映研究区域土地利用类型的空间分布特征,有较好的模拟结果;②研究区10月份热岛强度最大为0.671℃,其次是1月份和7月份分别为0.570℃和0.550℃,而4月份热岛强度较小为0.467℃;城市热岛强度日最大值出现在22~23点,最小值出现在13~14点;③由于盛行风向的影响,滕州市与枣庄市中区城市热岛中心均存在春夏季北进、秋冬季南移的现象;④枣庄地区城市热岛主要受枣庄市中区的影响,各土地利用类型对城市热岛的贡献率大小排序为：城镇建设用地>农田>林地>未利用地>草地>水体。  相似文献   

生态建设工程对鄱阳湖区域土地利用/覆被变化的影响   总被引：1，自引：0，他引：1  

孙传谆  甄霖  王超  杜秉贞  胡洁  李鹏 《资源科学》2015,37(10):1953-1961

生态建设工程可在很大程度上快速改变区域土地利用/覆被格局。本文以鄱阳湖区域三个典型村落为研究对象,利用遥感手段和实地调研获取研究区生态建设工程实施前(2000年)、后(2013年)土地利用信息,在此基础上,结合农户问卷调查,从土地利用程度综合指数(L_j)、土地利用重要性指数(C_i)、林草植被覆盖度(I)指数等方面,分析土地利用变化特征。结果表明:总体上,生态工程建设实施后,鄱阳湖典型村落土地利用程度均呈下降趋势,林草植被覆盖度呈上升趋势。这对于改善鄱阳湖区域生态环境质量具有重要的意义。不同生态建设工程对鄱阳湖区域典型村落土地利用变化影响差异明显。其中,退田还湖工程引起的土地利用变化的重要性指数相对较高,对综合土地利用程度和林草植被覆盖度影响最大;“一大四小”工程引起的土地利用变化的重要性指数也相对较高。单一的“一大四小”工程对土地利用程度和林草植被覆被度的影响较小,但“一大四小”工程与退田还湖工程重合部分使土地利用程度下降,林草植被覆盖度提升。退耕还林工程引起的土地利用变化的重要性指数相对较低,其对土地利用程度和林草植被覆盖度影响较大。  相似文献