摘要：西藏自治区是我国重要的民族边境地区,研究当地传统民居的热环境营造智慧对于提高当地民众的居住环境及控制当地居住建筑采暖能耗具有积极意义。冬季现场调研与热环境测试表明现有藏式民居靠经验自发采用被动式太阳能设计,但其冬季室内热环境仍然较差。通过现场测试与问卷分析了传统藏式民居在朝向、空间单元、平面布局及建筑材料方面的营造智慧,总结了既有藏式民居在热环境方面存在的不足。

摘要：提出了一种绝对值函数反馈控制的同步方案,通过将状态变量的误差信号进行绝对值处理后,引入到受控系统中,实现全状态混合投影同步.以两个初始值不同的光滑变形蔡氏电路系统为例,基于Multisim 11电路仿真软件,设计了相应的同步电路图,研究了两个系统在选取相同和不同比例因子情况下的全状态变量投影同步.同时搭建实际硬件电路,对比数值仿真结果,验证所提方案的有效性.

摘要：在教育国际化背景下,大学英语教学目标应适时从培养学生的基本社会交往能力转到培养他们的认知学术语言能力。在大学英语环境中培养学生的学术英语能力可采用以学科内容为依托的语言教学模式,开发适合中国学生使用的教材进行。教学活动设计应考虑提高学生的英语语言水平、学科知识水平以及高层次思维能力。教学过程中应发挥教师的指导和帮助作用,也要充分发挥学生积极建构认知学术语言能力的作用。

摘要：原子力显微镜（AFM）是进行纳米测量和操作的重要工具。针对力测量过程中AFM定位系统的测量速度慢和窄带等问题,基于逆系统的迭代学习控制思想,设计一个前馈控制环节,补偿AFM定位系统中z轴方向上动态特性非线性影响。通过在一定带宽内对期望输入信号进行轨迹跟踪,使激励力（通过悬臂梁）无失真地施加在样本上,达到AFM准确测量的目的。该方法不仅拓宽了系统频带,而且提高了系统输出对期望输入的跟踪精度。

摘要：金融安全网是一把"双刃剑",它在防止银行挤兑和危机蔓延的同时,削弱了市场纪律,产生了严重的道德风险问题,影响金融稳定。目前我国金融安全网建设存在诸多问题,需要借鉴国际经验,结合国情,加快制定我国金融安全网的有关法律法规、加强我国银行业信息披露、完善中央银行"最后贷款人"制度、建立显性存款保险制度以及加强银行业市场纪律,以构建我国激励相容的金融安全网。

摘要：针对板坯库管理中的协同运输问题,以最小化板坯出/入库总运输时间为目标,建立数学模型。构建一个包括出库板坯、入库板坯、行车和台车等在内的板坯出/入库协同调度无主控多Agent系统,以统一的结构封装任务和资源,同时考虑板坯入库作业和出库作业2种任务,提出在Agent之间建立投标/仲裁机制,设计评价函数协调Agent之间的资源冲突,提高系统的柔性、并行性和自适应能力。通过系统仿真,将出/入库协同作业、完全出库作业和完全入库作业3种场景进行比较。实验结果表明,出/入库协同管理系统可有效提高板坯库的运输吞吐率,且在投标/仲裁机制的协商作用下,运输设备利用率也显著提高且保持均衡。

摘要：基于微带-共面波导过渡和“蝶形”缺陷地结构,研究微带传输线的带线与金属地之间的不平衡交叉过渡,将其应用于一种新型的超宽带1 bit移相器设计.在此基础上,设计一种超宽带同相/反相输出可切换射频网络,并进行实验验证.实验结果表明,在4.6～8.6 GHz频带内,该网络输出两端口的幅度差小于0.25 dB,插入损耗小于3 dB,相位差在-1°～8°（同相输出）和172°～182°（反相输出）以内,两端口隔离度优于22 dB,达到了良好效果.

摘要：高维(三维到四维)图像已应用于许多领域,产生了巨大的数据集。文中设计了一种适用于高维的小波压缩方法,并用四维(三维+时间)心脏超声波图像验证了它的压缩能力。实验证实:高维小波压缩方法能够取得比二维小波压缩方法高许多的压缩比,同时基本保持图像的质量。可应用于因特网上的动态三维图像传输和远程医疗等领域。

摘要：现阶段对工程机械主要结构件进行有限元分析时,存在重复建模与参数化程度较低等问题,使得设计分析效率不高。借助有限元分析软件ANSYS提供的APDL工具,以某大型起重机重要部件——塔头和平台为例,实现了其有限元建模和分析的参数化过程。结果表明,这种方法避免了重复的有限元建模与前、后处理操作,大幅提高了分析效率。

摘要：路由协议被广泛部署于因特网中用来进行路由信息的交换与路径的选择,确保路由协议正确、安全的运行是计算机网络的基础问题之一。近年来,形式化验证已成功应用于协助路由协议的设计和实现,形式化方法的使用能够找到软件测试过程中难以发现的系统缺陷,从而有效地提高系统的安全性。主要介绍了自动形式化验证的几类主要技术基础:模型检验、定理证明和等价性验证。总结了自动形式化验证路由协议的方法和优缺点以及它们在各个方面的研究进展和使用状况,为相关方向的研究者在使用形式化方法验证路由协议时提供了参考依据。最后总结了该领域的研究状况,并对未来研究热点进行了预测和展望,提出了一些可行的研究方向。