巧用网游加速器为浏览器提速

使用过搜狗浏览器的用户都知道,它有一个网页加速的功能模块,在访问网速比较慢的时候,可以利用它加快网页访问速度。可是并不是所有的浏览器都有这项功能,其实我们可以利用一些网游加速器,借用它们的服务器为我们的浏览器进行加速。     

GCS雾化降温系统用于窑头烟气处理

我厂2500t/d熟料新型干法熟料生产线,于2003年12月开始试生产,其熟料冷却采用的是天津中天仕名公司开发的TC-1164往复推动冲气梁式篦冷机,窑头烟气量31.5万m3/h,经过篦冷机后温度约在220～250°的范围内,尾部处理采用电收尘器,按照设计中的工艺参数,生产过程中将可能出现烟气温度不稳的情况,若篦冷机突然发生红料,塌料现象,可能出现400℃的高温,为此电收尘器受到高温烟气造成管道和极板烧坏。为解决这一问题,我们采用安全降温措施,通过两种水雾降温,烟气在进入电收尘器之前调温调质,将烟气的比电阻调到最低,提高电收尘器的捕捉效率。通过方…     

Analysis and design of secure cyber-physical systems

Cyber-physical systems （CPSs） are new emerging systems that seamlessly integrate physical systems, communication systems and computation systems. Their wide use has been witnessed in the past decades in many crossdiscipline fields such as smart energy systems, industrial process control, aerospace and automobile engineering, health-care and assisted living, to just name a few. For many of these systems, secure operations are of key con- cerns. In particular, for some safety-critical applications, security is of paramount importance. Diverse motivations and strong incentives exist everywhere and at any time for launching malicious attacks on the CPSs, for example, economic reasons （e.g., by reducing or even not paying electricity charge） and terrorism the purpose of which is apparent.     

Robust state estimation for uncertain linear systems with deterministic input signals

In this paper, we investigate state estimations of a dynamical system in which not only process and measurement noise, but also parameter uncertainties and deterministic input signals are involved. The sensitivity penalization based robust state estimation is extended to uncertain linear systems with deterministic input signals and parametric uncertainties which may nonlinearly affect a state-space plant model. The form of the derived robust estimator is similar to that of the well-known Kalman filter with a comparable computational complexity. Under a few weak assumptions, it is proved that though the derived state estimator is biased, the bound of estimation errors is finite and the covariance matrix of estimation errors is bounded. Numerical simulations show that the obtained robust filter has relatively nice estimation performances.     

Introducing robustness in model predictive control with multiple modelsand switching

Model predictive control is model-based. Therefore, the procedure is inherently not robust to modelling uncertainties. Further, a crucial design parameter is the prediction horizon. Only offline procedures to estimate an upper bound of the optimal value of this parameter are available. These procedures are computationally intensive and model-based. Besides, a single choice of this horizon is perhaps not the best option at all time instants. This is especially true when the control objective is to track desired trajectories. In this paper, we resolve the issue by a time-varying horizon achieved by switching between multiple model-predictive controllers. The stability of the overall system is discussed. In addition, an introduction of multiple models to handle modelling uncertainties makes the overall system robust. The improvement in performance is demonstrated through several examples.     

基于近似弧长参数化的机器人轨迹规划

主要研究了采用近似弧长参数化的插值方法进行关节式工业机器人的轨迹规划.运用近似弧长参数化的插值方法将机器人末端轨迹参数曲线离散为等弧长的插值点序列,通过机器人逆向运动学求解各关节的位移点序列,采用极限的方法进行各关节速度和加速度规划.这种轨迹规划方法可以避免关节空间的插值计算和雅克比矩阵的计算.在 matlab7.8平台上,对近似弧长参数化的插值方法、轨迹规划及可行性验证进行了实例仿真,仿真结果表明该轨迹规划方法是可行的.     

基于高斯核的SVM的参数选择

基于高斯核的支持向量机应用很广泛,高斯核参数σ的选择对分类器性能影响很大,本文提出了从核函数性质和几何距离角度来选择参数σ,并且利用高斯函数的麦克劳林展开解决了参数σ的优化选择问题。实验结果表明,该方法能较快地确定核函数参数σ,且 SVM 分类效果较好,解决了高斯核参数σ在实际应用中不易确定的问题。     

参数线性规划问题的新型光滑精确罚函数神经网络

针对不等式约束条件下,目标函数和约束条件中含有参数的线性规划问题,提出一种基于新型光滑精确罚函数的神经网络计算方法．引入误差函数构造单位阶跃函数的近似函数,给出一种更加精确地逼近于Ll精确罚函数的光滑罚函数,讨论了其基本性质;利用所提光滑精确罚函数建立了求解参数线性规划问题的神经网络模型,证明了该网络模型的稳定性和收敛性,并给出了详细的算法步骤．数值仿真验证了所提方法具有罚因子取值小、结构简单、计算精度高等优点．     

Web动态报表在油库管理信息系统中的应用

介绍了基于B/S模式的油库管理信息系统中Web动态报表的设计与实现。报表开发采用VS.NET环境中的客户端报表工具,与应用系统集成采用Reportviewer控件,通过合理的设置数据集参数与报表参数,对报表要显示的数据进行筛选,既实现了报表内容的动态显示,又减少了网络数据传输量,提升了系统性能,为Web动态报表的开发提供了参考方案。     

基于支持向量回归的动力电池参数辨识

根据铅酸蓄电池在放电过程中内部电化学反应导致外部电特性变化的特点,提出一种基于支持向量机原理的电解液密度辨识模型。利用支持向量机理论非线性回归的特性,简化测量电解液密度的过程,在恶劣环境下检测动力电池的电解液密度更显其优越性。预测实验表明,采用改进的交叉验证预测模型具有泛化能力强、稳定性好的特点,并且在小样本的条件下能达到预期的辨识精度。