一种协处理器微程序控制器的设计

在协处理器中,微程序控制器的微码控制是协处理器指令译码的控制核心。文章提出一种协处理器微程序控制器的设计方法,并给出其功能验证的测试平台。采用隐含下址编码、流水及预译码等设计技术,来提高微码的执行效率。经优化的设计具有较快的译码速度和较小的微控制存储器面积。采用该方法设计的微程序控制器已经嵌入协处理器中,并且流片测试成功。     

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

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

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

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

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

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

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

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

多重训练BAM算法中强化系数的解析求取

从ＢＡＭ的能量函数出发推导出强化系数的解析解形式。在强化系数的作用下，ＢＡＭ网将被强化矢量对存储在皮知矢量对为中心Ｈｅｍｍｉｎｇ距离为１的邻域里的能量最小点，人而保证了该矢量对的正确联想。给出了根据此解析算式编制的算法和计算实例。     

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

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

面向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腺相关病毒载体组装成功.