摘要：讨论了一个对象式 Lambda演算的部分计值器 .对象式 L ambda演算在 Lambda演算的基础上添加了对象机制 .部分计值器的构造是采用传统的三步法 ,首先定义对象式 L ambda演算的元解释器 ;然后提出对象式Lambda演算的约束时间分析方法 (binding- time analysis) ,约束时间分析决定哪些计算可以在编译时完成 ,哪些计算需留在运行时执行 ;最后定义部分计值器 .同时 。

摘要：基于网格计算思想,提出集成远程高性能计算硬件、软件资源和计算前、后处理功能的高性能计算化学应用模型,并基于此模型开发了GridMol系统。GridMol采用Browser/Server结构设计,服务器端通过网格中间件提交高性能计算作业高效利用网格中的各种硬件、软件资源,浏览器端GridMol提供图形化的计算化学前、后处理功能,如蛋白质可视化和分子建模处理。GridMol基于Java和Java3DAPI设计实现,系统具有跨平台和网络运行等优点,目前GridMol已集成在中国国家网格(CNGrid)平台上。

摘要：在FDD模式多用户MIMO(Multi-input Multi-output)系统下行链路中,由于信道估计、反馈信道等存在误差,使得发送端获取理想信道状态信息(CSI,channel state information)十分困难。针对获得非理想CSI的多用户MIMO系统,考虑在基站和各用户的天线分别具有相关性并引入视距分量的信道条件下,提出了一种新的基于块对角化的MMSE准则收发联合设计算法。该算法首先通过块对角化消除用户间的共信道干扰,然后针对存在信道估计误差的用户信道依据MMSE准则分别迭代求解每个用户预编码和解码矩阵。论文设计出一种基于训练序列的信道估计误差算法,并获得等效信道模型,使得收发端获得的信道状态信息更有实际意义。本文假设反馈信道理想,发射端可以完整得到信道估计矩阵。在MMSE准则下,推导获得了Lagrange乘子的解析解,避免了求解非线性方程的复杂过程,显著降低了计算复杂度。和已有算法相比,该算法不仅可以获得良好的误码性能还可以对各用户进行独立优化,处理更加灵活。仿真分析了视距分量、信道相关性以及信道估计误差对算法性能的影响。仿真结果表明,该算法误码性能良好,算法收敛快,并且对信道估计误差带来的影响有较好的抑制作用。

摘要：借鉴面向对象程序设计中的继承思想,设计并实现了一种继承风格的Web服务开发工具(wsDeveloper),直接复用已注册到服务网络中各Web服务的WSDL文档及其语义信息.目的是通过复用已有WSDL文档的方式来规范化新服务接口的设计实现,减少服务描述间的歧义;简化Web服务的开发,促进服务的发现、组合、交互.

摘要：设计内径为30 cm的PVC管作为试验装置,模拟大田生长状况,在不同的水肥条件下,研究了间作条件下小麦和玉米的产量及其根系的生理生态特征.结果表明,适当的干旱(W2:60%～65%)有利于根系的下扎和产量的提高,严重干旱(W1:30%～35%)大大地降低了带田小麦和玉米的根量和产量,并增加了作物根系和叶片的质膜透性,同时根系活力也降低;供磷提高作物产量,增加下层根量,提高根系活力,供磷与不供磷相比,0～30 cm土层,小麦根系活力提高65.9%,玉米提高65.0%;小麦根系总量平均增加94.66%,玉米增加67.67%;小麦叶片细胞质膜透性平均下降8.33%,根系下降7.96%,玉米叶片平均下降1.62%,根系下降2.50%.不同处理之间比较,产量均以W2P1水平较高,说明其水肥耦合性最好.究其原因,其细胞质膜透性最低,根系活力、根量、根长均为最高.

摘要：介绍基于Android操作系统的一个多媒体播放器软件解决方案。该多媒体播放器由启动画面、音频播放、视频播放等模块组成,重点分析UI(用户界面)设计、数据存储(Preferences等)、多媒体应用等技术难点。在此提出的软件解决方案在Android 2.3版本的模拟器和HTC A3380上分别进行功能测试与验证,能够满足用户使用音视频文件进行本地播放及相关需求,并提出总结与展望。

摘要：随着信息获取技术的不断进步,人们可以通过各种方式获得丰富的信息资源.怎样共享这些资源是当前研究的热点问题.数据库技术为信息的存储提供了有效的方法,但不同的数据库之间的数据怎样共享还亟待研究.计算机网络技术的发展,为访问这些存储在物理上相对分散的数据库中的数据提供了基础.针对异地不同数据库中的数据共享问题,提出了基于数据关联的数据共享方法,其基本思想是,通过对不同数据库中的数据进行描述建立不同数据库数据之间的关联,并通过关联关系查找异地的数据.基于该设计思想,我们建立了数据关联中心,并将我们现有的图像存储数据库分布地建立在网络上,通过数据关联中心进行共享.实验表明,我们的方法是有效的.

摘要：提出了一种基于单片机的语音控制儿童玩具系统,介绍了系统的硬件结构及设计方法。该系统以STC89C52单片机作为主控制器,利用LD3320为核心模块进行语音识别,实现简单的语音交互和语音播放,并通过语音控制进行无线通信实现对L298N电机驱动模块的控制。该玩具能够在蓝牙和语音两种方式的控制下实现前进、后退、左转和右转等功能,并加入拟人化的灯阵,由语音控制进行闪烁和开关。