Structure theorem for Hopf group-coalgebra

Let π be a group with a unit 1; H is a Hopf π- coalgebra and A is a right π-H-comodule algebra. First, the notion of a two-sided relative （A, H）-Hopf π-comodule is introduced; then it is obtained that Hom A H （M, N） H and HOMA（M, N） are isomorphic as right Hopf π-H-comodules, where Hom A H（M, N） denotes the space of right A-module fight H-comodule morphisms and HOMa （M, N） denotes the rational space of a space Hom A（M, N） of right A-module morphisms. Secondly, the structure theorem of endomorphism algebras of two-sided relative （A, H）-Hopf π--comodules is established; that is, End A H （M）#H and END A（M, N） are isomorphic as fight Hopf π-H-comodules and algebras.

A generalization of co-*~n-modules

A module is called a co-＊∞-module if it is co-selfsmall and ∞-quasi-injective. The properties and characterizations are investigated. When a module U is a co-＊∞-module, the functor Hom RU（-,U）is exact in Copres∞（U）. A module U is a co-＊∞-module if and only if U is co-selfsmall and for any exact sequence 0→M→UI→N→0 with M∈Copres∞（U） and I is a set, N∈Copres∞（U） is equivalent to Ext1R（N,U）→Ext1R（UI,U） is a monomorphism if and only if U is co-selfsmall and for any exact sequence 0→L→M→N→0 with L, N∈Copres∞（U）, N∈Copres∞（U） is equivalent to the induced sequence 0→Δ（N）→Δ（M）→Δ（L）→0 which is exact if and only if U induces a duality ΔUS：⊥USCopres∞（U）：ΔRU. Moreover, U is a co-＊n-module if and only if U is a co-＊∞-module and Copres∞（U）=Copresn（U）.

Numerical simulation of residual stress field in green power metallurgy compacts by modified Drucker-Prager Cap model

Compaction process simulation and residual stress prediction of green PM compact were carried out with elasto-plastic 3D FEA based on the modified Drueker-Prager Cap model in Abaqus. The model parameters of the investigated powder Distaloy AE were determined as functions of relative density through typical mechanical property tests of powder. The model was implemented as a user subroutine USDFLD. Single sided compaction of a d20 ram^5 mm disk green compact of Distaloy AE was simulated, and the residual stress of the disk after ejection was predicted with FEA. The FEA results of the compaction process and the residual stress of the disk show good agreement with compaction experiments and X-ray diffraction measurements, which validates the model and its parameters. The results indicate that the compressive residual stresses exist mainly in a thin layer on the side surface, but the residual stresses are very small on the top and bottom surfaces.

Finite element analysis of stress distribution and burst failure of SiC_f/Ti-6Al-4V composite ring

A three-dimensional cyclic symmetry finite element model of titanium-matrix composites（TMCs） ring was developed to investigate the stress distribution and burst failure. The effects of fiber volume fractions, reinforced areas, thermal residual stresses and two different temperatures on stress distribution were studied. The burst speed was obtained through analyzing the hoop tensile stresses under a series of rotating speeds. The results indicate that at the two different temperatures, the influences of fiber volume fractions and reinforced areas on stress level and distribution are different. Some proposals are provided for the structure design of the TMCs ring. With regard to thermal residual stresses, a larger reinforced area is an advisable choice for design of the ring at higher temperature.

Performance and Optimization for a Ground-Coupled Liquid Loop Heat Recovery Ventilation System

Ground-coupled heat pumps(GCHP)are commonly used in residential heating system.To mitigate the boreholes temperature dropping with operating time,a new exhaust-air recharging system is developed.The new recharging system can be used in three operational modes.In this paper,a ground-coupled heat recovery ventilation(HRV)model is discussed.A thermal model is set up to find the optimal brine flow rate and heat transfer allocation ratio between exhaust and supply coils for maximum heat recovery efficiency.Contrary to the conventional liquid-loop HRV systems,the brine temperature entering the exhaust coil never goes blow zero(0℃),and hence defrosting is needless in the ground-coupled HRV system.This can make the ground-coupled HRV system over 20% more efficient than a conventional HRV system at low outdoor temperatures.

Crossed products for Hopf group-algebras

