AADL 测试模型的构造研究

目前,结构分析和设计语言AADL在任务关键嵌入式系统领域有着良好的应用.为了保障任务关键软件的质量,文章提出基于AADL测试模型对AADL设计模型进行测试,以发现设计模型中存在的错误.研究给出了体现系统拓扑结构的AADL测试模型的形式定义及由AADL构造该测试模型的算法,基于该测试模型可以对AADL设计模型中构件交互的输入、输出端口序列和连接的正确性进行测试,并以飞行控制系统的AADL设计模型为例,阐释了研究成果.     

新的基于ID的身份鉴别方案

针对网络环境下用户身份的鉴别问题,依据双线性加群上计算性Diffie-Hellman问题的困难性假设建立了一个随机语言模型,采用了无证书公钥密码体制私钥生成方法,首次提出了一个能有效抵抗重置攻击和冒充攻击的基于身份(ID)的身份鉴别方案.新方案避免了基于公钥证书诸多方案的密钥吊销问题,也避免了基于身份的诸多方案所涉及的密钥托管问题,并释放了传统的基于身份的方案中私钥生成中心(PKG)无条件可信假设.在随机预言模型下对新方案进行了安全性证明.结果显示,即使PKG参与了主动并行攻击,多项式时间敌手冒充攻击成功方案的概率可以忽略.     

Turbo码在水声OFDM通信中的应用研究

为了增强高速水声通信中信息传输的可靠性,采用了性能优越的Turbo码和OFDM相结合的方法,并与传统的卷积码进行了性能比较.仿真结果表明,在水声通信可以接受的信噪比范围内,采用Turbo码的误码性能明显优于无信道编码和卷积编码;在带宽利用率相同时使用该方案的水声通信系统性能优于无信道编码和卷积码.因此,把Turbo码与OFDM相结合的传输体制可以明显提高水声通信系统的传输速率和可靠性,从而在水声通信中具有良好的应用前景.     

壁湍流周期性吹吸减阻的实验研究

为了研究局部周期性吹吸小扰动对湍流边界层的影响和湍流相干结构减阻控制机理,用实验方法研究了局部周期性吹吸小扰动与湍流边界层的相互作用.采用热线测速技术精细测量了施加吹扰动前后平板湍流边界层不同法向位置的流向、法向和展向速度分量的时间序列信号;通过测量扰动源下游近壁区域平均速度剖面的变化,发现在扰动下游一定空间范围内,粘性底层增厚和壁面减阻;通过对湍流度变化的分析,发现扰动影响猝发的发生;此外通过对展向平均涡量变化的分析发现,在扰动下游形成了2个定常的、强度相似的、大尺度的展向涡,它们起到流体滚动轴承的作用,减小了壁面摩擦阻力.     

二氧化硅负载支链有机膦的合成及其在二氧化碳催化氢化反应中的催化性能

以改性二氧化硅为核,利用发散法合成出二氧化硅负载的1～6代端胺基树枝状高分子(SiO2-PAMAM),样品经FT-IR,TG和端胺基分析表征.利用功能化载体表面的氨基与[Ph2P(CH2OH)2]+Cl-发生反应,合成出SiO2-PAMAM负载的有机膦(SiO2-PAMAM-PPh2),与三氯化钌复配成催化体系,考察了其对吗啉存在下的二氧化碳催化氢化反应的催化性能,该催化体系的催化活性(TOF)可达4 195.     

RP/RE技术与比例式设计

RP/RE制造技术与设计美学的有机结合,形成了具有竞争力和规模化的设计业,提高了企业创新设计和产品市场开发的能力.运用RP/RE技术得到实体模型,再以设计美学原则对其进行分析、数据处理、美化形态,促进产品开发、研制和销售.工业产品的形态比例关系,受诸多因素的制约.分析了传统的比例设计方法的缺陷与不足,介绍比例式设计的原理、方法及其具体应用.表明比例式设计具有数理性强,计算方便、简捷,容易掌握的特点.而且能根据功能要求、技术参数和使用对象等因素,迅速找出产品的最佳比例值,有效地解决功能和形式之间的协调关系.     

基于TDC3000实现的分程控制系统的研究与实践

根据贮罐气封工艺需求,压力高时调节阀放空,压力低时调节阀补N2．同时为了避免两调节阀频繁开闭,将控制器引入死区,实现分程控制,详解实现分程的组态步骤,充分利用TDC3000灵活多样的组态功能来达到优化控制的目的．     

聚羧酸系减水剂对水泥水化过程的影响

研究了以聚乙二醇800、丙烯酸、顺酐、烯丙基磺酸钠、丙烯酸羟乙酯为原料合成的聚羧酸系XYZ18减水剂对水泥水化过程及微观结构的影响.结果表明,XYZ系减水剂具有缓凝特性,能减少并延缓水泥水化放热;使水泥早期微小晶体大量生长并填充孔隙,气孔细化且分布更加合理,晶体向外伸长使水泥粒子相互搭接而形成网络结构,提高了水泥石的密实性.     

双三羟甲基丙烷丙烯酸酯的合成研究

采用酰氯法合成双三羟甲基丙烷丙烯酸酯．实验考察了原料配比、反应温度以及阻聚剂的用量等因素对产品酯化率的影响,确定了适宜的反应条件．酯化反应的酯化率最高可达89％．生成的产物为浅黄色黏稠状液体．产物经红外光谱、质谱定性分析,确定为目的产物．     

关于构建长庆油田生产建设和谐安全监管的思考

通过对长庆油田生产建设和谐安全监管意义的思考,分析当前在生产建设中存在的不和谐因素,指出构建和谐安全监管的切入点,进而提出构建长庆油田生产建设和谐安全监管的建议。