软件安全性设计常见问题的思考

代码实现过程中存在访问权限以及使用环境变量、加载库、printf/wprinft函数、缓冲区作写操作的C函数、string类中data函数、vfork函数等的安全性问题,对这些无法通过测试手段发现的问题提出相应的解决措施。     

基于脑电功率谱密度的作业人员脑力负荷评估方法

脑力负荷状态的准确识别对减少因作业人员无效脑力负荷导致的人因事故具有重要意义。针对人-机系统中作业人员脑力负荷客观评估问题开展了基于MATB-Ⅱ平台的3种不同脑力负荷水平下的航空情境实验，记录16名被试的NASA任务负荷指数（NASA-TLX）量表数据和脑电（EEG）信号，提出了一种基于脑电功率谱密度（PSD）和支持向量机（SVM）的个体脑力负荷评估方法。结果表明：随着实验设计脑力负荷水平增加，被试的主观脑力负荷得分显著提高（p<0.001），这表明该实验任务设计较好地诱发了低负荷、中负荷和高负荷情境。在此基础上，通过网格搜索法确定个体脑力负荷评估模型的统一优化参数，惩罚系数取3 000，核函数参数取0.000 1，模型测试正确率达到0.966 5±0.029 8，宏平均的受试者工作特征曲线下的面积（Macro-AUC）达到0.991 0±0.011 4。本文为作业人员脑力负荷状态的客观和准确评估提供了一种新的办法，为后期作业人员脑力负荷状态的实时判别提供模型基础。     

试验

JASSM导弹通过飞行试验完成软件验证 洛克希德。马丁公司研制的联合防区外空对地导弹（JASSM）最近在新墨西哥州的白沙导弹靶场成功完成产品验证测试（PVT）。     

宽带高性能SMA匹配负载的研制CSCD

本文介绍一款高性能SMA匹配负载的设计、制作及测试。匹配负载制作难点在于高性能微波电阻选型、过渡段匹配设计及电阻段外导体渐进线设计。本文应用CST仿真软件对产品结构进行整体仿真,优化得到合理结构。仿真中应用TDR模块"看见"结构找到不匹配点。产品测试达到设计目标:DC^18GHz,驻波比小于1.07。测试结果验证设计方法有效性。     

砝码校准能力验证方案的设计CSCD

借鉴质量管理体系的理念和方法,结合能力验证的规则和特点,阐述了砝码能力验证方案的设计过程,具体分析了设计方案的评审、实验室分组、样品传递、结果报告发布等各阶段的内容。经实践验证,设计方案合理,控制效果显著。     

LENS风洞试验返回器模型气动热特性模拟

国家数值风洞高超声速流动模拟软件HyFLOW的研制对打破国外同类软件的技术壁垒具有重要意义。与国外DPLR软件进行了对比研究，同时系统介绍了HyFLOW软件求解器的数值方法、物理化学模型以及壁面催化特性计算模型等主要方法，采用典型算例对有限催化模型进行了数值验证，最后基于LENS风洞试验146 mm返回器标模外形开展了高超声速气动热特性数值模拟。研究结果表明，HyFLOW软件在高超声速热化学非平衡流动模拟与评估方面的气动力计算精度高，与国外同类软件DPLR相当，同时其壁面催化条件下的气动热计算精度可靠，可信度高。     

中航工业计量所顺利通过实验室复评审加扩项评审

本刊讯：2011年4月16日至4月20日,国家认证认可监督管理委员会、中国合格评定国家认可委员会（CNAS）、国防科技工业实验室认可委员会（DILAC）共同委派6名评审专家组成评审组,对中航工业北京长城计量测试技术研究所（简称中航工业计量所）进行了实验室复评审加扩项评审。     

Delcam三维模具设计软件专家系统

Delcam Toolmaker的一个独到之处是在模具设计的任何阶段,用户都可以退出进行中的自动设计模式,切换到PowerSHAPE对设计进行手工修改,随后可继续回到自动设计模式继续完成模型设计。这意味着用户不仅可以得益于高自动化设计所带来的简单、高速自动化设计,同时可根据自身需要,不受模型尺寸和复杂程度的限制,获得精度极高的模型设计结果。