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

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

基于Mexican hat函数的图像特征提取和配准算法

使用Mexican hat函数作为特征检测算子,对图像进行局部区域提取和特征点提取,在此基础上,提出了一种结合局部区域和特征点的图像配准算法。使用Mexican hat检测算子和零交汇点检测的方法获得局部区域特征并进行初步匹配,然后使用基于不同尺度空间的Mexican hat检测算子进行特征点提取。将特征点按照局部区域进行分组,再对每一组内的特征点进行匹配操作。最后使用基于分组的随机采样一致性检验进行变换矩阵求解。算法使用Mexican hat特征检测算子进行两种图像特征的提取,对两种特征分别进行匹配,完成图像配准操作。实验结果表明,给出的Mexican hat特征检测算子在配准精度上不亚于当前主流检测方法,配准算法具有复现率高和运算速度快的优点。     

一种基于同义词词林的中文大规模本体映射方案

本体映射是解决本体异构问题的重要途径和手段,中文知识是网络开放知识库的重要组成部分,但现有的中文本体映射系统在面对大规模本体映射任务时,显得效率较低且可用性不高,目前仍缺乏针对中文大规模本体映射的相关系统。为了解决中文大规模本体的映射问题,设计并实现了一个面向中文的大规模本体映射系统。首先,提出了一种基于拟核力场势函数的大规模本体压缩方法;其次,提出了一种基于同义词词林的中文概念等价关系确定算法;再次,实现了大规模中文本体映射的原型系统;最后,将本系统与相似度计算相关典型算法进行比较,证明其具备一定的可用性和较高的总体性能。     

Internet网上的化学文献检索

Internet已经成为各种信息资源主要载体，是人们获取信息的重要来源之一。虽然目前一些信息导航系统能够对化学文献检索提供一些帮助，即在你键入一个或几个化学关键词后，它会列出一系列包含该化学词的网络地址，但是这些地址五花八门，你无法从中判断出哪些信息资源更具有权威性、准确性和实效性。……     

提高φ5m×11.5m生料磨产量的措施

针对粘土资源枯竭问题,江苏巨龙水泥集团实施了以粉煤灰和硅石代替粘土的技改工程。但改造后因原料的变更,导致入房物料易磨性变差而影响了φ5m×11.5m生料磨的产质量,并进一步影响察系统的运行。因此该厂在工艺分析的基础上,采取了调整钢球级配、用高铬球替代合金刚球、改造选粉机、加强石灰石二破的管理和减少系统是否是“漏风”等技术措施,效果显著。改造后的生料磨台时产量比调整前提高了12t/h,且节电效果显著。     

另辟蹊径 路由器还可这样用

正路由器可以做什么?95%的朋友会告诉你,它可以让多台PC同时上网,当然,如果你使用的是无线路由器的话,它还能让你摆脱网线限制,让所有带有无线网卡的设备畅游在网络的海洋里。实际上,路由器的功能远远不止这些,这里我们不妨略举三例,看看在常规用法之外,路由器还有什么另类技能。     

快锅油气两用配风器的设计

快锅油气两用配风器的设计李宝泉，张艳青（辽河化肥厂，盘锦，１２４０２１）辽河化肥厂近年来由于天然气短缺，长期处于低负荷运行状态，不仅消耗相对增高，更严重的是加剧了尿素设备的腐蚀。尤其在冬季，生产装置经常处于停车威胁之中。为此决定对燃气快锅进行油气改造...     

无线传感网背景下的信息类专业实践教学层次化设计

探讨无线传感网发展大背景下信息类专业实践课程体系的优化方案,提出具体实践课程中的分层式训练内容,指出通过开放全天候的实验室,以前沿的无线传感网科研项目做驱动,可以在实践中切实锻炼提高学生的动手能力。     

粉磨工艺对水泥颗粒级配及强度的影响

采用不同的粉磨工艺和设备对水泥强度、凝结、硬化过程等一系列物理性能影响较大。通过调查发现，本地不少立窑水泥企业用52．5MPa强度等级的熟料，掺少量混合材，只生产32．5MPa强度等级的水泥。是什么原因降低水泥强度?单凭检测细度发现不了问题，在2000～2003年送样对水泥颗粒级配进行检测，发现是由于颗粒级配不合理。以下将对比不同粉磨工艺对水泥颗粒级配及水泥物理性能的影响．其中所用熟料的强度等级均为52．5MPa左右。     

基于层次社会组织目标的需求过程建模

将社会组织结构抽象为递归的社会组织域树,其顶层目标即为社会组织总体目标,总体目标层层分解为社会子组织域目标,从层次化的社会组织目标构建软件系统需求目标分解树,进而构建软件系统需求,并用层次着色Petri网对软件系统需求过程进行形式化建模,无缝连接社会组织目标与软件系统需求,为软件系统需求分析提出了一种自然、直观的需求过程建模方法.