检索结果-南通市图书馆

MULTIVARIATE FOURIER SERIES OVER A CLASS OF NON TENSOR-PRODUCT PARTITION DOMAINS

在线全文

学校读者我要写书评

暂无评论

Journal of Computational Mathematics 2003年第1期21卷 53-62页

作者： Jiachang Sun(Parallel Computing Division, institute of software, {2. Academy of {3., beijing 100080, china) Parallel Computing Division Institute of Software Chinese Academy of Sciences 北京 100080

This paper finds a way to extend the well-known Fourier methods, to so-called n+1 directions partition domains in n-dimension. In particular, in 2.D and 3.D cases, we study Fourier methods over 3.direction parallel hexagon partitions and 4-direction parallel parallelogram dodecahedron partitions, respectively. It has pointed that, the most concepts and results of Fourier methods on tensor-product case, such as periodicity,orthogonality of Fourier basis system, partial sum of Fourier series and its approximation behavior, can be moved on the new non tensor-product partition case.

关键词： Multivariate Fourier methods Non tensor-product partitions Multivariate Fourier series

A formal model of fair exchange protocols

在线全文

学校读者我要写书评

暂无评论

Science in china(Series F) 2005年第4期48卷 499-512页

作者： QING Sihan1,2.3.& LI Gaicheng1,2.3.1. Engineering Research Center for Information Security Technology, {2. of software, chinese Aca- demy of {3., beijing 100080, china 2. beijing Zhongke Ansheng Corporation of Information Technology, beijing 100080, china 3. Graduate School of the chinese Academy of {3., beijing 10003., china Engineering Research Center for Information Security Technology Institute of Software Chinese Academy of Sciences Beijing China beijing Zhongke Ansheng Corporation of Information Technology Beijing China Graduate School of the chinese Academy of sciences Beijing China

Based on the study of existing fair exchange protocols, this paper sets up an accurate formal model by stepwise refinement. In the process of refinement an unreliable channel is employed to simulate an attack behavior. The model provides a novel formal definition of exchanged items, and presents the formal goals for fairness, accountability, etc., reflecting the inherent requirements for fair exchange protocols across-the-board. In order to check, prove, and design fair exchange protocols effectively and efficiently, the model puts forward a novel property of abuse-freeness which applies to all fair exchange protocols, gives a formal definition for trust strand of the third party, and presents general criteria of designing a secure and effective fair exchange protocol. Taking a typical fair exchange protocol as an example, this paper presents the analysis steps of fair exchange protocols appealing to our model. An unknown attack is uncovered. The analysis reveals the process of a complete attack, discovering deeper reasons for causing an attack. Finally, we modify the flawed protocol and the revised protocol ensures the desirable properties.

关键词： events local causal relation local temporal relation global relation exchanged item security goals.

Formal analysis and design of multi-party fair exchange protocols

在线全文

学校读者我要写书评

暂无评论

Science in china(Series F) 2006年第2期49卷 155-174页

作者： QING Sihan1,2.3.& LI Gaicheng1,3.1. Engineering Research Center for Information Security Technology, {2. of software, chinese Academy of {3., beijing 100080, china 2. beijing Zhongke Ansheng Corporation of Information Technology, beijing 100080, china 3. Graduate School of the chinese Academy of {3., beijing 10003., china Engineering Research Center for Information Security Technology Institute of Software Chinese Academy of Sciences Beijing China beijing Zhongke Ansheng Corporation of Information Technology Beijing China Graduate School of the chinese Academy of sciences Beijing China

Based on the origin of message items and channel combination between transacting parties, and events and relations among events, this paper presents a concise, precise, and hierarchical model for general fair exchange protocols, formally specifies various security requirements which are able to reflect inherent requirements for fair exchange protocols more rigorously, and partition these security requirements with fine granularity. This work helps analyze, debug, and design multi-party fair exchange protocols more effectively and elaborately,

关键词： fair exchange logical protocol formal model security requirement.

software Engineering Technology for the 2.^(st) Century

在线全文

学校读者我要写书评

暂无评论

Wuhan University Journal of Natural sciences 2001年第Z1期6卷 152-158页

作者： Cheng Hu institute of software, {2. Academy of {3. beijing 100080, china institute of software Chinese Academy of Sciences Beijing China

In this paper we will discuss the software engineering technology for the 2. st century. First we review development over the last half century, overview application requirement and environment, accept a challenge. Then we outline following software engineering techniques: 1) Process;2. Analysis;{2. Design;4) UML;5) Component;6) Java +XML;7) Integrated;8) Quality(ISO9000&CMM).

关键词： software engineering object oriented component Java UML CMM ISO9000

A mixed method for measuring low-frequency acoustic properties of macromolecular materials

在线全文

学校读者我要写书评

暂无评论

Science china(Physics,Mechanics & Astronomy) 2006年第6期49卷 729-739页

作者： LIU Hongwei1,YAO Lei1,3.ZHAO Hong1,3.ZHANG Jichuan2.3.& XUE Zhaohong2.1. National Key Laboratory of Acoustics,institute of Acoustics,chinese Academy of sciences,{3. 100080,china 2. institute of Chemistry,chinese Academy of sciences,{3. 100080,china 3. Graduate University of chinese Academy of sciences,{3. 100049,china National Key Laboratory of Acoustics Institute of Acoustics Chinese Academy of Sciences Beijing China Graduate University of chinese Academy of sciences Beijing China institute of Chemistry Chinese Academy of Sciences Beijing China

A mixed method for measuring low-frequency acoustic properties of macro-molecular materials is presented. The dynamic mechanical parameters of materials are first measured by using Dynamic Mechanical Thermal Apparatus(DMTA) at low frequen-cies,usually less than 100 Hz; then based on the Principles of Time-Temperature Super-position (TTS),these parameters are extended to the frequency range that acousticians are concerned about,usually from hundreds to thousands of hertz; finally the extended dynamic mechanical parameters are transformed into acoustic parameters with the help of acoustic measurement and inverse analysis. To test the feasibility and accuracy,we measure a kind of rubber sample in DMTA and acquire the basic acoustic parameters of the sample by using this method. While applying the basic parameters to calculating characteristics of the sample in acoustic pipe,a reasonable agreement of sound absorp-tion coefficients is obtained between the calculations and measurements in the acoustic pipe.

关键词： low-frequency acoustic properties,dynamic mechanical properties,Principles of Time-Temperature Superposition,acoustic pipe,sound absorption coefficient.

Modeling of elastic wave propagation on a curved free surface using an improved finite-difference algorithm

在线全文

学校读者我要写书评

暂无评论

Science china(Physics,Mechanics & Astronomy) 2004年第5期47卷 633-648页

作者： WANG Xiuming1,3.& ZHANG Hailan2.1. CSIRO Petroleum, ARRC, PO BOX 113., Technology Park, Bentley, WA 6102. Australia 2. {2. of Acoustics, chinese Academy of sciences,{3., china 3. Present address: {2. of Acoustics, chinese Academy of sciences,{3., china CSIRO Petroleum ARRC Bentley Australia institute of Acoustics Chinese Academy of Sciences Beijing China

Based on existing direct and imaging methods of a staggered finite-difference scheme, an improved algorithm for staggered finite-difference is proposed to implement rugged topographic free boundary conditions. This method assumes that the free surface can be implemented with horizontal and vertical free surface segments and their corners; the free surface passes through the grid points of shear stress components, instead of the normal stress components. Imaging is carried out for stress components in both horizontal and vertical directions, thus increasing the accuracy. To update particle- velocities, imaging and updating are first performed in the horizontal direction, and then in the vertical direction. The numerical results for elastic flat horizontal free surface with the imaging method and those for flat free surfaces of various slope angles with the proposed method are compared, and are shown to be in good agreement. The advantage of the proposed method is that only the stresses are dealt with in implementing the free surface into the staggered algorithm, which improves computation efficiency.

关键词： elastic wave simulation, curved free surface, staggered finite-difference, algorithm stability.

^(40)Ar/^(3.)Ar dating of shear deformation of the Xianshuihe fault zone in west Sichuan and its tectonic significance

在线全文

学校读者我要写书评

暂无评论

Science china Earth sciences 2004年第9期47卷 794-803页

作者： ZHANG Yueqiao1, CHEN Wen2. 3.& YANG Nong1 1. institute of Geomechanics, {2. Academy of Geological sciences, {3. 100081, china 2. institute of Geology, {2. Academy of Geological sciences, {3. 10003., china 3. institute of Geology and Geophysics, {2. Academy of sciences, {3. 10002., china institute of Geomechanics Chinese Academy of Geological Sciences Beijing China institute of Geology Chinese Academy of Geological Sciences Beijing China institute of Geology and Geophysics Chinese Academy of Sciences Beijing China

Based on field geological survey, structural measurements and classical Ar/Ar dating of mica, biotite and K-feldspar, we obtain cooling ages for Miocene left-lateral shear along the Xianshuihe fault zone. The results document two thermal events during the sinistral shear. The early event (12.10 Ma) corresponds to rapid cooling of the Zheduoshan granitic massif from above 700℃ to below 3.0℃. The late event (5-3.5 Ma) corresponds to cooling of granites intruded along the eastern side of the fault zone. These dating results provide important thermochronological constraint on the timing of late Cenozoic eastward extrusion of the Chuan-Dian Block in the SE Tibetan margin.

关键词： Xianshuihe fault zone, Zheduoshan granitic massif, sinistral shear deformation, 40Ar/3.Ar dating, late Cenozoic.

Compression behavior of Zr_(41)Ti_(14)Cu_(12.5)Ni_(10)Be_(2..5) bulk metallic glass up to 2. GPa

在线全文

学校读者我要写书评

暂无评论

Science china(Physics,Mechanics & Astronomy) 2005年第3期48卷 319-324页

作者： LI Gong 1, 2., ZHAN Zaiji 2., LIU Jing 3., YUN Jinku 1 , SUN Liling 2., LIU Riping 1 , ZHANG Jun 2.& WANG Wenkui 1, 2.1. Key Laboratory of Metastable Materials Science and Technology, Yanshan University, Qinhuangdao 066004, china 2. Center for Condensed Matter Physics, {2. of Physics, chinese Academy of {3., beijing 100080, china 3. BSRF, {2. of High Energy Physics, chinese Academy of {3., beijing 10003., china Key Laboratory of Metastable Materials Science and Technology Yanshan University Qinhuangdao China Center for Condensed Matter Physics Institute of Physics Chinese Academy of Sciences Beijing China BSRF Institute of High Energy Physics Chinese Academy of Sciences Beijing China

The compression of a Zr41Ti14Cu12.5Ni10Be2..5 bulk metallic glass (BMG) is investigated at room temperature up to 2. GPa using in-situ high pressure energy dispersive X-ray diffraction with a synchrotron radiation source. The pressure-induced structural relaxation is exhibited. It is found that below about 8 GPa, the existence of excess free volume contributes to the rapid structural relaxation, which gives rise to the rapid volumetric change, and the structural relaxation results in the structural stiffness under higher pressure.

关键词： bulk metallic glass, high pressure, structural relaxation, synchrotron radiation.

A note on the tree decompositions of graphs

在线全文

学校读者我要写书评

暂无评论

chinese Science Bulletin 1997年第23期42卷 1948-1952页

作者： SHI Minyonginstitute of software, {2. Academy of {3., beijing 100080, china institute of software Chinese Academy of Sciences Beijing China

IN this note all graphs are undirected, finite and simple. For a subgraph H of G,ε（H） andμ（H） denote the number of edges in H and the number of cycles in H respectively. H[X]denotes the subgraph of H induced by X. Given two disjoint subsets X and Y of V（G）, wewrite EG（X, Y）={xy∈E（G）|x∈X, y∈Y}. Sometimes EG（H, Y）=EG（V（H）,Y） is used for a subgraph H of G-Y. If T is a tree of G and e=uv∈G-E（T）with{u,v}V（T）, then T + e contains a unique cycle, denoted by C（T, e）.A tree-decomposition {T1, T2./sub>, …, Tk} of a graph G is a partition of E （G）, say,E（G）=E1 U E2./sub> U…U Ek, such that for each i with 1≤i≤k, Ti=G[Ei] is a tree.

关键词： tree decomposition singular vertex maximal planar bipartite graph.