基于实时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算法。进一步进行了实验比较和分析。理论研究和实验分析表明,所提出的算法在查询过程中减少了数据逐一筛选和判断的冗余计算,在处理空间数据量较大、初始受限区域数据量较多、受限区域形状较为复杂的单纯型连续近邻链查询方面具有较大的优势。     

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

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

高矣物的特性对双水相相图和头孢氨苄及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来表示,从而调用已有...