曲边平面砖的点阵原理与工程设计

根据点阵理论,提出一类边缘可为任意曲线的平面砖,其可无缝铺设无限大平面.基础平面砖TE可顺特定两轴方向平移铺排;多重平面砖TN、TNX和TNX/2须多重拼合成TE后再平移铺排.所有TE必基于平面点阵的基形P(平行四或六边形).P的变形通过"等盈亏"(EGL)操作实现,得到多种EGLP.由P或一些EGLP按"过轴心N分割"规则形成的N个同形状的凸角x边形(x=3,4,5,6)可作为TN的基形G.以上也可分割出等边多边形和半等边多边形以作为TNX和TNX/2的基形.所有基形的曲线化均可通过相应的EGL操作实现.由此人们可任意设计出各种形状的T以赋予其不同拼合性能、艺术风格和对称性.     

基于Adams的两种空气舵传动系统动特性对比研究

飞行器空气舵传动系统作为飞行器姿态控制系统的重要组成部分,以某飞行器空气舵传动系统两种常见传动方式—平面四杆舵系统和摇臂导杆舵系统为研究对象,基于Adams三维多刚体动力学仿真平台和两种传动系统中各传动环节的实际状态,分别建立了平面四杆舵系统和摇臂导杆舵系统的仿真系统模型,并对两种空气舵传动系统的间隙动特性进行了对比分析研究,所得结论可为飞行器空气舵传动系统的方案选择、设计优化及性能预测提供一定程度的理论支持。     

Pin-cap和NDW对延迟计算精度的影响

由于仿真工具本身及外部一些因素的限制,在特征化时序库时不可能产生出与理想器件完全一致的时序库延时计算模型。为了建立更为精确的延时计算模型,cadence将多输入引脚电容模型与规范化驱动波形的概念引入到有效电流源模型。文中通过使用时序分析工具对时序库进行关键路径仿真,并将分析结果与Spectre仿真结果进行对比,研究在ECSM中标准单元的接收端建立多输入引脚电容模型所带来的时序差异,以及NDW对延迟计算精度的影响。研究表明,ECSM 库若同时结合pin-cap与NDW的使用,将会更有利于延迟的精确计算,从而得到更为实际的时序分析结果。     

计算机学科研究生课程体系的构建与实施

研究生课程体系是研究生培养环节的重要组成部分。文章结合国防科学技术大学计算机学院在课程体系构建方面的做法,阐述计算机科学与技术学科研究生课程体系构建的目标、任务以及主要方法。     

基于TEE的主动可信TPM/TCM设计与实现

可信技术正在从被动可信度量向着下一代的主动可信监控方向发展，要求TPM/TCM模块有能力主动度量和干预主机系统，传统的TPM/TCM从架构和运行机制等方面都无法满足这种能力.TEE（trusted executionenvironment）技术提供了可信执行环境和主动访控能力，为构建下一代TPM/TCM提供了基本平台，但还存在系统结构、存储以及通信等多方面挑战.提出基于ARM平台TrustZone机制的TZTCM方案，通过分核异步系统架构解决TZTCM独立可信运行和主动可信安全监控问题，基于PUF（physical unclonable functions）安全存储机制和基于UUID（universally unique identifier）的TEE安全通信机制，解决了TEE环境下可信平台模块的存储安全和通信安全问题，为设计实现主动可信TPM/TCM给出了理论和实践参考.通过实验验证了所提关键机制的有效性，实验结果表明，TZTCM在密码计算能力上较常见TPM也有很大提升.TZTCM只需要在系统中增加或修改相应的软/固件，除了主动可信监控能力，还具有低成本、高性能、低功耗、易升级等特点，相对传统TPM/TCM具有非常明显的优势.     

“边讲边练”型课堂保证练习进度的方法探索

以大学计算机基础课程为例,探讨保证课堂练习进度的有效方法,结合国防科技大学的情况介绍实践过程,评估和分析这些方法的效果。