检索结果-内蒙古大学图书馆

Theoretical Aspects of Software engineering (TASE)

作者： Guoqiang Li Yonggen Gu Xiuting Tao Jie Tao BASICS School of Software MOE-MS Key Laboratory for Intelligent Computing and Intelligent Systems Shanghai Jiao Tong University Shanghai China School of Information and Engineering HUzhou Teacher's College Zhejiang China College of Mathematics Physics and Information Engineering Zhejiang Normal University China

Exchange protocols are an important theoretic basis to make secure electronic commerce and electronic business transactions possible, in which the fairness is a crucial property. To ensure and verify the property, a specific model is proposed, based on the extensive game with imperfect information. Fairness is built in the protocol game and the corresponding game tree. To verify the property, a tree analysis method is offered, and a linear time algorithm is given. As a case study, some flaws of ASW protocol are found.

关键词： Protocols Games Computational modeling Game theory Educational institutions Analytical models Electronic commerce

来源：评论

学校读者我要写书评

暂无评论

On the error bounds of nonconforming finite elements

引用

Science China Mathematics 2010年第11期53卷 2917-2926页

作者： MAO ShiPeng SHI ZhongCi The State Key Laboratory of Scientific and Engineering Computing Institute of Computational Mathematics and Scientific/Engineering ComputingAcademy of Mathematics and Systems ScienceChinese Academy of SciencesBeijing 100190China

We prove that the error estimates of a large class of nonconforming finite elements are dominated by their approximation errors, which means that the well-known Cea’s lemma is still valid for these nonconforming finite element methods. Furthermore, we derive the error estimates in both energy and L2 norms under the regularity assumption u ∈ H1+s(Ω) with any s > 0. The extensions to other related problems are possible.

关键词： nonconforming finite elements Cea’s lemma error estimates

来源：评论

学校读者我要写书评

暂无评论

Sparse two-sided rank-one updates for nonlinear equations

引用

Science China Mathematics 2010年第11期53卷 2907-2915页

作者： CHENG MingHou & DAI YuHong State key laboratory of scientific and engineering computing, Institute of Computational Mathematics and scientific/engineering computing, Academy of Mathematics and Systems Science, Chinese Academy of Sciences, Beijing 100190, China 1. State Key Laboratory of Scientific and Engineering Computing Institute of Computational Mathematics and Scientific/Engineering Computing Academy of Mathematics and Systems Science Chinese Academy of Sciences Beijing 100190 China

The two-sided rank-one (TR1) update method was introduced by Griewank and Walther (2002) for solving nonlinear equations. It generates dense approximations of the Jacobian and thus is not applicable to large-scale sparse problems. To overcome this difficulty, we propose sparse extensions of the TR1 update and give some convergence analysis. The numerical experiments show that some of our extensions are superior to the TR1 update method. Some convergence analysis is also presented.

关键词： TR1 update Broyden rank-one update sparsity

来源：评论

学校读者我要写书评

暂无评论

Hierarchical-control-based output synchronization of coexisting attractor networks

引用

Chinese Physics B 2010年第2期19卷 127-134页

作者：宋运忠唐贻发 Complex Networks Laboratory College of Electrical Engineering&AutomationHenan Polytechnic University State Key Laboratory of Scientific&Engineering Computing Academy of Mathematics&Systems ScienceChinese Academy of Sciences

This paper introduces the concept of hierarchical-control-based output synchronization of coexisting attractor networks. Within the new framework, each dynamic node is made passive at first utilizing intra-control around its own arena. Then each dynamic node is viewed as one agent, and on account of that, the solution of output synchronization of coexisting attractor networks is transformed into a multi-agent consensus problem, which is made possible by virtue of local interaction between individual neighbours; this distributed working way of coordination is coined as inter-control, which is only specified by the topological structure of the network. Provided that the network is connected and balanced, the output synchronization would come true naturally via synergy between intra and inter-control actions, where the rightness is proved theoretically via convex composite Lyapunov functions. For completeness, several illustrative examples are presented to further elucidate the novelty and efficacy of the proposed scheme.

关键词： hierarchical control passive control composite Lyapunov function the Newton--Leipnik equation attractor

来源：评论

学校读者我要写书评

暂无评论

TWO-SCALE FINITE ELEMENT GREEN'S FUNCTION APPROXIMATIONS WITH APPLICATIONS TO ELECTROSTATIC POTENTIAL COMPUTATION

引用

Journal of Systems Science & Complexity 2010年第1期23卷 177-193页

