Syntheses and Structural Characterization of Triorganotin Derivatives of Bis(carboxymethyl)trithiocarbonate: X-ray Crystal Structures of 2D Network Polymers

Six triorganotin(IV) complexes of the type {(R₃Sn)₂[C₃S₃(COO)₂]}_n (R = C₆H₅ 1; n-Bu 2; PhCH₂ 4; p-F-PhCH₂ 5; o-F-PhCH₂ 6) and {(R₃Sn)₂[C₃S₃(COO)₂]}_n·[EtOH] (R = Me 3) have been synthesized by the reaction of bis(carboxymethyl)trithiocarbonate with triorganotin(IV) chloride in the presence of sodium ethoxide. All complexes were characterized by elemental analysis IR, ¹H, ¹³C and ¹¹⁹Sn NMR spectroscopy. Except for 4–6, all complexes were also characterized by X-ray crystallography. The X-ray date revealed that complexes 1–3 show two-dimensional network polymeric structure in which the geometries of tin atoms are trigonal bipyramid with the axial positions occupied by carboxylic oxygen atoms.     

Mathematical model and discrete artificial Bee Colony algorithm for distributed integrated process planning and scheduling

With the development of the globalization of economy and manufacturing industry, distributed manufacturing mode has become a hot topic in current production research. In the context of distributed manufacturing, one job has different process routes in different workshops because of heterogeneous manufacturing resources and manufacturing environments in each factory. Considering the heterogeneous process planning problems and shop scheduling problems simultaneously can take advantage of the characteristics of distributed factories to finish the processing task well. Thus, a novel network-based mixed-integer linear programming (MILP) model is established for distributed integrated process planning and scheduling problem (DIPPS). The paper designs a new encoding method based on the process network and its OR-nodes, and then proposes a discrete artificial bee colony algorithm (DABC) to solve the DIPPS problem. The proposed DABC can guarantee the feasibility of individuals via specially-designed mapping and switching operations, so that the process precedence constraints contained by the network graph can be satisfied in the entire procedure of the DABC algorithm. Finally, the proposed MILP model is verified and the proposed DABC is tested through some open benchmarks. By comparing with other powerful reported algorithms and obtaining new better solutions, the experiment results prove the effectiveness of the proposed model and DABC algorithm successfully.     

Honey bees mating optimization algorithm for process planning problem

Process planning is a very important function in the modern manufacturing system. It impacts the efficiency of the manufacturing system greatly. The process planning problem has been proved to be a NP-hard problem. The traditional algorithms cannot solve this problem very well. Therefore, due to the intractability and importance of process planning problem, it is very necessary to develop efficiency algorithms which can obtain a good process plan with minimal global machining cost in reasonable time. In this paper, a new method based on honey bees mating optimization (HBMO) algorithm is proposed to optimize the process planning problem. With respect to the characteristics of process planning problem, the solution encoding, crossover operator, local search strategies have been developed. To evaluate the performance of the proposed algorithm, three experiments have been carried out, and the comparisons among HBMO and some other existing algorithms are also presented. The results demonstrate that the HBMO algorithm has achieved satisfactory improvement.     

On the calibration of cohesive parameters for refractories from notch opening displacements in wedge splitting tests

Cohesive elements are commonly used to describe crack propagation in heterogeneous materials with toughening mechanisms. This work aims to provide a guideline on how these fracture parameters can be calibrated using notch opening displacements (NODs) measured via digital image correlation and force data from wedge splitting tests (WSTs). Weighted finite element model updating was applied to calibrate material and boundary condition parameters in the same framework. The influence of each parameter on force and NOD data are given together with uncertainties for the calibrated parameters. Numerical results were in very good agreement in terms of splitting force, NOD, displacement and gray level residual fields. It is shown that images obtained during WSTs focusing on the crack path (i.e., hiding the loading region) can be used to drive numerical simulations and obtain cohesive parameters.     

构件行为协议实时性扩展及相容性验证

对复杂实时构件系统行为进行形式化描述和相容性验证,可以有效提高系统的正确性、可靠性。分析了学术界和工业界的主流构件模型及常见时间行为的形式化描述方法,对构件行为协议BP(Behavior Protocol)进行了扩展,提出了时间行为协议TbP(Timed Behavior Protocol),分析了构件组合中常见的相容性错误类型,给出了基于时间行为协议的构件组合相容性验证算法。TBP应用简洁、方便、易于验证。结合具体例子给出了应用示例。     

基于DPSO的高校排课算法的实现

在对高校排课问题进行分析的基础上,提出一个基于DPSO的排课算法。算法采用矩阵编码方式。对粒子的位置和速度更新方法进行重新定义。利用C#语言实现了基于离散粒子群算法的排课系统,并以三个学院一个学期的课程表为依据对系统进行了评估,测试结果表明粒子群算法在排课系统中不仅解决了高校复杂的排课难题而且实现了智能化、人性化的排课过程,同时也验证了本系统的可用性。     

基于电力载波技术的智能化路灯控制系统

该设计综合采用了中心控制、信息传输、单片机控制、声控、实时监控等技术,自动控制路灯的工作状态,以达到节约能源的目的;采用电力载波技术即采用电力线作为传输总线,在总线上连接各远端指令接收器即路灯节点,控制各路灯的工作状态,从而大大节约了因铺设电缆所消耗的费用。     

鸟嘌呤和8-羟基脱氧鸟嘌呤核苷在聚甘氨酸修饰电极上的电化学行为及其同时测定

在优化的实验条件下,利用电化学方法制备了甘氨酸修饰电极,对修饰膜的电活性进行了表征.用循环伏安法研究了鸟嘌呤(G)和8一羟基脱氧鸟嘌呤核苷(8-OH-dG)在聚甘氨酸修饰电极上的电化学行为,并建立了对两者进行分别检测和同时检测的分析方法.实验结果表明,聚甘氨酸修饰电极可以增强鸟嘌呤和8-羟基脱氧鸟嘌呤核苷在电极表面的吸附,并且可以加快鸟嘌呤和8-羟基脱氧鸟嘌呤核苷在电极表面的电子传输,使两种电活性物质在聚甘氨酸修饰电极上的电化学信号明显增大,检测灵敏度大大提高,并且该修饰电极具有良好的稳定性和重现性.可用于鸟嘌呤和8-羟基脱氧鸟嘌呤核昔的分别和同时检测.     

应用LIDIA库实现ELGamal公钥密码系统

ELGamal公钥密码系统中涉及大整数的运算。虽然某些计算机语言(比如ruby)能支持任意精度的运算,但由于密码系统对效率的要求很高,不适合用它们来编写实际的系统。文章采用c++语言,应用LIDIA库来实现完整的ELGamal公钥系统的加解密过程。