高矣物的特性对双水相相图和头孢氨苄及7-ADCA分配行为的影响

A series of ethylene oxide(EO)-propylene oxide (PO) random co-polymers (EOPO) were used to form aqueous two-phase systems (ATPS) with ammonium sulfate.Effects of EOPO′s properties on the phase separation behaviors and on the partition of cephalexin and 7-aminodesacetoxicephalosporanic acid(7-ADCA) in ATPS were investigated.Both the molar mass and molar ratio of EO to PO of EOPO could greatly influence partition behaviors of cephalexin and 7-ADCA as well as the binodal curve of ATPS. With the increase of molar mass of co-polymer or the decrease of molar ratio of EO to PO,the critical point of ATPS decreased,the binodal curve became more asymmetry,and both cephalexin and 7-ADCA followed the same tendency to partition into the polymer-poor bottom phase.The experimental results shows that it is feasible to partition cephalexin and 7-ADCA in either the polymer-rich top phase or the polymer-poor bottom phase by choosing a specific phase-forming EOPO.     

Excel电子表格在土工试验中的应用

以Excel电子表格实现试验中所需数据的筛选、查找,进行相应计算。详述电子表格在土工试验中的实用性和高效性。     

FeSO4微乳液的制备

选择合适的乳化剂和油相成功制备了FeSO4微乳液,并绘制了其四相伪三元相图．通过对比实验选择了乳化剂Triton X-100及油相环己烷,配制成了微乳液,并分别以硫酸亚铁溶液（以W表示）、环己烷（以O表示）、Triton X-100和正丁醇的复配乳化剂（以S＋C表示）为三相图的三个顶点绘制了伪三元相图．     

调速阀式旁路节流调速系统动态特性理论及试验研究

针对负载变化时旁路节流调速回路存在的液压缸输出前冲和液压缸进油腔压力冲击的问题,采用理论分析与试验研究相结合的方法,研究了调速阀式旁路节流调速系统参数变化对系统动态特性的影响.建立了旁路串接调速阀的节流调速系统动态特性的理论模型,并进行了相应的试验研究,试验数据分析结果与理论分析相吻合,为此类型回路系统设计提供了参考依据.     

基于OBDD的Iteration-free CPDL判定算法

命题动态逻辑是一种应用模态逻辑,用于程序行为的推理.Iteration-free CPDL是一种无迭代算子而含有逆算子的命题动态逻辑.对于给定的Iteration-free CPDL公式集,方法是应用NCNF变换和FLAT规则对其进行预处理,并对公式集重构模型,然后将其转化为布尔函数,并利用OBDD来表示,从而调用已有...     

基于模型的测试用例生成方法

在大量软件出现的今天,除开软件的功能是否完善外,对软件本身提出了更高的安全性和稳定性要求;一款软件在上线前需要进行大量的测试,以便提升软件的质量;由于开发人员参与了软件的研发及上线流程,导致了看待软件问题的局限性,而测试人员在编写测试用例时,往往由于依据文档的不一致性,使得测试用例的价值大打折扣;并且在实际软件的开发流程中,测试环节与开发严重脱节;往往只是为了出相应的测试报告而去测试,偏离了测试的初衷;针对以上问题,提出基于模型的用例生成方法,能够基于工作流程图、判定表、状态转换等多种测试方法,并在该方法中应用边界值与等价类的思想,够贯穿整个软件研发的生命周期,在软件研发初期就能够参与测试,提出设计方案的不足;并且能够自动生成测试用例,提高测试人员的效率.     

Variable sorting based on fault tree structure adjustment for multi-valued decision diagrams

The dynamic fault tree does not have the ability of fault calculation when analyzing the reliability of the system, so it needs to be modeled and analyzed by means of multi-valued decision diagrams and so on. The dynamic fault tree is translated into a multi-valued decision diagram according to the ordering of variables of basic events which affects the size of the generated multi-valued decision diagram and the cost of traversal to get cut sequences. An adjustment method of the dynamic fault tree structure is proposed based on the importance degree of repeated events, dynamic gates and the locations of events of the dynamic fault tree. By taking the fact that the basic events at the same level are equally important into account, an improved dynamic variable ordering method and ordering generation algorithm for the multi-valued decision diagram are presented in this paper. The result analysis of an example shows that the improved dynamic variable ordering method can reduce the size of the multi-valued decision diagram and space and time complexity of the reliability calculation compared to the similar methods.     

十字路口处长车交通状态相图

如今,相图被广泛用于交通科学领域的研究,取得了重要成果。根据理论分析和计算机模拟,本文构建了十字路口处交通流量相图。该相图是由五个基本区域构成的,本文分析并推导出每个区域的具体流量公式。在周期边界条件下,采用确定性 Fukui－Ishibashi元胞自动机交通模型进行数值模拟,其模拟结果与理论分析精确一致。     

由二元合金相图提取无限稀活度系数（英文）

提出了由二元相图提取定温下无限稀活度系数的方法,分别在正规溶液和Richardson假设条件下,计算了31个二元液态合金体系两组元无限稀活度系数,并与相应的实验值比较,所获得的平均相对误差为:共晶体系为23.2%和20.7%;含固溶体体系为19.4%和18.3%;含化合物体系为39.5%和46.1%;分层体系为25.8%和14.3%.结果表明:由共晶相图、含固溶体相图提取无限稀活度系数,有效性较好,由含化合物相图提取无限稀活度系数有效性较差.引入Richardson假设后,对计算值的精度有所提高.研究表明,运用二元相图提取无限稀活度系数方法提取二元合金体系无限稀活度系数是可行的.     

智能投币机在城市公交上使用的改进分析

通过鱼骨图的方法对现有智能公交投币机存在识别率偏低的问题进行了分析,提出在智能投币机中采用闭式五角叶轮或增加硬币预处理部分,对现有的智能公交投币机进行改进,使智能公交投币机的硬币辨识率得到提高.