嵌入式软件GUI自动化测试平台研究

为实现嵌入式软件的GUI自动化测试,本文对嵌入式软件GUI自动化测试现状深入分析,提出了一种无侵入式的GUI自动化测试框架,利用图像采集与信息识别技术实现测试用例结果判断;利用键盘鼠标模拟技术模拟测试用例执行的人机交互;利用脚本语言嵌入技术实现用例编辑与转换、利用嵌入式软件GUI测试自动化控制技术实现用例的自动驱动与执行。在此基础上,设计并研发了嵌入式软件GUI自动化测试平台,能够方便、有效的实现无侵入式的嵌入式GUI自动化测试。     

多孔TiO2负载Pt的制备及室温下催化降解甲醛的研究

以钛酸丁酯为前驱物,通过水解-水热法,成功制备了多孔TiO2,以此为载体,通过化学还原法负载Pt,制得Pt/TiO2复合催化剂.采用XRD、SEM、TEM、N2吸附-脱附等方法对样品的理化性能进行表征,以HCHO为目标污染物,测试了Pt/TiO2催化剂的室温催化活性.实验结果表明:水热处理对样品的微观结构和催化活性有很大影响,水热处理有助于TiO2晶体化,形成层次丰富和形状规则的孔道体系,有助于Pt的分散负载和污染物分子的扩散流通.以多孔TiO2作为载体的催化剂比以P25作为载体的催化剂具有更高的催化活性,多次循环测试,Pt/TiO2催化剂仍具有较高的稳定性.     

制造商与两个具有竞争性的零售商的两阶段博弈模型

针对一个制造商和两个具有竞争性的零售商组成的供应链两阶段博弈模型.首先考虑下游零售商之间的Stackelberg博弈,然后又以整体最优讨论制造商为主导的Stackelberg博弈的两阶段博弈模型.数字实验结果表明:该策略不仅能提高制造商的利润,而且能改善销售商的利润,特别是对于供应链成员之间具有较高的竞争强度.     

解非线性约束方程的拉格朗日全局投影方法

基于最优化方法求解约束非线性方程组的一个突出困难是计算 得到的仅是该优化问题的稳定点或局部极小点,而非方程组的解点.由此引出的问题是如何从一个稳定点出发得到一个相对于方程组解更好的点. 该文采用投影型算法,推广了Nazareth-Qi$^{[8,9]}$ 求解无约束非线性方程组的拉格朗日全局算法(Lagrangian Global-LG)于约束方程上; 理论上证明了从优化问题的稳定点出发,投影LG方法可寻找到一个更好的点. 数值试验证明了LG方法的有效性.     

定时截尾场合双参数威布尔分布的贝叶斯推断

给出了定时截尾下,双参数威布尔分布中参数及可靠性指标的Bayes估计,并且给出了未来观测值的贝叶斯预测问题.     

基于洛伦兹曲线几何特征的中等收入优化模型

中等收入人口的确定对于分析一个社会的经济发展,稳定性具有重要的意义.洛伦兹曲线是一种分析中等收入的经典工具.本文提出一种具有更高拟合精度的洛伦兹曲线模型.并基于其几何特征,考虑社会的贫富程度与贫富分化因素,建立了收入空间法与人口空间法的优化模型.     

陕西古琉璃SRXRF研究及多元统计分析

用同步辐射X射线荧光(SRXRF)对陕西西岳庙宋、元、明、清早期、清晚期4个地层出土的古琉璃胎和釉中主、微量元素进行了分析,用SPSS统计软件对实验数据进行了多元统计分析.分析结果表明,从宋到清早期琉璃胎料很稳定,清晚期琉璃胎料与宋到清早期之间存在明显的区别,明代一件料器片胎的化学成分与同期其它样品差别很大,与清晚期样品的成分接近,这与中子活化分析结果是一致;琉璃釉色主要由Fe,Cu和Co三元素的含量决定.     

峪耳崖金矿矿化绢云母的同步辐射X荧光分析

峪耳崖金矿是冀东地区与中生代花岗岩有关金矿订的典型代表.本文利用同步辐射微束X荧光对裕耳崖金矿化绢云母进行了组成成分分析,显示绢云母体内含有K,Ca,Rb,Cr,Mn,Fe,Co,Cu和Zn,以及成矿物质Au,Ag,Pt和As,Au既与绢云母的组成元素呈相关关系,又与绢云母组成元素不相关的Pt,As呈相关关系,显示了Au在绢云母中存在两种赋存形式及至少两种不同的成矿物质来源.金矿的成矿物质来源,通常认为与岩浆体系有关,蚀变矿物中Pt族元素的发现,反映了成矿过程中有深部幔源物质的参与.     

α-取代氨基氟代苯基膦酸酯衍生物的合成、晶体结构与抗癌活性

利用席夫碱与亚磷酸酯反应, 合成了新型O,O'-二烷基-α-(6-甲氧苯并噻唑-2-基氨基)-4-氟苯基膦酸酯化合物, 结构经元素分析, IR, ¹H NMR, ¹³C NMR和X单晶衍射确认. X单晶衍射测试结果表明: 化合物3d分子属于四面体晶系, 空间群I4(1)/a, a＝2.1055(3) nm, b＝2.1055(3) nm, c＝2.0521(5) nm, α＝90.00°, β＝90.00°, γ＝90.00°, V＝0.9098(3) nm³, Z＝16, D_c＝1.321 mg/m³, ＝0.250 mm^－1, F(000)＝3808. 化合物还存在着1个分子内氢键[N(2)—H(2)…O(1)]. 生物测定表明化合物3f在20 g/mL浓度下对PC3细胞的抑制率为84.3%.     

关于“级别婚”的数学分析

介绍了19世纪存在于澳大利亚土著中的一种婚姻形式—级别婚,从群论的角度说明级别婚的三种主要形式都对应于一个对称群,从而可以用几何方法形象的表示这种婚姻形式;进而,从对称的观点说明婚姻形式从简单到复杂的演化过程,代数上对应于对称群阶数的增加,几何上则对应于对称性的加强.