检索结果-南通市图书馆

Mechanism and Defense on Malicious Code

在线全文

学校读者我要写书评

暂无评论

Wuhan university Journal of Natural sciences 2005年第1期10卷 83-88页

作者： WEN Wei-ping 1,2,3, QING Si-han 1,2,31. Institute of Software, the chinese academy of sciences, beijing 100080, china 2.Engineering Research Center for Information Security Technology, the chinese academy of sciences, beijing 100080, china 3.graduate School of the chinese academy of sciences, beijing 100080, china Institute of Software the Chinese Academy of Sciences Beijing China Engineering Research Center for Information Security Technology the Chinese Academy of Sciences Beijing China graduate School of the chinese academy of sciences Beijing China

With the explosive growth of network applications, the threat of the malicious code against network security becomes increasingly serious. In this paper we explore the mechanism of the malicious code by giving an attack model of the malicious code, and discuss the critical techniques of implementation and prevention against the malicious code. The remaining problems and emerging trends in this area are also addressed in the paper.

关键词： malicious code attacking model mechanism defense system security network security

Transformations and non-degenerate maps

在线全文

学校读者我要写书评

暂无评论

Science china Mathematics 2005年第Z1期48卷 195-205页

作者： LI Baokui & WANG Yuefei Institute of Mathematics, academy of Mathematics and System sciences, chinese academy of sciences, beijing 100080, china graduate School, chinese academy of sciences, beijing 100080, china Institute of Mathematics Academy of Mathematics and System Sciences Chinese Academy of Sciences Beijing China graduate School Chinese Academy of Sciences Beijing China

We shall prove the equivalences of a non-degenerate circle-preserving map and a M(o)bius transformation in ^Rn, of a non-degenerate geodesic-preserving map and an isometry in Hn of a non-degenerate line-preserving map and an affine transformation in Rn. That a map is non-degenerate means that the image of the whole space under the map is not a circle, or geodesic or line respectively. These results hold without either injective or surjective, or even continuous assumptions, which are new and of a fundamental nature in geometry.

关键词： M(o)bius transformation, circle-preserving map, non-degenerate map.

Review on the study of entanglement in quantum computation speedup

在线全文

学校读者我要写书评

暂无评论

chinese Science Bulletin 2007年第16期52卷 2161-2166页

作者： DING ShengChao1,3 & JIN Zhi1,2,1 Institute of Computing Technology,chinese academy of sciences,beijing 100080,china 2 academy of Mathematics and Systems Science,chinese academy of sciences,beijing 100080,china 3.graduate university of chinese academy of sciences,beijing 100080,china Institute of Computing Technology Chinese Academy of Sciences Beijing China graduate university of chinese academy of sciences Beijing China academy of Mathematics and Systems Science Chinese Academy of Sciences Beijing China

The role the quantum entanglement plays in quantum computation speedup has been widely disputed. Some believe that quantum computation's speedup over classical computation is impossible if entan-glement is absent,while others claim that the presence of entanglement is not a necessary condition for some quantum algorithms. This paper discusses this problem systematically. Simulating quantum computation with classical resources is analyzed and entanglement in known algorithms is reviewed. It is concluded that the presence of entanglement is a necessary but not sufficient condition in the pure state or pseudo-pure state quantum computation speedup. The case with the mixed state remains open. Further work on quantum computation will benefit from the presented results.

关键词：量子论量子纠缠量子计算加速模拟

A new approach of cascade utilization of the chemical energy of fuel

在线全文

学校读者我要写书评

暂无评论

Progress in Natural Science:Materials International 2006年第5期16卷 518-523页

作者： HAN Wei, JIN Hongguang and LIN Rumou ( Institute of Engineering Thermophysics, chinese academy of sciences, beijing 100080, china graduate School of the chinese academy of sciences, beijing 100080, china) Institute of Engineering Thermophysics Chinese Academy of Sciences Beijing 100080 China graduate School of the chinese academy of sciences Beijing 100080 China

The indirect release of chemical energy of fuel is investigated, and a new mechanism is proposed to identify the cascade utilization of chemical energy of fuel more clearly. Based on the concept of energy level, the internal phenomenon of the indirect chemical energy release is disclosed, and the equations of energy level describing the utilization of chemical energy and thermal energy during the indirect chemical energy release process are obtained. From theoretical analysis, we find that the superiority of the indirect chemical energy release of fuel comes from the cascade utilization of the fuel's chemical energy. Moreover, the cascade utilization of chemical energy is verified by the investigation of CRGT (chemically recuperated gas turbine). As a result, the thermal exergy obtained from the chemical energy release of fuel increases by 2 % -3 % . The results obtained here may help a deeper understanding of indirect chemical energy release of fuel and provide a theoretical basis for the synthesis of innovative energy systems.

关键词： chemically recuperated gas turbine methane/steam reforming chemical energy level cascade utilization.

Recent advances in the data analysis method of functional magnetic resonance imaging and its applications in neuroimaging

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

Progress in Natural Science:Materials International 2006年第8期16卷 785-795页

作者： TIAN Jie, YANG Lei and HU Jin (Institute of Automation, chinese academy of sciences, beijing 100080, china graduate School of chinese academy of sciences, beijing 100039, china) Institute of Automation Chinese Academy of Sciences Beijing 100080 China graduate School of chinese academy of sciences Beijing 100039 China

Functional magnetic resonance imaging (fMRI) has opened a new area to explore the human brain. The fMRI can reveal the deep insights of spatial and temporal changes underlying a broad range of brain function, such as motor, vision, memory and emotion, all of which are helpful in the clinical investigation. In this paper, we introduce some recent-developed algorithms for fMRI signal detection such as model-driven method (general linear model, deconvolution model, non-linear model, etc. ) and data-driven method (principle component analysis, independent component analysis, self-organization mapping, clustered constrained non-negative matrix factorization, etc. ). We also propose several important applications of neuroimaging and point out their shortcomings and future perspectives.

