Development of computer and information technology calls for basic researches including applicationoriented basic research. In order to solidify and extend research teams, and further to make progress in IT technology, it is necessary to clarify scientific fundamentals for computer technology. This paper presents a new definition of computing science or informatics, categorizes basic researches of computer engineering and comments on research situation for each category in the mainland of China.

Web services, together with serviceoriented architectures, are promising integration technology to facilitate legacy system webification and evolution. However, a service oriented reengineering process is still essential for legacy systems to survive in the serviceoriented computing environment. In this serviceoriented reengineering process, understanding and reusing objectoriented code turn to be important activities. In this paper, we proposed a comprehensive approach to support the extraction and integration of reusable objectoriented legacy code. It produces extracted components with core objectoriented legacy code function in Web services by wrapping underlying computing models with XML.

We proposed a new method for generating macro operators by means of static analysis. The method selectively produces some ground actions instead of directly analyzing the description of the domain. The objects of the static analysis focus on the relations among these ground actions, which are classified accordingly. Some pattern maps are produced according to this classif ication. At last, valuable macrooperators based on the maps are generated. We also developed an experimental system to examine the method.

Integrating high level semantic knowledge in speech recognition has been a hot topic in the field. Latent semantic analysis (LSA) technology can model long span correlation of words in the language efficiently. How to utilize LSA in language modeling and guide searching procedure more accurately is an urgent task. We analyzed major problems on the modeling and decoding procedure of LSA language model, realized modeling of LSA language model, and proposed a method to use LSA language model in the first-pass decoding of continuous speech recognition system. Experimental result shows that the proposed method can improve the performance of large vocabulary continuous speech recognition of Chinese language significantly.

We proposed two distributed flexible graphplan systems: DFGP and IGDFGP. Decomposition of goal and action set in DFGP is carried out manually and that in IGDFGP is carried out automatically based on a new representation called interaction graphs. The subproblems are compiled to rrDFCSPs. Our experimental results show that both the distributed planners are orders of magnitude faster than graphplan.

With Map Objects and Visual Basic as the developing platform, on the basic technically support of GIS technology, database managing technology and multimedia technology, a tourism geographic information system was developed in consideration of the current traveling condition of Jilin province, which provides the functions of multimedia browse, the query of sight and service information, statistics, analysis and the best tourism route design.

A realtime flight instrument simulation training system was developed. On the basis of allpurpose simulation math model, the intelligent control method and technology were adopted. By comparison with the actual flight data prepared in advance in the repository, the system automatically adjusts the control input, which makes the system error decrease gradually. The math model of gauge transposition was designed and built, which guaranteed the harmony of operation and instrument. It can simulate the instrument flight of all kinds of aircrafts. The experiment data and practice have shown that the simulator has a high efficiency, veracity and real time, which can improve the harmony and instrument flight ability of pilots. It can satisfy the requirement of flight instrument simulation training.

This paper presents a double hierarchical face clustering algorithm based on c-means. By means of the algorithm the problems in t he conventional clustering algorithms, namely, (1) every datum could only be classified into one class, which made the result less accurate in clustering the data on the boundary; and, (2) the time and space complexity in fuzzy clustering are e xcessive, unfitting for high dimensional and massive data clustering have been solved. This algorithm provides a feasible clustering method for large scale face database searching, and guarantees the accuracy on increasing the speed of searching.

Based on the local outlier factor (LOF) for detecting outlier in knowledge discovery, a localdensityratio (LDR) based setting fuzzy membership algorithm was developed. In the proposed algorithm, the fuzzy membe rships are assigned to the samples according to their neighborhood density ratios and a single parameter selection strategy is also adopted. Numerical experiments showed that the proposed algorithm possesses a good robustness for nonlinear function estimation problems with noise data. The presented algorithm is effective for setting fuzzy memberships in fuzzy support vector machine, which is importan t to deal with classification problems and nonlinear function estimation problems with noise data.

An intelligence method was used to carry out the design and management of the IntelligentTransportation System, so as to resolve sys tem development, intelligence and the share of resources and make the intelligence become the important core of the Intelligent Transportation System (ITS) development. It takes the modern artificial intelligence and the nerve network as the foundation theories, in consideration of the Intelligent Transportation System service target, intelligently takes the whole advantage resources of each academics into account to realize the diapason and efficient operation of each professional Intelligent Transportation application system. It covers the Intelligent Transportation System valuation, design, implement, core technique, core calculate way, decision management, the service method and connection application aspects. Import the intelligent method will make the Intelligent Transportation System have obvious public service characteristic, more intelligence, systematism, more safe and efficient, among which high compatible ambulation application characteristic and convenient information share will provide new development space for the Intelligent Transportation System.

This paper discusses the research methods, new research evolvement and some issues that still exist in terrain model simplification area. This article describes adaptive terrain visualization modeling method based on both irregular triangulation and grid data sources. According to whether model simplification algorithm is friendly for modern graphics hardware or not, these terrain model simplification algorithms are divided into traditional fine granularity and modern graphical hardware oriented coarse granularity multi-resolution model simplification algorithms. Finally, we summarized and analyzed the devel opment current and future research emphasis in the terrain visualization modeling area.

