“示而不范”--美术教学中教师示范方式新探索

教师示范是美术教学中的一个重要环节，示范旨在引导学生更好地更创新的去创作美术作品。然而，在现如今的美术示范教学中，我们经常发现“符号式”的画法，如挂在纸张一角的太阳、千篇一律的苹果树等。细究其因，主要在于教师在示范的环节中只给孩子提供了这些“符号”形象，对教材的解读粗浅，没有很好地准备示范教具。这样的“示范”，给孩子提供了很好的“临摹”媒介，致使孩子的创新能力被弱化。本文抓住这个问题，结合教师平日的示范教育实践，提炼出三种课堂示范方式，力求改善这一教学现状。

CURRENT MODE CIRCUIT SYMBOLIC ANALYSIS WITH MATH-EMATICA

A practical method of current mode circuit symbolic analysis using Mathematica is proposed. With the powerful symbolic manipulation capacity of Mathematica, current mode circuit symbolic analysis can be significantly simplified. The active devices are modelled by nullors. The examples of current mode filters using CCIIs are presented.

A new model for verification

Formal verification is playing a significant role in IC design.However,the common models for verification either have their complexity problems or have applicable limitations.In order to overcome the deficiencies,a novel model-WGL(Weighted Generalized List)is proposed,which is based on the general-list decomposition of polynomials,with three different weights and manipulation rules introduced to effect node sharing and the canonicity.Timing parameters and operations on them are also considered.Examples show the word-level WGL is the only model to linearly represent the common word-level functions and the bit-level WGL is especially suitable for arithmetic intensive circuits.The model is proved to be a uniform and efficient model for both bit-level and word-level functions.Then based on the WGL model,a backward-construction verification approach is proposed,which reduces time and space complexity for multipliers to polynomial complexity(time complexity is less than O(n3.6)and space complexity is less than O(n1.5))without hierarchical partitioning.Both the model and the verification method show their theoretical and applicable significance in IC design.

A Distributed Authentication Algorithm Based on GQ Signature for Mobile Ad Hoc Networks

Identity authentication plays an important role in ad hoc networks as a part of the secure mechanism. On the basis of GQ signature scheme, a new GQ threshold group signature scheme was presented, by which a novel distributed algorithm was proposed to achieve the multi-hop authentication for mobile ad hoc networks. In addition, a protocol verifying the identity with zero knowledge proofs was designed so that the reuse of certificates comes into truth. Moreover, the security of this algorithm was proved through the random oracle model. With the lower cost of computation and communication, this algorithm is efficient, secure and especially suitable for mobile ad hoc networks characterized by distributed computing, dynamic topology and multi-hop communications.

New Explicit Solutions of (1+1)-Dimensional Variable-Coefficient Broer-Kaup System

By using the compatibility method, many explicit solutions of the (1+1)-dimensional variable-coefficientBroer-Kaup system are constructed, which include new solutions expressed by error function, Bessel function, exponentialfunction, and Airy function.Some figures of the solutions are given by the symbolic computation system Maple.

Different known guard intervals for single/multi-carrier transceiver

To enhance the bandwidth efficiency of the guard interval （GI） assisted wireless communication system, an attractive scheme is proposed, which combines the functions of pilots and the GI together, so that the pilot resource used for estimating channel state is saved. Based on the proposed different known guard intervals （DKGI）, the time-domain channel estimation can be simply applied on the receiver side. After channel estimation, the receiver can employ the cyclic convolution restoring （CCR） function to reconstruct the cyclical convolution relationship between the signal and the channel, by which the receiver can also achieve good performance through the conventional 1-tap frequency domain equalization （FDE）.

Darboux Transformation and Grammian Solutions for Nonisospectral Modified Kadomtsev-Petviashvili Equation with Symbolic Computation

