基于混合加密算法与FUK技术的SMIS数据安全设计与实现

以大型销售MIS的数据安全问题为例,提出以终端ID号、钥匙盘ID号和终端用户样本指纹绑定为一体的身份认证方案。该方案采用软硬件协同工作方式,克服了传统身份认证模式或安全性能低,或运算成本高等缺陷,提高了认证效率,并保证了合法用户操作的唯一性和认证过程的不可抵赖性。提出的基于ECC与一维混沌加密算法优点相结合的混合加密方案,使基于互联网传送的数据安全性有了实质性提高。基于分治叠加法的大整数计算成果运用,克服了计算机精度域的限制,使密钥空间从理论上趋向于无穷大。试验结果表明,基于混合加密算法的数据安全方案具有良好的抗穷举攻击和抗差分攻击能力。该项研究为解决各类MIS的数据安全问题提供了重要策略,意义重大。     

Exponential stability of stochastic reaction-diffusion uncertain fuzzy neural networks with mixed delays and Markovian jumping parameters

In this paper, we investigate the robust exponential stability for stochastic reaction-diffusion uncertain fuzzy neural networks with mixed delays and Markovian jump parameters. By constructing a suitable Lyapunov functional and utilizing some inequality techniques, we obtain sufficient conditions for the exponential stability of the equilibrium solution. The obtained stability criteria can be easily checked by linear matrix inequality (LMI) techniques. Finally numerical examples are provided to illustrate the obtained theoretical result.     

基于统计推理的社区发现模型综述

社区有助于揭示复杂网络结构和个体间的关系.研究人员从不同视角提出很多社区发现方法,用来识别团内紧密、团间稀疏的网络结构.自2006年以来,提出了一些基于统计推理的社区发现方法,它们可识别实际网络中更多的潜在结构,并以其可靠的理论基础和优越的结构识别能力成为当前的主流.该类方法的主要目标是建立符合实际网络的生成模型以拟合观测网络,将社区发现问题转化为贝叶斯推理问题.首先给出社区发现中生成模型的相关定义;其次按照模型中社区组成元素将已有统计推理模型分为节点社区推理模型和链接社区推理模型,并深入探讨各种模型的设计思想及实现算法;再次,总结各模型适用的网络类型及规模、发现的社区结构、算法复杂度等,给出一种选择已有基于统计推理的社区发现模型的方法,并利用基准数据集对已有典型统计推理模型进行验证及分析;最后探讨了基于统计推理模型的社区发现存在的主要问题和未来发展的方向.     

面向异构架构的混合精度有限元算法及其CUDA实现

长期以来,单精度似乎与科学计算无缘,然而从体系结构看,混合精度计算可以充分发挥向量部件、GPGPU设备的单精度性能,提供更高的效能,如降低通讯带宽要求、提高数据传输和通讯效率等。混合精度显格式有限元算法,结合材料强非线性多尺度有限元程序msFEM,实现了GPGPU上的有效加速。实验结果表明:混合精度显格式有限元程序实现了90%以上的计算通过单精度完成,其计算结果与全部使用双精度的结果相一致。该算法可以使得在不支持双精度格式的加速卡上实现科学计算功能。在支持双精度浮点格式的GPU上,混合精度算法与全部采用双精度计算相比其加速效果提高了1.6～1.7倍。     

供应链订单分配优化模型及其模拟退火算法

受4M1E(人、机、料、法、环)因素的随机波动影响,产品的制造过程通常是不完美的,从而产生不良产品.针对已有研究多忽略不良产品的特点,建立了更加符合实际需求的订单分配多目标混合整数规划模型,其优化目标为最小化交易成本、采购成本、不良产品数量、产品延迟交付数量,以及最大化供应商信誉评价.考虑到模型求解的复杂度,设计了一种模拟退火算法,并结合启发式规则避免了大量非法初始解与邻点解的出现.实验算例表明所建立的模型能够反映订单分配过程中的产品缺陷现象,其算法能够在允许的运算时间内获得稳定的满意解,并且随着算例规模的增大,其计算时间与优化结果均优于LINGO软件.     

A natural gas cash-out problem: A bilevel programming framework and a penalty function method