Hopfield neural networks are widely applied in picture identification and engineering field, but there are parameter perturbations and time delay in the neural network when it is implemented with the hardware. T hese factors will badly influence the dynamic performance of the neural network and even cause instability of the network. This paper discusses the robustness of ne ural networks with time delay by building a model. And the fairly general and easily verifiable criterion is presented.

We studied an algorithm of tourism route analysis based on Tourism Geographic Information System (TGIS) using the technology of GIS, indirected graphs analysing and Dijkstra algorithm. Firstly, by means of the algorithm, a model of tourism route analysing was built after taking some hypotheses and predigestion, secondly, a indirected graph for tourism route analysing was generated via the information about travel industry sites, information about roads and finally this algorithm was investigated by adopting the motheds of giving all conditions and Dijkstra algorithm. This algorithm can help tourists choice a best tour route.

This paper aims at solving the low efficiency when the large-scale traffic network is simulated by single CPU. We built a traffic simulation cluster system with MPI/OOMPI parallel library. In the cluster, each node processes a sub-network, which is obtained by the partition of a large-scale traffic network, depending on orthogonal recursive bisection method. In this way, the computational loads are transferred to each node effectively. From the result of experiment it is concluded that the excellent speed-up of large-scale network simulation can be achieved.

This paper deals with the influence of variety and convergence of Genetic Algorithm (GA) by the selection operator on the final solution. Several selection operators were introduced such as roulette selection operator which keeps population variety well, and tournament selection operator which keeps population convergence well. Based on the synergism of variety and convergence, the standard tournament selection operator is improved so as to get two new selection operators: keeping old population tournament selection operator and new tournament selection operator. After the experiment, we have come to a conclusion: If the population variety is increased, the speed of popula tion convergence will decrease; accelerating the speed of convergence will greatly destroy the variety. The former can impact the chance to find the optimal solution, and the later can enhance the speed of the genetic algorithm. In order to find a better solution, we should consider their synergism.

A formal definition of Probabilistic Logic Learning is presented on the basis of Inductive Logic Programming research. Three learning settings for various Probabilistic Logic Learning approaches: probabilistic learning from interpretations, proofs and entailment are addressed based on their representation of examples and probabilistic processes. The paperinvestigates a survey of some existing Probabilistic Logic Learning approaches and systems with the three settings.

At first, this paper introduces the concept, key technique and steps of distributed data mining (DDM), then introduces the relative res earches of algorithm and architecture for the distributed data mining according to the status quo. At last, it makes a conclusion about the development of the distributed data mining. Research direction and development trend of the distributed data mining are discussed.

In grids, the heterogeneous computing resources are distributed across the world. Hence, scheduling is one of the most important issues in the research of grid computing. WSRF is initiated by Globus Alliance for modeling and accessing stateful resources with Web services. This paper introduces CSF4, a metascheduler developed by us based on WSRF. CSF4 can coordinate local and remote heterogeneous resources via GRAM protocol. CSF4 is one of the first WSRF metaschedulers in the world and released as an execution component of Globus Toolkit 4.

This paper deals with the application of speculative computation in one-to-many negotiation for paid gain of resources, extends the speculative computation model into a model covering multi-thread negotiation. Multi-issue (service cost, delivery time, service deadline) negotiation model based on belief-revision is presented, and multi-thread paralleling negotiation process based on the two models is presented. Finally, the experiment proves the models and paralleling negotiation process are valid.

A solution to draw all kinds of traffic elements was proposed. The use of OpenGL is convenient and the function is strong. The effect of OpenGL is good, too. OpenGL is a good tool in the development of 3D graphics. It has stability, dependability and extensibility. The technology of display lists and picking up is very usefull in the system of traffic simulation. Users can draw and operate all kinds of traffic elements with OpenGL in the system. Inter action between users and the system is realized.

With the of theory of fuzzy set, combined with concept and method of fuzzy query, rules template, linguist quantifier, and so on, the rules are further constrained in quantitative information so as to solve the limitative problem, i.e., not thinking over quantitative information with correlation of the items, on the basis of which the mining of association rules based on fuzzy quantitative constraints are put forward. By experiment, the mining method put forward in the paper exhibits nicer flexibility, and more pertinence in its mining effect.

We proposed a method addressing the optimization of the association rules pruning via two kinds of “unexpected” rules defined by the chisquare test and interest. We also provided an algorithm on the associat ion rules pruning. Based on the experiments, the method retrieved some effective and useful new rules which are often ignored by other methods. The experiment results also show that the method has a satisfying flexibility and effectiveness.

This paper deals with two ways to manage aggregate queries: materialized view and approximate query, concludes the processing methods of each way and presents future research directions.

π-Calculus was used to encode the semantics for the active transport of Na⁺-K⁺-ATPase. It has been proved that process calculi are a valuable tool for modeling and simulating various biological and biochemical networks where the interaction and mobility are important features. 

An abstract machine (SAM) for a simple object oriented language SOOL is formally defined, a visual system VisualOO is developed for the visual implementation of SAM. The system VisualOO can translate source programs of SOOL into formal internal representation of SAM, and dynamically display the execution of those SOOL programs. The abstract machine presented in this paper as well as the visual system VisualOO can be integrated into the course of formal semantics to help understand and grasp object oriented programming langu ages and their formal semantics better.