In the present paper, under investigation is a nonisospectral modified Kadomtsev-Petviashvili equation, which is shown to have two Painleve branches through the Painleve analysis. With symbolic computation, two Lax pairs for such an equation are derived by applying the generalized singular manifold method. Furthermore, based on the two obtained Lax pairs, the binary Darboux transformation is constructed and then the N-th-iterated potential transformation formula in the form of Grammian is also presented.

Soliton Solutions and Bilinear Bcklund Transformation for Generalized Nonlinear Schrdinger Equation with Radial Symmetry

Investigated in this paper is the generalized nonlinear Schrodinger equation with radial symmetry. With the help of symbolic computation, the one-, two-, and N-soliton solutions are obtained through the bilinear method. B^cklund transformation in the bilinear form is presented, through which a new solution is constructed. Graphically, we have found that the solitons are symmetric about x = O, while the soliton pulse width and amplitude will change along with the distance and time during the propagation.

Performance analysis of partial relay selection over Nakagami-m fading channel in cooperative networks

In this paper, exact outage probability and symbol error rate （SER） expressions are derived in closed-form for dual-hop amplify-and-forward cooperative network over independent non-identically Nakagami-m fading channels. In the analysis, partial relay selection is employed. This selection scheme proposed recently is found applicable in different wireless systems such as ad hoc and sensor networks. The results are verified through comparison with Monte Carlo simulations.

New Families of Rational Form Solitary Wave Solutions to （2＋1）-Dimensional Broer-Kaup-Kupershmidt System＊

Taking the (2+1)-dimensional Broer-Kaup-Kupershmidt system as a simple example, some families of rational form solitary wave solutions, triangular periodic wave solutions, and rational wave solutions are constructed by using the Riccati equation rational expansion method presented by us. The method can also be applied to solve more nonlinear partial differential equation or equations.

An Amazing Song： The Composition of the Minisseries The Stone of the Kingdom and its Relationship With the Public

The adaptation of the novel A Pedra do Reino e o principe do sangue do vai-e-volta, （1971）, by Ariano Suassuna, for the minisseries A Pedra do Reino2 （2007） directed by Luiz Fernando Carvalho, in the microseries format, has caused surprise and bewilderment to reviewers and audience alike. The extensive and originally hermetic literary work, when re-created for television, became difficult to understand, resulting in poor reception by the public - though highly praised by reviewers - compared to works in the same format and time of exhibition. In this study, the author proposes a reflection, in the light of semiotic and communication theories, in order to understand the relationship between the work and the viewer. The analysis takes into account especially the options of the expression plan as well as the closeness that the audiovisual narrative maintains with the literary work. The conclusion reached is that the introduction of the elements of the enunciation - person, time and place - inherited from the novel, as well as expressive options like camera movements, light, prosody and gesture, impart an excessively accelerated rhythm, which interferes in the understanding of the work and in its consequent reception.

Traditional Architecture as the Medium of Public Ethical Value

Traditional Chinese architecture in the narrative of a system has existed more than 3,000 years. As the core values of the enlightenment function of social ethics, traditional architecture externalizes symbol of ＂state＂ sensual ethical echo. So metaphorical rules in architecture can combine with the normal life. Traditional architectural form as famous communication home Marshall McLuhan＇s ＂human extension＂, leads the order and the rules in the form of elevation. The spread of universal ethics, traditional architectural symmetry axis ceremony, and the adornment of the mythical thinking component, are traditional Chinese ethics of society to describe the core of creation through three points sequence structure constraint. The wisdom of metaphor in these ideas is the life gene of Chinese culture. In the construction of the contemporary social upheaval spreading vision, recognition of traditional architecture ethics through righteousness obviously has been recasting social ethics of ＂treatment＂.

Conservation Laws and Analytic Soliton Solutions for Coupled Integrable Dispersionless Equations with Symbolic Computation

