基于描述逻辑的能力需求模型验证方法

针对C⁴ISR系统能力需求模型中存在的一致性和合理性问题,提出了一种能力需求模型的验证方法。先采用基于描述逻辑的本体描述语言OWL DL精确描述能力需求分析中的元概念模型和应用概念模型,然后在元概念模型和应用概念模型之上附加一定的模型验证推理规则,并通过符号推理系统验证了能力概念的完整性以及目标的一致性。     

不对称信息下对异质销售商激励及产品定价

在制造商通过雇用销售商销售单产品的市场背景下,分析了当制造商面临销售商有关于销售能力的私有信息时,制造商如何制订产品销售价格并设定激励合同的问题.模型中,制造商通过制定一系列的目标销售量和相应的销售价格供销售商进行选择,在销售商选择某一目标销售量后,制造商了解到销售商的真实销售能力,找到了这一系列的最优目标销售量以及相应产品的最优销售价格.研究还发现,由于制造商制定决策前与销售商之间存在不对称信息,制造商需要付出一定的信息成本才能获得销售商的私有信息.同时,制造商通过合理的定价以尽可能地少付出信息成本.     

6061铝合金平板对接焊接接头拉伸性能研究

采用TIG焊获得6061铝合金平板对接焊接接头,在万能拉伸机上进行拉伸试验;应用双孔微剪切试验结合有限元计算,用反推法得到焊缝和热影响区的力学性能参数及损伤参数;应用ABAQUS/Explicit模拟平板对接焊接接头在拉伸载荷作用下的变形和损伤行为,并与实验结果进行对比.结果表明,仿真结果与实验结果吻合得很好.改变不同区域的损伤参数,发现弱化区的损伤参数对仿真结果影响最为明显,因此要得到屈服强度及断裂强度较好的焊缝主要是控制弱化区的材料性能.     

基于凸情形下在线设备更新问题的竞争分析

市场以在线的方式给出新设备,决策者必须决定是否更新现有的设备,并确定何时更新？即在已知现在和过去的设备信息和订单信息而对未来信息一无所知情况下,决策如何更新设备完成陆续达到的订单需求.优化目标是使设备更新投资成本与设备运行成本总和最小.首先讨论了离线设备更新问题, 给出了两种算法并分析了算法复杂度.其后, 讨论了凸情形下在线设备更新问题, 给出了临界值策略,得出了竞争比为6, 证明该策略要优于原有的策略.     

基于遗传算法的动态联盟伙伴选择过程及优化模型

动态联盟中的伙伴选择和优化是动态联盟组建过程中的一个关键问题。该文对动态联盟中伙伴选择问题的复杂性进行了分析 ,指出已有定量方法存在的局限性 ,在对伙伴选择过程进行数学描述的基础上 ,提出了一个基于遗传算法的联盟伙伴选择优化模型 ;并对该模型的算法进行了设计和改进 ,最后给出了一个典型算例 ,以说明该模型和算法的有效性。     

兔角膜缘上皮细胞在体外壳聚糖共混膜上的培养及生物学鉴定

目的：探讨壳聚糖-胶原-硫酸软骨素共混膜作为兔角膜缘上皮细胞体外培养载体的可行性。方法：采用消化培养法,用特殊培养液在壳聚糖-胶原-硫酸软骨素共混膜上培养兔角膜缘上皮细胞,第7d应用免疫组化方法对培养细胞作生物学鉴别并在扫描电子显微镜下观察细胞形态。结果：上皮细胞AE1／AE5单克隆抗体免疫组化阳性,培养第7d的上皮细胞有多种细胞形态,细胞胞体饱满,相互通过突起连接,表面可见微绒毛。结论：兔角膜缘上皮细胞可在壳聚糖-胶原-硫酸软骨素共混膜上生长,并具有分裂增殖能力。     

合金钢缺口试样热预应力增韧机理的研究

用缺口试样进行了一系列不同循环的热预应力 (WPS)试验 ,以研究合金钢热预应力增韧效应的机理 .测量了宏观力学参数 ,对断口和热预应力后卸载试样缺口前的微观特征也进行了观察 .实验结果表明 :产生残余压应力和使缺口钝化张开的WPS循环可以改善低温缺口韧性 .相反 ,产生残余拉应力和使缺口根部锐化闭合的WPS循环使缺口韧性变差 .随着提高WPS载荷 ,越来越多的潜在解理起裂第二相粒子被剥离和钝化成微孔 .这一效应也可以改善缺口韧性     

商务车车身底板动态特性的实验研究

汽车车身的振动很大程度上来源于车身底板的结构振动。该文通过对商务车白车身底板的动态性能测试,分析了底板3个不同区域的优势频率。研究结果表明,车身底板的振动频率主要集中在0～400Hz的中低频段内,而且频率成分比较丰富,不同区域的优势频率也不尽相同,从而为改进商务车的动态性能及提高商务车的舒适性提供了科学依据。     

NESP中测量工具的研究与实现

测量工具是进行网络测量研究的前提和基石。提出了NESP中测量工具的分层结构,给出了基于CoralReef的流测量工具的实现,简单介绍了CoralReef软件包并描述了相关的性能优化技术。为NESP中测量工具的设计和实现提供了总体的框架和方法,对NESP扩充和集成测量工具具有参考价值和指导作用。