Based on the anslysis of robust disturbance observer and PID controller, an automated manual transmission system based on robust design was given. As a result, a highly efficient and reliable Automated Manual Transm ission (AMT) system has been developed that was verified by simulation with MATL AB/SIMULINK and experimental results.

By analyzing FlexRay protocol, a braking-by-wire system based on FlexRay technology is presented. It adopts fuzzy PID controller to control the braking motor, and provides the results of simulation experiment and analysis. The application of FlexRay reduces the response time and increases the system performance.

An algorithm in which fractal codes of color images is made to extract characteristic in fractal domains is proposed in this paper, and it has been used in the content based image retrieval. The algorithm makes good use of color information, effectively resollves ignoring the color information and slow velocity problems in the traditional fractal method, it is adapted for image retrieval better. Experiments showed that the proposed algorithm is fast, feasible, and valid.

A video watermarking scheme based on block-DCT is presented. The watermark is embedded in the current coefficient of block-DCT. For the geometric and frame attacks are commonly ones in the practical environment, we use the sum of the current coefficients as the embedded feature which will not change with the distortions, and a synchronization code is used to complete the synchronization. The simulation results show that the method can efficiently resist geometric attacks, and is robust to the frame attacks.

This paper summarizes iris recognition researches at present and makes an analysis of problems it has. At last, it makes a discussion of its development in the future.

In view of the defect of the traditional computernonreversible computation. A fresh theory is proposed which combines the realization rationales of the three kinds of computers with structural characteristics to devise a new logic. It refers to the central dogma by thinking of the mock noncoded chains of DNA as information units. Thus, it will correspondingly form a quite differen t series of logic rules and be able to calculate reversibly. Accordingly, we call it computing-reversibly logic.

We mainly surveyed the approaches on operon prediction and summarized the current art of the state in bioinformatics. After presenting most datasets in operon prediction and introducing most important popular algorithms, some disadvantages were pointed out. Furthermore, some future challenges w ere discussed and some solutions were suggested which are helpful to the future researches.

A novel framework was presented for using evolutionary algorithm to identify the transcription factor binding sites from the noncoding region of the upstream of the coexpression genes. The application of the method in known promoter sequence sets which controled by the same transcription fact or showed that the proposed method can exactly find the binding sites with unigue conserved sequence. Compared with the classic method〖CD2〗Gibbs Sampler, the proposed method shows more effectiveness on finding the shorter binding sites.

This paper introduces the features and deficiencies of the traditional network architecture, the general model and process of data disposal of the active network, and presents an active architecture to take gain according to need as the distribution way. This architecture includes independent functioning blocks (such as protocols, arithmetic etc) as basic programmable blocks, realizes security and meanwhile it can interlink the traditional networks well.

Via the policy based network management in mobile environment, predicted policy can be generated according to the prediction of mobility and required resource of the mobile node so as to manage mobile network more neatly by executing predicted policy before mobile node arrivals. Because predicted information is uncertain and ambiguous, the predicted policy is also uncertain. In view of this problem, this paper proposes a way to update the predicted policy with one\|point random sets coverage theory, and declares its reasonableness. With the executed policy as experience information, it can ensure the predicted policy which has been updated will be more up to the realistic requirements.

Policy Based Network Management (PBNM) technology based Mobile Agent (MA) technology is new developing subject in network management field. Two kinds of network management methods have merit each. This paper puts forward a new network management method——PBNMBMA（Policy Based Network Management Based on Mobile Agent), and introduces the management procedure in multi-domain and the function of every module in detail. PBNMBMA should be a more effective method.

The present paper describes the software product line development in detail, deals with the application of the software product line technology in the network management domain and construction of the network manag ement software product line feature model, defines the dynamic architecture of network management software product line, and finally a kind of variable feature integrating framework method is originated. Now the product line has already been implemented, and the network management product redeveloped via this product line has been tested in Jilin University campus network. We can reuse the existed software resources via this product line, adapt it to the users’ requirement quickly and develop the product which satisfies users’ need.

A security service model of network management for pervasive computing is presented in detail in order to monitor the network for the administrator to see the distribution of the flow online, which can be used to count up and analyze the traffic of the network by the administrator since it combines the theory of pervasive computing with the traditional technology of network management. The model based on Generic Security ServiceApplication Program Interface (GSSAPI) has been designed in this thesis in order to provide the application portability and has been used to solve the problem of security in the course of data transmission. More strongly security mechanism and more abundant security service can be adopted expediently in the future.

This article describes a collaborative workflow system based on ontology, which focuses on typical database access. By introducing ontology base and realizing the ontology definition of flow service, domain knowledge and user interface, the system is able to incorporate collaborative knowledge dynamically and thus is flexible enough to apply in other domains which have the same application patterns. The extension and upgrade of the system can be achieved by updating and adding the definition of ontology, which is one of the distinct features of the system. With the ontology base, it is possible to enable the cooperation among different systems, the interaction among different workflow systems, as well as the interaction between workflow system and other applications.

Investigations into the problem how to implement safe communication in the network and also into the problem emerged from symmetric key algorithm were made. And two kinds of practical authentication protocols, Point to Point Simple Authentication Protocol and Trusted Third Party Simple Authentication Protocol, were designed based on the characteristics of the network security. And we also have analysed the security of the two protocols to make sure that both of them have achieved the purpose of keyoriented, key affirmation and the aim of trusting the key of its peer via the formal analysis method (the mode logic method based on knowledge and belief consequence--SVO logic).

