基于VB的Mapinfo地理信息系统集成 被引量：10

1

作者 周权 肖德琴 章晓华 《计算机工程》 CAS CSCD 北大核心 2002年第2期257-259,共3页

介绍了利用技术将应用程序和桌面地理信息系统集成的技术和方法,重点讨论了在集成开发中的一些关键性技术和具 OLEVBMapinfo体实现方法。从而实现了将集成到应用系统中,达到高效开发应用型软件目的。

关键词 地理信息系统 OLE MAPINFO 集成 VB语言

在线阅读 下载PDF 职称材料

企业综合评价软件系统中的层次分析模型 被引量：4

2

作者 邹候文 钟育彬 《计算机工程与应用》 CSCD 北大核心 2003年第18期212-214,225,共4页

论文在对广州市财政局和统计局提供的广州市企业经济系统的33项经济指标数据进行分析和异常数据处理的基础上,基于三套指标体系,建立了考虑专家经验和政策软投入的层次分析综合模型,利用该模型对广州市企业的经济实力进行评价,它对评价... 论文在对广州市财政局和统计局提供的广州市企业经济系统的33项经济指标数据进行分析和异常数据处理的基础上,基于三套指标体系,建立了考虑专家经验和政策软投入的层次分析综合模型,利用该模型对广州市企业的经济实力进行评价,它对评价企业管理水平与科技实力,预测企业主要指标,增强企业驾驭未来的能力等起到主导作用,为“广州市企业综合评价软件系统”项目的制定提供了科学的定量依据和方法,对提高决策中的信息量和科技含量,具有重大的理论意义和实用价值。 展开更多

关键词 综合评价 软件系统 层次分析模型

在线阅读 下载PDF 职称材料

试论数学实验的数学教育功能 被引量：29

3

作者 张晓磊 郭华光 《数学教育学报》 2003年第2期38-41,共4页

数学实验是一种最根本的数学方法.数学发现的过程并非是从定义出发,然后提出定理,再加以证明的,必须做一定的探索工作——观察、分析,然后归纳出其中的规律,猜想出命题应具有的形式,最后才是证明.数学实验能有效地提高学生观察与归纳的... 数学实验是一种最根本的数学方法.数学发现的过程并非是从定义出发,然后提出定理,再加以证明的,必须做一定的探索工作——观察、分析,然后归纳出其中的规律,猜想出命题应具有的形式,最后才是证明.数学实验能有效地提高学生观察与归纳的能力,使学生更清楚地理解理论和证明的重要性并通过数学实验来学习数学思想方法. 展开更多

关键词 数学实验 大学教育 数学方法 学生 归纳能力 观察能力 教学改革 教育功能

在线阅读 下载PDF 职称材料

基于时序逻辑的加密协议分析 被引量：15

4

作者 肖德琴 周权 +1 位作者 张焕国 刘才兴 《计算机学报》 EI CSCD 北大核心 2002年第10期1083-1089,共7页

形式化方法由于其精炼、简洁和无二义性 ,逐步成为分析加密协议的一条可靠和准确的途径 ,但是加密协议的形式化分析研究目前还不够深入 ,至今仍没有统一的加密协议验证体系 .针对这一现状 ,该文从加密协议可能面临的最强大的攻击着手 ,... 形式化方法由于其精炼、简洁和无二义性 ,逐步成为分析加密协议的一条可靠和准确的途径 ,但是加密协议的形式化分析研究目前还不够深入 ,至今仍没有统一的加密协议验证体系 .针对这一现状 ,该文从加密协议可能面临的最强大的攻击着手 ,提出了一种基于时序逻辑的加密协议描述方法 ,在该模型下 ,对协议行为、入侵者行为、安全需求等特性的描述均用时序逻辑公式表达 ,从而利用现有的统一的时序逻辑框架分析密码协议的性质 .特别地 ,作者描述和检测了一个系统入侵者不能用任何代数和逻辑的办法获得消息的实例 .通过对比 ,作者认为该方法具有形式化程度较高的特点 . 展开更多

关键词 时序逻辑 加密协议分析 形式化方法 密码学 单钥加密系统

在线阅读 下载PDF 职称材料

多维广义SRLW方程的Chebyshev拟谱方法分析 被引量：16

5

作者 尚亚东 郭柏灵 《应用数学和力学》 EI CSCD 北大核心 2003年第10期1035-1048,共14页

　考虑了一类多维的广义对称正则长波(SRLW)方程的齐次初边值问题Chebyshev拟谱逼近,构造了全离散的Chebyshev拟谱格式。

关键词 多维广义SRLW方程 初边值问题 Chebyshev拟谱方法 误差估计

在线阅读 下载PDF 职称材料

IPSec协议中加密算法使用研究 被引量：4

6

作者 周权 肖德琴 +1 位作者 林丕源 裴定一 《计算机工程与应用》 CSCD 北大核心 2003年第15期143-145,共3页

该文在分析IPSec协议簇中数据封装安全协议使用的加密算法——DES、3DES和AES的基础上,探讨了在建立基于IPSes协议的虚拟专用网时,使用加密算法应考虑的系列问题,并提出了一些实用的建议和注意事项。

关键词 网络安全 IPSEC协议 加密算法

在线阅读 下载PDF 职称材料

符号空间有限型子转移的稠密混沌 被引量：3

7

作者 符和满 熊金城 汪火云 《华南师范大学学报（自然科学版）》 CAS 2005年第1期11-15,共5页

