双CCD光斑中心空间定位系统的建模与数据处理

提出一种利用双面阵CCD构建的光斑中心空间定位系统的结构,给出了数学建模的计算公式。系统采用质心法,实现了激光光斑中心精确定位。通过对不同尺寸的矩形、圆形和三角形光斑的实际测量表明,中心定位精度达到2％,而且不受光斑形状的影响,具有良好的稳定性。     

影响离子膜电解槽电压的因素

离子膜电解槽电压是氯碱生产过程中的重要工艺指标之一。影响槽电压的因素很多,而且相当复杂。主要的可调控电压的因素有,电解槽的金属材料,电解液和离子膜。本文将对这些因素对槽电压的影响行为作较为详细地介绍。     

无线网络发展及安全实现

论述了无线网络组网技术，重点对无线网络安全策略进行了讨论，以寻求合理的解决方案。     

模糊专家系统在粮食烘干控制过程中的应用

结合并充分考虑农业生产过程中的各种确定性和不确定性因素，研究了模糊专家系统在粮食烘干控制过程中的应用。     

基于RS485总线和RFID的智能门禁系统实现

设计了一种智能门禁系统的硬件和软件实现方案。系统采用RFID技术,以W77E58为核心控制器,对用户刷卡信息和密码进行认证。多个门禁控制器节点通过485总线连接到管理计算机组成网络,该计算机对住户信息和卡信息进行文件和数据库管理,并通过总线对小区各门栋出入情况实时监控。系统试点运行情况稳定可靠。     

离散时间系统的变结构控制及其品质

研究了离散时间系统的变结构控制综合动态过程品质控制，讨论了到达条件；详细研究了准滑动模态的运动特性；基于稳定性及控制的简单实现，提出了自适应离散趋趋近概念；给出了周期收缩律和变结构控制的设计方法即趋近收缩法；解决了稳态抖振问题并兼顾了全过程的运动品质。     

基于YAWL的商品安全消费系统建模与分析

关注商品消费安全是经济活动的迅猛发展的必然要求。在综合分析现有工作流建模技术的基础上,引入YAWL这一新技术,结合商品安全消费问题的特点,建立商品安全消费系统的YAWL模型。同时,应用YAWL的分析方法,以可达性分析说明建立YAWL模型对系统性能分析的优点。     

一种基于进程验证的Petri网可达性判定方法

为了解决Petri网的可达性判定问题,提出了一种基于进程验证的可达性判定方法.通过分析Petri网基本进程段子段间偏序关系,该方法提出原子进程段概念,求得原子进程段集及其偏序关系集作为可达性判定的验证对象.基于原网状态方程解向量、原子进程段T-向量的线性纯整数规划问题解,选取该解中非零分量对应的原子进程段子集作为待验进程段集,选取待验进程段间的偏序关系子集作为待验推理规则集,通过验证是否存在这两个集合上的以初始标识M0为推导初态、目的标识Md为推导终态的序列而判定(M0,Md)是否可达.分析表明该可达性判定算法的时间复杂度是依赖于原子进程段集规模的,最坏情况下不超过变迁集规模.     

一种基于子图近似同构的e-Learning学习资源本体匹配方法

针对e-Learning学习资源本体异构问题, 提出一种基于子图近似同构的本体匹配方法。该方法对现有本体匹配方法进行扩展, 综合编辑距离、层次关系等特征, 计算本体的结构级相似性, 以点、边有序交替匹配来判断实体的有向图近似同构问题, 实现本体匹配判定。演示算法处理过程, 给出算法时间复杂度理论分析, 说明其有效性。     

基于无干扰理论的在线用户行为可信性分析方法

针对在线应用中用户行为可信性难监测、难评判的现状和当前用户行为可信性分析理论薄弱问题，提出一种基于无干扰理论的在线用户行为可信性分析方法。首先，从执行单步行为的行为实体身份、状态、环境三方面定义单步行为静态可信性，给出静态可信验证策略；然后，从行为执行过程和结果两个角度定义行为动态可信性，给出行为动态可信验证策略；最后，基于单步行为构建用户行为流程，提出基于可信扩展思想的用户行为流程可信性判定定理，并应用无干扰理论进行定理证明。证明过程及结果验证了所提方法的正确性和有效性。