国外推进剂与材料相容性试验方法标准概况

推进剂与材料的相容性是液体推进剂研究的重要内容之一。介绍了国际标准化组织(ISO)、美国材料试验协会(ASTM)、美国国家航空航天局(NASA)、欧洲航天标准化合作组织(ECSS)等机构的材料相容性试验方法标准。     

乡土建筑中的户牖装饰

有屋必有户牖,户牖即门窗。中国乡土建筑中木材的选用使门窗装饰有了很大的雕凿空间。其在明清时期发展到顶峰。对门窗装饰的注重甚至超越了实用功能。让古朴的乡土建筑中透出一股华美的气势。本文从装饰的用材、部位、技法、色彩、图案以及折射的文化观等方面试论了乡土建筑中的户牖装饰。     

基于ANSYS ICEM CFD和CFX数值仿真技术

为了准确方便地计算和分析流体的传热和流动情况,文中以分析某浸入式水口浇钢温度场和流场为例介绍了一种基于ANSYS ICEM CFD和CFX数值仿真技术在连续铸钢过程中的应用.该方法是利用ANSYS ICEM CFD中进行流体数值仿真的前处理操作,然后将生成的网格导入到CFX中施加边界条件进行求解计算,可以大大提高数值仿真效率,对CAE工程分析人员具有很大的借鉴意义.     

三边支承一边自由矩形板自由振动分析

板自由振动振形必须具有正交性，采用主振方向排序法建立三边支承一边自由矩形板振形函数表达式可以满足振动微分方程和全部边界条件，又具有振形的正交性。该振形曲线中的振动波形数在主振方向上是唯一的，在另一方向上是不唯一的，振形曲线形状符合板边界是条件所能限定的变形形态，通过证明振形正交性的存在，分析振形函数表达式的结构形式，推导不同边界条件矩形板的频率方程，计算板的自振频率及相应振形，并与前人的结果进行了比较，从理论上说明了该方法的正确性。     

Web测试综述

1 引言 Web以其广泛性、交互性和易用性等特点迅速风靡世界,网页数量正以指数级飞速增长。能够吸引尽可能多的用户并对其长时间关注是网站追求的主要目标,也是衡量一个网站是否成功的主要指标,这就对网页功能的正确性、有效性和完善性提出了较高的要求,从而Web测试就成为Web应用开发过程中的一个重要环节。通过Web测试尽可能多地发现浏览器端和服务器端程序中的错误并及时加以修正,以保证Web应用的质量。由于Web具有分布、异构、并发和平台     

基于OWL-S文档的Web服务测试用例生成

若从使用者的角度测试Web服务,只能从服务的接口文档中提取信息进行测试工作.现有工作提出通过分析文档中的输入或输出参数获取测试数据的方法.利用OWL-S文档中的输入输出参数信息生成初始的测试数据,同时充分利用文档中的服务过程信息,提取出服务的控制流程图,据此约简测试数据,生成最终的测试用例,从而提高测试用例的生成效率,降低测试成本.     

基于CORDIC改进算法的反正切函数在FPGA中的实现

针对基于FPGA的分布式导航系统中涉及大量的三角函数运算,而传统的查找表或差值法计算,在精度、运算速度方面不能兼得,且占用资源多,本文提出了基于CORDIC算法的反正切函数计算的改进方法与流水线结构的实现方法,使用VHDL硬件描述语言进行编程实现,在Quartus ii 9.0中对算法进行功能仿真,最后通过Altera公司的FPGA Cyclone ii系列芯片进行了具体验证。验证结果表明,针对累加器中因截尾而产生的误差所作的算法改进,显著地提高了算法精度,而且运算速度快。     

使用共享变量分析和约束求解检测安卓应用数据竞争

安卓系统在移动端操作系统始终占据主导地位,在增强用户体验和提高程序性能的同时,其特有的事件驱动模型和多线程模型也造成了并发缺陷.并发程序中,线程调度的不确定性和难以再现性是并发缺陷检测困难的原因.现有技术主要在动态生成执行路径的基础上进行发生序（happens-before）分析,进而检测安卓应用的并发缺陷,但仍然存在低覆盖率、误报、漏报等问题.结合共享变量分析和约束求解方法实现了安卓应用数据竞争的检测,并实现了检测工具RaceDetector.该工具首先根据安卓系统的特性和数据竞争的定义,通过静态分析抽取相关信息,并进一步使用安卓共享变量分析来提高准确性和性能,继而进行可疑数据竞争分析,得出可疑的数据竞争集合;接着根据每一个可疑的数据竞争候选者,通过约束求解的方法在所有事件调度和线程调度解空间下识别发生序关系,并最终检测出真正的数据竞争.实验部分是从Google Play等来源收集了15个流行的应用APK文件作为数据集,RaceDetector平均报告了340个数据竞争,误报率为13%（44/340）.与现有工具EventRacer（默认产生300随机事件触发应用执行,平均检测2个有害数据竞争）相比,RaceDetector能够解析全部源码,覆盖了所有线程调度和事件调度,平均检测出15个有害数据竞争.     

连铸用不同材质滑板热应力行为数值模拟

利用有限元法对2种不同配方、同一形状的滑板在浇注过程中瞬态传热过程进行了研究,得到了滑板在浇注过程中的应力场分布.研究表明,钢液的瞬间冲击会导致滑板产生内应力,这是造成滑板在浇注过程中损毁的主要原因之一.通过对相同条件下两种滑板的比较,得出降低滑板的弹性模量和膨胀系数,可以降低滑板浇注过程中的热应力的结论.     

并发环境中渐增式追踪重演机制

在基于消息传递的并发程序中,由于进程的调度顺序以及消息延时等特性,使得同样输入的不同执行呈现不同的结果,这种并发程序行为的不确定性直接导致了程序错误的不可再现性,即后续的执行无法再现前次执行的错误。以反复执行程序、重复再现故障为核心的循环调试方法变得不再可用。因此,对于并发程序的调试问题,我们将传统的循环调试方法加以扩充,引入追踪和重演的机制,重放程序的某次执行,以消除并发程序的错误不可再现性。