反相微乳液法制备陶瓷彩喷墨水(Ⅰ)

系统地研究了Span80-Tween60/助乳化剂/油/FeCl3反相微乳液体系。通过正交实验,进行方差分析,得出最佳反相微乳液体系。通过均匀实验和全面实验,绘制出体系的拟三元相图,并由相图得出体系的最佳比例。绘制出最大溶水量与温度的曲线,从而确定最佳乳化温度。在最佳温度、最佳比例下,配制出两种墨水,并测定了墨水的表面张力、粘度、电导率和稳定性等性能。     

助乳化剂对化妆品乳液稳定性和液晶性的影响

以硬脂酸蔗糖酯和失水山梨醇硬脂酸酯的复配物（SSE）为主乳化剂，十六／十八醇及甘油为助乳化剂制备含液晶乳液化妆品。通过观察乳液的温度稳定性和液晶性，用三元相图研究助乳化剂含量对此乳液体系液区的影响。实验条件下，用该乳化剂体系可获得较好的液晶化妆品乳液，总之，较高的助乳化剂量有利于乳液的温度稳定性和液晶性，但助乳化剂量较低时经合理配方也能获得稳定的液晶乳液，其中含3％高碳醇和5％甘油的乳液稳定性及液晶性均较好，5％高碳醇和3％甘油的助乳化剂体系不宜采用。     

开关柜智能监控装置的设计与实现

文中的开关柜智能监控装置是针对电力开关柜开发设计的一种新型的多功能智能化模拟动态指示装置。该方案以ARM处理器NUC950为控制核心,它集一次回路模拟图、断路器状态、手车位置、接地刀闸位置、弹簧储能状态、隔离开关状态、高压带电显示及闭锁、自动(手动)加热除湿控制、加热器故障报警、超温报警指示、语音防误提示、网络通信等多功能于一体,提高了开关柜状态监测和控制的集成度和智能化。     

基于Voronoi图的连续反向最近邻查询

为解决动态环境中移动点的连续反向最近邻查询问题,将连续反向最近邻查询分为单色和双色2种情况进行研究。利用移动点Voronoi图,分别给出单色连续反向最近邻查询算法、双色连续反向最近邻查询算法以及相关定理,对算法正确性和可终止性进行证明,分析算法时间复杂性。按照移动点Voronoi图的拓扑结构是否改变分为2种情况,分析每种情况下候选所在区域的变化,在变化区域内进行Voronoi图的重构,得到对应的解决方法。在多数情况下,该算法只需生成局部移动点的Voronoi图即可找到结果,减小了连续反向最近邻查询的代价。     

轨道交通电力监控中的拓扑分析

在轨道交通电力监控中,根据车站对应电力主接线图上的设备图元和连接线颜色变化来实时监控整个车站内的带电情况.采用深度优先搜索算法,根据实时变化的电源电压和设备开断状态,动态地对电力主接线图进行网络拓扑分析并计算图中设备图元的带电情况.该方案在国内多条地铁线路的运营实践中均能够实时准确地完成拓扑着色功能.     

基于实时UML顺序图的物联网交互模型

物联网是一个集计算、通信和控制于一体的智能系统,它通过监控和收集物理进程信息并将这些信息进行计算和分析,最终生成正确的控制指令用以执行,从而使物理环境变得更加安全和可靠。在物联网中,各物体通过网络连接或者本地连接的方式进行交互,这些交互具有时间性和地域性。物联网的建模和验证是物联网研究中一个重要的领域。文中提出一种基于实时UML顺序图的物联网交互模型,该模型将物联网中所有参与交互的物体建模为交互对象,并且通过实时UML顺序图对交互对象间的交互进行建模。使用时间自动机对交互对象的内部状态变化进行建模,以形成对交互模型的补充。最后根据转换规则将交互模型转换为时间自动机的形式以便于验证。通过一个实例,显示了如何具体应用物联网交互模型。进一步提出了物联网系统应该满足的一些性质,并使用UPPAAL模型检测工具对物联网交互模型进行分析和验证。     

基于问题框架的计算机辅助需求工程工具的研发

问题框架(Problem Frames,PF)已经得到需求工程界的广泛重视和研究。目前,问题框架在理论基础和开发方法等方面已经有很多研究成果,但如何把它们应用到实际的软件开发项目中仍是一个有待解决的问题。本工具可帮助系统分析员实现从用户需求到软件规约的平滑和可推理的变换,从而为软件开发项目中需求的沟通、建模及分析等提供技术支持。此外,该工具产生的结果也为下一步的软件设计提供帮助。它对促进问题框架方法的进一步发展和成熟,如从研究走向实用,具有重要的推动作用。     

基于普通Petri网的梯形图中接通延时定时器的建模方法

针对可编程逻辑控制器(PLC)的接通延时定时器(TON),提出了其普通Petri网建模方法。将状态变量描述为库所对,将TON中的指令运算描述为变迁,从而将TON模块描述为一个普通Petri网结构。结果表明该Petri网能够准确地描述TON的动态行为,从而为PLC梯形图程序的形式化设计或验证提供了建模方法。     

动态受限区域内的单纯型连续近邻链查询方法

受限区域内的单纯型连续近邻链查询在空间数据挖掘、数据的相似分析和推理、空间数据库等方面具有重要的作用。为了弥补已有方法的不足,详细研究了动态受限区域内的单纯型连续近邻链查询方法。基于计算几何中的Voronoi图给出了VOR_IN_CRSCNNC算法、VOR_EX_CRSCNNC算法和VOR_DE_CRSCNNC算法。进一步进行了实验比较和分析。理论研究和实验分析表明,所提出的算法在查询过程中减少了数据逐一筛选和判断的冗余计算,在处理空间数据量较大、初始受限区域数据量较多、受限区域形状较为复杂的单纯型连续近邻链查询方面具有较大的优势。     

可控式循环通断程序的算法

本文重点介绍了采用梯形图编写的一个程序算法,使用该算法,可以解决高炉上料时,由于炉料中粉末多而引起的高炉悬料情况的发生.