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

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

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

中文信息处理的词法问题——以句本位语法图解树库构建为背景

该文对比了句本位语法图解树库与中文信息处理现行词法规范在分词单位和词类标注两方面的差异,指出目前自动词法分析与句法分析的若干脱节之处,梳理了图解树库中关于临时造词、惯用语等特殊结构的标注策略和语言学理据,并探讨了“依句辨品”和“指称化”等汉语词类相关理论在中文信息处理中的实现方式。     

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

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

AutoCAD在建筑给排水系统图设计中的应用技巧

本文结合建筑给水系统图的特点,从绘制图例、确定主体管线、添加注释等方面介绍了运用AutoCAD软件进行建筑给排水系统设计图绘制的方法、技巧。     

Conformational disorder in the Brill transition of uniaxially-oriented nylon 10/10 sample investigated through the temperature-dependent measurement of X-ray fiber diagram

X-ray fiber diagram of uniaxially-oriented nylon 10/10 sample has been measured at the various temperatures. The 11th layer line originating from the methylene zigzag sequences became diffuse above the Brill transition region (140-170 °C), while the layer reflections corresponding mainly to the original repeating period of the parent nylon chains were kept almost unchanged. This observation makes us confirm that in the Brill transition region, the conformational disordering occurs in the methylene sequential parts with keeping the repeating period of the whole skeletal chain by still forming the intermolecular hydrogen bonds between the amide groups of the neighboring chains. This conclusion is consistent with the already-reported infrared spectral data. The characteristic X-ray diffraction patterns observed at the various temperatures were reproduced well by a computer simulation technique utilizing the previously-reported molecular dynamics calculation results.     

高矣物的特性对双水相相图和头孢氨苄及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.