设T是紧致度量空间(X,ρ)上的连续自映射.说T是稠密混沌的(通有混沌的),如果{(x,y)∈X2|limsupρ(Tn(x),Tn(y))>0,liminfρ(Tn(x),Tn(y))=0}是X2的一个稠密集(相应地,剩n→∞n→∞余集).证明了:对于由不可约的0,1-方阵A决定的有限型... 设T是紧致度量空间(X,ρ)上的连续自映射.说T是稠密混沌的(通有混沌的),如果{(x,y)∈X2|limsupρ(Tn(x),Tn(y))>0,liminfρ(Tn(x),Tn(y))=0}是X2的一个稠密集(相应地,剩n→∞n→∞余集).证明了:对于由不可约的0,1-方阵A决定的有限型子转移σA而言,σA是稠密混沌的,σA是通有混沌的以及σA是拓扑混合的,这些叙述均等价.并进一步指出,σA是稠密混沌的与σA是Li-Yorke混沌的等价当且仅当方阵A的阶数少于4. 展开更多

关键词 有限型子转移 混沌 符号空间 LI-YORKE 紧致度量空间 连续自映射 拓扑混合 sup lim inf 稠密集 剩余集 不可约 方阵 等价 阶数

在线阅读 下载PDF 职称材料

应用时序逻辑分析密钥分配协议 被引量：1

8

作者 肖德琴 林丕源 +1 位作者 周权 张焕国 《小型微型计算机系统》 CSCD 北大核心 2002年第11期1340-1343,共4页

文中 ,在密码系统状态间的关联性和时序逻辑的可达性间建立联系 ,探讨了一种基于时序逻辑的密钥分配协议的描述办法 .该途径从形式上规定密码设备的构成成分以及有关的密码操作 ,使用了时序逻辑的常量和状态不变量来表达这些构成成分 .... 文中 ,在密码系统状态间的关联性和时序逻辑的可达性间建立联系 ,探讨了一种基于时序逻辑的密钥分配协议的描述办法 .该途径从形式上规定密码设备的构成成分以及有关的密码操作 ,使用了时序逻辑的常量和状态不变量来表达这些构成成分 .有关的密码操作表达为状态转换 ,加密协议应保留的必要特性表达为临界不变性表达式 ,然后验证这些不变性表达式 .本方法的优点在于可以隐式地刻画攻击者的行为 ,具有形式化程度高等特点 .我们希望能为研究规范化、简洁化的形式化分析工具提供一些借鉴 . 展开更多

关键词 时序逻辑 密钥分配协议 协议分析 密码系统

在线阅读 下载PDF 职称材料

IKE协议中的公钥证书的分析与实现 被引量：3

9

作者 唐屹 《计算机工程》 CAS CSCD 北大核心 2003年第14期117-119,共3页

IKE协议是IPSec协议族中的重要组成部分，能够动态地建立和维护安全关联SA。它支持4种认证方法，其中的3种需用到公钥证书。对IKE中的公钥证书进行分析，指出需要建立一些机制来提高协议对证书的有效使用，在FreeS/WAN基础上实现了一个... IKE协议是IPSec协议族中的重要组成部分，能够动态地建立和维护安全关联SA。它支持4种认证方法，其中的3种需用到公钥证书。对IKE中的公钥证书进行分析，指出需要建立一些机制来提高协议对证书的有效使用，在FreeS/WAN基础上实现了一个简单的证书机制，用于对IKE相关部分的分析。这个证书机制也可用于独立的Intranet的IPSec应用。 展开更多

关键词 IPSEC IKE 公钥证书

在线阅读 下载PDF 职称材料

带状态特征的检测规则及其在CIDF框架中的应用

10

作者 唐屹 伍小明 《计算机工程》 CAS CSCD 北大核心 2002年第10期45-47,共3页

通过对传统检测规则中的 if <条件> then <动作> 的修改，将入侵行为、阶段特征、入侵的后果影响进行量化，并与检测规则相联系，以提高对入侵的检测效率和响应效率，同时在这基础上给出CISL的一个规则描述上的扩充，并讨... 通过对传统检测规则中的 if <条件> then <动作> 的修改，将入侵行为、阶段特征、入侵的后果影响进行量化，并与检测规则相联系，以提高对入侵的检测效率和响应效率，同时在这基础上给出CISL的一个规则描述上的扩充，并讨论其对A-Box和R-Box的设计需求。 展开更多

关键词 状态特征 检测规则 CIDF框架 入侵检测系统 信息安全 网络安全 计算机网络

在线阅读 下载PDF 职称材料

分布式问题求解中的妥协策略

11

作者 唐屹 《计算机工程与应用》 CSCD 北大核心 2004年第17期89-92,共4页

基于多agent系统的分布式约束满足(CSP)问题的求解进程依赖于agent间的有效交互。该文针对着色问题(GCP)的分布式求解,提出了agent妥协的概念。通过妥协,两个相邻agent改变了各自原有的局部目标,实现了相邻约束的满足。模拟实验表明,妥... 基于多agent系统的分布式约束满足(CSP)问题的求解进程依赖于agent间的有效交互。该文针对着色问题(GCP)的分布式求解,提出了agent妥协的概念。通过妥协,两个相邻agent改变了各自原有的局部目标,实现了相邻约束的满足。模拟实验表明,妥协策略有助于提高分布式GCP问题的求解性能。该文还讨论了不同的妥协实现方式对性能的影响。 展开更多

关键词 多AGENT系统 分布式问题求解 约束满足问题 agent妥协

在线阅读 下载PDF 职称材料