First,the group crossed product over the Hopf group-algebras is defined,and the necessary and sufficient conditions for the group crossed product to be a group algebra are given.The cleft extension theory of the Hopf group algebra is introduced,and it is proved that the crossed product of the Hopf group algebra is equivalent to the cleft extension.The necessary and sufficient conditions for the crossed product equivalence of two Hopf groups are then given.Finally,combined with the equivalence theory of the Hopf group crossed product and cleft extension,the group crossed product constructed by the general 2-cocycle as algebra is determined to be isomorphic to the group crossed product of the 2-cocycle with a convolutional invertible map of the 2-cocycle.The unit property of a general 2-cocycle is equivalent to the convolutional invertible map of the 2-cocycle,and the combination condition of the weak action is equivalent to the convolutional invertible map of the 2-cocycle and the combination condition of the weak action.Similarly,crossed product algebra constructed by the general 2-cocycle is isomorphic to the Hopfπ-crossed product algebra constructed by the 2-cocycle with a convolutional invertible map.

On the Structure of the B-cocleft Module Coalgebra

In this paper we develope the notions of crossed coproduct of Hopf algebras and study an equivalent theorem of generalized crossed coproduct of H weakly comodule coalgebras and H module coalgebras. The main result is to prove a structure theorem about B cocleft H module coalgebras.

A high-level synthesis based dual-module redundancy with multi-residue detection(DMR-MRD)fault-tolerant method for on-board processing satellite communication systems

On board processing(OBP) satellite systems have obtained more and more attentions in recent years because of their high efficiency and performance.However,the OBP transponders are very sensitive to the high energy particles in the space radiation environments.Single event upset(SEU)is one of the major radiation effects,which influences the satellite reliability greatly.Triple modular redundancy(TMR) is a classic and efficient method to mask SEUs.However,TMR uses three identical modules and a comparison logic,the circuit size becomes unacceptable,especially in the resource limited environments such as OBP systems.Considering that,a new SEU-tolerant method based on residue code and high-level synthesis(HLS) is proposed,and the new method is applied to FIR filters,which are typical structures in the OBP systems.The simulation results show that,for an applicable HLS scheduling scheme,area reduction can be reduced by 48.26%compared to TMR,while fault missing rate is 0.15%.

Performance Comparison Between Logistic and Generalized Surplus-Production Models Applied to the Sillago sihama Fishery in Pakistan

The catch and effort data of Sillago sihama fishery in Pakistani waters were used to investigate the performance of two closely related stock assessment models: logistic and generalized surplus-production models. Compared with the generalized production model, the logistic model produced more reasonable estimates for parameters such as maximum sustainable yield. The Akaike's Information Criterion values estimated at 4.265 and -51.152 respectively by the logistic and generalized models. Simulation analyses of the S. sihama fishery showed that the estimated and observed abundance indices for the logistic model were closer than those for the generalized production model. Standardized residuals were distributed closer for logistic model, but exhibited a slightly increasing trend for the generalized model. Statistical outliers were seen in 1989 and 1993 for the logistic model, and in 1981 and 1999 for the generalized model. Simulated results revealed that the logistic estimates were close to the true value for low CVs (coefficients of variation) but widely dispersed for high CVs. In contrast, the generalized model estimates were loose for all CV levels. The estimated production model curve parameter was not reasonable at all the tested levels of white noise. With the increase in white noise R2 for the catch per unit effort decreased. Therefore, we conclude that the logistic model performs more reasonably than the generalized production model.

Competition of Spatial and Temporal Instabilities under Time Delay near Codimension-Two Turing-Hopf Bifurcations

Competition of spatial and temporal instabilities under time delay near the codimension-two Turing-Hopfbifurcations is studied in a reaction-diffusion equation.The time delay changes remarkably the oscillation frequency,theintrinsic wave vector,and the intensities of both Turing and Hopf modes.The application of appropriate time delaycan control the competition between the Turing and Hopf modes.Analysis shows that individual or both feedbacks canrealize the control of the transformation between the Turing and Hopf patterns.Two-dimensional numerical simulationsvalidate the analytical results.

A model study of residual oil distribution jointly using crosswell and borehole-surface electric potential methods

Although high resolution can be provided by electrical logging, the measured electrical log range is narrow and is limited to near the well. Borehole-surface electric potential measurements are able to detect a wide enough range but its resolution is limited, particularly for reservoirs with complex oil and water distribution or complicated structure. In this study, we attempt to accurately locate the 3-D reservoir water and oil distribution by combining borehole-surface and crosswell electric potentials. First, the distributions of oil and water in both vertical and horizontal directions are detected by the borehole-surface and erosswell electric potential methods, respectively, and then the measured crosswell potential result is used to calibrate the measured borehole-surface electric potential data to improve vertical resolution so that the residual oil distribution is determined in a lower half-space with three dimensions. The evaluation of residual oil distribution is obtained by investigation of differences between the simulation results of the reservoir with and without water flooding. The finite difference numerical simulation results prove that the spatial residual oil distribution can be effectively determined by combining the crosswell and borehole-surface electric potentials.

