基于形式规约的软件测试用例自动生成技术研究

在Hierons提出的一种基于Z语言软件自动测试方法的基础上进行了拓展．该方法基于软件的Z语言规约；以HierOns提出的推理规则为基础，提出了分裂树的算法，将操作模式的约束条件转换为形如ViPi∧Qi的析取范式；然后根据析取范式将Z语言描述的操作模式划分为子操作模式；依据子操作模式的前置条件和后置条件，将子操作模式作为状态转换图的转换关系，构建了被测试软件的状态转换图；依据状态转换图，提出了相应的状态覆盖准则、转换关系覆盖准则和转换关系谓词覆盖准则等测试数据选择准则．     

Morphological variation in the short-tailed fruit bat (Carollia) in Ecuador,with comments on the practical and philosophical aspects of boundaries among species

The mechanisms for the morphological delimitation of species in Carollia remain poorly understood. This is the first study to assess variation in size and shape from strictly geometric terms. Both factors are assessed by statistical perspectives of distribution, overlap and relative distances. Despite its overlap, the size of the skull seems to be the most influential character for the discrimination of species, with shape playing a much smaller role. The smallest species seems to be the most distinct in shape, not only in terms of distance among centroids in morphometric space, but also in the overall trend and direction of variation. Contrary to previous studies, sexual dimorphism is not given by size but by distinct shapes of the skull. Characters such as the shape of the maxilla, previously described qualitatively as discrete with sharp boundaries, appear to be truly continuous with fuzzy borders among species. Because morphometric space is a gamut of continuous variation and overlap, the taxonomic error rate for size characters seems to be substantial for the medium-sized species (Carollia brevicauda Schinz, 1821), with approximately 30–40% of individuals erroneously assigned to a different species after a jackknifed discriminant function. This taxonomic error is higher for shape characters. Morphological, systematic and ecological consequences of the observed patterns of shape and size variation are commented within the context of previously proposed arguments and hypotheses.     

基于积分二次约束不确定时滞大系统的鲁棒容错控制

针对一类不确定时滞大系统，研究执行器或传感器失效情况下的鲁棒容错控制。通过运用积分二次约束、线性矩阵不等式及Lyapunov函数的新分析方法，得到无摄动时滞大系统具有鲁棒容错控制的时滞依赖稳定性判据。通过推导获得不确定时滞大系统的时滞依赖稳定性判据，设计鲁棒容错控制器。     

结构可靠度的一种计算方法

提出一种推广一次二阶矩法的算法，解决了关于相关正态随机向量的非线性极限状态方程下结构可靠度计算问题，在理论上论证了方法的可行性，实例计算表明了方法的有效性。     

谈国有建筑施工企业的经营管理创新

加强和创新国有建筑施工企业的经营管理机制的改革,是使企业具有抵御风险能力,不断增强综合竞争实力的需要,也是维持企业生存和发展的需要.     

新疆国际客源市场时空发展变化分析研究

利用集中度和亲景度、竞争态指标,对新疆国际客源市场13个主体客源国1997～2004年统计数据进行分析,揭示国际客源时空演替规律,指出新疆主要的3个国际客源市场是日本、俄罗斯和美国,并提出了拓展国际客源市场的建议。     

SiF基态分子（X^2Ⅱr）的解析势能函数

利用群论及原子分子反应静力学的有关原理，推导了SiF分子基态的电子态和合理的离解极限，并利用Gaussian 03程序包，采用QCISD（T）和B3P86方法结合D95（3df，3pd），CC-PVTZ，6-311g＊＊和6-311＋＋g（3df，3pd）基组，对SiF分子的基态X^2Ⅱr平衡结构和谐振频率进行了优化计算。通过比较计算结果，发现B3P86方法为最优方法、D95（3df，3pd）为最佳基组。使用该方法和基组对SiF分子的基态进行了单点势能扫描计算，并采用正规方程组拟合Murrell-Sorbie函数，得到了SiF分子基态完整的解析势能函数，计算出了SiF分子的光谱常数ωe、ωeXe、Be和αe的值。     

油茶枯饼固态发酵技术的研究

对油茶枯饼的脱毒和发酵技术进行了研究.结果表明乙醇对油茶枯饼中的皂素有较高的脱除率，枯饼中的营养成分损失少；黑曲霉、毛霉和117假丝酵母能在脱皂油茶枯饼上正常生长，枯饼固态发酵后，其蛋白质含量有一定程度的提高，提高程度为66.7%～99.7%；平菇、紫木耳能在油茶枯饼中正常生长，而金针菇则生长不正常；紫木耳对枯饼中蛋白的提高程度在各食用菌中最高，为74.2%～110.7%；以毛霉、平菇和紫木耳的一次发酵产品再经117产朊假丝酵母二次发酵，其粗蛋白质含量接近20%，氨基酸组成趋向平衡.     

香椿种子发芽率测定方法的研究

测定香椿种子发芽率有物理，生理，生化等方法。用直观法，红四氮唑（TTC）染色法，蓝墨水染色法，导电法，吸胀状态测定法对香椿种子的发芽率进行了测定研究，结果表明：用TTC，蓝墨水染色法测定香椿种子的发芽率，测定迅速，方法简便，容易掌握，结果可靠，是较为理想的测定方法，值得推广。     

赤枝栲干物质生产及氮磷营养动态研究

通过对1年生赤枝栲干物质的生产及氮磷营养动态研究,结果表明:不同的生长季节1年生赤枝栲苗木的各器官生长速率有很大差异,5~7月份根、叶生长迅速,以后迅速下降,8~10月份茎、侧根生长迅速;5~7月份大多数的光合产物用于形成根与叶,少量用于充实茎与侧根的生长;净同化率出现在5~7月份,与根系的生长呈显著的正相关;不同器官在其年生长周期中,氮、磷营养动态表现不同,养分吸收与赤枝栲生长发育规律相吻合。