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

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

免疫介导豚鼠脊髓运动神经元损伤的超微结构及钙稳衡改变

应用常规透射电镜及草酸盐-焦亚锑酸盐技术原位固定细胞内钙,对豚鼠脊髓前角细胞内的钙分布进行超微定位,探讨钙稳衡改变在免疫介导运动神经元损伤中的作用.结果发现模型组豚鼠脊髓前角运动神经元可见粗面内质网扩张、线粒体肿胀、嵴排列紊乱等.神经元周围胶质细胞增生.在运动神经元扩张的粗面内质网池和线粒体内室可见数量不等颗粒状电子致密的钙沉积物.线粒体内室内钙沉积颗粒与线粒体肿胀的程度相关.星形胶质细胞内肿胀的线粒体内室及扩张的粗面内质网池内也可见电子致密钙沉积颗粒.因此认为,钙稳衡失调参与了免疫介导的运动神经元损伤过程.     

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

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

实验性免疫介导的运动神经元损伤中神经丝异常的超微结构观察

为了观察免疫介导的神经元损伤过程中脊髓前角运动神经元超微结构的病变特征,将新鲜的猪脊髓前角匀浆加佐剂注入Lewis大鼠的背部皮下,每月一次,连续四个月。在最后一次免疫后2个月,灌注固定取材。制作超薄切片,应用光镜及透射电镜观察脊髓前角运动神经元及其突起的形态学改变。结果发现脊髓前角运动神经元有不同程度的变性、丢失。残存神经元的核周体内有排列紊乱的神经丝异常聚集,构成有界膜包绕的球形或类圆形包涵体,其突起内还有大量线粒体和溶酶体聚集。其次,尚可见线粒体变性及高尔基复合体扁囊和粗面内质网池的扩张。因此认为,在免疫介导的神经元损伤过程中,神经丝的异常聚集可能与神经元的变性、丢失有关。     

一种新的重构语义分析方法及其应用

提出一种新的重构语义分析方法,引入了后置条件作为重构后程序语义的分析条件,然后基于该方法提出一种重构异常行为检测方法,利用不同重构之间的关系及其关联语义特征,发现重构实施时的错误.分析表明,该方法可以有效发现E-clipse中存在的若干缺陷,并且可以检测出使用Eclipse实施相应重构时产生的程序异常行为.     

数字型航空相机的光学系统设计和像质评估

当前研制的数字型航空相机的成像原理与传统的胶片型相机不同,它是采用大面阵CCD作为摄像敏感器件,在曝光时间内完成对图像的拍摄。分析了数字型航空相机光学系统设计的注意点,即光学系统选型的问题。并对像质评估的问题进行了探讨,介绍了评价数码相机成像质量好坏的方法——采用调制传递函数（MTF）进行严格的量化评估。同时,对影响光学系统MTF的各个因素进行了详细的分析,并给出了相应的计算公式和计算结果。     

猪脊髓前角匀浆免疫后豚鼠脊髓前角运动神经元的超微病理特征

应用透射电子显微镜观察猪脊髓前角匀浆免疫后豚鼠脊髓前角运动神经元的超微结构改变,并进一步探讨其发病机制。结果显示：免疫后豚鼠脊髓前角运动神经元可见内质网扩张、线粒体肿胀;胞浆基质及细胞器致密化;有髓神经纤维内神经丝局部积聚、大量线粒体及溶酶体聚集;前根及坐骨神经大的有髓神经纤维轴索萎缩,髓鞘结构保存相对较好。以上结果提示自身免疫机制能诱导脊髓前角运动神经元的损伤,轴浆转运异常可能参与其致病过程。     

基于Kerberos的第三方AAA系统研究与设计

分析了对基于第三方的AAA系统的需求,介绍了kerberos协议的流程,交互消息;提出了如何结合已有的kerberos认证协议实现基于事件的第三方AAA系统。给出了该A从系统的一个使用场景,以及系统中各角色与该场景中的角色的对应关系。最后对该系统评价分析,指出可进一步完善的方向。     

一种自动验证Web应用预期页面的方法

Web应用中有许多动态生成的页面,取决于当时的系统状态、用户输入等条件,现有方法难以自动判断其是否是预期页面.为此,提出一种自动判断该页面是否是预期的方法,该方法基于一个知识库(Cyc),用知识的形式来表示一个Web应用的规格说明,然后依据此规格说明,对生成的页面进行判断.     

演化测试技术的研究

演化测试作为一种非常有前景的自动化测试技术,可以成功地为多种测试目标生成高质量的测试用例。它将测试用例的生成过程转化为一个利用遗传算法进行数值优化的问题。算法的搜索空间即为待测软件的输入域,其中最优解即是满足测试目标的测试用例。该搜索过程可以实现完全自动化,它所具有的导向性可以避免盲目搜索,较随机测试有着更加明确的目标和方向性;同时该搜索过程还具有一定的随机扰动,可以很好地克服复杂搜索域所带来的种种局限性。近年来,越来越多的学者开始关注于演化测试技术的研究,并取得了一些研究成果,使之在多种领域得以成功地应用。分别在结构性测试、功能性测试、性能测试以及面向对象测试领域,对演化测试技术进行了总结。通过对各领域的应用方法进行分类概括,比较分析了不同方法的优势与不足,为理解、评价以及合理选取演化测试方法提供了较有价值的参考。在此基础上,总结评估了现有的演化测试优化技术及其适用性。最后,展望了演化测试技术未来的研究方向。