基于EFSM模型的不可行迁移路径判定

扩展有限状态机(Extended Finite State Machine:EFSM)虽然被广泛用作各种软件的底层模型,但如何判定其测试序列的不可行性是一个困难的问题,为此将迁移路径上的变量分为计数器变量、选择变量和矛盾变量,并从这三个角度进行路径的不可行判定.实验结果表明,EFSM模型中的不可行迁移路径主要由这三类变量引起,且本方法可以有效地判定出含这三类变量的不可行迁移路径.     

一个推广的Borel强大数定律的改进

Borel通过研究Bernoulli试验,首先给出了其强大数定律,已有文献给出了一个推广的Borel强大数定律.作者改进了这个结果,将其中的条件dn=O(1/n)减弱为dn=O(1/nα),α>0.另外,将此结果推广到有界的随机变量序列的情形,给出其Borel强大数定律.     

环上逻辑函数的相关性分析

分析了Galois和Zm环上逻辑函数的互相关函数与特征谱之间的关系,并且利用逻辑函数的互相关性研究了环上逻辑函数的密码特性.     

黑龙江省大亮子河森林公园8种白腐真菌的培养特性研究

对黑龙江省大亮子河森林公园天然林进行了全面调查,采集鉴定8种大亮子河森林公园针叶林、阔叶林以及针阔混交林中常见的白腐真菌。它们是盘拟层孔菌、蔷红拟层孔菌、环纹革盖菌、全缘孔菌、小刺猴头、黄白卧孔菌、烟色刺耳和变红栓菌。     

彩色树种在园林中的配置应用

论述了彩色树种的概念和类型,提出不同色彩树种的特点及感受,并阐述了常见的应用方式。     

A validation study of a variable weighting algorithm for cluster analysis

De Soete (1986, 1988) proposed a variable weighting procedure when Euclidean distance is used as the dissimilarity measure with an ultrametric hierarchical clustering method. The algorithm produces weighted distances which approximate ultrametric distances as closely as possible in a least squares sense. The present simulation study examined the effectiveness of the De Soete procedure for an applications problem for which it was not originally intended. That is, to determine whether or not the algorithm can be used to reduce the influence of variables which are irrelevant to the clustering present in the data. The simulation study examined the ability of the procedure to recover a variety of known underlying cluster structures. The results indicate that the algorithm is effective in identifying extraneous variables which do not contribute information about the true cluster structure. Weights near 0.0 were typically assigned to such extraneous variables. Furthermore, the variable weighting procedure was not adversely effected by the presence of other forms of error in the data. In general, it is recommended that the variable weighting procedure be used for applied analyses when Euclidean distance is employed with ultrametric hierarchical clustering methods.     

三维动脉血管树的模拟与分析

进行血液动力学模拟和血液传热计算需要先建立血管网络,为此,借鉴强制结构优化(CCO)方法,提出了基于分支法则、Poiseuilles’law及质量守恒原则,直接在模拟区域上生成动脉血管树的新方法及相应的半径比计算公式和分支点确定步骤.模型采用根血管半径已知和末端压力未知作为定解条件,并使用了变化的分支指数.根据该方法建立了球形血管树;分析了搜索数组最佳大小随末端数的变化规律;计算了变化的分支指数对生成血管树直径分布的影响.结果表明:末端数越多,需要的搜索数组越大;由变指数得到的血管直径分布优于常指数的结果.     

浅谈乡镇图书馆如何为农民健康服务

阐述了乡镇图书馆对农民开展健康教育的必要性，分析了乡镇图书馆在开展农民健康教育中的优势及困难，并进一步探讨了进行健康教育应采取的措施，     

基于扩展虚存思想的微机存储器无限扩展方法

本文通过对IBM-PC微型计算机硬件结构的研究,针对其内存容量小,满足不了信息处理要求的问题,提出并实现了一种扩展虚存思想。借助于微机本身的总线结构及接口扩展槽,采用局部总线设计技术,在占用主机一个单槽及内存空间一个段的情况下,无须对其原有硬件作任何改动,就可使它的内存无限扩展。利用这一思想作成的扩展虚存板,可以满足存储大容量动目标序列图像的要求。     

三峡库区退耕还林存在的问题及对策

重庆三峡库区退耕还林具有十分重要的战略意义,但库区退耕还林工作还存在政策不够明确,组织领导的力度不够,与长江其它生态建设工程协调不一,退耕还林投入缺乏保障机制和配套的技术支撑等一些不容忽视的问题.笔者认为,库区退耕还林必须加强统一领导、分工协作,完善和落实有关政策措施,建立技术支撑体系,坚持与农业产业化发展相结合,建立多层次、多渠道的投入体系,加强立法、执法监督等工作.