航天嵌入式软件可信性度量方法及应用研究

航天嵌入式软件的可信性是确保型号任务成功的重要因素.目前对航天嵌入式软件可信性评价均采用定性的方法,还没有针对航天嵌入式软件可信性的定量度量方法和模型.本文采用主观和客观相结合的方法,提出了一种面向航天型号软件的可信性度量模型及分级评价方法,通过航天软件的可信属性来研究软件的可信度和定量分析评价.基于该度量模型和方法对月地高速再入返回飞行器软件的可信性进行了度量评估,应用情况表明,航天嵌入式软件可信性度量模型及分级评价方法是合理的,科学的,能够有效评价软件的可信性并发现软件产品研制过程中需要加强的部分,对于航天型号软件研制水平的提高有重要的意义.     

基于遗传算法的混凝土箱梁日照温度场的仿真分析

针对混凝土箱梁日照温度场仿真计算中材料参数难以准确取值的问题,建立了基于遗传算法的混凝土箱梁日照温度场计算模型。通过对某大型混凝土箱梁桥日照作用下温度场的模拟表明,该模型具有很好的适应性,虽然不一定能找寻出材料的真实性能参数,但可以较为准确地模拟日照辐射作用下混凝土箱梁的温度场。     

简析商品房认购合同的法律责任

目前违反房屋认购合同应如何承担法律责任,无论是理论界还是实务界观点都并不统一,以致人民法院在处理具体案例时已经出现法律适用的混乱局面。本文认为,通常情况下,房屋认购书是房屋买卖合同的预约合同,房屋认购书义务人若无正当理由拒绝订立本约,则同时满足违约责任与缔约过失责任的构成要件,构成违约责任与缔约过失责任的竞合,权利人可择一要求义务人承担责任。     

海水养殖污水处理方法与探讨

循环水养殖模式在资源消耗、环境保护、生产能力等方面具有明显优势,已成为越来越多国家实现可持续发展的选择。本文主要探讨了海水养殖中氨氮的去除方法方法相关内容,对于进一步深化我国海水养殖发展具有一定帮助。     

产品设计冲突的粒计算消解模型

针对产品设计约束具有层次性、分布性及动态性的特点,用分布式约束满足问题模型难以进行产品设计冲突消解的问题。将产品设计转化为商空间粒度世界,建立了分层递阶粒计算产品设计冲突消解模型。对产品设计问题进行粒化和划分,通过商映射和粒度合成实现不同层次之间以及不同设计领域之间的映射和回溯,采用分层次、逐步细化的粒计算方法进行冲突消解。这种由粗到细、层层深入、逐层求解的粒计算消解方法简化了分布式动态约束满足问题,降低了问题求解的计算复杂性,具有系统性、整体性和层次性特点。     

基于气象参数的混凝土箱梁日照温度场仿真分析

针对困扰工程设计的桥梁梯度温度问题,建立了基于气象参数并考虑实际桥址和桥梁走向的混凝土箱梁日照温度场有限元模型.以苏通大桥辅助航道桥为例,使用2008年7月2日至7月7日6天的实测温度和气象数据,验证了该模型的准确性,并分析了大气日温差和日平均风速对混凝土箱梁梯度温度的影响.分析结果表明,日平均风速对混凝土箱梁的最大梯度温度影响较大,大气日温差则对其影响较小.从概率统计学角度计算分析了桥址气象参数50年一遇标准值条件下混凝土箱梁的日照温度场,提出可能出现的最大梯度温度为18.3℃,并将提出的梯度温度模式与各国规范的梯度温度模式进行比较.结果表明,在分析混凝土箱梁日照温度场时有必要考虑气象参数的影响,以获得适合当地桥梁的梯度温度模式.     

论英语语句核心词和调群核重音的一致性

每一个英语口语语句都伴有一定的语调,构成英语语调的每一个调群都必然有一个动调重音,这种重音是调群的核心,因而被称为核重音。然而,语句中究竟哪个词才能够或者有资格承受核重音呢?这正是本文所要探对的问题,即语句的核心词和核重音的联系问题。多少年来,国内外英语教学界中的不少人致力于英语语音和语调的教学,但就效果而言,前者进步很大,后者“令人失望”。国内不少英语爱好者注意到,中国人的英语语调与英美人的英语语调存在着可以感觉得到的差别。这种差别听起来是语调问题,实质上却是语句的核心词与调群的核重音是否一致的问题。调群的核重音如果不落在语     

酯化大单体酸醇比对聚羧酸减水剂性能影响

聚羧酸减水剂主要是大单体和不饱和酸类小单体直接进行自由基共聚制备,主要通过改变合成工艺条件对减水剂进行性能优化,很少研究大单体对减水剂性能的影响。本实验从酯化大单体出发,通过合成不同酯化率的大单体制备聚羧酸减水剂,从而研究酯化大单体对聚羧酸减水剂性能的影响。以聚乙二醇和丙烯酸为原料,通过改变酸醇摩尔比制备出不同酯化大单体,再与丙烯酸和丙烯磺酸钠进行自由基聚合,制备出聚羧酸减水剂。研究酸醇摩尔比和减水剂添加量对酯化大单体的酯化率、聚羧酸减水剂的减水率、砂浆流的动性和水泥砂浆抗压强度的影响。结果表明:酸醇摩尔比3∶1,反应时间6h,制备的大单体酯化率达到94.38%;羧酸减水剂在1%掺量时,减水率达到28.3%,与空白样相比,3d和28d抗压强度比分别为177%和143%。通过红外光谱、XRD、SEM等对聚羧酸减水剂的减水机理进行研究,发现聚羧酸减水剂提高了水泥颗粒的分散性,减少了用水量;减水剂分子填充了水泥颗粒的缝隙,促进了晶体生长,提高了抗压强度。     

钢框架连续倒塌分析中全焊接刚性节点的组件模型

为准确反映全焊接刚性节点在钢框架结构倒塌过程中的受力状态,对其在结构大变形情况下的受力机理和分析模型进行了研究.基于对全焊接刚性节点试验的准确模拟,研究了节点在弹塑性状态下的受力机理和变形特点,并对传统的节点组件模型进行了改进;分别对采用不同节点模型的钢框架子结构进行静力和动力非线性分析,研究不同节点模型对钢框架结构抗连续倒塌性能的影响.结果表明:全焊接刚性节点在弹塑性阶段以节点域的剪切变形为主;悬链线效应引起的梁内轴拉力不仅削弱节点的承载力,还降低节点的延性;改进节点组件模型能够较准确地反映钢框架结构在连续倒塌静力和动力分析时节点的弹塑性受力状态.