交错立方体上限制容错单播算法的研究

在交错立方体中引入限制故障顶点集的概念,证明了当n≥3时,交错立方体中基于限制故障顶点集的限制连通度为2n-2,这一结果几乎是交错立方体上传统连通度的两倍;然后提出了基于该情形下的时间复杂度为O(「log|F|┐n~3)的容错单播算法,并证明了在最坏情形下,该算法构造出的无故障路径的最长路径长度的上界为5m+n-1,其中m=「log|F|┐;进一步利用上述算法进行仿真.     

基于移相控制的软开关臭氧电源

研究了一种基于直流母线开关和谐振电容实现所有开关器件软开关的新型高效臭氧发生电源,分析了电路半周期的6个工作模态,得到了软开关实现的时序控制条件.采用IGBT模块作为电源开关,使用TMS320F28335作为控制器,设计了一台160g/h规格的臭氧发生器样机.该样机中,通过PSPWM移相调功实现臭氧产量调节,采用臭氧发生管端电压的PI闭环控制和软件锁相负载频率自动跟踪技术保障负载工作在准谐振状态.电源长期运行稳定可靠,运行测试波形与理论分析及仿真相当吻合,具有较大的实用价值.     

城市雨水流域汇水区自动划分

针对传统汇水区划分方法中存在的问题,利用流域地形分割技术,通过专业的GIS地形处理软件,建立了城市雨水流域汇水区的自动划分方法,其划分过程主要由构建格网DEM、格网点流向定义、汇流网络提取、子汇流区域划分、子汇流区域生成城市流域汇水区和流域汇水区编码6步组成。实验证明,雨水流域汇水区的自动划分方法不仅操作性较强,而且大大提高了汇水区划分的效率和质量。     

悬浮隧道管体运动对锚索涡激振动的影响规律

根据锚索式悬浮隧道的运动特性,假设锚索是两端铰接的非线性梁模型,并将管体运动简化为两自由度的质点运动,将其视作一种参数激励。考虑锚索长期处于海流环境下,其顺流向涡激力和管体横荡运动方向一致,锚索的运动响应可能会产生明显变化。建立锚索的非线性顺流向涡激振动方程,并通过Galerkin方法和Runge-Kutta方法对该方程进行求解,选取典型悬浮隧道的结构进行数值分析,结果表明：在锚索前三阶模态中,相比于一阶模态幅值,二阶和三阶模态幅值是一个很小的量,可以忽略不计;参数激励可以使锚索更快进入稳定状态,且对振动幅值的增加有显著影响;参数激励对顺流向涡激振动的影响程度与锚索顶端的端部激励幅值和频率有关。     

基于动态权函数的煤层可压性综合评价

煤层可压性直接影响着煤层气井的产量和企业的生产成本。为科学地对煤层可压性进行评价,以煤层地质参数为切入点,利用动态权函数综合评价煤层可压性。首先,针对煤层地质参数进行初选,利用数理统计的方法优选出主控影响参数;其次,通过分析主观赋权法和客观赋权法,对比其优势与不足,引入动态加权函数对煤层可压性参数进行赋值;再次,利用动态权函数的加权冒泡排序法对影响参数进行综合评价,拟合得到动态加权和与生产能力之间的关系;最后,对X区块的26口井进行了评价,利用综合评价结果与实际生产能力进行了对比,可压性评价结果正确率达到88.64%,验证了综合评价模型的准确性。     

Banach空间中一类具有无穷时滞泛函积分微分方程解的存在性

讨论了Banach空间中一类具有无穷时滞泛函积分微分方程解的局部存在性和整体存在性。利用算字半群和无穷时滞理论以及Schauder不动点定理证明了方程解的局部存在性。引入一个适当的不等式条件,并利用解的延拓性质获得了整体存在性。所得结果推广了这类方程解的存在性的已有结论。     

一种基于冗余优化的Web服务工作流构造方法

针对SOA系统中服务动态组合的可靠性问题,提出了Web服务工作流的最优冗余优化.同时,在重定义粒子群算法的基础上,结合遗传算法中的交叉、变异思想,设计了一种基于改进粒子群优化算法的QoS(quality of service)调度策略,最后通过仿真实验证明了算法的有效性.     

基于AES加密算法的语音加密通信的实现

该文简述了AES(Advanced Encryption Standard)加密算法的原理.提出了针对语音信号进行加密通信的方案.测试实现了基于FPGA的语音通信的加解密过程,有效的提高了语音通信的安全性,同时改善了对语青信号的加解密速度.     

业务流程的形式化设计与验证

针对如何保证业务流程设计模型与业务需求的一致性问题,在研究有限自动机模型的基础上,提出了一种业务流程的自动机模型构建和验证方法.采用扩展的带约束条件的确定有限自动机对业务流程设计模型进行形式化描述,使用线性时序逻辑表示业务需求,分别给出业务流程设计模型到自动机模型和自动机模型到Promela描述的转换算法,并通过模型检测技术,使用Spin工具验证设计模型是否满足需求性质.若不满足性质,则能够获得反例执行的路径.实例分析表明,该方法可用于业务流程设计的正确性验证.