Design of new biomedical titanium alloy based on d-electron alloy design theory and JMatPro software

A new kind offl biomedical titanium alloy, Ti-35Nb-4Sn-6Mo-9Zr, composed of non-toxic elements Nb, Mo, Zr and Sn with lower elastic modulus and higher strength was designed based on d-electron alloy design theory and JMatPro software using orthogonal experiment. The microstructure and basic mechanical properties of designed alloy were investigated. The results show that the alloy is composed of single fl equiaxed grains after solution treatment at 800 ~C. Compared with Ti-6A1-4V, the mechanical properties of the designed alloy are more excellent： E=65 GPa, σb=834 MPa, σ0.2=802 MPa, and σ=11%, which is expected to become a promising new type implanted material. The research approach adopted can reduce the experimental time and cost effectively, and get the ideal experimental results.

《散文创作论》出版

我校中文系副教授、写作教研室主任、四川省写作学会副会长范昌灼的专著《散文创作论》已由四川大学出版社出版。 该书是作者多年来散文教学、研究、评论与创作体会的结成,凡21余万字。全书对散文的地位、源流、作用、概念,散文创作的过程、技巧,各类具体散文样式的特异性和写作等问题,在较高的层次上进行了系统的辨说。著者立足于“求实”,主要着眼于散文领域内的理论、知识性阐述。

Prediction of Breakdown Voltage of Asymmetric Linearly-Graded Junction by Equivalent Doping Profile Transformation Method

This report describes an equivalent doping profile transformation method with which the avalanche breakdown voltage of the asymmetric linearly graded junction was analytically predicted.The maximum breakdown voltage and the different depletion layer extension on the diffused side and substrate side are demonstrated in the report.The report shows the equivalent doping profile method is valid to predict the breakdown voltage of the complex P N junction.The analytical results agree with the experimental breakdown voltage in comparison with the abrupt junction and symmetric linearly graded junction approximations.

台商对祖国大陆投资大幅增长

去年台商投资祖国大陆大幅增长.据统计,经台湾“投审会”核准的赴大陆投资案共达728件(不合补办手续案件),较前年增加了90.8%,投资金额为16.1亿多美元。

Dynamic software allocation algorithm for saving power in pervasive computing

A novel dynamic software allocation algorithm suitable for pervasive computing environments is proposed to minimize power consumption of mobile devices. Considering the power cost incurred by the computation, communication and migration of software components, a power consumption model of component assignments between a mobile device and a server is set up. Also, the mobility of components and the mobility relationships between components are taken into account in software allocation. By using network flow theory, the optimization problem of power conservation is transformed into the optimal bipartition problem of a flow network which can be partitioned by the max-flow rain-cut algorithm. Simulation results show that the proposed algorithm can save si^nificantlv more energy than existing algorithms.

Ciona intestinalis as an emerging model organism: its regeneration under controlled conditions and methodology for egg dechorionation

The ascidian Ciona intestinalis is a model organism of developmental and evolutionary biology and may provide orucial clues concerning two fundamental matters, namely, how chordates originated from the putative deuterostome ancestor and how advanced chordates originated from the simplest chordates. In this paper, a whole-life-span culture of C. intestinalis was conducted. Fed with the diet combination of dry Spirulina, egg yolk, Dicrateria sp., edible yeast and weaning diet for shrimp, C. intestinalis grew up to average 59 mm and matured after 60 d cultivation. This culture process could be repeated using the artificially cultured mature ascidians as material. When the fertilized eggs were maintained under 10, 15, 20, 25 ℃, they hatched within 30 h, 22 h, 16 h and 12 h 50 min respectively experiencing cleavage, blastulation, gastrulation, neurulation, tailbud stage and tadpole stage, The tadpole larvae were characterized as typical but simplified chordates because of their dorsal nerve cord, notochord and primordial brain. After 8-24 h freely swimming, the tadpole larvae settled on the substrates and metamorphosized within 1-2 d into filter feeding sessile juvenile ascidians. In addition, unfertilized eggs were successfully dechorionated in filtered seawater containing 1% Tripsin, 0.25% EDTA at pH of 10.5 within 40 min. After fertilization, the dechorionated eggs developed well and hatched at normal hatching rate. In conclusion, this paper presented feasible methodology for rearing the tadpole larvae of C. intestinalis into sexual maturity under controlled conditions and detailed observations on the embryogenesis of the laboratory cultured ascidians, which will facilitate developmental and genetic research using this model system.