In this article is introduced the Ethernet Automatic Protection Switching (EAPS) technology based on RFC3619. We analyzed the composition of the EAPS network and its operating principle firstly; then,described how EAPS technology dealt with the link down event; at last, we used the result of the EAPS test to probe the advantages of EAPS technology.

A grid was constructed by using Globus. A concept of grouping according to time was proposed, its designment and implementation were discussed particularly. Furthermore, its useage range and foreground were evaluated impersonally.

Access control technology is one of the important issues concerned with information security, which has been provided in many application fields due to network’s rapid development. This paper presents a survey on recent researches of access control, and several main technologies on access control are investigated in detail, which include discretionary access control (DAC), mandatory access control (MAC), rolebased access control (RBAC), taskbased access control (TBAC) and usage control (UCON) is described emphatically. In addition, a new model called UCON is introduced.

ADEPT model with distributed symmetrical control structures can be used to model control flow and data flow. But we are unable to evaluate the correctness of process model and process instance due to the lack of for malization. A formalized definition of ADEPT model was given, and its instance was formally specified according to the state machine of instance. Upon the work stated above, an approach to evaluate model correctness and instance consistency was proposed lastly.

A new method of intelligent thickness partition was developed based on the extreme point properties of wavelet transform via exploring the wavelet transform algorithm. The author chose the one dimensional continuous wavelet transform algorithm to more accurately recognize the curve’s shape. On applying the wavelet transform to the logging curves, the scale was set to different values according to the different precision needs of different logging curves, which effectively resolved the division and combination of layers problem and improved the thickness partition result a lot. Efficiency of this methodin processing well signal was examined.

Geography data are multi-sources, complex expression, indirect character, multi-solution, non-linear and got-up sort of original mineralized belt is uncertainty. To solve the problems above mentioned, the Self-Organizing Feature Map was used to execute the non-linear conformity of the complex geography information, then analyze and sort the geography exploration materials were analyzed and classified. This method is effective; the result of classification conforms to the geography fact. Then it fetches up the deficiency of the got-up sort and also provides trustiness bases for the partition of the mineralized belt. 

The developments of call center technique are introduced, on the bases of VOIP technique and Parlay technique the oncoming generati on call center technique is explained and the tech support and direction needed for the development of the oncoming generation call center is investigated.

This paper introduces the usage and computer analysis methods of fingerprint spectrum of traditional Chinese medicine, and the design p rocess and implementation methods of pattern recognition system. It mainly discusses the key technologies of the system, including storage and recognition methods of finger print spectrum, explains the evaluation parameter of overlap ratio of chromatogram peak in finger print spectrum, introduces the evaluation model, and sets the recognition standard which contains three levels, including below 40％, 40％ to 70％, above 70％. At last, Sinkiang arnebia roots were taken as identification standard to identify two kinds of unknown arnebia root samples and the system was verified.

This article introduces the practical technology by which the uninterrupted voltage and current sine waves are converted into voltage and current impulse waves that can be identified by the computer. Power factor, an important parameter that shows the conditions of economic operation of a grid, is then calculated via the time differences between the front edges of the two pulsed phase signals.

A Semantic Web based intelligent retrieval model for Digital Library was presented. The model takes Digital Library domain ontologies as its basis, it has a two-layer ontology structure, and it uses ontology techniques, such as ontology mapping, ontology reasoning, etc. The model can provide semantic level resource sharing and intelligent information retrieval. It has a high precision and scalability. The model can be considered to be an approach for building knowledge and intelligent digital libraries.

A network educational resources management system was introduced. Various techniques are used in the system, such as finding personal i nformation for different users based on data mining, intelligent search engine of web, integrating heterogeneous data resources, automatically extending resources, actively ordering and delivering resources, judging resources based on workflow, etc. The system provides individual environments for different users, can organize and manage various educational resources on the internet reasonably, find users’ needs automically, actively deliver resources needed to the users, meets the needs of different types and levels of users. It is an assistant teaching system for teachers and an assistant learning system for students.

On the basis of analyzing the need of the area net, the total request and target of the network construction are put forward. The programming of the LAN was discussed, the system framework mode, soft hardware terrace and safe measures of network were poined out. The net project of the LAN was mainly exploited, different solution projects were presented in view of the different requirements of office and education of school. The article introduces the framework of the LAN. Finally, it makes the summingup and thinking to the framework of LAN.

This paper presents an establishment method of the teaching system which shows the personality of teachers and draws the self-study enthusiasm of students. With WWW technology, database technology, CSS technology and ASP technology, a teaching system is established, which gives priority to students, provides interactionsbetween teachers and students so as to really combine teaching and learning. The paper depicts the design goals and functions of each module, and introduces key technologies of the system design.

Establishing network multimedia experiment and teaching environment serves as an important solution to experiment and teaching resources. This article provides a concrete laboratory construction example. It is a good method for the network multimedia laboratory construction.

