基于场景规约的系统行为建模

提出一种基于场景规约的系统行为建模方法. 采用消息序列图描述场景,把场景规约中构件实例之间消息传递的事件序列作为一种显式的场景提取物并给出语义表示,通过场景正样本构造前缀树接受器. 此前缀树接受器是一个能接受正样本的最大确定有限自动机,通过合并状态得到商自动机,给出一个状态合并算法. 该算法支持交互式增量的场景产生.     

重庆直辖10年区县经济差异及协调发展

根据1997-2007年数据,采用区位商、库兹涅茨比率及层次聚类法对重庆市40个区县进行了综合评价.1997年以来,全市大体可划为4个经济发展类型区:快速发展的发达区、稳定增长的次发达区、快速上升型的中等发达区、低水平的欠发达区,同类地区之间经济差距在逐步缩小,而不同类地区间经济差距小幅扩大.总体结论表明,都市发达经济圈、渝西经济走廊、三峡库区生态经济区内部的经济差距在缩小,但3大区间的经济差距并没有随着重庆直辖而逐步缩小,呈现出扩大的趋势.此外,从经济文化基础、环境承载力及政府区域发展政策的差异等方面进行了成因分析,亦提出了相应对策,即放大政策效应和创新体制机制,建立对口支援长效工作机制、统筹区域发展,缩小地区间经济差距,扶持龙头产业和特色产业,构建完善基础设施支撑体系.     

应用于二进制除法位数扩展N阶预测-校正迭代算法

提出了一种扩展二进制除法位数的N阶预测-校正迭代算法.该算法每次迭代将除数位长一分为二,直到除数位长与基本除法位长相同.相应地商分前后两步求出,每步中除数高半数位作为除法运算的除数预测商值,低半数位和部分余数形成部分积校正预测值.理论分析并论证了调整值集合为|0,-1,-2|,给出了32位以内的各次校正概率曲线图.实验结果表明,本算法与比较除法相比,计算效率可提高3到10倍(取决于基本除法的位长).本算法能得到准确余数,符合IEEE浮点数的舍入规范.     

基于EGG信号的安多藏语元音嗓音特征研究

以藏语安多方言中极具代表性的夏河话为研究对象,利用Real-TimeEGG分析软件提取了元音/a/、/e/、//、/o/的嗓音参数基频.开商和速度商,并分元音单独出现、带前置辅音、带辅音韵尾和前后都带辅音4种情况进行了讨论.结果表明:3个参数之间有很强的关联性,各种组合方式下前置辅音对嗓音参数的影响不及辅音韵尾的影响程度,当元音前后均接辅音时两者共同作用来影响其嗓音参数.元音之间由于组合方式变化对参数影响趋势基本一致,变化幅度均为元音/e/最大,/o/最小.     

黑龙江省粮食生产变化及潜力预测

基于1980—2007年统计数据,运用区位商和集中度,分析了黑龙江省主要粮食作物的竞争力及其总产量的变化特征,并采用等维灰数递补模型对粮食生产潜力进行了预测。研究结果表明：黑龙江省粮食产量呈现波动型增长态势,可分为高速增长期、低谷期和稳定恢复期3个阶段,这3个阶段粮食产量与国家粮食总产量变化都呈较强的正相关。黑龙江省2020年和2030年粮食生产潜力可分别达到4418．08万t～4664．60万t和4432．43万t～4707．42万t,在国家粮食安全战略中的地位将不断增强。表3,参14。     

应用商空间理论的遥感影像多粒度合成分割

传统影像分割方法只能对影像进行单一粒度空间的分割,分割结果的准确性限于单一粒度空间,该文运用商空间理论提出一种遥感影像多粒度合成分割方法. 首先探讨多粒度影像分割的商空间模型,用影像数据场表达像元空间关系,用分形维数特征增强人工地物和自然场景的区分能力. 对灰度特征、影像数据场、分形维数分别进行分水岭分割和迭代自组织数据分析(ISODATA)聚类,获得多粒度分割结果. 最后基于粒度合成原理给出一个具体的多粒度影像分割的商空间合成算法. 实验表明该方法能充分利用各个粒度空间分割结果的优点,纠正了单一粒度空间的分割错误,分割结果更准确.     

有限李环的若干性质

给出Fitting子环、Frattini子环、李环L的非生成元、主列以及李环满足理想化条件的定义.并对幂零李环、Fitting子环、Frattini子环的一些性质进行研究.     

高收敛率的GRQI型迭代法

对广义特征值问题Ａｘ＝λＢｘ，Ａ，Ｂ∈＾ｎ＊ｎ（１），本文提出ｌ级ＨＧＲＱＩ格式，其中ｌ为任一自然数，它的局部收敛阶为ｌ＋ａ．当ｌ＝时，它就是文［ａ］中所述的ＧＲＱＩ格式，如果用Ｇａｕｓｓ消元法解有关线性方程组，则当１＜ｌ＜＜ｎ时，ｌ级ＨＧＲＱＩ在每个迭代步中的运算量与ＧＲＱＩ的运算量基本持平。     

关于带有Rayleigh商位移的QL算法的一点注记

本文讨论了带有Rayleigh商位移的QL算法,得出了一些结果,同时指出,对于不可约实对称正定的三对角阵,用带有Rayleigh商位移的QL算法求其特征值的收敛性无法判定。     

p—截集和模糊商模

引入利用ｐ—截集的模糊模ηＭ的模糊子模Ｎ＝ηＭ，和Ｑ＝ηＭ＇，而且构造了相应的模糊商模，这类模糊商模的模糊赋值分布由定理２．１得出．进一步，本文得到有关模糊商模和保序模糊映射的一些基础性质．特别，定理２．３是许多代数结构的第一同构定理的类似物．