基于模型的软件测试

基于模型的软件测试是软件编码阶段的主流测试方法之一。基于多年的测试实践，本文认为基于模型的软件测试技术具有测试效率高、对逻辑复杂故障测试效果好等特点，但是误报、漏报和故障机理是依然需要进一步研究的问题。本文对主要的测试模型进行了分析和分类，并对其故障密度等参数进行了初步的分析。最后，本文给出了一种基于模型的软件测试方法。     

含酰胺基团氯化稀土配合物的合成和表征

合成了未见文献报道的氯化稀土丙烯胺配合物（ＬｎＣｌ３·３ＰＡ），剖析了ＬｎＣｌ３·３ＰＡ和聚（苯乙烯－丙烯酰胺）负勒氯化稀土配合物（ＳＡＡ·ＬｎＣｌ３）的红外光谱和电子能谱。结果表明，含酰胺基团的配体均通过与羰基氧与稀土离子配位。     

机器人实时远程控制系统设计与实现

为了满足3P-6SS并联机构型机器人实时远程控制的需要,基于VisualC 和OpenGL开发了客户端的仿真指令控制台和服务器端的控制程序。实验表明,所开发的嵌入式Linux服务端与Windows客户端通过网络能够稳定运行,Windows客户端能够实时对3P-6SS并联机构型机器人进行远程界面控制,很好的满足了操作者对机器人交互的需要。     

用蛋壳制备柠檬酸-苹果酸钙的研究

介绍了1种利用蛋壳制备新型钙营养强化剂柠檬酸-苹果酸钙的方法。考察了蛋壳前期处理方法、煅烧条件、结晶方式等因素对产品产率及溶解度的影响。在结晶过程中引入冷冻法,结果表明,在-18℃下低温结晶对柠檬酸-苹果酸钙的产率及溶解度均有提高。用正交实验确定了反应时间为2h,反应温度为50℃,加水量为50mL,物质的量配比为n(蛋壳灰分):n(柠檬酸):n(苹果酸)=5:2:4的工艺条件,用该方法生产的产品产率可达到94.5％以上,并对产品进行了质量检验。     

禹城洼陷生烃潜力研究

目的 评价禹城洼陷的生烃潜力，以指导下一步勘探。方法利用烃源岩分析数据对禹城洼陷的生烃潜力进行研究和评价，利用包裹体测温等分析资料对影响烃源岩发育和分布的因素进行分析和总结，利用生物标志化合物指标（C29S／S＋R）对生油门限进行了重新认识和探讨。结果禹城洼陷烃源岩发育较差、分布不均，总体上处于未熟一低熟阶段；其主要影响因素是异常高压带的分布和火成岩的入侵；本区生油门限应在3500m以下。结论禹城洼陷下第三系生烃潜力不足。     

3G模拟网络终端接入测试研究

借助CMU200模拟3G网络，Motorola 3G终端，Gemplus USIM Card以及GemXplore Admin应用软件，对3G核心技术--鉴权做了详细分析，对终端接入3G模拟网络进行研究，并成功接入3G网络。     

参数不确定非线性系统的分步变结构控制

针对一类存在参数不确定性的反馈线性的非线性动态系统,通过构造两个滑模流形,给出了输出跟踪控制律.第一个滑模流形为误差跟踪的线性函数,用于构造一个"中间控制变量";第二个滑模流形为中间控制变量与其实际值之间的误差,通过设计一个变结构控制律使闭环系统的轨迹渐近趋于滑模区,对于所有滑模区上的轨迹,跟踪误差趋于零.参10.     

纳米固体超强酸S2O8^2-/ZrO2-Fe2O3-SiO2 催化合成乙酸环己酯

采用纳米化学制备技术合成了新型的纳米固体超强酸催化剂S2O82-/ZrO2-Fe2O3-SiO2,将该催化剂用于合成乙酸环己酯.确定了实验最佳反应条件:n(酸)/n(醇)=1.0/1.2,催化剂用量为1.4 g,反应时间为90 min,酯化率达96.5%.并与其他催化剂进行了比较,结果表明,以S2O82-/ZrO2-Fe2O3-SiO2为催化剂,催化剂用量少、可重复使用、不腐蚀设备、不污染环境、酯化率高.