基于时间Petri网的密码协议分析

形式化分析方法由于其精炼、简洁和无二义性逐步成为分析密码协议的一条可靠和准确的途径,但是密码协议的形式化分析研究目前还不够深入.在文中首先对四类常见的密码协议形式化分析方法作了一些比较,阐述了各自的特点,然后用时间Petri网来表示和分析密码协议.该方法不但能够反映协议的静态和动态的特性,而且能够对密码协议进行时间、空间上的性能评估.作为实例,对Aziz-Diffie无线协议作了详细的形式分析和性能评估,验证了已知的、存在的漏洞,并且给出了该协议的改进方案.     

从系统论看服务主导型数字图书馆的人员结构

将系统理论引入数字图书馆研究中 ,介绍了数字图书馆的人员结构系统以及各个子系统的特点 .阐述了各个子系统和系统环境与用户服务之间的相互关系以及如何利用这种关系来提高数字图书馆的服务     

复杂性问题研究实践与认识论、方法论反思

概述笔者从事两项复杂性问题研究的认识与实践 :一是辩证唯物论认识论的指导作用与系统科学的中介作用 ,不容忽视 ;二是在预测和控制某些复杂系统行为的研究中 ,还原论与整体论结合的一个切入点和一种有效形式 ,是典型信息法。     

Business Process Reengineering (BPR) Versus Outsourcing—Critical Perspectives

This article presents a case example involving the renaming of an organizational change process from BPR to outsourcing. The paper discusses the important ramifications of such a name change in that the recognition of outsourcing allowed an organizational commitment to counseling and termination advice. The paper discusses two ways of looking at the name change, one from a critical theory perspective and one from a realist perspective. It demonstrates how theory can provide useful yet markedly different interpretations of such organizational events. Critical theory operates from within what can be termed the transitive epistemological dimension, whereas critical realism tends to emphasize the importance of ontological issues. Each has important things to say about the situation and improves our understanding overall.     

一种考虑补偿信用风险资本要求的算法

基于现行法定资本体制不考虑信用投资组合的多样化和限制空头信用风险头寸的补偿能力，设计了一种考虑补偿的信用风险资本要求的计算方法．该算法根据信用等级决定风险权重，可以更精确地测定信用风险资本．采用期限分段方法建立一个期间结构，区分当前和远期信用风险，考虑多头与空头信用风险头寸间的补偿．     

OLAP和数据挖掘技术在CET-4和CET-6模拟预测系统中的应用

在OLAP和数据挖掘的理论基础上，介绍在开发高校CET-4和CET-6通过率模拟预测系统过程中如何应用OLAP和数据挖掘技术来实现预测功能。     

语言符号任意性和象似性的辨证关系

文章运用自组织理论和原型理论对语言符号任意性和象似性的关系进行分析,指出语言符号的任意性和象似性的关系是辨证的,两者看似相对,实则相辅,它们存在于一个整体之中。对语言符号任意性和象似性辨证关系的认识,在英语教学中有着重要的实用价值。     

非形式逻辑视野下的论证评价理论

论证可分为形式论证(人工语言论证)与非形式论证(自然语言论证)。前者是形式逻辑的研究对象,后者是非形式逻辑的研究对象。我们从几个代表性逻辑学定义出发,分析了非形式逻辑产生的背景,讨论了形式逻辑与非形式逻辑的区别,并从非形式逻辑角度探讨了自然语言论证评价的标准。     

关于Erdoes猜想的证明

文章对Erdoes猜想中正整数n的值进行分类．除了n为4m-3（m=6R＋1）形的奇数外，逐类直接给出了具体表示。对于n为4m-3形的奇数，文章采用命题转化法及反证法．并用自变量与函数值的一一对应关系证明了Erdoes猜想成立。     

Server-Agents-Users通信系统的Stackelberg模型

在多媒体通信系统中引入代理服务器，使其成为Server—Agents—Users系统，并用对策论的Stackelberg理论研究该系统．针对Server、Agents和Users地位不平等的情况，建立了该系统的Stackelberg策略模型，得到一个三层规划模型．