关键词： fMR1 data analysis neuroimaging.

Modeling and verifying Web services driven by requirements:An ontology-based approach

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

Science in china(Series F) 2006年第6期49卷 792-820页

作者： HOU Lishan1,3,JIN ZHi1,2 & WU Budan1,4 1. academy of Mathematics and Systems Science, chinese academy of sciences, beijing 100080, china 2. Institute of Computing Technology, chinese academy of sciences, beijing 100080, china 3. Institute of Software, chinese academy of sciences, beijing 100080, china 4. graduate university of chinese academy of sciences, beijing 100049, china academy of Mathematics and Systems Science Chinese Academy of Sciences Beijing China Institute of Software Chinese Academy of Sciences Beijing China Institute of Computing Technology Chinese Academy of Sciences Bejing China graduate university of chinese academy of sciences Beijing China

Automatic discovery and composition of Web services is an important research area in Web service technology, in which the specification of Web services is a key issue. This paper presents a Web service capability description framework based on the environment ontology. This framework depicts Web services capability in two aspects： the operable environment and the environment changes resulting from behaviors of the Web service. On the basis of the framework, a requirement-driven Web service composition model has been constructed. This paper brings forward the formalization of Web service interactions with π calculus. And an automatic mechanism converting conceptual capability description to the formal process expression has been built. This kind of formal specification assists in verifying whether the composite Web service model matches the requirement.

关键词： Web service environment ontology automatic composition π calculus formal verification.

ON THE CENTRAL RELAXING SCHEME Ⅱ: SYSTEMS OF HYPERBOLIC CONSERVATION LAWS

在线全文

学校读者我要写书评

暂无评论

Journal of Computational Mathematics 2001年第6期19卷 571-582页

作者： Hua-zhong Tang (School of Mathematical sciences, Peking university, beijing 100871, china) (LSEC,ICMSEC academy of Mathematics and Systems sciences, chinese academy of sciences, beijing 100080, china) School of Mathematical sciences Peking University Beijing 100871 China

This paper continues to study the central relaxing schemes for system of hyperbolic conservation laws, based on the local relaxation approximation. Two classes of relaxing systems with stiff source term are introduced to approximate system of conservation laws in curvilinear coordinates. Based on them, the semi-implicit relaxing schemes are con- structed as in [6, 12] without using any linear or nonlinear Riemann solvers. Numerical experiments for one-dimensional and two-dimensional problems are presented to demon- strate the performance and resolution of the current schemes.

关键词： Hyperbolic conservation laws The relaxing system The central relaxing schemes The Euler equations.

Mass Spectrometric Evidence of Heparin Disaccharides for the Catalytic Characterization of A Novel Endolytic Heparinase

在线全文

学校读者我要写书评

暂无评论

Acta Biochimica et Biophysica Sinica 2004年第12期36卷 840-844页

作者： Yapeng CHAO1,3, Shaoxiang XIONG2, Xiulan CHENG1, and Shijun QIAN1* 1Institute of Microbiology, chinese academy of sciences, beijing 100080, china 2Center of Mass Spectrometry, Institute of Chemistry, chinese academy of sciences, beijing 100080, china 3graduate School of the chinese academy of sciences, beijing 100039, china Institute of Microbiology Chinese Academy of SciencesBeijing 100080 China graduate School of the chinese academy of sciencesbeijing 100039 China Center of Mass Spectrometry Institute of Chemistry Chinese Academy of SciencesBeijing 100080 China

Heparinase from different sources can eliminate heparin or/and heparan sulfate into various low-molecular weight heparins with different characteristics. Porcine intestinal mucosa heparin was de- graded into a series of oligosaccharides by a novel heparinase from the species Sphingobacterium. Disaccha- ride components from the digests were separated and purified by ultrafiltration and HPLC. Five major peaks appeared as three types according to their retention time. The mass spectrometry of peak I mainly gave the non-sulfated disaccharide with the mass of 379 Da. Peak II and III were indicated as two major monosulfated disaccharides with molecular mass of 417 and 459 Da respectively. Moreover, the peak III represented an N- acetyl disaccharide. Both peak IV and V showed the same mass of 496 Da, hinting that they were disulfate- substituted disaccharides. No trisulfate-substituted disaccharides were detected in the mixture of the heparin digest though they were abundant in the heparin structure. The results revealed that the heparinase might specifically cut the sites with low sulfated domain in heparin.

关键词： electrospray ionization-mass spectrometry heparin disaccharides heparinase high perfor- mance liquid chromatography Sphingobacterium sp.

Applications of URANS on predicting unsteady turbulent separated flows

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

Acta Mechanica Sinica 2009年第3期25卷 319-324页

作者： Jinglei Xu Huiyang Ma Department of Physics, graduate university of the chinese academy of sciences, 100049 beijing, china Department of Physics Graduate University of the Chinese Academy of Sciences Beijing China

Accurate prediction of unsteady separated turbulent flows remains one of the toughest tasks and a practi cal challenge for turbulence modeling. In this paper, a 2D flow past a circular cylinder at Reynolds number 3,900 is numerically investigated by using the technique of unsteady RANS （URANS）. Some typical linear and nonlinear eddy viscosity turbulence models （LEVM and NLEVM） and a quadratic explicit algebraic stress model （EASM） are evaluated. Numerical results have shown that a high-performance cubic NLEVM, such as CLS, are superior to the others in simulating turbulent separated flows with unsteady vortex shedding.

关键词： URANS Nonlinear eddy viscosity turbulencemodel ,Separated flows Circular cylinder