无线网络的移动管理：数据的复制和应用

在无线通讯系统中,网络通过从数据库中查找用户信息来跟踪用户,这样就需要把用户信息事先存储在大量的数据库中。本书讨论了有关在数据库中复制用户信息并更新的若干问题。     

CDMA系统及其降噪的实验方法：系统设计到硬件测试所通过的超大规模集成电路

本书介绍了意大利比萨大学一个团队的开发项目——CDMA移动终端接受器．以及从中获取的经验,为通信理论到VLSI实现建立了一座桥梁,呈现了从最初系统设计到最终硬件测试所需要的电信和电子相关知识,主要目的是为通信电路的设计提供理论和实践上的支持。书中介绍的知识和技术可以运用到更一般的无线调制解调器的构架设计和实现。     

中学生数学问题意识的调查与分析

界定了“数学问题意识”,并针对实验班的学生就数学问题意识进行了调查。结果表明学生不知自己有问题,缺乏提问题的意识和习惯;遇到问题时,缺乏提问题的勇气和自信;不善于提出问题,缺乏提问题的策略和能力;对问题的认识肤浅。分析以上现象的主要原因,并提出三点思考建议。     

基于神经网络的Lyapunov指数谱的计算

利用 BP神经网络的非线性函数逼近能力 ,由实验观察数据列计算系统的 Lyapunov指数谱 .实例计算表明 ,此种方法精度较高且计算量较小 ,有重要的实际意义.     

A cooperative schema between Web sever and search engine for improving freshness of Web repository

0 IntroductionTIon tceorpneet w ,itthhefr cerqauwelnetr sch oafn sgeeasr cohf tehneg iinnfeo rnemeadti toon uopnd tahteethe web pages visited. Different pages have different changefrequencies[1].Sothe crawlers must firstly esti mate which pa-ges need to b…     

Modeling trusted computing

0 IntroductionThe purpose of trusted computingis to solve some of to-day’s security problems through hardware changes topersonal computer . The trusted property can be extendedfromroot of trust to entire PC platformthrough the chain oftrust[1].Root of trustis a small hardware device calledtrustedplatform module (TPM) addedto PC.A well-known project of trusted computing is trustedcomputing platformalliance(TCPA) .It is calledtrusted com-puting group (TCG) now[2 ,3]. Besides this , other…     

A trust scheme based DRM model for P2P system

0 IntroductionP2P architectureis a distributed network model ,whichisindependent of server[1]. However , at present , P2Ptechnologyisinfamous for copyright infringement .In P2Par-chitecture,“No-government”may be a seedbed of pirate,vi-rus andillegal resource. Recently there are a large number oflitigations relational to P2P network in American. Napstercaseis the most famous copyright lawsuit of its biggest scaleand most infection[2 ,3].DRM(Digital Right Management) technology is i mpo…     

不可交换平延在同时相似下的标准形

设F是域,n为正整数,GLn(F)表示域F上的n级一般线性群,A,B为两个平延,当A与B不可交换时,P∈GLn(F),使P-1AP=T12(1),P-1BP可表为5种简单形式。     

Specification and verification for semi-structured data

Tree logic, inherited from ambient logic, is introduced as the formal foundation of related programming language and type systems, In this paper, we introduce recursion into such logic system, which can describe the tree data more dearly and concisely. By making a distinction between proposition and predicate, a concise semantics interpretation for our modal logic is given. We also develop a model checking algorithm for the logic without △ operator. The correctness of the algorithm is shown. Such work can be seen as the basis of the semi-structured data processing language and more flexible type system.     

刘大櫆的息争论

刘大櫆的“息争”思想,即学术研究应该相互包容,而不要相互敌对。这一思想是在当时汉学的强大的攻势下提出的,主张汉宋调和与兼收,这一思想和方苞、姚鼐敌对汉学的态度明显不同,实践证明这一思想是正确的。