基于曲波变换的地震数据压缩感知重构算法

为提高地震数据压缩感知重构的信噪比和保真度, 提出一种基于曲波变换的地震数据压缩感知重构算法。建立了地震数据压缩感知重构模型, 分析了基于曲波变换稀疏表示的地震数据各尺度之间能量与熵的分布特性, 结合分块压缩感知技术降低随机观测的计算复杂度, 利用曲波变换稀疏表示高频区域各尺度之间的相关性, 设计了随信息熵变化的自适应双变量收缩阈值迭代重构的方法。实验结果表明, 在相同的采样率下,该算法重构的地震数据峰值信噪比提高了1. 5 dB 以上, 并且具有良好的细节信息保持能力。     

大型地下洞室群变形实测与数值模拟

以某水电站大型地下洞室群开挖为例,建立了三维数值分析模型,研究了洞室群开挖后洞周围岩的变形特性并分析了锚索应力损失对周围岩体变形和应力状态的影响;通过模拟结果与实测结果进行对比,分析模拟方法的合理性和支护方案的可行性.结果表明,围岩水平位移在洞室边墙中部最大,竖向位移在洞室拱顶最大,在洞室交叉部变形也较为显著;模拟结果与实测结果较接近,能良好地反映洞室实际开挖的过程和围岩的变形规律;锚索预应力损失达到某一程度时会使围岩水平位移显著增大.     

基于RSM-GA法的薄壁蜡模压蜡过程收缩率建模与优化

基于响应面法(RSM),通过一系列的实验建立了薄壁蜡模壁厚方向的收缩率与压蜡参数之间的数学模型,并对模型的合理性与充分性进行了方差分析,对压蜡过程中工艺参数对尺寸收缩率的影响进行了敏感性分析.为了减小收缩率,基于遗传算法(GA)对工艺参数进行了全局优化.     

基于多规则资源分配的柔性作业车间调度问题多目标集成优化方法

针对柔性作业车间调度问题中多种资源分配的复杂特性,建立了以最小完工时间、最优人工分配方案、设备最大负荷以及最小生产成本为目标的集成优化模型,并设计了一种具有多重资源约束的多目标集成优化方法;针对组合模型的爆炸性特征,为降低模型的复杂度,采用多规则资源分配的集成调度思想,通过调整规则概率使概率大的规则被优先选中,使用多规则导向机制"推动"搜索过程向指定目标方向移动,并结合动态规划法求解最优人员分配方案;采用改进的非支配排序遗传算法——NSGAⅡ可以获得不同规则概率值的Pareto解集;最后,通过仿真对比与应用验证了所提方法的有效性.     

一种基于鲁棒残差生成器的故障估计方法

针对具有加性执行器或元部件故障的线性系统,在独立故障的个数大于独立测量个数的情况下,提出了一种基于鲁棒残差生成器的故障估计方法.该故障估计方法是基于鲁棒残差生成器实现的,不需要额外设计动态的故障估计器.故障估计的实现需要:设计编码集;基于编码集设计鲁棒残差生成器;利用编码集和鲁棒残差生成器的输出实现故障分离和故障的渐近估计.给出了本方法的适用的充分条件,并证明了故障估计误差的渐近收敛性.最后,针对具有加性执行器故障的线性系统,基于几何方法设计鲁棒残差生成器,并进行了故障检测、故障分离和故障估计的仿真.仿真结果验证了本故障估计方法的有效性.     

基于CPN的智能合约交易顺序依赖漏洞的验证

智能合约的形式化验证工作主要集中在编程语言层面的漏洞研究,而交易顺序依赖作为区块链层面的漏洞更不易被检测。基于着色Petri网对智能合约中潜在的交易顺序依赖漏洞进行形式化验证。以Decode悬赏合约为对象,分析合约中潜在的漏洞,自顶向下地对合约本身及其执行环境建立着色Petri网模型,并引入攻击者模型来考虑合约遭受攻击的情况。通过运行模型以验证合约存在交易顺序依赖漏洞,最后基于Remix平台在以太坊网络中证实结论的正确性。     

煤矿生活污水处理工艺研究及改造

主要分析了煤矿生活污水污染程度。提出了接触氧化法净化污水工艺在实际应用中存在的问题，找到了可行性改进方法，并进行了理论分析。改造后效果明显，效益显著。     

聚丙烯腈螯合纤维的合成及其分离富集贵金属离子

以聚丙烯腈纤维为原料合成了聚丙烯对甲基苯磺酰基脒-对甲基苯磺酰基酰胺螯合纤维,并将其用于溶液中痕量Ru(Ⅲ)和Rh(Ⅲ)的富集和分离。讨论了富集酸度、富集流速、共存离子干扰、洗脱及再生等因素对富集回收率的影响,初步确定了螯合纤维反应及富集的条件。     

Regulation of primary cilia formation and left-right patterning in zebrafish by a noncanonical Wnt signaling mediator, duboraya

Primary cilia are microtubule-based organelles that project from the surface of nearly every animal cell. Although important functions of primary cilia in morphogenesis and tissue homeostasis have been identified, the mechanisms that control the formation of primary cilia are not understood. Here we characterize a zebrafish gene, termed duboraya (dub), that is essential for ciliogenesis. Knockdown of dub in zebrafish embryos results in both defects in primary cilia formation in Kupffer's vesicle and randomization of left-right organ asymmetries. We show that, at the molecular level, the function of dub in ciliogenesis is regulated by phosphorylation, which in turn depends on Frizzled-2-mediated noncanonical Wnt signaling. We also provide evidence that, at the cellular level, dub function is essential for actin organization in the cells lining Kupffer's vesicle. Taken together, our findings identify a molecular factor that links noncanonical Wnt signaling with the control of left-right axis specification, and provide an entry point for analyzing the mechanisms that regulate primary cilia formation.     

A survey of stackelberg differential game models in supply and marketing channels

Erratum to: J Syst Sci Syst Eng DOI: 10.1007/s11518-007-5058-2 The presentation of Table 2 in the original version of this article contained a few typos. The corrected Table 2 is given below.