无线公话及POS系统的设计与实现

提出了一种基于公共通信网络的无线公话及POS系统的设计与实现方案,解决了当前烟草物流配送信息化系统的销售终端环节在信息采集、传送、数据处理等方面技术手段落后以及各烟草销售终端成了物流配送信息化系统中的"信息孤岛"等问题。采用将无线POS机与无线公话(采用无线本地回路WLL技术)计费系统有机结合一体的技术思路,大大地节约了产品硬件开销及使用成本,提高了无线网络的利用率。     

基于BA-WPHM的滚动轴承两阶段剩余寿命预测方法

为了提高滚动轴承剩余寿命预测的准确性,根据滚动轴承运行过程的两阶段性特点,提出了一种基于蝙蝠算法(BA)和威布尔比例风险模型(WPHM)的滚动轴承两阶段剩余寿命预测方法。首先,构建基于WPHM的剩余寿命预测模型;其次,提出了两阶段极大似然估计法,建立新的似然函数,并利用BA算法进行求解,以提高参数估计的准确性;最后,建立BA-WPHM模型对滚动轴承进行剩余寿命预测。案例分析表明,相比于Newton-Raphson算法、自组织分层猴群算法(SHMA)和独特的自适应粒子群算法(UAPSO),提出的方法参数估计的准确性更高,剩余寿命的预测精度优于支持向量回归(SVR)方法,验证了所提方法的有效性,为滚动轴承维修决策的可行性提供了依据。     

基于数字图像相关方法的黄河冰断裂性能研究

河冰的断裂性能是衡量河冰承载力、模拟和预测开河的重要参数。为明晰黄河冰的断裂性能,基于数字图像测量技术(Digital Image Correlation,DIC)开展了黄河冰的三点弯曲梁试验,分析了不同条件下试样的断裂形态,研究了温度和加载速率对黄河冰断裂韧度的影响。研究结果表明:DIC方法适用于黄河冰断裂试验的研究;黄河冰试样的断裂形态主要受到晶体形态的影响,试样的破坏形式以Ⅰ型断裂为主;黄河冰断裂韧度随着加载速率的增加而降低,随着温度的升高而减小,但在试验给定温度范围内降幅较小;提出了黄河冰断裂韧度与温度、加载速率的关系式,为极限荷载作用下河冰断裂过程的分析及冰荷载断裂参数的选用提供了依据。     

土石坝工程领域的若干创新与发展

我国高土石坝数量居世界之首,保证高坝大库建设与长期运行安全是国家经济和公共安全保障的重大需求。系统总结了长江科学院近年来在土石坝工程领域的若干创新与发展。提出了基于“旁压模量当量密度法”的粗粒料级配相似理论试验方法;介绍了研发的系列CT三轴仪,实现了粗粒料组构要素的定量测量;提出了三轴试验中加载板与试样之间由滑动摩擦变为滚动摩擦、整体式接触变为分散式接触的减摩新方法,研发了相关减摩装置;研制了大尺寸、高压力、微摩擦、刚柔复合加载的土工真三轴仪;揭示了粗粒料真实三维应力条件下的强度与变形变化规律、湿化与蠕变变形特性;构建了粗粒料三参量非线性K-K-G剪胀模型、六参数湿化模型、九参数蠕变数学模型及相应的参数确定方法;基于当量密度法的原创思想,提出了利用旁压试验间接确定超百米级深厚覆盖层现场密度的试验方法。上述研究成果可为高土石坝工程建设提供重要科技支撑。     

垃圾土大尺寸平板载荷试验与变形特性

