基于OBDD时序电路设计的验证

依据有序二叉判定图（OBDD）和计算树逻辑（或称分支时态逻辑）CTL（Computational Tree Logic)的基本原理，分析了基于OBDD和CTL的验证数据电路设计的基本原理，并在此基础上，给出了时序电路等价验证的方法。     

树与色树

给出了色树的两种性质；（１）色树相关联的两个顶点对应的串是色分划的不同色组对应的串；（２）色树顶点的对应串所含链的上等。并应用构造方法证明了任意树都是以树，从而解决了遗留问题。     

结构方程模型在兴安落叶松林生长中的应用

【目的】通过结构方程模型,确定气候、土壤和海拔对兴安落叶松林生长指标的影响以及路径关系。【方法】选取年平均气温、年平均降水量、太阳辐射、土壤全氮含量、土壤有机碳密度和海拔作为影响因素,探究兴安落叶松地上生物量、地下生物量、树高与这些影响因素的关系,并利用AMOS 21.0软件构建衡量兴安落叶松生长的3个指标与气候、土壤和海拔的结构方程模型。【结果】兴安落叶松的地上生物量、地下生物量随着海拔、年平均降水量的增大呈现先增大后减少的趋势,树高随着海拔的增加而增加。地上和地下生物量随着土壤有机碳密度的增加而增加。海拔对兴安落叶松生长的总效应系数为0.200且是正向效应,海拔对兴安落叶松生长的直接效应(0.224)大于间接效应(-0.024);气候因子对兴安落叶松林生长的总影响系数为-0.771且是负向效应;土壤因子对兴安落叶松生长的总影响系数为-0.216,其对兴安落叶松林生长起到一定的抑制作用。【结论】根据结构方程模型的路径系数,气候因子的总影响系数绝对值最大,其次是土壤和海拔,兴安落叶松林静态生长主要受到气候因子的制约。     

棉纺厂管理信息系统的研制

本文根据开发CTU-JMS管理信息系统已取得的成功经验,介绍CTU—JMS管理信息系统的运行环境;总体规划中运用的两种设计策略——“由顶向下”分析法和“由下至上”分析法;MIS中建立大型基础数据库采用的主要技术;MIS决策管理层的形成以及生产经营决策子系统的技术特点。为推进我国的纺织企业管理信息系统的开发和实现现代化管理作了探索。     

秦淮河流域典型排涝泵站前池水质与降雨特征响应关系

为分析排涝泵站前池水质与降雨特征的响应关系,对南京市城区秦淮河沿线2个排涝泵站前池水质以及降水量开展高频在线自动监测,结合回归树方法分析了不同降雨强度、前期干旱时间条件下排涝泵站前池水质变化规律,探讨了不同类型排涝泵站前池水质的主要影响因素。结果表明:晴雨天均有生活污水汇入的A泵站前池氨氮质量浓度在大雨强下降低,中雨强下先升高后降低,小雨强下平缓上升,A泵站前池污染物质量浓度主要受降雨强度和次降水量影响;主要接收降雨径流,雨量大时有生活污水溢流汇入的B泵站,前池污染物质量浓度在大雨强下先升高后逐渐降低,中雨强下降低,小雨强下变化不大,B泵站前池水质主要受次降水量、前期干旱时间和降雨强度影响;2个泵站前池CODMn质量浓度变化与降雨的响应规律相似,但更多受到与前期干旱时间关联的地表径流冲刷作用影响;连续降雨均导致泵站前池氨氮质量浓度和CODMn质量浓度波动变化较大,而前期干旱时间越长,降雨发生后泵站前池水质越差。     

面向对象的二叉树装配模型研究

文章研究可装配性设计中的产品装配建模,提出一种以装配体为对象并能充分反映装配过程特点的二叉树装配模型。应用面向对象技术,建立了相应的数据结构及应用框架,为可装配性评价奠定了基础,也可做为通用的产品装配模型应用于ＣＡＰＰ等领域。     

苦丁茶树扦插繁殖的研究

采用不同种类和不同浓度的植物生长调节剂、不同苗段、插穗不同节数以及插穗不同剪叶量等几种处理方法,对苦丁茶树插穗生根的影响进行了试验,结果表明：在试验的几种促根药剂中,以浓度２００ｍｇ／Ｌ的ＮＡＡ对苦丁茶树插穗生根的效果最佳;在同样条件下,二段苗的发根能力是强;随着插穗节数的增多,其发根能力就增强,但综合考虑到成活率、扦插苗的长势、繁殖系数以及经济效益等因素,笔者认为以每插穗具两个节为宜;在相同条件下,每张叶剪去１／３再插穗的,其发根能力最强．     

关于Hamilton图的一点注记

通过类似于对一可平面图求生成树个数的方法,得到一个关于Hamilton图的Hamilton圈的个数的等式。并讨论了一类特殊的平面图。     

海南省若干树木中的微量元素

海南地处热带地区,土壤富铝化作用强烈,元素生物小循环迅速,但树木中Ｃｄ,Ｎｉ,Ｃｕ,Ｚｎ,Ｐｂ,Ｈｇ的质量分数在正常范围值,其ｗＢ因树木种类不同而有明显差异,荔枝的ｗＢ一般较高,Ｃｄ,Ｎｉ,Ｐｂ居各树木之首;而南亚松ｗＢ通常较低,Ｃｄ,Ｎｉ,Ｃｕ,Ｚｎ,Ｐｂ为各树木最低．树木对必需元素Ｚｎ,Ｃｕ的吸收量明显高于非必需元素Ｐｂ,Ｃｄ,Ｎｉ,Ｈｇ,大多数树木的化学组成（ｗＢ）是：Ｚｎ＞Ｃｕ＞Ｐｂ＞Ｃｄ＞Ｎｉ＞Ｈｇ．Ｈｇ,Ｃｄ,Ｎｉ的质量分数大多叶高于枝,而ｗ（Ｃｕ）大多数是枝高于叶．同种树木的ｗＢ还与生态环境有关     

苦楝果实活性物质对植物生长调节作用

应用生物活性鉴定技术,ＴＬＣ及化学成分检验法,论证了苦楝果实中含有对植物生长促进的活性性质,并初步证明这些活性物质为极性较大的萜类化合物,笔者将这些活性物质为“苦楝生长素类”。