数独出题之XYZ法

当前数独手工出题方法多为“挖洞法”,文章引入XYZ字母,和1,2,3,……8,9九个数字相配置,经选题—建模式—填数而生题。出题数可达9个。

Bombyx mori Pyridoxal Kinase cDNA Cloning and Enzymatic Characterization

Pyridoxal kinase （PLK） （EC 2.7.1.35） catalyzes the ATP-dependent phosphorylation of pyridoxal, generating pyridoxal-5＇-phosphate （PLP）, an important cofactor for many enzymatic reactions. Bombyx mori, similar to mammals, relies on a nutritional source of vitamin B6 to synthesize PLP. This article describes how a cDNA encoding PLK was cloned from Bombyx mori using the PCR method （GenBank accession number： DQ452397）. The cDNA has an 894 bp open reading frame and encodes a protein of 298 amino acid residues with a molecular mass of 33.1 k.Da. The amino acid sequence shares 48.6% identity with that of human PLK, and it also contains signature conserved motifs of the PLK family. However, the protein is 10 or more amino acids shorter than the PLK from mammals and plants, and several amino acid residues conserved in the PLK from mammals and plants are changed in the protein. The cDNA cloned was expressed successfully in Escherichia coli using the T7 promoter/T7 RNA polymerase expression system, and the crude extracts containing the expressed product were found to have strong PLK enzymatic activity with a value of 30 nmol/min/mg, confirming that the cDNA encodes the functional PLK of Bombyx mori. This is the first identification of a gene encoding PLK in insects.

MAS-based dynamic web service composition formal model

Applying dynamic web services composition is one of the important schemas for solving service-oriented architecture （SOA）and service-oriented computing（SOC）.For implementing dynamic web services composition,the multi agent system （MAS）is applied to web services composition.First, the essentials of the MAS and web services composition are analyzed and their relationship is discussed.Secondly, an MAS-based architecture is designed for dynamic web services composition,and it is named as CSMWC.A Jade tool is used to implement the major components.The architecture can primarily implement syntactic level dynamic web services composition,and it gives a basis for semantic level dynamic web services composition.For specifying the correctness of the architecture,by using pi-calculus,the architecture of the MAS is formally described,and its dynamic properties and adaptability are reasoned.Finally,it demonstrates the idea proposed by the Pi4SOA tool.

Some Notes on the Dual Leibniz-Hopf algebra

The Leibniz-Hopf algebra is the free associative algebra with one generator in each positive degree and coproduct given by the Cartan formula. Quasi-symmetric functions are a generalisation of symmetric functions [7],and the algebra of quasi-symmetric functions appear as the dual of the Leibniz-Hopf algebra. The Leibniz-Hopf algebra and its dual are word Hopf algebras and play an important role in combinatorics, algebra and topology. We give some properties of words and consider an another view of proof for the antipode in the dual Leibniz-Hopf algebra.

New Convenient Way for Disentangling Exponential Operator Composed of Angular Momentum Operators

In the preceding paper （Commun. Theor. Phys. 51 （2009） 321） we have recommended a convenient method for disentangling exponential operators. In this work we use this method for disentangling exponential operators composed of angular momentum operators. We mainly desentangle the form of exp[2hJz ＋ g J＋ ＋ kJ_] as the ordering exp（... J＋）exp（... Jz）exp（... J_）, we employ the Schwinger Bose realization J_ = bta, J＋ = atb, Jz=（ata - btb）/2 to fulfil this task, without appealing to Lie algebra method. Note that this operator＇s desentanglng is different from its decomposition in normal ordering.

Inverse problem in linear algebra

With the increasingly widespread application of linear algebra theory, and in its opposite direction is not enough emphasis, linear algebra, several important points： matrix, determinant, linear equations, linear transformations, matrix keratosis and other anti-deepening understanding of the basics and improve the comprehensive ability to solve problems.

Aerodynamic Performances of Wind Turbine Airfoils Using a Panel Method

One of the key features of Laplace＇s Equation is the property that allows the equation governing the flow field to be converted from a 3D problem throughout the field to a 2D problem for finding the potential on the surface. The solution is then found using this property by distributing ＂singularities＂ of unknown strength over discretized portions of the surface： panels. Hence the flow field solution is found by representing the surface by a number of panels, and solving a linear set of algebraic equations to determine the unknown strengths of the singularities. In this paper a Hess-Smith Panel Method is then used to examine the aerodynamics of NACA 4412 and NACA 23015 wind turbine airfoils. The lift coefficient and the pressure distribution are predicted and compared with experimental result for low Reynolds number. Results show a good agreement with experimental data.

A weighted selection combining scheme for cooperative spectrum prediction in cognitive radio networks

