二级形式语义与语义导引编译

本文给出了一种形式语义方法,它能使形式语义与编译一致。这种方法的基础是一时序逻辑语言,一方面它是一种逻辑系统,故其语义简明,便于形式化和有效地实现;另一方面它又是一种中间程序语言,其它高级语言的语义可以用严格形式转换的方法投射到它之上,这样形成的一种二级形式语义本身即构成一种编译转换。     

一种基于指纹的身份认证协议

提出一种基于指纹的身份认证协议,它对stolen-verifier(攻击者使用从认证服务器中盗窃的用户指纹信息冒充合法用户)和重发攻击 (Replay Attack)[1]是安全的,保证了用户指纹信息的保密性和真实性。认证用户可以从中获得的最大好处就是:当他们登录服务系统时,他们不需要除了指纹以外的其它任何东西。1     

构建青海广播电视监测网的总体思路

本文讲述了建设青海广播电视监测网的必要性和紧迫性,及建设监测网的总体思路。     

电子侦察船生存能力评估方法

电子侦察船生存能力的高低将直接影响其海上侦察任务的完成,如何对其进行正确评估是提高电子侦察船生存能力的关键所在。目前,对电子侦察船生存能力评估方法的研究有很多,但主要都是集中在定性分析上,定量评估的还未见相关报道。本文通过在对电子侦察船生存能力进行深入分析的基础上,建立起电子侦察船生存能力指标体系和评估模型,并运用定性与定量相结合的方法来评估,提出的评估方法科学合理,不但对提高电子侦察船的生存能力具有指导意义,而且对其他海上作战平台生存能力的评估具有借鉴价值。     

色散耦合道光学模型对28Si的核子散射数据分析

在光学势中引入色散关系, 相比于通常的耦合道光学模型, 极大地减少了光学势 参数的个数. 采用基于软旋转子模型的耦合道方法对较轻形变核²⁸Si核的中子和质子散射实验数据进行了计算分析, 拟合得到一组色散光学势参数. 计算的中子总截面、以及中子、质子的弹性与非弹性散射微分截面与实验数据有较好的符合.     

地面数字电视广播和移动通信的汇聚

介绍了地面数字电视广播和移动通信汇聚的方式和趋势，讨论IP数据广播技术和体系架构，分析了欧洲的陆地数字视频广播标准DVB—T和最新的适用于手持移动终端的DVB—H的优点和存在的问题并概要介绍了中国目前的地面数字电视广播标准，最后指出在移动设备中发展视频广播尚需解决的问题。     

虎胆龙威4

今年暑期档的精彩电影真让人应接不暇,《变形金刚》刚上映,《哈利波特和凤凰社》又接踵而至。暑期的手机游戏行业和这夏天的温度一样火热,精彩程度绝不亚于这些大片,不少同名游戏几乎和电影同时"上映",这让各位游戏迷们大呼过瘾。继科幻大片《哈利波特和凤凰社》的同名游戏之后,本期将介绍电影《虎胆龙威4》的同名游戏,电影中52岁的布鲁斯·威利斯老当益壮、身手矫健,而由gameloft制作的《虎胆龙威4》又带给我们什么样的惊喜呢?