作者： Ying YANG Aihui ZHOU Department of Computational Science and Mathematics Guilin University of Electronic Technology Guilin 541004 China. The State Key Laboratory of Scientific and Engineering Computing Institute of Computational Mathematics and Scientific/Engineering Computing Academy of Mathematics and Systems Science Chinese Academy of Sciences Beijing 100190 China.

In this paper,a two-scale finite element approach is proposed and analyzed for approximationsof Green's function in *** approach is based on a two-scale finite elementspace defined,respectively,on the whole domain with size H and on some subdomain containing singularpoints with size h (h << H).It is shown that this two-scale discretization approach is very *** particular,the two-scale discretization approach is applied to solve Poisson-Boltzmann equationssuccessfully.

关键词： Error analysis finite element Green＇s function Poisson-Boltzmann equation two-scale.

来源：评论

学校读者我要写书评

暂无评论

ALE method finite element analysis of elastoplastic soil slope

引用

Yantu Lixue/Rock and Soil Mechanics 2011年第SUPPL. 1期32卷 680-685页

作者： Liu, Kai-Fu Xie, Xin-Yu Wu, Chang-Fu Wu, Da-Zhi Zhang, Ji-Fa College of Civil Engineering and Architecture Zhejiang Sci-Tech University Hangzhou 310018 China MOE Key Laboratory of Soft Soils and Geoenvironmental Engineering Zhejiang University Hangzhou 310058 China Center for Engineering and Scientific Computation Zhejiang University Hangzhou 310027 China

Finite element methods are largely used in solving nonlinear geometrical and material problems. But standard finite element methods are ineffectively in handling extreme material deformation, such as cases of large deformation and severe mesh distortion problems in computation. Arbitrary Lagrangian-Eulerian (ALE) methods incorporate the advantages of Lagrangian and Eulerian methods and overcome their disadvantages. The methods can solve many problems which can be solved difficultly by Lagrangian and Eulerian methods. Based on ALE finite element methods and fundamental theory of elastoplastic large deformation, the soil slope stability problems of a simple soil slope and a complex soil slope with weak layer under self-gravity in geotechnical engineering are analyzed as the illustrative cases. The computational results show that the deformation behaviors of slope sliding and the critical slip plane can be defined clearly from the deformed shape obtained by ALE finite element method. The results show that the arbitrary Lagrangian-Eulerian (ALE) methods can effectively analyze the stability of soil slopes and be applied to the elastoplasticity analysis of geotechnical engineering.

关键词： Finite element method

来源：评论

学校读者我要写书评

暂无评论

Novel Multi-Symplectic Integrators for Nonlinear Fourth-Order Schrodinger Equation with Trapped Term

引用

Communications in Computational Physics 2010年第3期7卷 613-630页

作者： Jialin Hong Linghua Kong State Key Laboratory of Scientific and Engineering Computing Institute of Computational Mathematics and Scientific/Engineering ComputingAcademy of Mathematics and System ScienceChinese Academy of SciencesP.O.Box 2719Beijing 100190China School of Mathematics and Information Science Jiangxi Normal UniversityNanchangJiangxi 330022China

The multi-symplectic Runge-Kutta (MSRK) methods and multi-symplecticFourier spectral (MSFS) methods will be employed to solve the fourth-orderSchrodinger equations with trapped term. Using the idea of split-step numericalmethod and the MSRK methods, we devise a new kind of multi-symplectic integrators, which is called split-step multi-symplectic (SSMS) methods. The numerical experiments show that the proposed SSMS methods are more efficient than the conventionalmulti-symplectic integrators with respect to the the numerical accuracy and conservation perserving properties.

关键词： Schrodinger equation with trapped term multi-symplectic scheme Fourier spectral method conservation law split-step method

来源：评论

学校读者我要写书评

暂无评论

Abnormal electron paths induced by Klein tunneling in graphene quantum point contacts

引用

Physical Review B 2011年第3期84卷 035426-035426页

作者： Rui Yang Liang Huang Ying-Cheng Lai Celso Grebogi School of Electrical Computer and Energy Engineering Arizona State University Tempe Arizona 85287 USA Institute of Computational Physics and Complex Systems and Key Laboratory for Magnetism and Magnetic Materials of MOE Lanzhou University Lanzhou Gansu 730000 China Department of Physics Arizona State University Tempe Arizona 85287 USA Institute for Complex Systems and Mathematical Biology School of Natural and Computing Sciences King’s College University of Aberdeen Aberdeen United Kingdom

