An efficient algorithm for the tensor product model transformation

The tensor-product (TP) model transformation was proposed recently as a numerical and automatically executable method which is capable of transforming linear parameter varying (LPV) state-space models into the higher order singular value decomposition (HOSVD) based canonical form of polytopic models. The crucial disadvantage of the TP model transformation is that its computational load explodes with the density of discretization and the dimensionality of the parameter vector of the parameter-varying state-space model. In this paper we propose a new algorithm that leads to considerable reduction of the computation in the TP model transformation. The main idea behind the modified algorithm is to minimize the number of discretized points to acquire as much information as possible. The modified TP model transformation can readily be executed on a regular computer efficiently and concisely, especially in higher dimensional cases when the original TP model transformation fails. The paper also presents numerical examples to show the effectiveness of the new algorithm.     

模糊专家理论在炮兵指挥控制系统中的运用

针对炮兵指挥控制系统在作战训练中遇到的问题,在科学地分析了影响效果和相关因素的基础上,依据模糊专家理论的方法和原理,设计了相关的运用决策框架,并提出了运用规则。     

电感传感器金属探测定位系统设计

本文以 LDC1000电感传感器以及飞思卡尔 Kinetis 系列微控制器 K60为核心,组成具有定位功能的金属探测系统。通过金属的涡流效应,对金属物体进行检测,能够在一定范围内迅速定位出金属物体的精确位置。经实验表明,距离物体中心定位误差不超过4 mm,最小可以检测出2 cm2大小的金属物体。测量数据在单片机中进行处理,软件上采用了数字滤波,进一步减少了误差干扰信号,提高了系统的稳定性与精确性。该系统可通过 LCD 液晶显示屏显示当前金属物体所在具体位置,并利用按键实现人机交互。     

A novel weighting scheme for random k-SAT关于随机 k-SAT 的新加权方法

Consider a random k-conjunctive normal form F_k(n, rn) with n variables and rn clauses. We prove that if the probability that the formula F_k(n, rn) is satisfiable tends to 0 as n→∞, then r ? 2.83, 8.09, 18.91, 40.81, and 84.87, for k = 3, 4, 5, 6, and 7, respectively.     

一种路由设备服务可信属性定义方法与可信路由协议设计

受主观意志和研发能力影响,路由设备生产商难以严格按其对用户承诺提供路由产品,导致设备及其组件中可能存在漏洞与后门,这将给核心网络带来严重的安全威胁。文章为此提出一种路由设备服务可信属性的定义和动态测量方法,并设计相应的可信路由协议,以优化核心网络服务可信属性,促进网络信息传输安全。文章首先分析核心网络范围内网络服务可信属性与信息传输安全的关系,论证通过量化路由设备服务可信属性,同时基于该属性设计可信路由协议,可实现设备资源受限条件下信息传输安全效益的最大化。其次引入"信任度"的概念定义路由设备服务可信属性,在设计基于设备信任度和当前互联网在用路由协议的域内域间可信路由协议的基础上,理论证明上述协议下最优可信路由的存在。接着提出一种基于分组可信路由与实际转发路径一致性检测的路由设备信任度动态量化技术。最后构造可信路由网络模型,检测可信路由协议的安全效益及其对传统路由开销的影响,结果显示可信路由可显著增加信息传输的安全性,其带来的传统路由开销的增长及路由变化的频率与幅度可容忍。     

N皇后问题独立解算法研究和仿真实现

根据N皇后可行解的七种对称关系,提出求N皇后问题独立解的算法,并验证算法的可行性和正确性。建立求解N皇后问题的仿真软件,验证N皇后问题全解和独立解个数约8:1的数学关系。     

Effect of Ce(3+) on soluble microbial products production in anaerobic granular sludge digestion

Upflow anaerobic sludge bed reactors fed on glucose were used to investigate the effects of Ce(3+) on soluble microbial products (SMP) production, which is the majority of the residual chemical oxygen demand present in the effluent. It was found that Ce(3+) concentration of 0.05 mg/L had no significant effect on the amount of SMP production, whereas that of 1 mg/L led to the increase in SMP production. The molecular-weight distribution and carbohydrate analysis indicated that an increase in SMP production may be partly attributed to the release of extracellular polymeric substances (EPS) into the bulk solution resulted from cerium toxicity, and the nucleic acids analysis suggested that increased cell lysis also contributed to SMP accumulation in the presence of Ce(3+). The increase in SMP production in the presence of Ce(3+) is possibly a consequence of the release of EPS and increased cell lysis due to cerium toxicity.