Resolution for Conflicts of Inter-Operation in Multi-Domain Environment

This paper proposes a method to formalize the interoperation in multi-domain environment. Through employing the algebra method, we conclude four types of the conflicts for the interoperation, and analyzes the cause of the policy conflicts. For each type of conflicts, we formalize it and proposes the method of detection and resolution. Finally, the method is illuminated be effective through comparing our work with others.     

Swelling behaviors and pervaporation properties of CA/PAN composite membranes for separation of caprolactam/water mixtures

The composite membranes with cellulose acetate (CA) as the separating layer material and polyacrylonitrile (PAN) as the supporting layer material were prepared for separating caprolactam (CPL) from CPL/water mixtures by pervaporation technique. The swelling experiments were carried out to investigate the effects of swelling time and CPL concentration on the degree of swelling. The results showed that the CA membrane reached swelling equilibrium within 24 h, and the degree of swelling first slightly decreased then increased with the increase of CPL concentration in the feed under the experimental conditions. Respectively comparing flux with permeance, and separation factor with selectivity, we found out that the separation performance of the CA/PAN composite membrane is more strongly dependent on its hydrophilic/hydrophobic nature as well as on the effects of operating parameters, such as feed composition concentration and feed temperature.     

Adaptive tracking control for actuator failure compensation based on MT-filters

<正> This paper considers the problem of actuator failure compensation for a class of nonlinearsystems in the form of output-feedback.MT-filters are exploited to estimate the unmeasured states.The backsteppping technique is used to construct the controller recursively.The proposed compensationscheme can grantee the boundedness of all the closed-loop signals and asymptotic output tracking.Thetheoretical results are illustrated by a simulation example.     

Solidification microstructure and phase constitution of Fe-7.5%Mo-16.5%Si ternary quasiperitectic alloy

Solidification of Fe-7.5%Mo-16.5%Si ternary quasiperitectic alloy is investigated by using differential scanning calorimetry (DSC) and drop tube containerless processing techniques.The primary phase is identified as R (Fe5Mo3Si2) and the quasiperitectic phases are τ1 (Fe5MoSi4) and Fe3Si.With the decrease of droplet diameter, the cooling rate and undercooling of the droplets in-crease rapidly.The experiment result indicates that the solidification microstructure is composed of remnant primary phase, qua-sip...     

Boundary control of two PDE’s separated by interface conditions

<正> This paper discusses the null boundary controllability of two PDE's,modeling a compositesolid with different physical properties in each layer.Interface conditions are imposed.     

Comparative and statistical analysis of nAChR sequences: An <Emphasis Type="Italic">ab initio</Emphasis> approach to the origin of molecular discrimination

Compared with traditional structure-based approaches for the identification of species-specific ligands, the ab initio approach, based on large-scale protein sequences from different species, has been used to locate specific sites that may be important to the molecular selectivity of species. Statistically significant differences in the distribution of residues in different species and differences in the physicochemical properties of residue-specific sites may largely account for species selectivity. The nicotinic acetylcholine receptor (nAChR), an important neuro-receptor with significantly different ligand selectivity in different species, was used to test our method. Because of the lack of nAChR structural information, the mechanism of ligand discrimination is unclear which hinders attempts at novel molecular design. In this study, the specific site residues 186 and 189 in the principal subunits and residues 34, 55, 56, 57, 106 and 112 in complementary subunits of nAChR were identified by applying our method with stringent statistical cutoffs. These sites were predicted to contribute to ligand selectivity and this result coincides well with the known experimental data.     

Tax Evasion: Models with Self-Audit

Different from traditional tax audit, supervision with self-audit is a combination of audit by the taxpayer himself and audit by the tax authority. This paper mainly studies a taxpayer＇s optimal policy of tax evasion under supervision with self-audit and its related properties, in order to deduce some effective suggestions and theoretical bases to restrain tax evasion. Assuming that only a certain proportion of evaded tax can be discovered when the audit is executed, the authors first formulate a static model with self-audit. This model is divided into two stages. At the first stage, taxpayers declare their taxes, then the tax authority chooses audit objects, based on a known probability, and announces the result; if the taxpayer is chosen, he will enter the second stage, during which he has a chance to pay the evaded tax and the corresponding late fees and then is audited by the tax authority. The authors show the existence and uniqueness of the optimal amount of tax evasion at the first stage and the optimal proportion to self-expose at the second stage. The authors also discuss the related properties of the interior solution, and do elasticity analyses on some parameters. Besides, the authors extend the static model into the corresponding two-period model, and study the existence and uniqueness of the solution of the extended model. Finally, under the assumption that tax evasion can only be discovered with a certain probability when the audit is executed, the authors formulate another static model with self-audit and investigate its properties.     

Quantitative Estimates of Outcrossing Rates in a Natural Population of Caldesia grandis （Alismataceae）

Outcrossing rate in a natural population of Caldesia grandis was estimated by the dominant random amplified polymorphism DNA (RAPD) marker using 10 open-pollinated progeny arrays of 24 individuals. The multilocus outcrossing rate estimated based on all 25 RAPD loci was 0.872 ±0.033 and the single-locus outcrossing rate was 0.795 ±0.032. Multilocus estimates did not differ significantly from the single-locus estimates. The fixation index, F, in the progeny estimated from RAPD data was -0.142 ±0.000. The estimates of multilocus outcrossing rates (t_m) and single-locus outcrossing rates (t_s) obtained from MLDT clearly indicate that outcrossing is predominant in the open-pollinated C. grandis population. An empirical analysis suggests that 15 should be the minimum number of dominant marker loci necessary to achieve robust estimates of t_m.     

A FRAMEWORK FOR REAL-VALUED CIPHER SYSTEMS

Most cipher systems designed thus far are binary-valued or integer-valued cipher systems. Their security relies on the assumption that one-way functions exist. Though the existence of one-way functions has not been proved yet, most cryptographic researchers believe that one-way functions exist. In addition, many candidates for one-way functions have been proposed. Therefore, the key step for developing real-valued cipher systems is to define real one-way functions and to propose candidates for them. In this paper, based on computational complexity theory over the real field, we give two definitions of real one-way functions; one is for digital one-way functions and the other is for general one-way functions. Candidates for these two classes of one-way functions are also proposed. Moreover, we present two examples to demonstrate that the candidates for both digital one-way functions and general one-way functions can be applied to construct secure real-valued cipher systems.     

Downside Risk-Aversion Analysis for a Single-Stage Newsvendor Problem

We extend the classical newsvendor problem by introducing a downside risk constraint from the perspective of inventory control. At the beginning of a replenishment period the newsvendor will place an order, then he will review the inventory level at the end of the period. If the inventory level is positive then he will bear the holding cost and if the inventory level is negative then he will bear the backorder cost. The optimal order quantity has a simple form. We analyze the form of the optimal order quan-tity when we restrict that the probability that the cost level is larger than or equal to a fixed cost constant is less than a fixed value of probability. At last, we analyze the case that the fixed cost constant is equal to the expected cost.