Design and implementation of DBC based on dynamic AOP

Traditional approach of design by contract, due to mixing the contract code with application code, is difficult for the extensibility and reusability of software system. This paper presents a framework named JADBC for design by contract based on Aspect-Oriented Programming (AOP) to resolve these problems. By providing a new modularized element, aspect, the framework successfully separates the contracts in design by contract, from functional codes. The implementation of this framework is based on dynamic AOP which can have the contract changed at runtime, consequently, enhancing program flexibility. JADBC framework modularizes the contracts in a clear-cut fashion that is easier to design, implement, and maintain. Biography: WEN Jing (1982–), female, Ph.D. candidate, research directions: software engineer, aspect-oriented software development.     

A Class of Nonlinear Nonlocal Singularly Perturbed Reaction Diffusion Systems

The singularly perturbed initial boundary value problems for the reaction diffusion system are raised. Firstly, under suitable conditions, using a iteration technique, the differential inequalities theorem is constructed and introducing two auxiliary functions the existence and uniqueness theorem of solution for the basic reaction diffusion system is proved. Using the singularly perturbed method the formal asymptotic expressions of the solution are constructed with power series theory. By using the comparison theorem the existence and its asymptotic behavior of solution for the original problem are studied. Finally, using method of estimate inequalities, the structure of solutions for the problem is discussed thoroughly in three cases and asymptotic solution of the original problem is given. The asymptotic behavior of solution in the three cases is proved.     

OPTIMAL MAINTENANCE AND REPLACEMENT OF EXTRACTION MACHINERY

This paper considers a problem of optimal preventive maintenance and replacement schedule of equipment devoted to extracting resources from known deposits. Typical examples are oil drills, mine shovels, etc. At most one replacement of the existing machinery by a new one is allowed. The problem is formulated as an optimal control problem subject to the state constraint that the remaining deposit at any given time is nonnegative. We show that the optimal preventive maintenance, production rates, and the replacement and salvage times of the existing machinery and the new one, if required, can be obtained by solving sequentially a series of free-end-point optimal control problems. Moreover, an algorithm based on this result is developed and used to solve two illustrative examples.     

Blind Equalization Algorithm Based on MCMA and DSE-CMA

A new blind equalization algorithm based on the modified constant modulus algorithm （MCMA） and dithered signederror constant modulus algorithm （DSE-CMA） is proposed. This dithered signed-error MCMA （DSE-MCMA） can not only reduce the computational complexity, but also recover the phase rotation in the complex channel. Simulation results have verified the analysis and indicated the good property of DSE-MCMA.     

旅行商问题的遗传算法

旅行商问题属于ＮＰ问题，现在还没有找到有效的解法。本文应用遗传算法对解决此类问题的有效性作了探讨。文中对遗传算子的应用，编码，参数选择及其对收敛的影响等问题作了分析与探讨。     

基于发展模式驱动的水安全调控模型研究

近年来人类活动引发的水危机受到社会各界的关注,如何找到解决水安全问题的有效手段成为新的研究热点.运用系统动力学理论建立了社会水循环系统动力学模型,模拟水资源在区域社会系统和水系统之间的转化和消耗过程;从提高水安全保障能力角度,设计了节水农业型、环保工业型和服务业驱动型三种发展模式,并研制了基于发展模式驱动的水安全调控模型;在对区域水安全状态关键指标模拟的基础上,评价在不同发展模式情景下的水安全度,对比给出推荐的调控方案.通过在郑州市的应用发现,设计的七种调控方案均能不同程度地提高水安全度,但采用复合模式方案的水安全度明显高于采用单一模式方案,综合考虑三种模式的方案7是最理想的推荐方案.     

泉州湾海岸线变迁的分形分析

为判断泉州湾海岸线变迁所处的状态,引入分形分析法,对泉州湾海岸线的分维值进行计算.采用时间序列上的泉州湾海岸线数据,运用海岸线分形网格计算方法,计算了泉州湾总体海岸线及各分岸段海岸线分维数,分析了总体海岸和各分岸段分维数变化过程,并试探地将分维变化值的大小作为判断海岸线冲淤严重程度的依据.结果表明:泉州湾海岸线可用分维作其良好的表征参数;从海岸线分维值的变化趋势可判断出海岸线变迁是否处于动态平衡中的稳定状态,泉州湾分维变化幅值大于0.035,表示海岸线冲淤程度严重.     

24份普通白菜遗传多样性的形态特征和RAPD分析

利用形态特征与RAPD分析技术,分析了国内不同地区的24份普通白菜(Brassica campestris L.ssp.chinensis(L.)Makino var.communis Tsee et Lee.)种质的遗传多样性.结果表明,13个形态学性状的变异系数为12.4%~69.9%,其中叶柄变异最大,子叶变异最小.24份普通白菜材料在形态学聚类的距离5处聚为4类.利用筛选出的15条RAPD引物从24份普通白菜材料中共扩增出113条带,其中多态性条带83条,多态率73.4%,平均每条引物条带7.53条、多态性条带5.53条.RAPD数据聚类在相似系数0.77处,分为8类,与形态聚类间有重叠和细分.以形态聚类4个类别计算的Nei's基因多样性指标H和Shannon信息指数I,均为第Ⅳ大类第Ⅰ大类第Ⅲ大类第Ⅱ大类,第Ⅳ类的H和I分别为0.2395和0.3523.而不同地区则以江淮地区的Nei's基因多样性H和Shannon信息指数I最高,分别为0.2076和0.3098.这些结果与普通白菜种质资源多样性特征以及地区分布相吻合.     

轴向小型绝缘堆真空沿面闪络实验设计

根据大型脉冲功率装置中的绝缘堆的结构特点,设计了一个新的四层轴向小型绝缘堆.它由四层绝缘环构成,分隔水界面与真空界面.在该绝缘结构开展静电场计算和电路仿真计算后,进行了有机玻璃小型绝缘堆的真空沿面闪络实验,实验结果反映了有机玻璃圆环结构的耐压特性.根据实验结果推算圆环结构下有机玻璃的材料常数,并计算了绝缘堆的闪络概率.圆环绝缘结构的尺寸大于一般真空沿面闪络实验中常用的圆柱与圆台结构绝缘子,结构和尺寸更接近于实际工程应用的绝缘堆结构,从实验结果中得到的关键材料常数将更适用于评估大型绝缘堆结构的闪络概率.     

常温等离子体诱变选育高效耐镉硫酸盐还原菌

从镉污染土壤中分离出35株硫酸盐还原菌(SRB),采用优化的硫酸钡沉淀法测定其硫酸盐还原活性,筛选出3株在缺氧和有氧条件下硫酸盐还原活性均较高的菌株,采用常温等离子体诱变技术对筛选的菌株进行诱变处理,筛选出一株硫酸盐还原活性高且耐受Cd生长能力强的诱变株WK 2-5-2,该菌株在液体培养基中能够耐受100mg/L Cd2+生长,菌数达到4.12×107CFU/m L,比其原始菌株WK 2-5的数量增加了约100倍。该菌株在缺氧和有氧条件下的硫酸盐还原活性分别为99.17%和78.37%,比其相应的原始菌株WK 2-5的硫酸盐还原活性分别增加了1.49%和43.88%。通过测定WK 2-5-2的16S rRNA序列,该菌株与路德维希肠杆菌(Enterobacter ludwigii EN-119)同源性达到100%,初步鉴定该菌株为路德维希肠杆菌。该菌株具有应用于镉污染土壤或水体修复的潜力。