基于串空间模型的认证测试方法

串空间模型认证测试方法是定理证明安全协议分析法中最具有代表性的一类.利用串空间模型理论对Needham-Schroeder(N-S)公钥协议中中间人攻击问题进行形式化分析与设计,并对其进行证明.与原有技术相比,该方法更为形式化,协议分析人员可以很方便地进行手动分析,并且更有利于协议分析自动化工具的实现.     

三门峡水库电站运行调度的优化研究

三门峡水库泥沙淤积严重，使其枢纽的各项技术指标经常变化，为其调度运行带来极大困难。为此，充分考虑三门峡水电站运行过程中的各种约束条件，分别采用动态规划和遗传算法给出了电站优化调度模型，建立了该电站的运行调度系统。经过水库1991年—2000年实际来水和控制运行的月报资料的模拟验证，结果表明，该系统可平均增加发电量约12．9％，使电站能更合理地进行管理调度。而且，通过对随机模拟的长序列入库月径流过程的模拟调度，建议了三门峡水电站具体的管理调度运行方式。     

定逆序数的n元数码置换个数的一种方法

一个确定的n元数码的排列,其道序数是不难求得的;反之,“已知逆序数,求有多少个n元置换”的问题要复杂得多。从最小数码的位置着手,充分利用逆序数是定数,给出一种解决此问题的新方法——最小数码定位法。此法通俗易懂,由此得到了逆序数为k(k=1,2,3……c_n~2)的n元数码的置换个数的一个递推公式:q_k(n)=1+q_1(n-l)+q_2(n-1)+q_3(n-1)+…+q_k(n-1)。     

论家庭教育中儿童人格的塑造与培养

父母及家庭环境对儿童人格形成与发展具有十分重要的影响。父母要以身示范,营造和睦、健康、向上的家庭氛围。在儿童人格塑造和培养中,要十分重视智力因素的培养,特别注意早期智力与创造力的开发,重视社会适应能力的培养,包括融入集体生活的能力、人际适应能力和环境适应能力等。     

SDH技术在有线电视网络传输中的应用

文章介绍了SDH技术的传输原理、网络特点、基本构成及其在有线电视网络传输中的应用。     

化学方程式配平的矩阵解法

基于矩阵解方程的理论，定义出了一个化学元素矩阵，从而找到了一种配平化学方程式的新方法，称之为矩阵解法。     

与时俱进,提升高校党委的工作水平

面对新时期新形势新任务，要与时俱进做好工作．高校党委必须提高认识水平、协调水平、管理水平和创新水平，最终体现为发展水平。     

《老水手行》中的鸟与蛇意象

柯尔律治的诗歌以神秘、怪诞著称。本文通过分析《老水手行》中鸟和蛇的意象来解读《老水手行》，在宗教寓意之外发现柯尔律治在诗中隐含的另一个主题，敬畏自然、关爱生命。     

黎锦明小说的艺术特色

在中国现代文学史上，黎锦明创作颇丰，曾是一位较为活跃的有影响的著名作家，有些作品在当时曾引起文坛的瞩目和社会的反响。长期以来，他和他的作品被人漠视和遗忘。实际上，他的小说在题材内容选取上很是广阔，在体式技法运用的多样性上更是有其独特之处。     

R ＆ D STRATEGIC INVESTMENT IN AN ASYMMETRICAL CASE

This article analyzes R ＆ D investment decisions in an asymmetrical case. The investment decisions share three important characteristics. First, the investment is completely irreversible. Second, there are two kinds of uncertainties over the future returns from the investment and over technology in R ＆ D process, respectively. Third, there is strategic competition in the asymmetrical case. This article presents the optimal investment threshold values and the optimal investment rule of high-efficient firm （leader）, and shows that the investment threshold values are reduced by competition of two firms. Finally, the mixed investment strategies for two firms, the probability that each firm separately exercises the option to invest, and the probability that two firms simultaneously exercise the option are given in the paper.