垃圾土的组成成分极其复杂,且具有较强的时空变异性。获得垃圾土准确的承载力与变形特性对后续的大面积填筑土方进行堆山造景及安全的正常运营具有十分重要的意义。然而,对其承载力与变形特性的准确确定十分困难,大尺寸平板载荷试验是较为可靠的方法。通过载荷板尺寸为4 m×4 m的大型平板载荷试验,对武汉市某垃圾场内垃圾土层的工程性能进行了试验,对加载过程中板下沉降、板周边地表沉降与板下分层沉降、板周边深层水平位移进行全过程的监测并进行分析,得出垃圾土层的极限承载力和整体变形特性。试验结果显示出垃圾土层在受荷作用下变形较大且影响深度可达10 m,表现为冲剪破坏模式。试验结果对相似的垃圾场堆填改造工程的实施提供了建议,为今后的垃圾填埋改造工程施工提供了参考。     

石英砂加载混凝工艺的DOM去除特征与混凝机理

为处理未纳入管网的市政污水,采用石英砂加载混凝工艺,考察石英砂的粒径及其投加量对处理效能的影响,分析了溶解性有机物(dissolved organic matters,DOM)的去除特征,并探讨了石英砂加载混凝机理。结果表明,与常规混凝相比,当石英砂的粒径和投加量分别为200目和 1.0 mg/L 时,石英砂加载混凝工艺对污水中浊度、COD的去除率分别为97.55%、59.2%,优于常规混凝;石英砂加载混凝工艺可明显去除芳香类、共轭双键、疏水性有机物,主要促进了腐殖质类物质的削减;石英砂通过架桥作用增加了絮体的密度,进而显著改善了絮体的沉降性能、强度;絮体的沉降性能、强度及再稳性能随着石英砂粒径的降低而升高。     

An improved bacterial foraging algorithm for combined static/dynamic environmental economic dispatch

Economic dispatch is carried out at the energy control center to find out the optimal output of thermal generating units such that power balance criterion is met, unit operating limits are satisfied and the fuel cost is minimized. With growing environmental awareness and strict government regulations throughout the world, it has become essential to optimize not only the total fuel cost but also the harmful emissions, both, under static as well as dynamic conditions. The static environment economic dispatch finds the optimal output of generating units for a fixed load demand at a given time, while the dynamic environmental economic dispatch schedules the output of online generators with changing power demands over a certain time period (normally one day) so as to minimize these two conflicting objectives, simultaneously. In this paper, the price penalty factor approach is employed for simultaneous minimization of cost and emission. The generator ramp rate constraints, non-convex and discontinuous nature of cost function and the large number of generators in practical power plants, make this problem very difficult to solve. Here, a fuzzy ranking approach is employed to identify the solution which offers the best compromise between cost and emission objectives.     

A functional programming approach to the specification and verification of concurrent systems

Networks of communicating processes can be viewed as networks of stream transformers and programmed in a lazy functional language. Thus the correctness of concurrent systems can be reduced to the correctness of functional programs. In this paper such correctness is proved formally in the-calculus extended with recursion equations for functional programs. The-calculus is chosen since it allows the definition of properties by least fixed points (induction) as well as by greatest fixed points (coinduction), and since greatest fixed points are useful for formalising properties, such as fairness, of infinitely proceeding programs. Moreover, non-deterministic processes are represented as incompletely specified deterministic processes, that is, as properties of stream transformers. This method is illustrated by proving the correctness of the alternating bit protocol.     

一种高效的同尺寸长方体的装箱算法

针对应用广泛的同尺寸长方体货品的装箱问题,本文运用分层装载方案,根据货品的长宽高采用三种不同的层高,利用动态规划算法分别计算三种层的最大装载量,再通过背包算法对层进行组合,得出装箱的最优方案。该算法复杂度低,装载方案简单。     

双轴加载条件下疲劳裂纹扩展的研究

在双轴加载条件下对Ⅰ型疲劳裂纹扩展进行了研究。载荷范围从0.08σ_s到0.71σ_3,包括比例加载和非比例加载。基于对Von Mises理论的讨论,提出一个新的力学参数。双轴加载条件下的弹塑性参数P成功地描述了双轴比例加载和非比例加载下的疲劳裂纹扩展。