UML类图到CPN转化方法的研究

UML（Unified Modeling Language）作为一种面向对象分析和设计的建模语言已被用在很多大型软件系统中,但UML缺乏精确的语义描述,难以直接用数学工具对UML模型进行分析、验证。而CPN（Coloured Petri Nets）作为一种建模工具,有着严格的形式化语义和分析方法。主要针对UML的类图,给出类图到CPN的转换方法,并以实例说明。     

基于Voronoi图的物流园区腹地的界定

为了更加科学合理的确定物流园区的规模,提出了在物流园区规划建设的前期应先行界定物流园区腹地的理念.针对引力模型、势能模型和断裂点模型等传统腹地界定方法所存在的划分过程缺乏精确连续性的缺陷,引入了计算几何中的Voronoi图理论对物流园区的腹地进行了界定,并运用GIS软件中的Voronoi图生成工具,结合成都市物流园区规划的实例进行了理论模型的应用.结果证明基于GIS软件运用该方法的操作较为简便,具有较高的应用价值.     

车削颤振稳定性预测软件研究与开发

针对金属加工过程中颤振预测软件实现的工程需求,设计了车削加工颤振稳定性叶瓣图实验测试软硬件系统,研究了软件实现算法中的关键问题.首先,搭建了由采集卡、加速度传感器、模态力锤组成的硬件系统,开发了具有频响函数测试和稳定性叶瓣图生成功能的系统软件.其次,设计了交互式软件采集及分析界面,研究了基于C#编程语言频响函数测试过程中多通道高速同步触发采集的实现算法,开发了具有由频域分析方法获得颤振稳定性叶瓣图功能的C#类.最后,对CJ0625车床加工系统进行稳定性预测,结果表明软件预测结果与实验结果相吻合.     

滑动窗口下数据流完全加权最大频繁项集挖掘

针对当前关于数据流加权最大频繁项集WMFI(weighted maximal frequent itemsets)的研究无法有效地处理频繁阈值和加权频繁阈值不一致情况下WMFI的挖掘问题,提出了完全加权最大频繁项集FWM FI(full w eighted maximal frequent itemsets)的概念.为了减少naive算法在处理滑动窗口下完全加权最大频繁项集挖掘时存在的冗余运算,提出了FWMFI-SW(FWMFI mining based on sliding window over data stream)算法.所提出的算法通过基于频繁约束条件的优化策略减少了naive算法中M ax W优化策略的无效调用次数;采用编辑距离比率作为WMFP-SW-tree的重构判别函数,可以有效减少该树的重构次数.实验结果表明FWMFI-SW算法是有效的,且比naive算法更有时间优势.     

炉内氧气含量对竹材炭化的影响

竹材炭化过程中,炭化温度和炭化时间是两个重要的工艺参数,但还必须考虑炉内的氧气含量。通过调节进入炉内的氮气和空气流量,并采用氧传感器实时测定并控制炉内氧分压,研究了炉内氧含量对竹材炭化的影响。结果表明：炉内氧分压增加,得炭率下降。因此传统土窑炭化时应严格控制进入炉内的氧气含量,形成缺氧的高温热解环境,防止竹炭自燃,使竹材在平衡氧分压（中性）或还原性高温气氛中炭化。     

(～ρ)混合阵列加权和的收敛性

利用(～ρ)混合序列的一个矩不等式,得出了(～ρ)混合阵列加权和在Cesàro一致可积性假设条件下的Lr收敛性及弱大数定律和在弱于Cesàro一致可积性条件下(～ρ)混合阵列加权和的完全收敛性.     

关于二阶线性递归序列的加权和

设{wn}为二阶线性递归序列,n为整数.给出了关于二阶线性递归序列{wn}的加权和T(m)的定义,研究了二阶线性递归序列{wn}的加权和T(m),得到了关于加权和T(m)的一个公式,本文的主要结果推广了Kiyota Ozeki的一个结果.     

算子权移位的强不可约性

讨论以可逆算子作为权序列的无穷重的算子权移位的强不可约性.这里给出了三个充分条件:设S是以{Wk}∞k=1(其中Wk∈L(H),k∈Z)为权序列的算子权移位.(1){Wn-1Wn--11…W1-1AW1W2…Wn}n∞=1有界蕴含A=λI.(或A=λI Q,Q是严格上三角算子,λ∈C);(2){Wn-1Wn--11…W1-1AW1W2…Wn}n∞=1有界蕴含σ(A)是单点集;(3){Wn-1Wn--11…W1-1AW1W2…Wn}∞n=1有界蕴含A是强不可约的.最后给出了利用上述条件判定S强不约性的例子.     

一类多线性奇异积分算子的加权不等式

利用Fefferman-Stein不等式及A∞权函数的性质,得到了一类核满足Dini型条件的多线性奇异积分算子的Sharp估计和关于任意权函数的加权不等式.     

Dini型核多线性交换子的加权不等式

利用极大函数讨论具有Dini型核的奇异积分算子与Osc expLr函数的多线性交换子Tb的加权赋范不等式.