A Review of Interaction Between Neon Flying Squid(Ommastrephes bartramii) and Oceanographic Variability in the North Pacific Ocean

The neon flying squid （Ommastrephes bartramii） is a short-lived opporttmistic species widely distributed in subtropical and temperate waters in the North Pacific Ocean. The life cycle of O. bartramii from planktonic eggs to nektonic adults is closely linked to oceanographic conditions. The fluctuations in O. bartramii abundance and distribution tend to increase and widen continu- ously due to the heavy influences of ocean-climate events on various spatio-temporal scales. In this study, we reviewed the interac- tion between O. bartramii and oceanography variability in the North Pacific with respect to large-scale climatic-oceanic phenomena including E1 Nifio, La Nifia, Kuroshio, Oyashio and Pacific Decadal Oscillation （PDO）, as well as regional environmental variables such as sea surface temperature （SST）, sea surface height （SSH）, sea surface salinity （SSS）, chlorophyll-a （Chl-a） concentration, and plankton density. The population dynamics of O. bartramii is mediated mainly by meso- and large-scale climatic-oceanic events （e.g., Kuroshio and Oyashio Currents） rather than other local environmental conditions （e.g., SST and Chl-a concentration）, because all of the oceanographic influences are imposed on the context of large-scale climate changes （e.g., PDO）. An unstructured-grid finite- volume coastal ocean model coupled with an individual-based model is proposed to simulate relevant physical-biological oceano- graphic processes for identifying ocean-climate influence and predicting O. bartramii distribution and abundance in the North Pacific. Future research needs to be focused on improving the knowledge about early life history of O. bartramii and evaluating the relation- ship between marine physical environment and two separate passive drifting life stages of O. bartramii including free-floating eggs and planktonic paralarvae.

Towards a Formalized Ontology-Based Requirements Model

The goal of this paper is to take a further step towards an ontological approach for representing requirements information. The motivation for ontologies was discussed. The definitions of ontology and requirements ontology were given. Then, it presented a collection of informal terms, including four subject areas. It also discussed the formalization process of ontology. The underlying meta-ontology was determined, and the formalized requirements ontology was analyzed. This formal ontology is built to serve as a basis for requirements model. Finally, the implementation of software system was given.

Inhomogeneous Bulk Viscous Fluid Universe with Electromagnetic Field and Variable A-Term

Cylindrically symmetric inhomogeneous cosmological model for bulk viscous fluid distribution with electro- magnetic field is obtained. The source of the magnetic field is due to an electric current produced along the z-axis. F12 is the non-vanishing component of electromagnetic field tensor. To get the deterministic solution, it has been assumed that the expansion 0 in the model is proportional to the shear σ. The values of cosmological constant for these models are found to be small and positive at late time, which are consistent with the results from recent supernovae Ia observations. Physical and geometric aspects of the models are also discussed in presence and absence of magnetic field.

AN EFFICIENT APPROACH TO COMMENT SPAM IDENTIFICATION

This paper proposes a novel approach to comment spam identification based on content analysis. Three main features including the number of links, content repetitiveness, and text similarity are used for comment spam identification. In practice, content repetitiveness is determined by the length and frequency of the longest common substring. Furthermore, text similarity is calculated using vector space model. The precisions of preliminary experiments on comment spam identification conducted on Chinese and English are as high as 93% and 82% respectively. The results show the validity and language independency of this approach. Compared with conventional spam filtering approaches, our method requires no training, no rule sets and no link relationships. The proposed approach can also deal with new comments as well as existing comments.

Noetherian Skew Group Rings of F.C Groups

Let R ＊θ G be the skew group ring with a F.C group G and the group homomrphism 8 from G to Aut（R）, the group of automorphisms of the ring R. In this paper,the necessary and sufficient condition such that R ＊θ G will be Noetherian is given, which generalizes the results of LG. connel.

Effect of the computer fuzzy control on coal seam injection

To enhance the technology and efficiency of strata injection is a problem to be solved urgently. Because of effected by the rough and poor production conditions of mining and the changeable bearing condition of strata, the technological process of injection can not be controlled automatically.The fuzzy controlling technology of the coal strata injection is applied. This is the good way to ensure the effectiveness and efficiency of coal strata injection and to solve the current problems of production and safety in mining industry.