Under investigation in this paper are two coupled integrable dispersionless (CID) equations modelingthe dynamics of the current-fed string within an external magnetic field.Through a set of the dependent variabletransformations, the bilinear forms for the CID equations are derived.Based on the Hirota method and symboliccomputation, the analytic N-soliton solutions are presented.Infinitely many conservation laws for the CID equationsare given through the known spectral problem.Propagation characteristics and interaction behaviors of the solitons areanalyzed graphically.

A Maple Package on Symbolic Computation of Hirota Bilinear Form for Nonlinear Equations

An improved algorithm for symbolic computation of Hirota bilinear forms of KdV-type equations withlogarithmic transformations is presented.In the algorithm,the general assumption of Hirota bilinear form is successfullyreduced based on the property of uniformity in rank.Furthermore,we discard the integral operation in the traditionalalgorithm.The software package HBFTrans is written in Maple and its running effectiveness is tested by a variety solitonequations.

How Semiotics Can Improve Our Knowledge on Computing

Several computer theorists and professionals share the concepts of ＂signifier＂ and ＂signified＂ in intuitive terms but are often unfamiliar with semiotics. There is a special digital divide between semiotics and the technology, because the semiotic notions are usually expressed through verbal expressions instead engineers use the mathematical language. In the first step, the present study suggests the formal descriptions of the signifier and the signified. In the second step, we show how these formal definitions are able to justify the hardware structure of a computer system, and even other properties of computing which are currently presented on the as-is basis. Concluding, the basic concepts of semiotics can unveil intriguing aspect of information technology

Ranks of Generalized Star Sign Patterns

A sign pattern is a matrix whose entries axe from the set {＋,-,0}. A sign pattern is a generalized star sign pattern if it is combinatorial symmetric and its graph is a generalized star graph. The purpose of this paper is to obtain the bound of minimal rank of any generalized star sign pattern （possibly with nonzero diagonal entries）.

On the Sign Pattern Matrices with Nonpositive κ-power

A matrix whose entries are +,-, and 0 is called a sign pattern matrix. Let k be arbitrary positive integer. We first characterize sign patterns A such that .Ak≤0. Further, we determine the maximum number of negative entries that can occur in A whenever Ak≤0. Finally, we give a necessity and sufficiency condition for A2≤0.

SPECIAL ISSUE： CULTURAL PHILOSOPHICAL STUDIES IN CHINA：Some theoretical characteristics of the philosophy of culture

Establishing a philosophical theory or a paradigm of philosophical understanding should be premised on its possession of a relatively well-defined research subject, relatively original research methodology, and relatively outstanding theoretical objectives. In this regard, philosophy of culture aims at a general understanding of man through cultural symbols which in themselves are not the end of the research. Using the research methodology of historical science, philosophy of culture attempts to understand man as a non-continuous and heterogeneous being. The theoretical objective of philosophy of culture is the criticism and reconstruction of cultural patterns with cultural symbols at their core.

A New Expanded Method for Solving Nonlinear Differential-difference Equation

A new expanded approach is presented to find exact solutions of nonlinear differential-difference equations. As its application, the soliton solutions and periodic solutions of a lattice equation are obtained.

Congruences involving generalized central trinomial coefficients

For integers b and c the generalized central trinomial coefficient Tn(b,c)denotes the coefficient of xnin the expansion of(x2+bx+c)n.Those Tn=Tn(1,1)(n=0,1,2,...)are the usual central trinomial coefficients,and Tn(3,2)coincides with the Delannoy number Dn=n k=0n k n+k k in combinatorics.We investigate congruences involving generalized central trinomial coefficients systematically.Here are some typical results:For each n=1,2,3,...,we have n-1k=0(2k+1)Tk(b,c)2(b2-4c)n-1-k≡0(mod n2)and in particular n2|n-1k=0(2k+1)D2k;if p is an odd prime then p-1k=0T2k≡-1p(mod p)and p-1k=0D2k≡2p(mod p),where(-)denotes the Legendre symbol.We also raise several conjectures some of which involve parameters in the representations of primes by certain binary quadratic forms.