A weighted selection combining （WSC） scheme is proposed to improve prediction accuracy for cooperative spectrum prediction in cognitive radio networks by exploiting spatial diversity. First, a genetic algorithm-based neural network （GANN） is designed to perform spectrum prediction in consideration of both the characteristics of the primary users （PU） and the effect of fading. Then, a fusion selection method based on the iterative self-organizing data analysis （ISODATA） algorithm is designed to select the best local predictors for combination. Additionally, a reliability-based weighted combination rule is proposed to make an accurate decision based on local prediction results considering the diversity of the predictors. Finally, a Gaussian approximation approach is employed to study the performance of the proposed WSC scheme, and the expressions of the global prediction precision and throughput enhancement are derived. Simulation results reveal that the proposed WSC scheme outperforms the other cooperative spectrum prediction schemes in terms of prediction accuracy, and can achieve significant throughput gain for cognitive radio networks.

An Investment Portfolio Management Using Software Agents that Rely on Fuzzy Logic and with Different Decision Arguments Combinations

During the development of the intellectual multi-agent investment management information system （designed for the formation of investor＇s investment decisions）, it was established that there is a lack of both necessary comprehensive researches and analysis to invoke more than one decision-making aspect （argument） for the making of investment decision, and recommendations to combine these diverse parameters. It is possible to find a lot of articles and researches in which investment decisions or investment tactics are decided on the ground of either technical or fundamental analysis, or modeling and on the ground of intellectual calculating technique （for example, fuzzy logic, neural net, genetic programming）, whereas the issues of the coordination of different techniques are not decided at all. To fill this niche, the article offers the decision applied in multi-agent investment management information system which allows to provide rationale for investment decision taking into account four aspects （arguments）, i.e., to form the recommendation to purchase/hold/sell a security paper having evaluated the following four aspects （arguments）： （a） fundamental analysis, （b） technical analysis, （c） experts and analysts＇ recommendations and （d） risk assessment. These aspects （arguments） are chosen taking into account the real most commonly occurring process of investor＇s investment decision-making. The article gives the implementation of aspects （arguments） assessment by four corresponding software agents whose decisions are implemented with a help of fuzzy logic. Besides, the article offers the technique of the unification of these aspects （arguments）. The offered intellectual multi-agent investment management information system can be tested on the internet： www.sprendimutechnologijos.lt/webapp （MADSYS project）.

Meromorphic Solutions of Systems of Higher-Order Algebraic Differential Equations in Complex Domain

Using the Nevanlinna theory of the value distribution of meromorphic func- tions,we investigate the problem of the existence of admissible meromorphic solutions of a type of systems of higher-order algebraic differential equations.

A Combinatorial Condition and Boolean Functions with Optimal Algebraic Immunity

This paper first proposes an infinite class of 2k-variable Boolean functions with high nonlinearity and high algebraic degree. Then an infinite class of balanced Boolean functions are proposed by modifying the above Boolean functions. This class of balanced Boolean functions have optimal algebraic degree and high nonlinearity. Both classes have optimal algebraic immunity based on a general combinatorial conjecture.

Positive combinations of projections in von Neumann algebras and purely infinite simple C*-algebras

We give an overview of the question： which positive elements in an operator algebra can be written as a linear combination of projections with positive coefficients. A special case of independent interest is the question of which positive elements can be written as a sum of finitely many projections. We focus on von Neumann Mgebras, on purely infinite simple C^＊-algebras, and on their associated multiplier algebras.

Forward-backward doubly stochastic differential equations and related stochastic partial differential equations

The notion of bridge is introduced for systems of coupled forward-backward doubly stochastic differential equations （FBDSDEs）. It is proved that if two FBDSDEs are linked by a bridge, then they have the same unique solvability. Consequently, by constructing appropriate bridges, we obtain several classes of uniquely solvable FBDSDEs. Finally, the probabilistie interpretation for the solutions to a class of quasilinear stochastic partial differential equations （SPDEs） combined with algebra equations is given. One distinctive character of this result is that the forward component of the FBDSDEs is coupled with the backvzard variable.

THE GENERATING SET OF THE DIFFERENTIAL INVARIANT ALGEBRA AND MAURER-CARTAN EQUATIONS OF A(2+1)-DIMENSIONAL BURGERS EQUATION

The authors construct Maurer-Cartan equation, the generating set of the differential invariant algebra and their syzygies for the symmetry groups of a （2＋1）-dimensional Burgers equation, based on the theory of equivariant moving frames of infinite-dimensional Lie pseudo-groups.

Lie Triple Derivations on von Neumann Algebras

