Encoding Cryptographic Primitives in a Calculus with Polyadic Synchronisation

We thoroughly study the behavioural theory of epi, a ??-calculus extended with polyadic synchronisation. We show that the natural contextual equivalence, barbed congruence, coincides with early bisimilarity, which is thus its co-inductive characterisation. Moreover, we relate early bisimilarity with the other usual notions, ground, late and open, obtaining a lattice of equivalence relations that clarifies the relationship among the ??standard?? bisimilarities. Furthermore, we apply the theory developed to obtain an expressiveness result: epi extended with key encryption primitives may be fully abstractly encoded in the original epi calculus. The proposed encoding is sound and complete with respect to barbed congruence; hence, cryptographic epi (crypto-epi) gets behavioural theory for free, which contrasts with other process languages with cryptographic constructs that usually require a big effort to develop such theory. Therefore, it is possible to use crypto-epi to analyse and to verify properties of security protocols using equational reasoning. To illustrate this claim, we prove compliance with symmetric and asymmetric cryptographic system laws, and the correctness of a protocol of secure message exchange.     

高阶滑模微分器的分析与改进

首先采用Terminal吸引子函数代替原不连续函数,以避免滑模微分器的抖振;然后针对现有文献中高阶滑模微分器设计参数选取苛刻这一问题,放宽了设计参数选择范围,并分不同情况证明了高阶滑模微分器的稳定性．在此基础上,给出了高阶滑模微分器估计误差的上界与设计参数和滑模微分器阶次的关系式;通过对设计参数的选取和系统整体结构的分析,提出了高阶滑模微分器减小估计误差且更适于工程应用的设计方法,并给出所需条件．仿真结果表明了所得结论的正确性和有效性．     

一种求解多维背包问题的混合分布估计算法

针对多维背包问题（MKP）,提出一种基于分布估计算法的混合求解算法,该算法基于优势种群构建概率模型,并基于概率模型采样产生新个体;同时,提出一种基于MKP问题信息的修复机制,有效修复采样后种群中的不可行解．另外,设计了一种自适应的局部搜索操作,以增强算法的局部搜索能力,基于标准测试集的仿真结果和算法比较验证了所提出的混合算法的有效性和鲁棒性．     

基于改进纤维模型的RC剪力墙静力弹塑性分析

为了使纤维模型能够有效模拟剪切效应,提出了一种基于塑性理论和虚拟单元法的改进纤维模型RC剪力墙全过程静力弹塑性分析方法.推导出等效单轴应力和等效单轴应变的计算公式,在纤维层面建立考虑剪切效应的应力和应变关系,将纤维由多轴受力状态等效为单轴受力状态,引入虚拟单元法来解决有限元数值计算过程中遇到的负刚度问题.利用自编程序及ABAQUS软件对一片钢筋混凝土剪力墙进行静力弹塑性分析,结果表明,自编程序计算曲线与试验曲线及ABAQUS软件计算曲线吻合较好,能够反映出剪切效应的影响.改进的分析方法简便有效,便于编程,可用于分析剪切效应明显的钢筋混凝土剪力墙构件.     

Use of sesame stalk biomass for the removal of Ni(II) and Zn(II) from aqueous solutions

In this study an agricultural residue, sesame stalk, was evaluated for the removal of Ni(II) and Zn(II) metal ions from aqueous solutions. Biosorption studies were carried out at different pH, biosorbent dosage, initial metal ion concentrations, contact time, and solution temperature to determine the optimum conditions. The experimental data were modeled by Langmuir, Freundlich, Dubinin-Radushkevich (D-R) and Temkin isotherm models. Langmuir model resulted in the best fit of the biosorption data. The pseudo-first-order and pseudo-second-order kinetic models were used to describe the kinetic data and to evaluate rate constants. The best correlation was provided by the second-order kinetic model. The thermodynamic parameters such as ΔG°, ΔH° and ΔS° were calculated for predicting the nature of adsorption. The experimental results showed that sesame stalk can be used as an effective and low-cost biosorbent precursor for the removal of heavy metal ions from aqueous solutions.     

Biodegradation of lipids from olive oil mill wastewaters in a stationary basket bioreactor with immobilized Bacillus spp. cells - influence of internal diffusion

The study is focused on the external and internal mass transfers of lipids during their biodegradation process in a bioreactor with stationary basket bed of immobilized Bacillus spp. cells. By means of the lipid mass balance for a single particle of biocatalyst, considering the kinetic model adapted for the immobilized bacterial cells, specific mathematical models have been developed to estimate their mass flows in the liquid boundary layer surrounding the particle and inside the particle. The values of mass flows are significantly influenced by the internal diffusion velocity of lipids and the rate of their consumption, but also by the position inside the basket bed. These influences accumulated led to the appearance of a biological inactive region near the particle centre, its magnitude varying from 1.3 to 49.4% of the overall volume of particles.     

Neural computing models for prediction of permeability coefficient of coarse-grained soils

Correlations are very significant from the earliest days; in some cases, it is essential as it is difficult to measure the amount directly, and in other cases it is desirable to ascertain the results with other tests through correlations. Soft computing techniques are now being used as alternate statistical tool, and new techniques such as artificial neural networks, fuzzy inference systems, genetic algorithms, and their hybrids were employed for developing the predictive models to estimate the needed parameters, in the recent years. Determination of permeability coefficient (k) of soils is very important for the definition of hydraulic conductivity and is difficult, expensive, time-consuming, and involves destructive tests. In this paper, use of some soft computing techniques such as ANNs (MLP, RBF, etc.) and ANFIS (adaptive neuro-fuzzy inference system) for prediction of permeability of coarse-grained soils was described and compared. As a result of this paper, it was obtained that the all constructed soft computing models exhibited high performance for predicting k. In order to predict the permeability coefficient, ANN models having three inputs, one output were applied successfully and exhibited reliable predictions. However, all four different algorithms of ANN have almost the same prediction capability, and accuracy of MLP was relatively higher than RBF models. The ANFIS model for prediction of permeability coefficient revealed the most reliable prediction when compared with the ANN models, and the use of soft computing techniques will provide new approaches and methodologies in prediction of some parameters in soil mechanics.     

一类差分方程组非负解的收敛性

通过考查一类差分方程组,研究其非负解的收敛性,得到了方程组的非负解收敛于方程组的平衡点的结论,该研究的主要结果改进了相关文献中的结果．     

甘蔗收割机智能优化知识库系统设计研究

在甘蔗收割机的多学科优化设计中,通过将其中的设计变量（参数）、约束、目标、性态函数等大量信息进行提取、加工、组织而形成有用的优化知识,同时将优化问题表达为一个决策表,通过数据库中属性与知识库中谓词以及两者之间元素的一一对应关系,将数据库中的数据提取并扩充到知识库中去,利用知识库的推理支持快速查询,实现数据库的智能化.在结构优化、机构优化以及功率匹配上,达到了智能优化的目的。