您的位置： 专家智库 > >

李元

作品数：17 被引量：11H指数：2
供职机构：贵州大学更多>>
发文基金：贵州省科学技术基金美国GENECHIU基金更多>>
相关领域：自动化与计算机技术电子电信交通运输工程建筑科学更多>>

合作作者

文献类型

  • 15篇期刊文章
  • 2篇专利

领域

  • 14篇自动化与计算...
  • 1篇电子电信
  • 1篇建筑科学
  • 1篇交通运输工程

主题

  • 5篇WINDOW...
  • 3篇数据库
  • 3篇中文
  • 3篇VB语言
  • 3篇程序设计
  • 2篇动态链接
  • 2篇动态链接库
  • 2篇应用程序
  • 2篇链接
  • 2篇链接库
  • 2篇编程
  • 2篇CGI
  • 1篇道路交通
  • 1篇道路交通系统
  • 1篇多媒体数据
  • 1篇行为时序逻辑
  • 1篇移动工作台
  • 1篇引擎
  • 1篇右转弯
  • 1篇语音

机构

  • 17篇贵州大学
  • 1篇河北师范大学

作者

  • 17篇李元
  • 3篇李祥
  • 1篇刘建浩
  • 1篇饶军应
  • 1篇唐郑熠
  • 1篇刘鹏
  • 1篇解建军
  • 1篇李俊红
  • 1篇付继忠
  • 1篇敖理达
  • 1篇吴勇
  • 1篇付东来

传媒

  • 2篇计算机与数字...
  • 1篇电脑编程技巧...
  • 1篇电脑技术——...
  • 1篇电脑学习
  • 1篇微型电脑应用
  • 1篇微机发展
  • 1篇电脑
  • 1篇贵州教育学院...
  • 1篇中国计算机用...
  • 1篇微型机与应用
  • 1篇通信技术
  • 1篇微小型计算机...
  • 1篇上海微型计算...
  • 1篇计算机技术与...

年份

  • 1篇2024
  • 1篇2023
  • 2篇2010
  • 1篇2006
  • 1篇2005
  • 2篇2000
  • 2篇1999
  • 1篇1998
  • 2篇1997
  • 4篇1996
共 17 条 记 录，以下是 1-10
全选 清除 导出
排序方式：
ARP协议的描述与TLA验证被引量：1
2010年
随着计算机网络的发展,网络的安全性日益受到人们的关注。ARP攻击是一种非常专业化的网络攻击方式,它会给网络管理员增加很大的负担,破坏主机数据,窃取主机信息。Lesilie Lamport提出了一种新的逻辑,即行为时序逻辑(TLA)理论体系,运用这种逻辑对软件或协议系统进行建模,在一定程度上减少了由于状态空间爆炸带来的压力,它能在一种语言中同时表达程序与属性。文中介绍了ARP协议,用基于行为时序逻辑TLA的建模语言TLA+对ARP协议进行建模分析。构造了一个ARP欺骗的攻击者模型,用基于TLA的模型检测工具TLC对其进行验证并找出一条攻击者路径。
李元吴勇李祥
关键词：ARP协议ARP欺骗行为时序逻辑
Windows 95下CGI的VB4.0编程应用
1998年
一、全球信息互连网WWW(World Wide Web)Internet的兴起使得全球网络资源分享成为现实,电脑软件的应用已从传统的单人单机演化到资源分享的多人多机全球网络环境。自1990年欧洲量子物理实验室(CERN:the European Laboratory forParticle Physics)提出全球信息互连网WWW构建计划以来,进展可以说是一日千里,人类的工作、学习、生活、娱乐越来越离不开WWW。WWW采用客户/服务器(client/server)的开放的基本结构,分成服务器(server-side)
李元
关键词：VB语言CGIWWW
全文增补中
Web多媒体数据实时索引的设计与实现被引量：1
2006年
分析讨论了Intranet环境下对搜索引擎Web站点文本、MP3、图片三类数据的实时索引问题。我们的工作与Google、百度不同的是MP3、图片数据采用的挖掘特征信息进行实时索引的方法,减少了索引文件对磁盘空间的需求,削减了人工分类的麻烦。最后在BOT和LUCENE软件包的基础上,设计并实现基于上述分析技术的Web搜索引擎。经实际测试,效果良好。
付东来李元
关键词：INTRANETWEB搜索引擎
ACCESS对外部数据库的使用被引量：1
1997年
本文讨论了在WINDOWS下ACCESS数据库系统中如何使用通常DOS下FOXBAS、DBASE及FOXPRO建立的数据库文件；以及如何将ACCESS建立的数据库文件中的表格文件转换为DOS下FOXBASE、DBASE及POXPRO的数据库文件（．dbf）．
李元
关键词：数据库FOXBASE
一种相变磷石膏基建筑保温墙体材料及其制备方法
本发明涉及磷石膏墙体技术领域，尤其涉及一种相变磷石膏基建筑保温墙体材料及其制备方法。本发明将磷石膏、硫酸钙晶须、粉煤灰、生石灰、水泥、相变微胶囊、减水剂和缓凝剂为内掺料，配合水及发泡体经充分混合得到相变磷石膏基建筑保温墙...
刘鹏李元王靖东陈明胜王永发杨双应
在VB 4.0中制作FoxPro数据报表
1996年
本文讨论在Windows 95平台上用Crystal Reports for VB制作数据库数据报表的操作及其在VB应用程序中的使用,特别介绍了在报表设计中使用功能强大的OLE技术。
李元
关键词：数据库FOXPRO数据报表FOXPROVB语言
炼焦过程控制计算机故障的分析与模型检测
2010年
用模型检测技术分析了工业生产中计算机通讯的一个死锁故障。根据技术人员的分析,建立了该通讯过程的Promela语言模型,并使用SPIN进行检测,找出了发生死锁的原因,其检测结果与技术人员的分析一致。
李元唐郑熠李祥
关键词：SPIN死锁
中文之星CSTAR20的核心及其应用
1996年
本文分析中文之星ＣＳＴＡＲ２０的结构，生成一个可放于一张软盘的中文之星系统，可在３８６，４８６机型上的中文ＷＩＮＤＯＷＳ３．１，ＷＩＮＤＯＷＳ３．２下进行，其中包括新全拼，新双拼，五笔形，五笔划，五笔桥输入法和ＷＰＳ Ｆｏｒ ＷＩＮＤＯＷＳ文字处理系统。
李元
关键词：动态链接库应用程序
WINDOWS动态链接库与中文WINDOWS3.1的极小运行环境
1996年
1.WINDOWS的三大动态连接库动态连接库(DYNAMIC LINK LIBRARTES,简称DLL)是WINDOWS的最重要特点之一,它是在运行时进行连接的可执行代码或数据模块,可被视为可执行文件的特殊形式.动态链接库使WIN-DOWS的不同的应用程序能共享库中代码和数据,达到充分利用系统资源的目的.WINDOWS的三大动态链接库是:KRNLX86.EXE、USER.EXE和GDI.EXE.它们提供了WINDOWS应用程序接口(API)和资源,建立供所有程序使用的标准库,是WINDOWS运行的基本要求.
李元付继忠
关键词：WINDOWS动态链接库应用程序
在中文VFP6.0中使用OLE自动服务被引量：3
2000年
使用ＯＬＥ自动化服务在ＶＦＰ中调用Ｅｘｃｅｌ或Ｗｏｒｄ，完成报表的制作。
李元
关键词：VFP6.0OLE数据库
全选 清除 导出
共2页<12>
聚类工具0