A teaching quality synthetic appraisal method based on the idea and method of multi-dimensional cubic data mining combined with a method of appraisal, namely, the quantitative analysis and qualitative analysis was proposed. By combining the method and cubic test system and a data warehouse with on-line analytical processing (OLAP) system, a plane and cubic test system and a multi-dimensional synthetic appraisal OLAP mining mode were respectively set up so as to apply the test system and mining mode in university teaching quality synthetic appraisal.

This paper presents the advantages and functions, completeness and public acceptability of the IBM world profession technique attestation system. This system not only improves the students’ comprehensive characteristics, helps them to get the technique certification, but also provides a strong basis which is useful for the people to become advanced technical talents in their future career.

Computer hardware experimental teaching is an important part of the computer teaching system. Computer hardware experimental teaching, experimental projects teaching content and experimental equipment sophistication are very important for improving the quality of students. This paper describeds the reform of teaching experiments and introduces some effective reform measur es. Now after reformed computer hardware experiments content welcomed by the students, teaching experiments marked effect.

On the basis of analyzing the status of education for the computer software and according to the demands for software talents education system of National Pilot School of software, we brought forward the cultivating aim at suiting to the requirements of 21 century national software industry development, explored and practiced 2+2, 0+4 and cooperating education modes with overseas universities and famous software enterprises, discussed the basic principle and policy accorded with characteristics of the courses system for software talents education.

Multiple virtual machines can be installed on a physical computer by using the virtual machine technologies. Some different experimental environments can be built on the same physical computer, and an open exper imental environment can be built to satisfy some different experimental requirements. The workload of laboratory maintenance can be mostly reduced; the quality of experimental teaching and the utilization of the laboratory resources can be improved. 

The various methods for maintaining and administrating computer labs are discussed and compared. By deeply analyzing the characteristics of the Ghost, a new method is given. The computer operating systems can be recovered and installed quickly by using the multicast technologies of Ghost in the new method. Compared with those of the existing methods, the workload of the lab maintenance and the time of the recovering computer operating system can be mostly reduced and the utilization of the lab resources can be improved by the new method.

In view of the teaching experiences of cultivating students in Jilin University computer net laboratory, we put forward a proposal whose target is to design a computer net laboratory with creation, practice, safety and advance and discussed the concrete method in practice from many experts such as the assignment discipline of hardware and software, laboratory discipline, laboratory devices management, stuff management, the construction of rule and so on. The article makes a valuable discovery and summary for improving the computer net laboratory teaching level and cultivating computer net talents.

By means of the analysis of the characteristics of the embedded system teaching and the content of relative laboratory building and developing, comprehensive planning for the embedded system laboratory of Jilin University has been programed. Also we discussed deeply how to construct the embedded system laboratory, which is a big problem the domestic universities face with. We have determined the guiding policy taking the construction of base laboratories as the center and giving prominence to the superiority of the key technology and self advantages.

Project contents, experimental methods and experimental instruments of the computer controls and applications series experiments have been systematically planned, designed and implemented. A set of computer application series experimental teaching instrument designed and developed by us has past the experts’ confirmation organized by Jilin Provincial Department of Science and Technology, and has been delivered to four grades students of College of Computer Science and Technology for teaching, which shows the qualification of experimental courses.

This article elaborated the problems in the technical novelty check with examples, especially the problems in the novelty check report. Moreover, it suggests the original national level novelty check organizations and universities should establish the national wide technical novelty check assoc iation committee, which will be the important program, as soon as possible. The association should first set the professional standards for the services of novelty check program; revises and promulgates “management of technical novelty check organizations”; sets up the quality standards for the technical novelty check etc. The new association will make healthy development for the novelty check program.

Based on the classical plate theory and assumption the electroelastic properties varying with a power form of thickness coordinate variables, the buckling equations of piezoelectric functionally gradient thin plate subjected to applied electric field are derived by means of a modified classical laminate theory involving piezoelectric coupling terms. Critical voltage for a simply supported rectangular thin plate under uniform electric field is presented by using Navier solutions. The influences of the geometrical size of plate, functionally gradient index and displacement at midplane of plate on the critical voltage are discussed. It was found that the effects of the gradient index are significant, so we should pay more attention to checking the buckling intensity in designing and applying piezoelectric functionally gradient materials.

The parameters of a stationary NEAR(p) (new exponential autoregressive process of order p) model were estimated by means of conditional least squares, weighted conditional least squares and maximum quasi likelihood approach, respectively. For those estimators, we discussed their asymptotic properties and showed via simulation that maximum quasilikelihood es timation dominates the others when the true values of the parameters are small, while weighted conditional least squares estimation dominates the others when the true values of the parameters are big.

For a threespecies clockwise chain predator prey system with Holling Ⅲ functional response, some sufficient conditions which guarantee the permanence of the system were determined by using comparison theory and Liapunov function of ordinary differential equation. Moreover, for the periodic system, it has been proved that under certain conditions there exists a unique positive periodic solution which is globally asymptotically stable. Finally we dicussed almost periodic phonomena, and obtained some sufficient conditions which assure the unique existence and globally asymptotic stability of almost positive periodic solution.

It was improved with the lower and upper method and the coincidence degree theory that there exist at least three periodic solutions for the model of aneurysm of the circle of Willis. And the domain of the solutions was given. Some known conclusions are improved. At last, we used numerical experiments to confirm the theoretical results. The theoretical results could help us to understand more aspects of aneurysm of the circle of Willis.

