检索结果-南通市图书馆

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, institute of Software, Chinese Academy of Sciences, beijing 100080, {2. 2. {3. Zhongke Ansheng Corporation of Information Technology, beijing 100080, {2. 3. Graduate School of the Chinese Academy of Sciences, {3. 10003., {2. 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.

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. {2. of Computing Technology, Chinese Academy of Sciences, beijing 100080, china 3. {2. 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.

Effect of rock mass structure and block size on the slope stability——Physical modeling and discrete element simulation

在线全文

学校读者我要写书评

暂无评论

Science china(Technological Sciences) 2005年第Z1期48卷 1-17页

作者： LI Shihai1, LIAN Zhenzhong1,2.& J. G. Wang3.1. institute of Mechanics, Chinese Academy of Sciences, beijing 100080, {2. 2. Graduate School, Chinese Academy of Sciences, {3. 100060, {2. 3. Tropical Marine Science institute, National University of Singapore, Singapore 1192.0 institute of Mechanics Chinese Academy of Sciences Beijing 100080 China Graduate School Chinese Academy of Sciences Beijing 100060 China Tropical Marine Science institute National University of Singapore Singapore 119260 Singapore

This paper studies the stability of jointed rock slopes by using our improved three-dimensional discrete element methods (DEM) and physical modeling. Results show that the DEM can simulate all failure modes of rock slopes with different joint configurations. The stress in each rock block is not homogeneous and blocks rotate in failure development. Failure modes depend on the configuration of joints. Toppling failure is observed for the slope with straight joints and sliding failure is observed for the slope with staged joints. The DEM results are also compared with those of limit equilibrium method (LEM). Without considering the joints in rock masses, the LEM predicts much higher factor of safety than physical modeling and DEM. The failure mode and factor of safety predicted by the DEM are in good agreement with laboratory tests for any jointed rock slope.

关键词： rock masses, slope stability, DEM simulation, block size effect, joints configuration effect, limit equilibrium method.

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, {2. 2.enter of Mass Spectrometry, institute of chemistry, Chinese Academy of Sciences, beijing 100080, {2. 3.raduate School of the Chinese Academy of Sciences, beijing 10003., {2. institute of Microbiology Chinese Academy of SciencesBeijing 100080 China Graduate School of the Chinese Academy of Sciencesbeijing 10003. 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 3.9 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.

Interfacial behaviors of PMMA-PEO block copolymers at the air/water interface

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

Science china chemistry 2005年第6期48卷 567-573页

作者： CHENG Caixia1, JIAO Tifeng2. TANG Rupei1, LIU Minghua2.& XI Fu1 1. State Key Laboratory of Polymer Physics and chemistry, Joint Laboratory of Polymer Science and Materials, {3. of chemistry, Chinese Academy of Sciences, {3., china 2. CAS Key Laboratory of Colloid and Interface Science, {3. of chemistry, Chinese Academy of Sciences, {3., china State Key Laboratory of Polymer Physics and chemistry Joint Laboratory of Polymer Science and Materials Institute of Chemistry Chinese Academy of Sciences Beijing China CAS Key Laboratory of Colloid and Interface Science Institute of Chemistry Chinese Academy of Sciences Beijing China

Diblock copolymer of PMMA2.1-b-PEO114 and triblock copolymer of PMMA12.-b- PEO2.7-b-PMMA12. were synthesized and their interfacial properties at the air-water interface were investigated, where both blocks of polyethylene oxide (PEO) and poly(methyl methacrylate) (PMMA) are surface active but the former is soluble in water while the latter is not. Both the block copolymers could form monolayers with two obvious transition regions. The first transition point is around 10 mN/m, which could be assigned to the pancake-brush change of the PEO chains. The other is around 18 mN/m, which could be ascribed to the condensed packing of PMMA. The surface morphological changes during the compression of the Langmuir monolayers are inves-tigated by using the AFM and SEM methods for the films deposited at different surface pressure or molecular areas. At a lower surface pressure, a typical morphology of PEO-con- taining lipopolymers is observed. Upon compression, sphere-dominant morphologies were observed. While the diblock copolymer is easy to folding, the triblock copolymer is in favor of formation of circular domains through vesiculation.

关键词： PMMA-PEO, block copolymers, monolayer, Langmuir-Blodgett films, AFM.

An efficient chiral synthesis of (R)-N-[3.acetyl-4-(2.hydroxy-3.isopropylamino-propoxy)phenyl]-butanamide with high enantioselectivity

在线全文

学校读者我要写书评

暂无评论

Science china chemistry 2009年第8期52卷 1216-1219页

作者： WANG NaiXing1,2.& TANG XinLiang1,3.1 Technical institute of Physics and chemistry,Chinese Academy of Sciences,{2.,{3. 2.College of chemistry and Chemical Engineering,Graduate University of Chinese Academy of Sciences,beijing 100049,{3. 3.School of Chemical Engineering and Environment,beijing institute of Technology,beijing 100081,{3. Technical institute of Physics and chemistry Chinese Academy of Sciences Beijing China College of chemistry and Chemical Engineering Graduate University of Chinese Academy of Sciences Beijing China School of Chemical Engineering and Environment Beijing Institute of Technology Beijing China

R-Enantiomer of the β-receptor antagonist N-[3.acetyl-4-(2.hydroxy-3.isopropylamino-propoxy)phenyl] butanamide with high enantioselectivity was synthesized from cheap starting materials and enantiopure chiral reagent through an efficient,convenient and practical synthetic *** product was detected by 1H NMR,13. NMR,and MS,and the enatiomeric excess was determined by chiral HPLC analysis using a chiracel AD-H column.

关键词： chiral synthesis enantioselectivity enatiomeric excess chiral HPLC analysis

On the periodic solutions of a type of differential-iterative equations

在线全文

学校读者我要写书评

暂无评论

Chinese Science Bulletin 1998年第3期43卷 204-206页

作者： GE Weigao 1, LIU Zhengrong 2.and YU Yuanhong 3.1. Department of Applied Mathematics, beijing institute of Technology, beijing 100081, {3. 2. Department of Mathematics, Yunnan University, Kunming 650091, {3. 3. institute of Applied Mathematics, C Department of Applied Mathematics Beijing Institute of Technology Beijing China Department of Mathematics Yunnan University Kunming China institute of Applied Mathematics Chinese Academy of Sciences Beijing China

Sufficient conditions for the existence of periodic solutions to a type of nonautonomous differential_iterative equations are given.

关键词： differential_iterative equation periodic solution fixed point.

Solving the input data in error correc-tion of optical fabrication by finite Fourier coefficient algorithm

在线全文

学校读者我要写书评

暂无评论

Science china(Technological Sciences) 2006年第1期49卷 50-60页

作者： CHENG Haobo1,2. SUN Guozheng3.& FENG Zhijing2.1. Department of Optical Engineering, beijing {3. of Technology, beijing 100081, {3. 2. Department of Precision Instruments and Mechanology, Tsinghua University, beijing 100084, {3. 3. {3. North Industries Group Corporation, beijing 100089, {3. Department of Optical Engineering Beijing Institute of Technology Beijing China Department of Precision Instruments and Mechanology Tsinghua University Beijing China china North Industries Group Corporation Beijing China

A free-form lens (FFL) is a special surface that is difficult to be fabricated. FFL are usually fabricated by computer-controlled optical surfacing (CCOS) technique. During CCOS, the material removal amount is determined by the unit removal function (URF) convoluting with the input data――the dwell time. When the removal amount and the URF are known, how to solve the input data involves the special algorithm――deconvolution. Usually, the input data are solved by virtue of low pass filter or iterative methods. However, an approximation solution would destroy the machining stability nec-essary to perform precisely CCOS. In this paper, to solve the input data, a new method that is based on the finite Fourier coefficient is put forward. It can give a continuous and accurate solution for fabricating choice. Several parameters are simulated, which influ-ence the process of CCOS, and evaluating on the effect of the method is also carried out. Experimental results verify that this method is suitable for guiding the manufacturing of high precision FFL.

关键词： optical fabrication, computer controlled optical surfacing, free-form lens, finite Fourier coefficient, error correction.

Some properties on multivariate filter banks with a matrix factorization

在线全文

学校读者我要写书评

暂无评论

Progress in Natural Science:Materials International 2005年第2期15卷 20-30页

作者： LIAN Qiaofang1, XIAO Hongying2. and CHEN Qiuhui3.1. Department of Mathematics, beijing Jiaotong University, beijing 100044, {2. 2. {3. of Mathematics, Academy of Mathematics and System Sciences, Chinese Academy of Sciences, beijing 100080, {2. 3. Department of Scientific Computing and Computer Applications, Zhongshan University, Guangzhou 5102.5, {2.) Dept. of Mathematics Beijing Jiaotong Univ. Beijing 100044 China Inst. of Mathematics Acad. of Math. and System Sci. Chinese Acad. of Sciences Beijing 100080 China Dept. of Scientific Computing Zhongshan Univ. Guangzhou 510275 China

A class of multivariate filter banks with a matrix factorization has been developed by Chen et al. The main purpose of this paper is to discuss some further properties of this kind of filter bank, such as the completeness, accuracy of the corresponding scaling functions and the relationships with Daubechies' wavelets and the multi-wavelets provided by Chui and Lian. Moreover, some examples are given to show that this kind of filter bank has a higher accuracy for the scaling functions.

关键词： filter banks completeness accuracy matrix factorization