A damage constitutive model of rock-like materials containing a single crack under the action of chemical corrosion and uniaxial compression

To describe the deformation and strength characteristics of the corroded rock-like specimens containing a single crack under uniaxial compression,a damage constitutive model combining hydro-chemical damage with coupling damage of micro-flaws and macro-cracks is proposed.Firstly,based on phenomenological theory,the damage variable of the rock-like specimens subjected to water environment erosion and chemical corrosion is obtained.Secondly,a coupled damage variable for cracked rock-like specimens is derived based on the Lemaitre strain equivalence hypothesis,which combines the Weibull statistical damage model for micro-flaws and the fracture mechanics model for a macro single crack.Then,considering the residual strength characteristics of the rock-like materials,the damage variable is modified by introducing the correction coefficient,and the damage constitutive model of the corroded rock-like specimens with a single crack under uniaxial compression is established.The model is verified by comparing the experimental stress−strain curves,and the results are in good agreement with those provided in the literature.Finally,the correction coefficient of the damage variable proposed in this paper is discussed.The damage constitutive model developed in this paper provides an effective method to describe the stress−strain relationship and residual strength characteristics of the corroded rock-like specimens with a single crack under uniaxial compression.

Design of novel sliding-mode controller for high-velocity AUV with consideration of residual dead load

This work focuses on motion control of high-velocity autonomous underwater vehicle(AUV).Conventional methods are effective solutions to motion control of low-and-medium-velocity AUV.Usually not taken into consideration in the control model,the residual dead load and damping force which vary with the AUV’s velocity tend to result in difficulties in motion control or even failure in convergence in the case of high-velocity movement.With full consideration given to the influence of residual dead load and changing damping force upon AUV motion control,a novel sliding-mode controller(SMC)is proposed in this work.The stability analysis of the proposed controller is carried out on the basis of Lyapunov function.The sea trials results proved the superiority of the sliding-mode controller over sigmoid-function-based controller(SFC).The novel controller demonstrated its effectiveness by achieving admirable control results in the case of high-velocity movement.

MF~2ResU-Net:a multi-feature fusion deep learning architecture for retinal blood vessel segmentation

Objective For computer-aided Chinese medical diagnosis and aiming at the problem of insufficient segmentation,a novel multi-level method based on the multi-scale fusion residual neural network(MF2ResU-Net)model is proposed.Methods To obtain refined features of retinal blood vessels,three cascade connected UNet networks are employed.To deal with the problem of difference between the parts of encoder and decoder,in MF2ResU-Net,shortcut connections are used to combine the encoder and decoder layers in the blocks.To refine the feature of segmentation,atrous spatial pyramid pooling(ASPP)is embedded to achieve multi-scale features for the final segmentation networks.Results The MF2ResU-Net was superior to the existing methods on the criteria of sensitivity(Sen),specificity(Spe),accuracy(ACC),and area under curve(AUC),the values of which are 0.8013 and 0.8102,0.9842 and 0.9809,0.9700 and 0.9776,and 0.9797 and 0.9837,respectively for DRIVE and CHASE DB1.The results of experiments demonstrated the effectiveness and robustness of the model in the segmentation of complex curvature and small blood vessels.Conclusion Based on residual connections and multi-feature fusion,the proposed method can obtain accurate segmentation of retinal blood vessels by refining the segmentation features,which can provide another diagnosis method for computer-aided Chinese medical diagnosis.

模子范畴间的对偶

针对模论中两类重要的模子范畴:投射模范畴与内射模范畴,以及模论中两个重要的概念:sm all模和self-sm all模,对偶地引入了co-sm all模和co-self-sm all模的概念,给出了这两类范畴间对偶的等价刻画,特别地,给出了在Noether情形下余-*-模的刻画.

Damage, failure and stability control of evolutionary process caused by re-exploitation of the residual resources

On the basis of considering the heterogeneity and using the finite element numerical simulation, this thesis investi- gates the damage of the roof and coal as well as the failure of evolutionary process during the re-exploitation of the residual coal. According to the analysis of the damage field, stress field and the failure process, it explores the damage evolution, stress distribution laws and the damage models. Besides, this thesis puts forward the idea of penetrating and establishing drilling steels aimed at solving the problem of wall carving and roof fall, meanwhile this suggestion accomplishes the successful appli- cation effect in the testing ground. This thesis demonstrates that the re-exploitation of the residual coal can be carried out and the safe production can be ensured by adopting some measures. What＇s more, the research result provides the theoretical and practical experience for the re-exploitation of the residual coal in the similar conditions.

