邏輯系統的定則問題

关於什麼是邏輯系統(又名演绎系統或形式系統)的問題,目前已經有比較一致的意見。不过还有一些問題尤其是定則(一名推演規則)的問題,仍值得討論。所謂邏輯系統包含有一些对象叫做公式(最簡單而不再分析的特叫做項),以及一些联結詞,它把公式結合而成新公式。然后在所有公式之中特別画出一类叫做形式定理。     

高技术技术打造石蜡

据《梦溪笔谈》记载，很早以前，我们祖先就知道在石油中提取石蜡，用它来制造蜡烛和墨。直到现在，我国仍然是蜡烛制造和出口大国，蜡烛远销欧美许多国家。     

非对称满应力拱的优化

文献[1]解决了对称满应力拱在外荷、自重和拱顶复盖层重作用下的优化问题。本文在文献[1]的基础上,继续研究了在外荷与自重作用下非对称满应力拱的优化问题。由于结构的非对称性,此问题的数学表达式变得极为复杂,给求解带来很大困难。本文在公式的推导上作了一些技巧性的安排,方使问题得解。所获得的解答均是闭合分析解,当退化到对称拱时,可回到文献[1]的结果。     

稀土肥料对秋苦荞麦生长发育及产量的影响

通过100mg／kg～400mg／kg不同稀土浓度对秋苦荞进行苗期处理,表明对生育时期和产量的影响差异均不显著。喷施稀土有降低株高的作用;分枝数以对照最高,达2．6个,其余各处理均有减少分枝的趋势,有随浓度的增大而增加的趋势。     

炼造纳米材料的高手——植物淘金新发现

黄金历来被当作财富与权力的象征,成为一些人追逐的对象。如果我们不是损人利己;不是为满足私欲去牟取暴利……这本来无可非议。因为人们提炼出来的黄金都是社会财富,它的价值又是其他金属难以替代的！ 于是历史上就出现了用稻草纺成金线的童话;就出现了“点石成金”的寓言故事,这表明人类社会需要黄     

基于GIS的紫金山风景区景观格局及其动态分析

以南京紫金山风景区1993年和2002年两期森林资源调查成果为主要信息源,在地理信息系统软件Mapinfo 6．5的支持下,提取分维数、景观优势度、景观多样性及景观破碎度等景观格局指数对紫金山景区从1993～2002年近10年的景观格局及其动态特征进行了全面分析。结果表明：(1)景观优势度上升而多样性降低并且有林地景观类型始终占优势地位;(2)人为干扰大的景观类型有较小的分形维数;(3)有林地在研究区内呈集群分布而前期灌木林和后期疏林地近似呈随机分布。     

大面积遥感植被成图方法的述评

自然植被的地理空间分布是十分重要的环境因子，其应用需求范围很广，包括全球气候变化，自然灾害监测，生态系统活力监测以及火灾管理等。日益增长的更高层次的应用需要一种有一定比例尺的大范围的且能提供详细信息的植被数据集。笔者介绍一种能生成分辨率为30m的自然植被类型覆盖图以及可用于可燃物和火险评估项目的结构变量的遥感方法。此方法的成功有赖于传感器的改进和数据的质量、对区域及其植被生态的全面了解、大量遥感和地面数据的成功整合以及灵活的成图算法。初步成果来自犹他州中部地区，包括28个植被类型。森林、灌木和草本层的郁闭度（亚像元密度）的分类总精度为60％（按生命表平均），三者郁闭度的相关系数分别为0．89，0．60和0．55，平均冠层高的相关系数分别为0．73，0．50和0．20。对改进过的第一轮技术成果进行了讨论，其中包括成图模型的细化、有关环境梯度的应用以及与实际植被类型相关的潜在植被问题等。     

递归定义与归纳证法

递归定义与归纳证法是数学中最基本、最原始的手段,它不象一般人所认为的那样只是自然数所特有的。本文通过揭示递归定义与归纳证法的实质表明它们是本质上不依赖于自然数的逻辑系统内的特征,因而也适用于许多非自然数的对象。     

新型纳米无机抗菌剂TiO2和ZnO的广谱抗菌性研究

 选择了革兰氏阴性细菌、革兰氏阳性细菌、芽孢杆菌、酵母菌和霉菌的代表菌株,采用三角瓶振荡法及纸片扩散法,对2种新型纳米无机抗菌剂:纳米TiO₂和纳米ZnO进行了广谱抗菌性研究,并通过与日本的纳米无机抗菌剂及有机抗菌剂进行比较,结果表明2种新型纳米抗菌剂不仅对所有代表菌株表现出很好的广谱抗菌性能,而且其抑菌能力强于日本无机抗菌剂和有机抗菌剂;在此基础上对相关抗菌剂的抗菌机理进行了分析讨论.     

Apriori算法在森林资源二类调查数据分析中的应用

介绍了应用于森林资源二类调查的数据挖掘系统,以实例说明关联规则挖掘方法在林业中的具体应用。研究了数据挖掘技术中的关联规则理论在林木属性分析中的应用,应用Apriori算法分析了权属、起源、年龄、平均胸径、树高、郁闭度之间的关联,为相关的决策支持提供参考。证明了数据挖掘在森林资源调查数据分析中具有良好的应用前景。