李思莉
- 作品数：17 被引量：30H指数：3
- 供职机构：成都理工大学工程技术学院电子信息与计算机工程系更多>>
- 发文基金：四川省教育厅科学研究项目更多>>
- 相关领域：自动化与计算机技术文化科学环境科学与工程电子电信更多>>
- 离散数学中命题逻辑的应用研究被引量：2
- 2021年
- 离散数学又称为计算机数学,它是研究离散量之间的科学。数理逻辑是离散数学的四大模块之一。为了满足自动化推理的客观需要,人类逐渐将逻辑学运用到了计算机科学领域。回顾人类计算机科学的发展历程,可以清晰地看到逻辑学在计算机科学中所奠定的理论基础和积极的推动作用,在计算机硬件设计和软件设计中的应用都非常突出。逻辑学是研究思维规律和思维的形式结构的一门学科。数据逻辑是用数学方法研究逻辑学中形式逻辑的一门分支学科。数理逻辑分成命题逻辑和谓词逻辑。该文主要研究命题逻辑的应用问题,分别研究了推理问题、分工问题、逻辑学家的推理、程序下载、自动调动电路、人员录取方案、人员选派问题。研究方法分别采用命题推理理论、真值表、穷举法、等值演算法。
- 杨井荣李思莉
- 关键词：离散数学命题逻辑排队论真值表
- 从扩展ER模型到XML模式自动转换的算法研究被引量：1
- 2010年
- XML已经成为Internet环境下数据表示、数据交换以及数据集成的标准。它独立于现有的数据库和编程语言,具有异构性、可扩展性以及灵活性等优势。由于XML不是一个概念化的模型,因此,如何把从现实世界中抽象出的数据模型转换成XML逻辑模型,进而设计出优良的XML文档成为研究热点。文中主要提出了一系列从扩展ER的概念模型到XML模式的转换规则,并设计了转换算法,以此实现自动操作。实验证明,该算法自动生成的XML Schema文档能够真实反应扩展E-R模型,并具有一定的通用性。
- 李思莉刘耀
- 关键词：XMLSCHEMA
- 轻量级Web服务器的高并发技术研究与实现被引量：3
- 2020年
- 主要研究并实现了使用Vert.x框架将同步非阻塞模式作为Web开发的IO模型,在轻量级Web服务器Nginx上利用高并发技术开发部署学分管理系统。该系统不仅重构了SpringMvc三层架构,而且将原来的3层模型扩充为5层模型,缓解了高并发数据量对系统的压力。在数据安全方面,改变了传统的利用数据库隔离机制来保证数据安全的低效做法,将对数据安全的保证放到持久化层的Server层。在并行数据接收方面,利用线程池,数据缓冲技术,进一步提高了学分管理系统的处理效率。除此之外,又通过创建多路复用的通信通道,着重在百万级并发的通信层面上对传统Web的开发方式进行了优化。最后,通过实验与传统的Web的IO方式作对比,得出异步输入输出在Web的应用中完全能胜任百万级甚至更高的并发量的结论。
- 李思莉杨井荣苟强
- 关键词：SPRINGMVC
- Chord路由算法研究与改进
- 2012年
- 如何提高搜索效率是P2P网络中的一个核心问题。Chord是一种较好的P2P路由搜索算法,但是其路由表中含有一定的冗余信息,导致查找效率不高。引入了缓存列表,对Chord的路由表进行了修改。增加了路由表中的有效信息,通过理论和模拟仿真实验证明,查询效率明显提高。
- 郭俊李思莉
- 关键词：CHORD协议路由表分布式散列表缓存
- 基于Modbus协议的定量装车控制系统设计与实现
- 2013年
- 定量装车涉及到一系列复杂的过程,特别是工艺参数监视和设备控制问题。本文针对该问题设计并实现了一种基于Modbus协议的自动监控系统。该系统完成上位机服务器端与上位机客户端之间的数据通讯,以及上位机客户端与下位机之间的实时监控。在本文中主要介绍该系统的软件部分的设计和实现。目前,该系统已经成功投入使用,实践表明其设计简约,使用方便,监控安全可靠,很好地满足了业务需求。
- 李思莉杜华柳军
- 关键词：定量装车MODBUS上位机
- CDIO模式下的三本学院C语言教学探索被引量：4
- 2009年
- 本文介绍基于CDIO模式下的C语言教学的问题,旨在进一步提高教学质量和效果。该控制模式不仅能及时反映课程章节的教学效果,还能整体地把握课程教学质量。该授课体系增加了师生的交流机会,在实践中取得良好教学成效。
- 刘耀杜华李思莉
- 关键词：CDIOC语言教学教学质量
- 基于C/S模式的长江上游流域水环境管理及预报系统
- 2007年
- 长江上游流域水环境管理及预报系统是一个以地理信息系统(GIS)和数据库管理系统(DBMS)为开发平台,面向管理和决策层的可视化动态信息系统,本系统可以实现长江上游流域的信息管理与查询,对流域的水质综合评价和预测,并结合GIS技术实现了流域水质管理的可视化和辅助决策功能,为水利工程及环境管理部门提供有效、经济的决策信息。
- 李思莉王晓青
- 关键词：环境管理GISC/S
- 一种高效的无线传感器网络自组织聚类算法
- 2012年
- 提出了在无线传感器网络(WSN)中一种高效的自组织聚类算法。该算法随机产生群集,并根据传感器的权重选择簇头的。首先产生,并根据密度以及剩余能量计算每个传感器的权重。选择权重最大的作为该群集的簇头。其次,当群集大小低于某个阈值时,需要重新组织群集并重新选择簇头。仿真结果证明,该算法能够均匀的分布传感器能量消耗,从而延长了传感器网络的生命周期。
- 李思莉王志龙郭俊
- 关键词：无线传感器网络群集簇头
- 一种基于XML结构索引的模式匹配改进算法
- 2012年
- XML已经成为Internet上数据交换和数据集成的事实标准。随着XML的广泛应用,XML文档数量不断增多。如何高效地查询XML数据变得越来越重要。针对目前分支查询中普遍采用的基于堆栈的查询处理算法所存在的问题,提出了一种基于XML结构索引的模式匹配改进算法,通过选择合适的标签编码方式,利用XML结构索引,快速判断出元素之间的相互关系,防止大量不必要节点放入堆栈,从而提高查询处理效率。实验结果证明,文中改进的模式匹配算法Twig-Modify相比TwigStack以及TwigINLAB在查询处理的性能上有所提高。
- 李思莉张海清
- 关键词：XML结构索引
- 软件工程专业人才培养模式研究与实践被引量：2
- 2012年
- 软件产业作为信息产业的重要组成部分,在国民经济发展中起着越来越重要的作用。目前,高校软件人才毕业生数目越来越多,但仍难以满足软件业快速发展的需要。本文从目前社会需求与软件人才培养的错位出发,探讨了人才培养模式中存在的问题,并提出了新的软件工程专业人才培养模式。实践证明,该人才培养模式更有利于软件专业人才的培养,使毕业生能够更快,更好的融入企业,满足企业对IT人才的需求。
- 李思莉卿熠
- 关键词：软件工程
