中国信息安全产业未来20年科学发展

我今天讲演的目的是想要大家了解过去叫“信息安全”，而现在叫“网络世界安全”的未来20年的发展。中国信息安全产业对未来已经有了一个很好的发展规划．是中国信息安全产业的战略发展计划。今天给大家讲三个方面内容： 计算机与网络安全过去20年（从1985到2005）[第一段]     

编译程序的范式结构及用属性文法进行编译程序设计(上)

本文将介绍编译程序自动生成的方法,该方法在NCI(华北计算技术研究所)用来发展编译程序自动生成系统(CSG).本文还详细地讨论属性文法以及如何使用属性文法进行编译程序设计.     

编译程序的范式结构及用属性文法进行编译程序设计(下)

4.用属性文法进行编译程序设计近些年属性文法得到广泛的发展与应用.用属性文法进行编译程序设计可以是工具的辅助设计,也可以是人工进行设计.我们在这里主要介绍程序员如何根据属性文法的定义进行编译程序设计,并假定读者对属性文法的基本概念已经清楚.4.1属性文法的分类及判定问题     

属性文法的研究与应用

本文详细讨论了有关属性文法的基本概念,属性文法的两种分类方法,两种分类之间的关系及属性文法的判定问题。本文还讨论了如何用属性文法定义编译程序的遍体制说明及与指称语义的关系。最后讨论了属性文法在编译程序中的应用与属性计算器的程序处理。     

前言

<正> 《程序设计规范初探》是我们参考了国外程序设计一些好的方法,以及我们在软件工程方法论的研究中和许多工作体会中总结出来的。我们认为本《规范》(discipline)谈到的方法,花样不多,也不复杂。它就象欧洲足球的简单实用的踢法,学会了,用好了,就有可能踢好足球。我们希望它是程序员及程序管理员的一本有用的书籍,并以此来指导他们的工作。 程序设计分顺序程序设计及并发程序设计,本《规范》中仅向读者介绍顺序程序设计方法论及规范。另外,目前开始大量研究的泛函程序设计对于国内的情况还有待以后介绍并讨论。但在第五     

NCI软件自动生成技术的研究

在NCI(Norrh China Institute Of Computing Technology),从80年初就开始了软件自动生成技术的研究,包括编译程序自动生成,顺序软件自动生成技术,并发软件自动生成,操作系统的自动生成,数据库及数据库管理系统的自动生成,通讯协议(protocol)的软件自动生成,基于知识库基础之上的软件设计的专家系统,以及非常重要的抽象数据类型软件库。     

电子商务砸向金融安全的巨石

电子商务是网络普及的产物,也是 世界经济全球化的产物。它是信息化社 会的商务模式。据国际电信联盟数据, 2000年电子贸易额超过了3000亿美元; 世贸组织预测,2002年通过网络的国际 电子贸易可能占世界贸易总额的一成至     

我国电子商务建设的总体建议

电子商务的问题千头万绪,有企业的问题,有银行的问题,也有政府相关部门的问题。可以看到许企业的电子商务模式,业界讨论电子商务的B-to-B,B-to-C,B-to-E利I-to-I等各种模式,以及如何将电子商务与企业的资源计划、企业信息化建设结合起来。还有人提出我国电子商务的一瓶颈问题:银行网络支付、信誉系统建设、电子商务的CA、物流系统建设、电子商务网络安全、电子商务的法律问题、电子商务的工商、税收、公安、防伪等。 美国和其他发达国家对于电子商务的市场环境、法律环境、推进全球发展和一至性原则作了大量的工作,请看如下的活动: 1996年克林顿宣布成立跨部门的电子商务管理机构——美国电子商务工作组。 1997年美国颁布《全球电子商务框架》,这个框架得到欧洲各国的普遍认可,     

乏晰边沿的时序电路模型

本文对赫夫曼时序电路模型提出修正。确立了乏晰边沿集合的运算及性质。在布尔微分及乏晰边沿集合两个基础上,建立了乏晰边沿的时序电路模型。研完了乏晰毛刺的分明度量,最后提出了时序电路不分明状态的判定定理。因此,本文阐述的时序电路模型为时序电路故障测试产生算法及时序电路不分明状态的测试产生算法(逻辑正确性检查)提供了依据。     

网络虚拟世界软件行为学

一、简介 "软件行为学"是作者在20世纪90年代从事计算机和网络安全研究时为自己提出的计算机科学的理论课题,随着计算机代理技术研究与应用的深入,尤其对于软件在网络中行为规律性的认识的深入,作者越来越感到研究软件行为学的重要性.