We study quantum transport in a general graphene system subject to external potential, a situation that can be expected in all kinds of future graphene-based electronic devices with quantum dots and quantum point contacts. We find that electrons tend to take on propagating paths due to Klein tunneling that have absolutely no counterpart in nonrelativistic quantum systems. Strikingly, such abnormal quantum paths can lead to an extreme type of fractal-like of conductance fluctuations, not seen previously in any quantum transport systems. This phenomenon has profound implications to the development of graphene based devices that require stable electronic properties.

关键词： ELECTRONIC systems QUANTUM electronics QUANTUM dots CATHODE rays LEPTONS (Nuclear physics)

来源：评论

学校读者我要写书评

暂无评论

Phonons in Bi2S3 nanostructures: Raman scattering and first-principles studies

引用

Physical Review B 2011年第20期84卷 205330-205330页

作者： Yanyuan Zhao Kun Ting Eddie Chua Chee Kwan Gan Jun Zhang Bo Peng Zeping Peng Qihua Xiong Division of Physics and Applied Physics School of Physical and Mathematical Sciences Nanyang Technological University 21 Nanyang Link Singapore 637371 Institute of High Performance Computing 1 Fusionopolis Way #16-16 Connexis Singapore 138632 School of Physical Science and Technology MOE Key Laboratory on Luminescence and Real-Time Analysis Southwest University Chongqing 400715 China Division of Microelectronics School of Electrical and Electronic Engineering Nanyang Technological University Singapore 639798

Bi2S3 has shown promise in thermoelectric and optoelectronic applications as well as biological and chemical sensors. We present here a comprehensive study on the lattice dynamics of Bi2S3 nanostructures probed by micro-Raman scattering spectroscopy and first-principles calculations. Bi2S3 nanowires are synthesized using a physical vapor transport method via a vapor-liquid-solid mechanism on silicon substrates. Oriented Bi2S3 nanosheets are also obtained on mica substrates. The structure of the nanowires is determined to be orthorhombic with a growth orientation of [110] by x-ray diffraction and high-resolution transmission electron microscopy. A Raman scattering study is conducted for as-prepared Bi2S3 nanostructures, in which 33, 38, 46, and 53 cm−1 phonon modes are observed for the first time. We find several modes to be very sensitive to excitation wavelength and power. First-principles calculations of orthorhombic Bi2S3 predict a series of Raman modes, in good agreement with our experiments. Phonon-dispersion curves of Bi2S3 are also presented, and the effect of Born effective charges on the longitudinal-optical–transverse-optical splitting at the zone center is taken into account.

关键词： OPTOELECTRONIC devices THERmoeLECTRICITY CHEMICAL detectors RAMAN effect TRANSMISSION electron microscopy PHONONS

来源：评论

学校读者我要写书评

暂无评论

Petri Net-Based Cycle Time Analysis of Dual-Arm Cluster Tools With Wafer Revisiting and Swapping Strategy

Petri Net-Based Cycle Time Analysis of Dual-Arm Cluster Tool...

引用

2011 IEEE International Conference on Robotics and Automation(2011年IEEE世界机器人与自动化大会 ICRA 2011)

作者： NaiQi Wu Feng Chu Chengbin Chu MengChu Zhou Department of Industrial Engineering School of Mechatronics EngineeringGuangdong University of Tech Laboratoire d'IBISC FRE CNRS 3190 Université d'Evry Val d'EssonneCE 1455 Courcouronnes 91020 Evry C Laboratoire G(e)nie Industriel Ecole Centrale ParisGrande voie des Vignes92295 CH(A)TENAY-MALABRY The MoE Key Laboratory of Embedded System and Service Computing Tongji UniversityShanghai 200092Ch

There are wafer fabrication processes in cluster tools that require revisiting. It is shown that swapping is efficient in operating a dual-arm cluster tool. For dual-arm cluster tools with wafer revisiting, if a swap strategy is applied, it forms a three wafer periodical process with three wafers completed in each period. Such a period contains three cycles in a revisiting process and another three cycles in non-revisiting process. Hence, analysis and scheduling of dual-arm cluster tools with wafer revisiting become very complicated. In this work, a Petri net model is developed to describe the operations of such tools. Based on it, it is found that if a swap strategy is applied to a dual-arm cluster tool with wafer revisiting, it is always in a transient state. A systematic method is presented to analyze its performance.

关键词： Robots Semiconductor device modeling Firing Color Fires Load modeling Transient analysis

来源：评论

学校读者我要写书评

暂无评论

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

建议与咨询 留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案： 新增检索档案 确定 取消

请选择收藏分类： 新增自定义分类 确定 取消

通借通还

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

请选择保存的检索档案：

请选择收藏分类：