卫星定位系统的验证原型

用模型检查的方法对卫星定位系统进行了验证,对把模型检查应用于实际系统进行了初步的探索。     

离心渗透铸造产生液固共熔现象的数值计算

在离心渗透铸造工艺中,如果Al2O3颗粒预热温度过低,当渗透前沿达到一定深度时会出现瞬态液固共熔现象．针对离心渗透铸造工艺中金属铝熔液在旋转的Al2O3短纤维预型体内的充型过程,研究伴随有瞬态固化和再熔现象的流场温度分布,分析渗透前沿推移速度和再熔前沿推移速度的影响因素,提出各界面的移动速度计算公式．对这两个移动边界进行数值计算,得出程序收敛的判断标准．数值计算的结果得出了不同工况下,温度分布、压力分布和渗透速度分布图,对离心渗透铸造金属基复合材料的实际工艺起理论参考作用。     

表皮葡萄球菌sigB基因调控生物膜合成的研究

sigB基因编码的S igm a factor B(σB)蛋白是一个普遍性的可通过与RNA聚合酶结合来调控多种基因表达的因子.为了验证表皮葡萄球菌sigB基因的调控作用,构建了含四环素抗性基因的打靶载体并采用双交换同源重组的方法对表皮葡萄球菌RP62A(ATCC35984)中sigB基因进行敲除.sigB基因敲除后的菌株,与出发菌株相比生物膜形成能力急剧下降,而在sigB基因座的回补菌株中,生物膜形成能力又恢复到接近出发菌株的水平.RT-PCR分析生物膜相关基因sarA(Staphylococcus Accessory Regu lator),icaA(icaADBC操纵子中的第一个基因)发现,sigB基因从转录水平上对二者进行正调控.lacZ报告系统的体外实验揭示了SigB可以通过作用于sarA的启动子区域正调控sarA表达.     

一种新的洪水随机模拟模型的应用

将俄罗斯水文学者Khristoforov等建立的一种能反映洪水涨快落慢特性的随机模拟模型应用于钱塘江流域衢江衢县站汛期洪水流量过程模拟,并提出了模型参数的提取方法,同时对参数的分布线型进行了统计检验,对模拟结果分别进行了长、短序列不同时段洪峰洪量统计特性的实用性检验.结果表明:该模型能够通过实用性检验;模拟出的汛期洪水流量过程线能较好地反映实际洪水变化特性;与传统且常用的相关解集模型及季节性AR(1)模型相比,该模型所用参数大为减少,而且模拟效果也优于以上2种模型.     

制造执行中订单投放顺序与工件加工批量集成决策

针对车间制造执行过程中如何同时确定生产订单投放顺序和工件加工批量问题,提出了一种基于仿真优化的集成决策方法. 该方法包括遗传算法和离散事件仿真模型两部分:遗传算法采用分段编码方案,分别表示订单投放顺序和工件加工批量,通过遗传操作生成订单投放方案;以订单的平均流通时间为目标函数,利用仿真模型对每个方案进行评估,并将评估结果反馈到遗传算法中,作为遗传进化的依据. 以某研究所的机加车间为例,验证了该方法的可行性和有效性.     

Sn/Sn3O4?x heterostructure rich in oxygen vacancies with enhanced visible light photocatalytic oxidation performance

Sn3O4,a common two-dimensional semiconductor photocatalyst,can absorb visible light.However,owing to its rapid recombina-tion of photogenerated electron?hole pairs,its absorption is not sufficient for practical application.In this work,a Sn nanoparticle/Sn3O4?x nanosheetheterostructurewaspreparedbyin situreductionofSn3O4underaH2atmosphere.TheSchottkyjunctionsformedbetweenSnand Sn3O4?x can enhance the photogenerated carrier separation ability.During the hydrogenation process,a portion of the oxygen in the semicon-ductor can be extracted by hydrogen to form water,resulting in an increase in oxygen vacancies in the semiconductor.The heterostructure showed the ability to remove Rhodamine B.Cell cytocompatibility experiments proved that Sn/Sn3O4?x can significantly enhance cell compat-ibility and reduce harm to organisms.This work provides a new method for the fabrication of a Schottky junction composite photocatalyst rich in oxygen vacancies with enhanced photocatalytic performance.     

压裂液滤失深度及滤失速度计算新模型

建立了计算压裂液滤失深度及滤失速度的新模型,运用预处理共轭梯度法可对模型进行求解,得到压裂液的滤失深度,进而求得滤失速度。之后,应用该模型计算了滤失压差、压裂液黏度及界面张力对两者的影响。结果表明:随着压裂液黏度的减小,滤失深度与滤失速度均逐渐增大,两者与压裂液黏度呈幂指数关系;随着滤失压差的增大,滤失深度与滤失速度均逐渐增大,并与滤失压差呈线性关系;界面张力对两者几乎没有影响。     

面向节目生产与播出的电视台磁带库管理系统

本文基于当前中小型电视台节目的主要存储介质仍然是磁带这一实际情况,面向生产播出一体化的行业主流技术发展趋势,设计并开发了与节目生产系统和播出系统紧密联系的磁带库管理系统,其中详细阐述了磁带库管理的业务流程与功能模块,简要介绍了其中的关键技术,最后介绍了系统的实现和应用.     

射干提取物抑菌实验研究

采用体外抑菌法和体内抑菌法,对射干提取物进行了实验研究。结果表明体外实验表明射干提取物对大肠杆菌、金黄色葡萄球菌、铜绿假单胞菌、停乳链球菌、肺炎链球菌有抑制作用,最小抑菌浓度分别为2.60 mg提取物/mL、41.63 mg提取物/mL、20.81 mg提取物/mL、2.60 mg提取物/mL和2.60 mg提取物/mL。体内实验表明,射干提取物的低（0.078 g提取物/kg）、中（0.156 g提取物/kg）和高（0.312 g提取物/kg）剂量组有明显降低金黄色葡萄球菌感染小鼠死亡率的作用（P〈0.05、P〈0.01和P〈0.01）。