一种面向AADL架构的模型测试方法

鉴于模型在软件系统开发中日趋重要的地位和AADL模型在嵌入式软件建模中的良好应用前景,为了在嵌入式软件系统开发前期保证AADL模型的质量,提出了一种基于模型测试的AADL架构验证方法;该方法应用马尔可夫链描述AADL架构的行为,然后根据得到的马尔可夫链模型以及系统设计要求标准生成相应的测试用例和测试预言,并通过测试用例执行输出和期望值的比较判断AADL模型的正确性,实现对系统AADL模型的测试;最后通过案例分析证明了该方法的有效性。     

交通管理信息系统软件安全设计与应用研究

交通管理信息系统软件安全设计与应用的研究将会给我们的交通信息的安全起到很好的保证作用。文章对系统架构设计、软件发布的安全管理、系统运行过程中的安全管理进行了分析,希望给这方面的研究起到一定的指导效果。     

燕麦麸皮水解物在化妆品中的功效研究

本研究以燕麦麸皮为原料,研究了燕麦麸皮中蛋白质在Alcalase酶的作用下的水解,测定了其在不同水解时间下的水解产物的分子量,并对燕麦麸皮水解产物去除羟自由基能力和人皮肤成纤维细胞增殖情况进行了初步测定。结果表明,用Alcalase酶水解燕麦麸皮,水解时间越长,水解产物分子量越小;Alcalase酶解产物具有去除羟自由基的能力以及对人皮肤成纤维细胞的增殖能力。本试验为燕麦麸皮水解产物应用于化妆品提供了一定的理论基础。     

飞机钣金零件多态模型状态划分方法

对飞机钣金零件多态模型作进一步研究,分析了飞机钣金零件的制造状态衍化特性和典型状态,讨论了状态划分的原则和依据,建立了基于典型状态的划分方法和基于XML的状态方案表达方法,提出了状态划分的评价流程和基于成熟度的优化方法。实现了面向制造过程的飞机钣金框肋类零件状态划分,为钣金零件多态模型数字化定义提供了依据和信息组织框架。     

飞机钣金零件制造模型管理方法

分析了飞机钣金零件制造模型的典型状态组成,以框肋零件为例描述了零件制造模型设计态、毛坯态、成形件态和成品件态的内容.在此基础上,针对人员、数据和流程数据管理三要素,建立了基于多态模型的飞机钣金零件制造模型管理方法.对于人员管理,定义了飞机钣金零件制造的人员角色及其主要职责,采用基于规则的权限控制方法;对于数据管理,采用多态模型组织制造模型,以成形件态为例描述了节点数据模型;对于流程管理,以成形件态成形模具所用几何模型的设计为例,建立了流程管理模型.最后,以产品数据管理系统为平台建立了集成应用框架,验证了制造模型管理方法工程化应用的可行性.     

苏州城区河道自动监测系统架构与特点

苏州市城区河道自动监测系统实现了对城区河道环境整治水质变化的实时跟踪监测.系统采用小型、节能、低噪的智能子站、免试剂的监测方法和多重保障的安防措施,集监控评价发布为一体化,体现了绿色监测的理念,且与大型水站同样具有较强的野外适应能力和无人值守智能监测的特点.本文就系统的构架以及系统所具有的4个方面特点进行了阐述,并总结了在系统建设中的站点选址、对监测结果的有效利用、运行过程的质量控制及免试剂监测方法的适用性等几方面应用体会.     

猪肝中莱克多巴胺残留的分析研究

优化了莱克多巴胺的仪器分析条件。建立了适合于分析检测猪肝中莱克多巴胺的SPE前处理方法，样品加标回收率为53．75％。66．60％，变异系数0．87％-19.43％。     

红外吸收法测定硅中氧含量

一、前言氧原子是存在于半导体材料硅中的主要非金属杂质之一,是引起硅器件成品率低和质量不稳定的一大因素,这是因为:1.硅单晶中存在的氧含量可高达10~(16)原子/cm~3——10~(18)原子/cm~3在单晶热处理时会产生施主,因而引起电阻率发生剧烈变化,甚至改型。2.进入硅中的氧围绕在重金属杂质的周围,屏蔽了金属原子对少子寿命的作用,经过热     

降雨入渗时土钉支护稳定性可靠度分析

基于非饱和土水分子运动方程,建立一维降雨人渗的计算模型,利用MATIAB编辑有限差分的计算程序求解降雨入渗条件下边坡土体的瞬态含水量。考虑体积含水量和非饱和土强度参数的关系,对降雨入渗条件下边坡土钉支护结构整体稳定性可靠度分析建立计算模型。通过对具体工程建立整体稳定性极限状态方程,用蒙特卡罗法求解稳定性可靠指标,定量的分析了降雨入渗对边坡土钉支护结构稳定性的影响。     

响应面法对Neutrase蛋白酶酶解燕麦麸的优化研究

以燕麦麸皮为原料,采用Neutrase复合蛋白酶水解,并对水解工艺进行优化.以水解度(DH)及氮溶指数(NSI)为评价指标,在对加酶量、反应时间、料液比等单因素实验的基础上,采用BoxBenhnken响应面分析法,设计了3因素3水平实验,得到了燕麦麸蛋白酶解的最优条件.