张红军

作品数:4被引量:1H指数:1
导出分析报告
供职机构:郑州大学信息工程学院更多>>
发文主题:DELPHI组件SMV操作系统OUTLOOK更多>>
发文领域:自动化与计算机技术医药卫生经济管理更多>>
发文期刊:《河南农业大学学报》《河南科学》更多>>
所获基金:河南省科技攻关计划河南省自然科学基金更多>>
-

检索结果分析

署名顺序

  • 全部
  • 第一作者
结果分析中...
条 记 录,以下是1-4
视图:
排序:
基于精确标识对象Petri网模型的检测方法
《河南科学》2006年第6期881-885,共5页张红军 卢红星 叶阳东 
河南省自然科学基金资助项目(0411012300)
精确标识PNO要求一个对象实例既不能同时出现在多个库所,也不能在一个托肯中出现多次,SMV是一个功能强大的符号化模型检验工具.本文提出了将精确标识PNO模型转换成相应SMV程序的算法,并通过列车运行区域模型(TOPNO)演示了具体的转换过程...
关键词:带有对象的Petri网 精确标识 SMV 模型验证 
使用Delphi直接操纵Outlook的方法被引量:1
《河南教育学院学报(自然科学版)》2006年第2期35-38,共4页张红军 
河南省科技攻关项目:0224330128
本文总结了Delphi与Outlook的连接方法.结合编程实例介绍了Delphi 7.0中的Outlook组件的功能,以及利用这些组件完成在Delphi中收发电子邮件的方法,对实现Delphi与Outlook无缝连接进行了探讨和分析.
关键词:DELPHI OUTLOOK 组件 电子邮件 
Delphi与Microsoft Office无缝连接的实现方法
《河南农业大学学报》2006年第1期98-101,共4页王虹 张红军 
河南省科技攻关项目(0224330128)
通过剖析Delphi报表输出系统的主要特点,结合编程实例分析了Delphi 7.0中的Server组件的功能,以及利用这些组件完成在Delphi中操作Office的方法,对实现Delphi与Microsoft Office软件的无缝连接进行了探讨和分析.
关键词:DELPHI OFFICE 组件 连接 
增加中文Windows输入法初探
《郑州工业大学学报》1998年第4期107-111,共5页高骏 张红军 
以五笔字型为例,介绍为中文增加中文Windows增加自定义汉字输入法,着重介绍通过UCDOS50的IMDMNG(汉字输入法管理器)产生中文Windows的码表输入法。
关键词:汉字输入方法 中文WINDOWS 码表输入法 操作系统 
检索报告 对象比较 聚类工具 使用帮助 返回顶部