Let A be a von Neumann algebra with no central abelian projections. It is proved that if an additive map δ :A → A satisfies δ([[a, b], c]) = [[δ(a), b], c] + [[a, δ(b)], c] +[[a, b], δ(c)] for any a, b, c∈ A with ab = 0(resp. ab = P, where P is a fixed nontrivial projection in A), then there exist an additive derivation d from A into itself and an additive map f :A → ZA vanishing at every second commutator [[a, b], c] with ab = 0(resp.ab = P) such that δ(a) = d(a) + f(a) for any a∈ A.

Compatible Lie Bialgebras

A compatible Lie algebra is a pair of Lie algebras such that any linear combination of the two Lie brackets is a Lie bracket. We construct a bialgebra theory of compatible Lie Mgebras as an analogue of a piiLie bialgebra. They can also be regarded as a ＂compatible version＂ of Lie bialgebras, that is, a pair of Lie biaJgebras such that any linear combination of the two Lie bialgebras is still a Lie bialgebra. Many properties of compatible Lie bialgebras as the ＂compatible version＂ of the corresponding properties of Lie biaJgebras are presented. In particular, there is a coboundary compatible Lie bialgebra theory with a construction from the classical Yang-Baxter equation in compatible Lie algebras as a combination of two classical Yang-Baxter equations in lAe algebras. FUrthermore, a notion of compatible pre-Lie Mgebra is introduced with an interpretation of its close relation with the classical Yang-Baxter equation in compatible Lie a/gebras which leads to a construction of the solutions of the latter. As a byproduct, the compatible Lie bialgebras fit into the framework to construct non-constant solutions of the classical Yang-Baxter equation given by Golubchik and Sokolov.

Probability density function solution to nonlinear ship roll motion excited by external Poisson white noise

The stationary probability density function (PDF) solution to nonlinear ship roll motion excited by Poisson white noise is analyzed. Subjected to such random excitation, the joint PDF solution to the roll angle and angular velocity is governed by the generalized Fokker-Planck-Kolmogorov (FPK) equation. To solve this equation, the exponential-polynomial closure (EPC) method is adopted. With the EPC method, the PDF solution is assumed to be an exponential-polynomial function of state variables. Special measure is taken such that the generalized FPK equation is satisfied in the average sense of integration with the assumed PDF. The problem of determining the unknown parameters in the approximate PDF finally results in solving simultaneous nonlinear algebraic equations. Both slight and high nonlinearities are considered in the illustrative examples. The analysis shows that when a second-order polynomial is taken, the result of the EPC method is the same as the one given by the equivalent linearization (EQL) method. The EQL results differ significantly from the simulated results in the case of high nonlinearity. When a fourth-order or sixth-order polynomial is taken, the results of the EPC method agree well with the simulated ones, especially in the tail regions of the PDF. This agreement is observed in the cases of both slight and high nonlinearities.

On the Existence of (v,3×3,λ)-Splitting Balanced Incomplete Block Design with λ between 2 to 9

Let （v, u × c,λ）-splitting BIBD denote a （v, u × c,λ）-splitting balanced incomplete block design of order v with block size u × c and index A. The necessary conditions for the existence of a （v, u × c,λ）-splitting BIBD are v ≥ uc, λ（v- 1） -- 0 0 mod （c（u- 1）） and Av（v- 1） - 0 mod （c^2u（u- 1））. In this paper, for 2 ≤λ≤ 9 the necessary conditions for the existence of a （v, 3 × 3, λ）-splitting BIBD are also sufficient with one possible exception for （v, λ） = （39, 9）.

SEMI-ALGEBRAICALLY CONNECTED COMPONENTS OF MINIMUM POINTS OF A POLYNOMIAL FUNCTION

In a recent article, the authors provided an effective algorithm for both computing the global infimum of f and deciding whether or not the infimum of f is attained, where f is a multivariate polynomial over the field R of real numbers. As a complement, the authors investigate the semi- algebraically connected components of minimum points of a polynomial function in this paper. For a given multivariate polynomial f over R, it is shown that the above-mentioned algorithm can find at least one point in each semi-algebraically connected component of minimum points of f whenever f has its global minimum.

Purely Hom-Lie bialgebras

In this paper, we first show that there is a Hom-Lie algebra structure on the set of(σ, σ)-derivations of an associative algebra. Then we construct the dual representation of a representation of a Hom-Lie algebra.We introduce the notions of a Manin triple for Hom-Lie algebras and a purely Hom-Lie bialgebra. Using the coadjoint representation, we show that there is a one-to-one correspondence between Manin triples for Hom-Lie algebras and purely Hom-Lie bialgebras. Finally, we study coboundary purely Hom-Lie bialgebras and construct solutions of the classical Hom-Yang-Baxter equations in some special Hom-Lie algebras using Hom-O-operators.