工作流模型验证及分解的多项式算法分析

基于工作流的Petri网结构化建模方法,证明了工作流网的T-不变量和P-不变量的存在性、可覆盖性,给出了一个工作流模型完整性的充要条件,进一步得到了基于T-不变量的多项式分解算法,与以往非多项式分解算法相比,克服了遍历的不足,降低了算法复杂度,给出的实例验证了算法的有效性.     

高效液相色谱法同时测定乙二醛和乙醛

利用醛基与羟胺在酸性条件下反应生成肟,采用高效液相色谱法间接测得乙二醛和乙醛的含量.色谱条件:色谱柱为VP - ODS(150mm×4.6mm),流动相为纯水,流速1mL/min,柱温40℃,进样量10μL,检测波长213nm.乙二醛的线性相关系数为0.9994,相对标准偏差为1.67%,检出限为4.7×10-5g/L,平均回收率为98.4%;乙醛的线性相关系数为1.0000,相对标准偏差为1.47%,检出限为5.0×10-5g/L,平均回收率为101.4%.     

绍兴市近48年降水演变特征统计分析

选取绍兴国家气象观测站1961年1月至2009年2月逐月降水量作为降水分析基本资料,利用一元线性回归、小波变换和Mann-Kendall检验等统计学方法对绍兴降水季节变化和年际变化的特征进行了综合分析,分析了不同时间尺度下降水序列变化的周期和突变点,并根据主周期对未来降水变化趋势进行了预估.结果发现,绍兴市近48 a各个季节和年降水都存在多时间尺度特征,大尺度的周期变化中嵌套有小尺度的周期变化.春季降水以3～4 a年周期为主.并有准3 a周期向准4 a周期转变的趋势;夏季降水主要存在准4 a和准14 a周期变化;秋季降水主要存在准2 a和准12 a周期变化;冬季降水主要存在准4 a和准16 a周期变化:年降水主要存在准2 a和准4 a年际周期变化和准13 a年代际周期变化.绍兴春季和冬季降水突变不明显;夏季和秋季突变明显,突变点分别出现在1973年和1963年,而年降水突变不明显,不存在明显的突变期.夏季降水变化趋势和年降水趋势基本一致:夏季降水和年降水在时域上分布有很大的相似性,都具有准4 a周期变化.并全时域存在;夏季降水突变影响到全年降水的突变.根据绍兴夏季降水和年降水的主周期推测.2009年后的5～6 a绍兴年降水将相对偏多.     

二氧化硅气凝胶改性方法及研究进展

为了提高采用溶胶-凝胶法制备的二氧化硅气凝胶的网络强度,介绍了对二氧化硅气凝胶进行改性的3种方法. 以正硅酸乙酯为硅源,采用溶胶-凝胶法和表面修饰工艺,在常压条件下制备了SiO2气凝胶. 傅里叶变换红外光谱仪(FT-IR)测试结果表明,SiO2气凝胶具有较好的疏水特性. 表面修饰剂三甲基氯硅烷在正己烷中的体积分数为6%,表面修饰时间为24h时,气凝胶具有优化的性能.     

耦合簇方法对HCl分子基态势能函数的研究

采用从头计算的耦合簇方法QCISD(T),在基组6-311++G(3df,3pd)下,优化计算了HCl分子基态的平衡结构和离解能,得到的平衡核间距与实验值吻合良好。采用标准Murrell—Sorbie函数和最小二乘法拟合出了HCl分子势能函数的解析表达式,并以此为基础进一步计算出HCl分子的力常数及光谱常数。计算结果与实验数据非常吻合。     

基于间隙理念的钢丝绳产品结构参数求解方法

基于钢丝绳间隙设计理念提出一种用于钢丝绳结构设计参数求解的新方法.在设计阶段考虑构成钢丝绳的股与钢丝的捻制变形以及钢丝绳结构与加工工艺等多种约束,采用渐进逼近的方式对捻距倍数、间隙要求、结构参数等多项指标进行优化计算,克服了传统设计方法中进行参数设计时不考虑生产工艺约束,造成设计与生产脱节的缺点.通过一种复合钢丝绳产品的设计案例,表明了该设计方法的有效性,计算出的设计参数与实际生产情况相吻合,能够有效指导生产实践.     

RiTLB: 基于存储区域重用的iTLB设计

通过重用存储区域的标识设计iTLB。首先,将虚拟页号的高位编码成较短的存储区域标识,来减少iTLB查询时的比较位数。其次,在运行到新的存储区域之前,一直重用上次指令所在的存储区域的标识。实验结果表明,与参考iTLB 设计相比,这种存储区域重用的iTLB 设计技术,其平均功耗降低了62.84%,延迟减少了9.96%,面积减少了44.78%,而平均性能仅下降了0.23%。     

一种人脸面部特征的提取方法

在人脸精确定位的基础上,将提取出的面部图像进行积分投影,然后结合驾驶员疲劳时所特有的面部特征,有效地把人脸的特征器官区分开来,定位司机眼睛和嘴巴的位置,并且将其从面部图像中提取出来。     

高校健美操教学改革的复杂系统模型研究

分析了健美操教学的复杂系统特性．基于技术接受模型,采用因子分析方法提出了由教学因子、行政因子、硬件条件因子、认知认同因子、特色吸引因子和宣传因子等6大综合因子组成的健美操教学改革的复杂系统模型．调查、分析了教师和学生对健美操复杂系统模型的接受度和认可度,提出了高校健美操教学改革的建议和措施．     

α-稳定噪声环境下空时分组码的性能分析

针对非高斯噪声环境衰落信道中的正交空时分组码(OSTBC)性能进行研究.基于非高斯噪声建模理论,将空时分组码系统的噪声环境建模为对称α-稳定分布噪声,给出噪声采样信号的概率密度函数及特征函数.推导了基于最大似然(ML)译码的OSTBC系统的误符号率(SER),并且对不同衰落信道条件下系统性能进行估计.仿真结果表明,OSTBC的性能随噪声特征指数α的减小而降低.当噪声脉冲性较强时,系统对于Nakagami-m和Rician衰落信道的参数m和K不再敏感.