Unified semi-analytical solution for elastic-plastic stress of deep circular hydraulic tunnel with support yielding

A unified semi-analytical solution is presented for elastic-plastic stress of a deep circular hydraulic tunnel with support yielding under plane strain conditions.The rock mass is assumed to be elastic-perfectly plastic and governed by the unified strength theory (UST).Different major principal stresses in different engineering situations and different support yielding conditions are both considered.The unified solution obtained in this work is a series of results,rather than one specific solution,hence it is suitable for a wide range of rock masses.In addition,parametric study is conducted to investigate the effect of intermediate principal stress.The result shows the major principal stress should be rationally chosen according to different engineering conditions.Finally,the applicability of the unified solution is discussed according to the critical pressures.

A novel finite element model for single-layered wire strand

A new finite element model for single-layered strand was investigated for accurate and efficient mechanical behavior analysis.Mathematical model was created by sectional path-nodes sweeping and dynamic node-beam mapping.Geometric relations between nodes in center core wire and helical wires were deduced in tension and bending incorporating material elasticity theory and deformation geometrical compatibility.Based on Timoshenko beam theory,strand of a pitch length was modeled with specific material,geometric parameters and synthesized constraint equations defined in ANSYS software,and predetermined load cases were performed.The obtained results show that discrepancies between suggested method and Costello theory do not exceed 1.51% in tension and 6.21% in bending,which verifies the correctness and accuracy of the suggested finite element model in predicting mechanical behavior of single-layered wire strand.

Origin of Symmetry Breaking and Confinement in Conducting Polymers with Ring Structures

A model to describe the main features of conjugated polymers with ring structures, such as polythiophene and polypyrrole, is constructed. It is shown that the origin of the symmetry breaking and confinement of a soliton and anti-soliton pair is branch hopping in the polymer rings.

Understanding IT Artefacts with Language

Every day we experience relationships with artefacts, which describe material objects made by humans in order to reach a goal and exploit the human feature to plan ahead. Artefacts bring together cognitive evolution and technical enhancement. Although artefacts are conceived as technical, we are now facing a relationship with Information Technology （IT） artefacts. IT artefacts include both hardware and software, as a two-sided entity. The definition of IT artefact corresponds with the Saussurean linguistic sign： a two-sided entity constituted by the signifier （hardware） and the signified （software）. I claim that IT artefacts share this ontological trait with the linguistic sign. I will show that IT artefacts are the result of design and planning, while language--which is an institution--is not the fabrication of one human but linked to collective human activity.

Some Sufficient Conditions of a Solvable Group

A subgroup H of a group G is called semipermutable if it is permutable with every subgroup K of G with （｜H｜, ｜K｜） = 1, and s-semipermutable if it is permutable with every Sylow p-subgroup of G with （p, ｜H｜） = 1. In this paper, some sufficient conditions for a group to be solvable are obtained in terms of s-semipermutability.

Critical point quantities and integrability conditions for a class of quintic systems

For a class of quintic systems, the first 16 critical point quantities are obtained by computer algebraic system Mathematica, and the necessary and sufficient conditions that there exists an exact integral in a neighborhood of the origin are also given. The technique employed is essentially different from usual ones. The recursive formula for computation of critical point quantities is linear and then avoids complex integral operations. Some results show an interesting contrast with the related results on quadratic systems.

An Extended Ontology Model and Ontology Checking Based on Description Logics

Ontology is defined as an explicit specification of a conceptualization. In this paper, an extended ontology model was constructed using description logics, which is a 5-tuples including term set, individual set, term definition set, instantiation assertion set and term restriction set. Based on the extended model, the issue on ontology checking was studied with the conclusion that the four kinds of term checking, including term satisfiability checking, term subsumption checking, term equivalence checking and term disjointness checking, can be reduced to the satisfiability checking, and satisfiability checking can be transformed into instantiation consistence checking.

Analysis on activation laws caused by coal mining in fault footwall and its criterion

The system research aimed at activation laws caused by coal mining in fault footwall based on the rock strata me- chanics theory in this paper. According to the three-belt characteristics of overlying strata above mined-out area, the fault acti- vation effect was divided into the following three periods： the initial activation, the excessive activation and the ultimate activation. Corresponding activation criterion was also deduced by the mechanics theory. Results of engineering example and numerical analysis show that the activation criterion can reflect the activation laws of fault caused by coal mining.