基于软件工程基本原理的电子商务网站建设

针对电子商务网站建设过程中存在的问题，从软件工程基本原理出发，分析结合软件生存周期瀑布模型提出电子商务网站的建设过程，对克服当前主要不足有一定的帮助作用。     

一个说明语言的设计和其子集编译器的开发

基于软件文档可执行的想法，设计了一个适用于指称语义描述的可执行规范说明语言——ＪＺＣ，并对其核心子集编译器进行了设计与开发。该语言设计采用了模式匹配、类型并置和构造函数等概念，使得抽象文法易于在程度中体现。模块概念的引入使得函数型语言书写的程序更加易懂和易于编写。作为对严格开发方法的一个尝试，ＪＺＣ核心子集编译器的开发采用了该种方法，其中一个“结果正确性定理”的证明是开发过程的重点工作。本文通过一个示例语言简介ＪＺＣ的语言特点，给出了编译器开发过程的一个描述框架和证明梗概     

提高5CrNiMo钢制弯形件锻模寿命

锻模是重要的生产工具。以弯形件锻模为研究对象,分析其主要失效原因,提高模具的寿命,必须提高型腔的红硬性,避免内部出现上贝氏体,这可以通过提高淬火温度来实现。因而推迟了模具磨损的时间,提高了模具抗堆塌和断裂的能力。     

防空导弹引战配合设计变分问题的近似求解

以破片杀伤战斗部的破片动态相对飞散密度函数作为设计变元，得到单枚导弹战斗部对空中目标的杀伤概率泛函。于是，对防空导弹引战配合的设计就转化为求解相应的变分问题（VP）。通过里兹法对此进行了近似求解，求解结果与实际的引战配合情况完全符合。这说明防空导弹引战配合设计的变分法是可行的，从而为现代防空导弹引战配合在更广泛的类型中寻求最佳设计提供了有效的方法和手段。     

跑道视程应用实践

随着我国民航事业的发展,民航飞行安全保障对航空气象服务的要求越来越高。影响飞行活动最经常的气象要素有三个:能见度、云和风。其中,在飞行的起、降过程     

复合材料RTM制造工艺数值模拟研究进展

纤维预制体的渗透性、孔穴或干斑的形成、残余应力的形成得影响成品质量的三个主要方面，本文对研究中存在的问题，进行了总结和评述。针对RTM工艺过程模拟中采用的控制方程，简要阐述了几种常用数值方法的特点。结合国内外RTM工艺过程数值模拟研究动态，指出了其发展方向。     

阻燃剂的应用与研究进展

阐述了阻燃材料与阻燃剂得以推广应用并迅速发展的主要原因；分析了应用于阻燃材料中的卤系、有机磷系、磷－氮系（又称膨胀型）或有机硅系等不同类型阻燃剂的阻燃特性及其适用范围；重点探讨了膨胀型阻燃剂的阻燃机理和阻燃特性，并介绍了相关产品的发展动向。为克服卤系阻燃剂的不足和提高环保效果，无卤、高效、低烟、低毒新型阻燃剂合成及其阻燃技术的研究是当今高分子阻燃材料的发展方向，特别是膨胀型阻燃剂和有机硅系阻燃剂的开发与应用将成为21世纪阻燃剂最活跃诉研究领域之一。     

可溶性改性双马来酰亚胺树脂基体的研究

在双马来酰亚胺/二元胺/改性剂A预聚体系中加入环氧丙烯酸树脂,制备了一种可用作耐热复合材料基体的改性双马来酰亚胺树脂。用DSC研究了该树脂基体的反应特性,并制定出了合适的固化工艺参数:改性树脂基体经140℃/1 h 160℃/1 h 180℃/2 h初固化,于220℃/8 h后固化处理,其热变形温度(HDT)为245℃;该树脂与玻璃纤维制备的单向复合材料层压板的室温拉伸强度、弯曲强度和层间剪切强度分别为1 030 MPa、1 600 MPa和92．1 MPa;180℃下测得弯曲强度保持率为67．8%,层间剪切强度保持率为63．2%,用DMA法测得T_g为273℃。     

铝/ZN-1阻尼材料复合结构件的粘接技术研究

探讨了胶黏剂黏度、硬铝表面处理方式及硅烷偶联剂KH-560的使用方式等因素对硬铝板/ZN-1阻尼材料复合结构件的粘接性能的影响。研究表明：如果硬铝板表面采用砂纸打磨处理时，采用黏度较低的TC-1环氧树脂胶或者在黏度较高的J-22环氧树脂胶中添加2％的硅烷偶联剂KH-560可以获得优异的粘接效果；当硬铝板表面采用铬酸阳极化处理时，两种胶黏剂均能获得优异的粘接效果。     

聚合物/纳米复合材料的制备、性能及其应用展望

介绍了纳米粒子的表面效应、小尺寸效应、量子尺寸效应等特性，聚合物/纳米复合材料的概念和结构性能；综述了聚合物/纳米复合材料的几种常用制备方法；总结了由于纳米粒子的存在聚合物/纳米复合材料在力学、光、电、磁等方面呈现出常规材料不具备的特性，并结合其特性展望了聚合物/纳米复合材料的应用前景。