Effect of strain hardening and strain softening on welding distortion and residual stress of A7N01-T4 aluminum alloy by simulation analysis

The effect of strain hardening and strain softening behavior of flow stress changing with temperature on welding residual stress, plastic strain and welding distortion of ATN0 1-T4 aluminum alloy was studied by finite simulation method. The simulation results show that the weld seam undergoes strain hardening in the temperature range of 180-250 ℃, however, it exhibits strain softening at temperature above 250 ℃ during welding heating and cooling process. As a result, the strain hardening and strain softening effects counteract each other, introducing slightly influence on the welding residual stress, residual plastic strain and distortion. The welding longitudinal residual stress was determined by ultrasonic stress measurement method for the flat plates of A7N01-T4 aluminum alloy. The simulation results are well accordant with test ones.

Cluster of Strong Earthquakes and Aftershocks in Ahar-Varzeghan Area on August 11, 2012

Seismic events are very complex spatial-temporal phenomena. Seismic catalogues, reporting information about spatial-temporal distribution of the main shocks, are nowadays available for many seismic areas in the world, very often major events mark the beginning of a series of earthquakes （aflershocks） whose frequency and energy are meanly decreasing in time down to the background level of activity. Azerbaijan is one of the most active segments of the Alpine-Himalayan seismic belt and marks the junction between the African-Arabian and Indian plate to the south, and Eurasian plate to the north. The cluster of earthquakes that struck near Varzeghan-Ahar was centered near the Gosha-Dagh fault, but preliminary data suggested that the fault was not responsible for the temblor. On the late afternoon of Saturday, August 11, 2012, the northwest of Iran was shaken by two of the strong earthquakes in Iranian history. First was hit by Mw （moment magnitude scale） = 6.4 Richter at local time 16：54 （12：23 GMT （Greenwich Mean Time））, and about 11 min later, an Mw = 6.3 struck 10 km to the west. The spatial-temporal clustering of micro earthquakes （aftershocks） near Varzeghan, is parameterized by means of a generalized passion model. The region has known faults but numerous smaller or deeply buried faults remain undated, according to the Geological Survey of Iran.

The Effects of Flexible Vegetation on Forces with a Keulegan- Carpenter Number in Relation to Structures Due to Long Waves

Extreme coastal events require careful prediction of wave forces. Recent tsunamis have resulted in extensive damage of coastal structures. Such scenarios are the result of the action of long waves on structures. In this paper, the efficiency of vegetation as a buffer system in attenuating the incident ocean waves was studied through a well controlled experimental program. The study focused on the measurement of forces resulting from cnoidal waves on a model building mounted over a slope in the presence and absence of vegetation. The vegetative parameters, along with the width of the green belt, its position from the reference line, the diameter of the individual stems as well as the spacing between them, and their rigidity are varied so as to obtain a holistic view of the wave-vegetation interaction problem. The effect of vegetation on variations of dimensional forces with a Keulegan-Carpenter number （KC） was discussed in this paper. It has been shown that when vegetal patches are present in front of structure, the forces could be limited to within F＊≤I, by a percentile of 92%, 90%, 55%, and 96%, respectively for gap ratios of 0.0, 0.5, 1.0, and 1.5. The force is at its maximum for the gap ratio of 1.0 and beyond which the forces start to diminish.

Validation of the TASS/SMR-S Code for the Core Heat Transfer Model on the Steady Experimental Conditions

The SMART （System-integrated Modular Advanced ReacTor） which is a 330 MWt advanced integral PWR was developed by the KAERI （Korea Atomic Energy Institute） for electricity generation and seawater desalination. To enhance its safety, the various design concepts were adopted such as the most containing of the RCS （reactor coolant system） components and a PRHRS （passive residual heat removal system）. To ensure the safety and performance of the SMART, a thermal hydraulic evaluation and safety analysis are performed by the TASS/SMR-S code. It uses a one dimensional node/path modeling and point kinetics for the core power simulation. The code also has specific models reflecting the design features of the SMART such as a helical tube and PRHRS heat transfer models. In this study, the validation of the core heat transfer model in the TASS/SMR-S code on the steady conditions was performed with the Bennett＇s heated tube tests and THTF （thermal hydraulic test facility） experiment. From the results of the TASS/SMR-S code calculation, the CHF （critical heat flux） point and the fuel rod surface temperature were predicted conservatively compared to the test results.