基于嵌入式系统MiniGUI车载显示界面开发

结合燃料电池电动车研发工作开发基于嵌入式Linux系统的车载显示界面,介绍了嵌入式Linux系统开发的特点及其工具;描述了MiniGUI图形系统的移植和使用方法;给出了在基于S3CA4BOX芯片的硬件平台系统上开发显示与控制终端的过程。试验结果证明了该显示系统的合理性和有效性。     

中小跨径斜拉桥索力优化的“二阶段法”

以影响矩阵理论为基础,以有约束优化法及正装分析法为核心,提出中小跨径斜拉桥索力优化"二阶段法",并结合算例加以验证.该方法省去倒装分析过程,可以快速求出合理成桥与施工索力,对中小跨径斜拉桥成桥及施工阶段分析的索力优化计算具有实用意义。     

基于ISO/IEC 9126的Web资源质量评测系统

为了管理基于Web的信息系统的资源质量,以国际软件质量管理标准（ISO／IEC9126）为基础,建立了Web资源质量评测系统,该系统包括多维多层次的Web资源质量评测模型（WebQM）、Web资源质量评测算法以及评测结果的鲁棒性分析,详细讨论了Web资源质量建模和应用TOPSIS算法评测Web资源质量的过程,鲁棒性分析主要研究了质量评测过程中评测参数取值对评测结果的影响,以优化Web资源质量模型和完善关键指标。     

基于软件无线电的通用数字解调方法研究

介绍了一种基于软件无线电技术的通用数字解调方法,该方法属于非相干解调方式的一种,它是对FSK过零检测解调法的一种改进,使之能够对多种数字调制信号进行解调．通过对调制信号幅度包络进行分层变换,将复杂的采样数据转变成只包含几个简单数值的数字序列,然后分析该数字序列的数值变化情况,从而实现解调．最后,在以TMS320C5416为核心的DSP开发板上对该方法进行了测试实验．实验结果表明,该方法能够有效地解调多种类型的数字调制信号,且算法结构简单,实时处理能力强．     

几种用于木材/无机纳米复合材料的纳米粒子分散与改性研究

木材/无机纳米复合材料的优异性能主要取决纳米颗粒的分散状态;但纳米粒子极易团聚,导致粉体性能劣化.通过对纳米SiO2,CaCO3,ZnO,TiO2,Al2O3等的分散、表面修饰和改性,控制其大小、形态,提高其在复合体系中的均匀分散能力.对所用无机纳米材料采用高速剪切分散或超声振荡方法进行分散;并通过改性剂在纳米粒子表面上吸附、进行化学反应、包覆和成膜实现改性.然后用激光粒度仪、扫描电镜、透射电镜等对改性前后的纳米粒子进行分析、表征,结果表明:高速剪切分散或超声振荡分散只对产生软团聚的无机纳米粒子有效;而改性剂也只能减少粒子硬团聚的产生.     

软件模拟SCI在MC68HC908EY16上的实现

介绍了一种在单片机中实现软件模拟SCI的方法,该方法使用一个输入捕获、2个定时器、2个数字输入输出的功能．用普通IO口通过软件编程来实现SCI通信。该方法已在FreeScale的MC68HC908EY16上实现,并用于汽车Lin网络的主节点。取得了良好的效果,具有一定的推广价值。     

六五式铁路军用桥墩模拟拼装系统研制与开发

为了满足六五式铁路军用桥墩拼装演练的要求,介绍了“六五式铁路军用桥墩模拟拼装系统”的研制与开发工作。该系统不仅可以解决实际拼装作业的标准化和规范化问题,探索出安全、经济、高效、规范的拼装技术作业程序;而且可以降低拼装演练的费用,提高拼装作业人员的拼装技术水平,减小拼装时间,提高拼装效率。对培训专业保障队伍和保障战时铁路运输的畅通,具有一定的作用。     

密级配沥青混合料AC-10C的适宜压实厚度试验研究

通过对铺筑厚度为20mm～60mm的密级配沥青混合料AC—10C常用施工工艺的分析,建立现场取芯试件空隙率和路面厚度的关系,并得出空隙率随厚度而变化的规律,对修订我国施工规范推荐的压实适宜厚度提出了试验依据。     

快速老化小鼠的学习记忆缺陷及其生化机制

目的用快速老化小鼠(SAMP8)模拟老年痴呆,观察其学习记忆能力,并探讨其学习记忆能力下降的可能机制。方法采用10月龄SAMP8,并用同龄抗快速老化小鼠(SAMR1)作为正常对照。用水迷路检测近记忆以及空间学习记忆能力。用生物化学方法检测大脑皮层线粒体膜电位和ATP酶活力,观察线粒体功能;检测皮层和海马胆碱乙酰基转移酶(ChAT)和乙酰胆碱酯酶(AChE)的活力,观察中枢胆碱能神经功能;检测血清超氧化物歧化酶(SOD)活力和丙二醛(MDA)含量,观察其全身性氧化应激状况。结果与SAMR1相比,SAMP8出现明显的衰老体征,其近记忆和空间学习记忆能力明显减弱,具有衰老和痴呆特征;皮层线粒体膜电位和ATP酶活力显著降低,海马ChAT活力显著下降,AChE活力显著升高,血清SOD活力稍有增高。结论SAMP8可以很好地模拟老年痴呆,其机制包括大脑皮层线粒体功能降低、海马胆碱能神经功能下降以及氧化应激等。     

UML状态图映射为Petri网模型的方法研究

UML广泛应用于软件建模,然而UML是半形式化的,这使得很难对其进行严格的语义分析和正确性验证。状态图作为UML动态描述机制的重要组成部分,同样存在这样的问题。Petri网作为一种图形化建模工具,具有严格的形式化语法语义,而且有很多成熟的分析方法。本文提出了将UML状态图映射为Petri网模型的方法,并结合实例对映射后的模型进行分析,验证了模型的一系列正确性。