One of the many complex problems that arise from the transmission and marketing of natural gas is when a shipper draws a contract with a pipeline company to deliver a certain amount of gas among several points. What is actually delivered is often different from the amount that had been originally agreed upon. This phenomenon is called an imbalance. When an imbalance occurs, the pipeline penalizes the shipper by imposing a cash-out penalty policy. Since this penalty is a function of the operating daily imbalances, an important decision-making problem for the shippers is how to carry out their daily imbalances so as to minimize their incurred penalty. In this paper, we introduce the problem of minimizing the cash-out penalty costs from the point of view of a natural gas shipping party. We present a mixed integer bilevel linear programming model and discuss its underlying assumptions. To solve it efficiently, we reformulate it as a standard mathematical program and describe a penalty-function algorithm functions for its solution. The algorithm is well-founded and its convergence is proved. Results of numerical experiments support the algorithm’s robustness providing a valuable solution technique for this very important and complex problem in the natural gas market.     

Mixed mode cohesive law

A traction-separation relation to model the fracture process is presented. The cohesive law captures the linear elastic and softening behaviour prior to fracture. It also allows for different fracture parameters, such as fracture energy, strength and critical separation in different mode mixities. Thus, the fracture process in mode I (peel), in mode II (shear) or in mixed mode (a combination of peel and shear) can be modelled without the limitation of a common fracture energy in peel and shear. Examples are given in form of FE- implementations of the normalised cohesive law, namely for the Unsymmetrical Double Cantilever Beam (UDCB) specimen and the Mixed-mode double Cantilever Beam (MCB) specimen. Both specimens are adhesively bonded and loaded in mixed-mode.     

Stress recovery in geometrically nonlinear membranes by a Hu-Washizu finite element formulation

A class of mixed finite elements based on the Hu-Washizu functional is introduced as a strategy to reduce the spurious stress phenomena encountered with standard or displacement-based formulations for geometrically exact membranes. Selected examples compare the performance of this class of elements with that of the standard formulation and demonstrate that reduction of spurious stresses is obtained and that the stresses are more accurate than those optimally sampled in the standard formulation.     

Fracture criterion for kinking cracks in a tri-material adhesively bonded joint under mixed mode loading

The fracture behavior of a composite/adhesive/steel bonded joint was investigated by using double cantilever beam specimens. A starter crack is embedded at the steel/adhesive interface by inserting Teflon tape. The composite adherend is a random carbon fiber reinforced vinyl ester resin composite while the other adherend is cold rolled steel. The adhesive is a one-part epoxy that is heat cured. The Fernlund-Spelt mixed mode loading fixture was employed to generate five different mode mixities. Due to the dissimilar adherends, crack turning into the adhesive (or crack kinking) associated with joint failure, was observed. The bulk fracture toughness of the adhesive was measured separately by using standard compact tension specimens. The strain energy release rates for kinking cracks at the critical loads were calculated by a commercial finite element analysis software ABAQUS in conjunction with the virtual crack closure technique. Two fracture criteria related to strain energy release rates were examined. These are (1) maximum energy release rate criterion (G_max) and, (2) mode I facture criterion (G_II = 0). They are shown to be equivalent in this study. That is, crack kinking takes place at the angle close to maximum G or G_I (also minimum G_II, with a value that is approximately zero). The average value of G_IC obtained from bulk adhesive tests using compact tension specimens is shown to be an accurate indicator of the mode I fracture toughness of the kinking cracks within the adhesive layer. It is concluded that the crack in tri-material adhesively bonded joint tends to initiate into the adhesive along a path that promotes failure in pure mode I, locally.     

Heat transfer coefficient measurements for mixed gas working fluids at cryogenic temperatures

The use of mixed gas working fluids has become common in Joule-Thomson type cryocoolers for a variety of applications. However, there is very little data or theory currently available regarding the heat transfer coefficient associated with these multi-component, multi-phase mixtures at cryogenic temperatures. This paper describes an experimental test facility and procedure that has been used to make careful measurements of the horizontal, flow boiling heat transfer coefficient for several hydrocarbon mixtures that are nominally optimal for small, Joule-Thomson cryocoolers in the 80 K to 120 K operating range. Data are presented over a range of temperatures from 100 K to room temperature and for several pressures and mass flow rates. The results indicate that quality and mass flux are the most important parameters governing the heat transfer coefficient among those that were varied. The experiment is verified by carrying out tests using single-phase, pure nitrogen gas and comparing the results with the Dittus-Boelter equation. The experimental uncertainty of the measurements is estimated from 1st principles; additionally, the repeatability of the experimental measurements was investigated by replicating tests at a nominal set of operating conditions and composition on separate days. The measurements presented here are intended to aid in the design of small, mixed-gas Joule-Thomson cryocoolers.