2-Harmonic spacelike submanifolds in a pseudoRiemannian space form was studied, and a Simons form inequality of integration was obtained via calculations. After the submanifold was restricted it became a maximal spacelike submanifold, and the Simons form integral inequality was used to discuss the submanifold properties when the sectional curvature of the pseudoRiemannian space form is positive, negative and zero, respectively, and some results were obtained.

A class of epidemic contagion is considered. The transmissive dynamic ecological model is described. Firstly, the differential equa tions are established for the corresponding model. Secondly, a series of function is constructed and their variations are calculated out. And via the variational principle the Lagrange parameters are decided. Finally, the iteration formu las for the solution of the original are obtained by means of the iteration theory. Thus the approximate solution of the corresponding model is obtained with the iteration method.

For the linear model Y=Xβ+ε, ε~N(0,V[), with the constraint RXβ≥0, where V>0 is known, the necessary and sufficient conditions for a linear estimator of β to be admissible in the class of all estimators are obtained.

We solved the multiobjective convex smooth programming problem. At first we turned multi-objective convex smooth programming into convex smooth programming by means of aggregate funtion, then we turned convex smooth multi-constrains into convex smooth single constrain by virtue of aggregate function, at last we solved convex smooth programming via the aggregate homotopy method and got the weak effective solutions of multi-objective smooth programming. This method reduces the scale of the homotopy method, so it is easier to practice.

The properties of saddlepoint for scalar set valued Lagrange mapping in vector optimization problems with setvalued maps were studied. Under the assumption of nearly conesubconveslikeness, the sufficient and necessary conditions for a strict efficient solution being a saddlepoint in setvalued optimization problems are proposed. The strong and weak dual theorems are obtained in the sense of strictly efficiency in dual model which is established by scalar setvalued Lagrange mapping.

For three normal populations with unknown means and variances, assume that there is a treeorder restriction between ratios of means and standard deviations. According to the ideas of the PAVA algorithm, when sample numbers of three normal populations are different, a procedure of obtaining the maximum likelihood estimators of means and standard deviations under tree order restrictions is proposed.

With constructive algebraic geometry as a tool, we discussed the construction of the rational interpolation function of zero degree on a subset of a given set of nodes in R^d. We presented the existence condition and related algorithm.

We used the theory of LeraySchauder’s degree to establish the existence of the nontrivial nonnegative periodic solutions for a class of quasilinear parabolic equations with nonlocal terms. The results have extended some known related results before.

Using LiapunovSchmidt method and to pological degree theory, we proved some results for the existence of periodic sol utions of nonlinear functional differential equations.

This paper deals with the relationship between a ring and its circle semigroup. Adjoint clifford rings and the rings with small circle semigroups are characterized in terms of circle multiplication, and a commutative adjoint Clifford ring is constructed in which Jacobson radical is not a summand so as to confirm a conjecture of Heatherly and Tucci.

The problem of optimizing the size of the employees in the talent leasing center is studied. Based on the criteria of maximizing profit, the mathematical model on the sizes of two types of employees in the talent le asing center with the policy of substitution is proposed according to the discrete stochastic optimization, where one type of employees has complex skill and can substitute for the other type of employees to work. By means of the marginal analysis, the existence of the optimal solution is proved. The advantages of the policy of substitution are also addressed. The necessary conditions of the optimal solution are presented. Finally the searching algorithm of optimal solution is proposed.

In this paper, the structure of finite BCI-algebras with condition (S) is discussed. Some sufficient conditions and some necessary conditions for the condition (S) are obtained. On this basis, all proper BCI-algebras with order n≤5 and with condition (S) are presented. So far, all proper BCI-algebras with ordern≤5 and with condition (S) have been known.

Let （X,‖·‖） be a real separable Banach space with the dual X^*, (Ω,B,P) be a complete probability space, further, {B_n,n≥1} is an increase sub σ-field filtration of B, and B=∨B_n, we discussedsome properties of setvalued martingale in the limit, then used support function and Riesz decomposition theorem of real valued martingale in the limit to prove its Riesz decomposition theorem.

A new algorithm was put forward for learning Bayesian’s network structure. This algorithm is based on an improved Genetic Algorithm: Immune Evolutionary Algorithm (IEA). The IEA combines the two kinds of methods in learning’s Bayesian network, the score based method and the constraint based method, by genetic operation and vaccination operation. The experimental results show that the convergent speed of IEA is more rapid, and the precision of IEA is higher than that of EGA (Expectation & Genetic Algorithm, a method learning Bayesian network based on GA).

Management maneuver of load balance based on centralized system, which is operated on a machine group of Amoeba system, was studied via the comparison between the contrast experiment of task initializtion with and without task transfer strategy and the result of nonloadbalance management. Load balance maneuver has been proved to be necessary for the Distribute Computing System and can improve the performance, meanwhilethe influence of process migration on load balance was analyzed concretely. Through the whole experiment, the development pattern of load balance management applied to the Distribute Computing System as well as the reference to the better influence of process migration on load balance are presented.

Based on the analysis of I/O node failure, an efficient fault tolerance method called Round robin Redundant Backup of Subfile is propo sed. This method ensures that the parallel file can be accessed when the I/O node is failure. Through this method, the reliability and availability of a parallel file system are improved.

The intercommunication of Internet voice browser is established by means of the voice command of immobile or mobile telephone based on Voice Extensible Markup Language (VoiceXML ) so as to enlarge WWW application. On the basis of making use of Tellme Studio flat and combining dynamic XML database and VoiceXML for audio document, weather real information of Web intercommunion is implemented. A new model of voice weather information distribution based on the VoiceXML is presented.

Based on preference order information carried by criteria and dominance relation between them, deduction of ordered information rules was solved. New rule generation algorithm GRs was proposed and a simple comparison with other algorithms was carried out. The rules are generated from strong to weak according to strength of rules’consequent. The algorithm ensures the minima lity of rules. In some degree, the rule set is complete and nonredundant. Corresponding definition and notation, data analysis method, rule types on Containing Order Rough Set Methodology (CORS) are introduced also.

The theory and parameters learning of MLNs are introduced, and a parameter learning method based on posterior is proposed. With normal distribution as the prior and pseudo likelihood instead of likelihood, the pseudoposterior is maximized to learn parameters. Experimental results show MLNs pa rameters can be effectively learned, and the inference with the learned model is better that those with current parameter learning methods.

On the basis of the idea of association rule combined with rough set, we propounded a kind of decision rule reduct algorithm based on preferential information, which was applied to the data analysis of traffic accidents of Changchun City, so as to finish the implement of Traffic Accidents Analysis System.

This paper presents a novel iris texture features extraction algorithm based on zero spectral moment filters (ZSMF). After preprocessing, the iris image was decomposed via ZSMF in order to get more exact iris texturefeatures. Experimental results show that the speed of the algorithm is fast and the algorithm is efficient.

Phase transition of cobalt induced by mechanical milling and high pressure and its transition mechanisms were studied. α-Co with the hcp. structure completely transformed to β-Co with the fcc. structure after milling for 60 h due to the stacking fault and local temperature resulted from impact and shear force of steel balls during the milling process. However, the reverse transition from β-Co to α-Co was not observed, even milling up to 120 h.The reverse transition was studied under high pressure, and it was found that pressure can accelerate the transition from β-Co to α-Co, which is due to that this transformation is a diffusionless one and its thermodynamic barrier decreases by pressuring.

Symmetry constraint in quantum dots is discussed. Inherence relation among symmetry constraint, electronic configuration and magic angular momentum is revealed, i.e., highly symmetrical geometry graphs are pursued by the electronic configurations of quantum dots. Owing to the symmetry constraint, only the states having magic angular momentum can get access to the graphs.

A method for synthesizing silicon-doped BN nanotubes through catalyst assisted pyrolysis of Si-B-C-N precursor was reported. Scanning electronic microscopy (SEM) and high transmission electronic microscopy (TEM) observation showed the nanotubes have a special bamboo structure with an open end. In order to study the optical properties of the nanotubes, the photoluminescence (PL) spectrum and Raman spectrum were measured under the excitation of 488 nm laser.

LaCo_13-xAl_x ribbons were made by means of melt spinning technique at an optimum Cu wheel velocity of 30 m/s. Structural and magnetic properties of LaCo_13-xAl_x compounds were investigated by using X-ray diffraction and magnetic measurements. It was found that all the compounds are almost of a single phase with the cubic NaZn₁₃ structure. The lattice parameters increase monotonically with increasing Al content for all the compounds investigated. The saturation magnetization M_s decreases with increasing Al content. LaCo_13-xAl_x compounds are good soft magnetic materials with almost no remanence and coercivity. 

The blue upconversion via Pr³⁺∶Y₂SiO₅ crystals under excitation of 579 nm laser was investigated at room temperature. The upconverted luminescence band at the blue region from 480 nm to 515 nm was obtained with orange laser excitation. The upconversion mechanism was studied by observing the absorption and excitation spectra, the dependence of upconverted luminescence on pump power, and the decay profile of the upconverted luminescence. It was found that the upconverted luminescence was produced by energy transfer upconversion (ETU) process with ¹D₂ as intermediate state.

Effect of hydrogen on unstable austenitic stainless steel was investigated by cathodic hydrogen charging. It was found that hydrogen increased the fault energy of this austenitic stainless steel and caused grain softening. Drawing improved the formation of α′ martensite phase, which increased the embrittlement of the material.

A fully aromatic liquid crystalline polyester (TLCP) was blended with poly(ether ether ketone), PEEK. Random copolymer (RCP) was used as the compatibilizer in the blends. The isothermal crystallization kinetics and morphologies of compatibilized blends were studied with differential scanning calorimetry (DSC） and polar light micrograph (PLM). TLCP acted as a heterogenous nucleation sites to accelerate the crystallization of PEEK. However, PEEK crystallization rate decreased with increasing TLCP fraction. Isothermal crystallization exotherms showed that the addition of RCP showed no significant influence on the crystallization of PEEK in blends. PLM observation showed that it was difficult to discern the single PEEK spherulites.

Myoglobin(Mb)-chitosan-colloidal gold films were made by casting a solution of Mb, chitosan and colloidal gold on glass carbon electrodes. Mb incorporated in chitosancolloidal gold films gave a pair of stable, welldefined, and quasireversible cyclic voltammetric peaks at about -0.20 V(vs.Ag/AgCl) in 0.1 mol/L NaAcHAc buffer (pH=5.4), being the characteristic peaks of the Mb heme Fe(Ⅱ)/Fe(Ⅲ) redox couple. The effects of scan rate, pH and concentration of buffer solutions on the electrochemical behavior of Mb were studied in detail. Position of the Soret absorbance band suggests that Mb in chitosan colloidalgold kept its secondary structure similar to the native states. Oxygen was cata lytically reduced by Mb in chitosancolloidal gold films.

Inductively coupled plasma atomic emission spectrometry (ICPAES) was used to determine the main elements and trace ele ments in sphalerite. Via the investigation of background, matrix element and the chemical element interferences, and adopting the matrix element matching, the interference coefficient correction and the method of inner standard of chemical elements, the instrument work conditions were optimized, the best comprehensive experiment conditions to chemically processing sphalerite samples with HCl-HNO₃ were established. The method of determining cadmium, cobalt, copper, iron, indium, manganese, nickel, lead, zinc in sphalerite with inductively coupled plasma atomic emission spectrometry was verified with the nation one standard material (GBW 07270). This method exhibits the relative error RE(n=8) between 1.22% and 8.47%, the relative standard deviation RSD(n=8) is between 3.43% and 8.59%, and can satisfy the analyticalrequest of the single sphalerite sample.

Polymerase chain reaction （PCR）amplification and sequencing were performed on hypervariable region Ⅰ (HVRⅠ) of mitochondria DNA of twentythree samples of Khitan remains. Twentytwo nucleotide sequences of 364 bp were obtained. These DNA sequences were compared with those of Daur population. Phylogenetic tree of Khitan, Daur and contrasted populations was also constructed. The result shows that the genetic relationship between Khitan and Outer Mongolian is the closest, and the relationship between Khitan and Daur is closer. Both the mutation sites and the mutation rates in the sequences of Khitans are quite different from those of Daurs. The results suggest that Duar is not necessarily the direct descendant of Khi tan although the genetic relationship between Khitan and Daur is close.

The authors selected 9 trace elements as the basis of the dietary analysis. We analyzed 17 appropriate individuals. As we know, the ancient local residents of Jiangjialiang （Yangyuan in Hebei Province, China） were multiplex clusters of the same race, however, we can not find out the distribution rule of physical development among the 17 people. With the researches of archaeology and ancient DNA, the authors think the main food resource of Jiangjialiang residents was vegetal, and the results of research show that there were differences in the manner, type and quantity of assimilating food, or hint they had a difference in dietetical habit because some residents got more carnous food than others.

The amplification capability, the heat tolerance and the ability to long PCR of Tgo DNA polymerase were examined. The results reveal that Tgo DNA polym erase has the same amplification function asTaq enzyme but with a high fidelity. It also has a strong resistance to heat. Its amplification function would not be notably affected at 95 ℃ for 40 min. Via the recombinant enzyme, the 5.3　kb segment of Timeless gene was successfully amplified from Arabidopsis under the general conditions of PCR.

An optimized protocol was reported with special attention focused on the wholecell protein analyses based on twodimensional gel electrophoresis (2DE) and Arabidopsis as material. The optimization included sample preparation, electrophoresis conditions, gel staining, protein spots resolution and reproducibility. The results indicate that in combination with highvoltage and longrunning time in IEF, the precipitation of proteins with ammonium acetate/methanol method will give rise to satisfactory 2DE image. The maximal detectable protein spots were estimated to be more than 1 000 under silver staining. This protocol may be applicable to other plant materials for 2DE studies. 

High output of the lactate dehydrogenase （LDH） from lactobacillus plantarum RS22 was achieved after optimization of the fermentation conditions and magnified experiment was carried out on 25 L fermentor. The LDH activity of cell extraction reached to 24.6　U/mg. Purification of the LDH was also studied by means of DEAE ionexchange and hydrophobic chromatography, which resulted in 49.1fold purification and 1　208.6　U/mg specific activity. The routine of LDH separation was primarily determined.

The adsorption rule of Pb²⁺； and Cd²⁺ onto immobilized dominating bacteria in natural water was studied. The results show that the adsorption dynamic process of the heavy metals onto immobilized bacteria includes a fast stage and a slow stage； the latter conforms to secondlevel adsorption rate equation. The Elovich model and the rate model with two constants cannot describe the dynamics process of the Pb²⁺；adsorption onto immobilized bacteria, but can describe the Cd²⁺ adsorption very well. The Henry model can describe the thermodynamics process of heavy metal adsorption, and the affinity for Pb²⁺； is stronger than for Cd²⁺.

Before and after the treatment of high pressures ranged from 40~160 MPa, the p hysiological and biochemical characters and the flocculating activity of the metabolites of bioflocculantproducing compound bacterium were investigated. The results suggest that high pressures partly impacted the physiological and biochemical characters but had significant effects on the morphology. Furthermore the flocculating activity of bacterium No.2 had an obvious threshold of pressure, its ratio of flocculation was 60.9% at 70 MPa, but that of bioflocculantproducing compound bacterium changed little. The ratios of flocculation were all above 95% under various pressures.