李树秋
- 作品数：28 被引量：54H指数：5
- 供职机构：吉林大学计算机科学与技术学院更多>>
- 发文基金：国家自然科学基金吉林省科技发展计划基金更多>>
- 相关领域：自动化与计算机技术电子电信机械工程建筑科学更多>>
- 基于概率策略逻辑的VANET信息广播模型定量验证方法研究被引量：2
- 2015年
- VANET网络中信息的发送和接收具有随机性和不确定性,IEEE 802.11p广播协议无法适应VANET网络拓扑动态变化,于是研究者们根据不同环境中的具体应用需求提出了各种VANET广播协议,如何对新提出的协议的性能以及可靠性进行分析与验证是一个关键性问题.自动化的定量验证技术能够针对系统需要满足的多个性质进行分析,并给出满足需求的最大或者最小概率.然而研究人员在进行定量验证过程中使用的PTCL、rPATL等逻辑语言都不能够明确描述用户的策略是什么,因此本文提出基于概率策略逻辑的模型定量验证方法.该方法首先对系统中的多个角色使用概率时间接口自动机对其行为建模,然后使用概率策略逻辑语言对系统需要满足的性质进行描述,最后基于定量验证算法自动给出系统相关性质的分析结论.本文将该方法应用到VANET信息广播协议性能分析上,能够针对外界环境的变化选择合理的策略,从而分析出不同环境下信息广播发送成功的最大概率.
- 李树秋刘淑芬王晓燕徐伟峰陆闯
- 关键词：VANET
- 基于IPv6/IPv4隧道的数据安全传输被引量：1
- 2008年
- 在分析IPv6隧道和安全技术的基础上,采用手动配置隧道,利用MD5和RSA加密算法对传输数据进行加密和数据封装,在Windows XP SP2操作系统上使用C#.NET语言,设计并实现一种基于IPv6/IPv4隧道的数据安全传输方法,实现了在IPv4网络条件下及时通信和文件下载等数据安全传输.
- 郑万波刘淑芬李树秋吴姚睿马强
- 关键词：IPV6数据安全数据传输互联网
- 基于数据集市的电信经营分析系统模型被引量：5
- 2007年
- 数据仓库的电信经营分析系统不能很好地为企业各个部门提供相应的决策支持,数据集市可以为企业提供商业分析的廉价途径,通过为企业各个部门建立数据集市,可以为各个部门提供相应的营销建议。基于这种情况,提出了一种基于数据集市的电信经营分析系统模型,以便于为企业提供更好的决策支持。
- 李艳杨永健李树秋
- 关键词：数据集市数据仓库
- 基于局域网会议电话系统的设计与实现
- 2005年
- 在Windows环境下,基于TCP/IP协议,使用Winsock完成了话音在局域网中的传输。采用双套接字技术和服务器转发机制,阐述了主要函数的使用要点,以及使用Wave的低级函数直接对声卡进行编程,实现语音的录入与播放。
- 夏亮李树秋王智
- 关键词：局域网套接字会议电话
- Novell网上基于IPX协议的网络编程
- 1998年
- 介绍了Ｎｏｖｅｌ网的ＩＰＸ（互连包交换）协议的应用。通过该网络协议，实现了Ｎｏｖｅｌ网中的工作站之间的数据通信及远程作业的提交与执行的程序设计。由于ＩＰＸ实现了ＸＮＳ（ＸｅｒｏｘＮｅｔｗｏｒｋＳｙｓｔｅｍｓ）协议的互连网络数据报协议（ＩＤＰ），可以直接与互连网上的其他工作站、服务器和设备相连接，因而具有很好的实用性。
- 李玲李树秋张进
- 关键词：网间互连IPX协议NOVELL网
- 分布式系统负载均衡中基于模糊控制的参数自适应调整算法
- 目前在分布式系统中已有多种负载均衡系统,它们各自采用不同的策略,并具有特定的适用环境,但是都缺乏通用性,自适应性不足.针对本地代理收集负载信息的时间间隔这个参数,本文提出并实现了基于模糊控制的参数自适应调整算法TPAFC...
- 杨永健李树秋田志中
- 关键词：分布式系统负载均衡模糊控制自适应调整算法
- 文献传递
- NT网络服务性能的优化被引量：1
- 2000年
- 为达到提高网络服务性能的目的 ,分别从优化服务器的硬件、优化 NT子系统、优化网络性能几个方面 ,分析了影响网络服务性能的因素 ,并给出了 Windows NT Server优化的方法。从而提高了 NT服务器的网络服务性能 ,使得网络能够高效、安全、可靠地运行。
- 郑万波李树秋李振健
- 关键词：WINDOWSNT计算机网络
- 一个七号信令鉴权系统的设计与实现
- 2005年
- 七号信令鉴权系统是针对于通信用户在不同的通信网间的使用权限的鉴别系统。本方案所设计的鉴权系统是依照有关通信行业技术标准而制定的,它能够充分地体现现代通信领域的发展趋势,同时也为广大的通信用户提供了必要的网间通信的鉴权手段。
- 夏亮李树秋郑万波
- 智能门禁系统门控部分软件设计被引量：12
- 2001年
- 设计了一种通过地区性的局域网对各个部门的门进行监控的智能门禁系统门控部分软件。详细介绍了该部分的软件结构、采用的语言及使用的控件。该系统已在 C市电信局稳定运行。
- 贾成宇李树秋王世刚
- 关键词：软件设计数据库控件
- 双维精密定位工件台数控系统的研究被引量：5
- 1994年
- Ｘ－Ｙ两维精密定位工件台是以光栅干涉仪为位置检测元件的精密定位系统，其数控系统是以８０３１单片机作为位置控制的闭环系统。本文在对系统深入分析的基础上，设计了数控系统的硬件，用ＴｕｒｂｏＣ、８０８８汇编语言及Ｍｃｓ５１汇编语言编制了相应的软件，采用细分方法提高了系统的分辨率，并对如何提高系统精度做了详细的讨论。结果表明。
- 李树秋
- 关键词：数控系统工件台光栅干涉仪
