基于全Z－Buffer的五轴铣削图形仿真

给出了实现五轴铣削图形仿真的全Ｚ－Ｂｕｆｆｅｒ方法，特别地，利用直线段、半圆弧和轮廓线的直扫曲面，对五轴轨迹分类给出了构造运动扫体表面的方法．     

DDR2 SDRAM控制器的FPGA实现

龙芯SoC第一版本(ICT-E32)中集成的是SDRAM控制器,但鉴于SDRAM性能的限制,使其成为提高龙芯SoC性能的瓶颈.为了进一步提高龙芯SoC性能,在新一款中集成了DDR2控制器.因为DDR2采用了新技术,使其实现相对于SDRAM更为复杂,因此预先在FPGA上对其进行实现,以方便对其在整个SoC设计中的集成.目前,该控制器已经通过功能仿真,并在Xilinx公司的Virtex-4系列FPGA上得以实现.     

建模与仿真校核、验证与确认综述

校核、验证与确认(verification, validation, and accreditation,简称VV&A)是必须贯穿于建模与仿真全生命周期的重要部分。文章综述了建模与仿真生命周期中的VV&A活动、原则、技术及其适用范围,以及V&V的分级方法。     

SoC技术及其形成基础

SoC是利用EDA和HDL以及IP核，设计出性能价格比很高的片上系统。SoC技术是一最新设计方法的形成是许多电子技术发展的杰出成果。这些技术包括IC工艺、IP优化及EDA设计等。本文对SoC技术及其相关的技术作讨论。     

飞航导弹弹道仿真的校核、验证和确认

论述了仿真VV&A的重要意义,提出了飞航导弹弹道仿真VV&A的几条基本原则。提出了飞航导弹弹道仿真VV&A的基本思想和标准。建立了进行飞航导弹弹道仿真VV&A的步骤和方法。对于如何利用非同一母体的实飞数据对仿真数据进行校核和验证的问题提出了解决方案。为飞航导弹武器系统仿真和作战仿真提供了依据和参考。     

专家系统知识库验证：Ⅱ.基于决策表的知识库验证工具KBV

说明决策表和知识库之间的关系，详细介绍了作者开发的基于决策表的知识库验证工具ＫＢＶ。给出了在ＫＢＶ中检查冗余，矛盾，循环，守完备性的算法。ＫＢＶ能对包含特定规则，通用规则和框架的知识库进行验证。由于考虑了各子决策表之间的逻辑关系，ＫＢＶ得到的结果是全局的。     

牛顿科学的"推理规则"与科学发现的逻辑

牛顿在<自然哲学的数学原理>中提出的"哲学中的推理规则",不仅浓缩了牛顿时代有关科学方法论的许多内容,而且还蕴涵着在此之后有关"科学发现的逻辑"问题的历史变化的思想根源,甚至这一规则也可以作为今天"复活发现逻辑"的一个典型的科学史范例.     

面向FSAE竞赛的某赛车动力学仿真及试验验证

建立了考虑空气动力学因素的北京理工大学2010FSAE赛车多体动力学虚拟样机及2010中国大学生方程式汽车大赛耐久赛的赛道模型.在多体动力学仿真软件ADAMS/Car环境中,仿真了北京理工大学2010FSAE赛车的直线加速比赛和耐久赛首圈比赛过程.仿真结果表明,得到的赛车车速、车身纵向加速度和车身侧向加速度等数据与实测数据具有较强的一致性.验证了2010FSAE赛车多体动力学虚拟样机的准确性.     

靶向TTF-1的siRNA腺相关病毒载体组装验证

为了解决靶向TTF-1的siRNA导入肺腺癌细胞的问题,设计了3条靶向NCI-H1975细胞TTF-1基因的siRNA,并将其分别构建到腺相关病毒上.在293细胞中装配病毒,收获病毒原初液后进行超滤浓缩、层析柱纯化,测定病毒滴度.重组病毒感染肺腺癌细胞系NCI-H1975,通过Western-Blot实验检测siRNA效果,利用凋亡实验验证细胞生物学效应.Western-Blot实验测得siRNA有较好的干扰效果,凋亡实验测得肺腺癌细胞NCI-H1975产生了凋亡,从而证明具有感染性的靶向TTF-1的siRNA腺相关病毒载体组装成功.     

结冰风洞绝热系统设计与实现

结冰风洞是研究飞行器表面结冰机理和防除冰方法的试验设备。典型的结冰风洞采用风扇或压缩机驱动的连续式风洞结构;并且一般设计有洞体绝热系统。绝热系统对结冰风洞性能、运行经济性等方面具有重要影响。通过总结某结冰风洞绝热系统的研制和使用经验,着重分析了结冰风洞绝热系统的传热计算方法和结构设计方案;并且通过实验研究对绝热系统的性能进行了验证。