Petri网的分享合成操作

通过引入Fork算子，建立Petri网的一种新的合成操作一分享合成，分享合成探作与传统的共享合成操作相比更适合于描述信息系统的建模。在分享合成时，子网中任何与分享库所无关的变迁序列在合成后保持不变，分享合成对于子网内由分享库所引发的变迁序列也保持不变。分享合成实际上增加了分享库所引发变迁序列发生的机会，使得到达输出集的机会增加。最后介绍了Petri网分享合成操作在信息系统安全管理中的应用。     

浙江省公共科技基础条件平台

浙江省公共科技基础条件平台是为建设科技强省，改善科技创新条件而构建的具有公益性、基础性、战略性的公共科技基础条件保障体系。通过建立共建共享、协作服务的有效机制，运用现代网络信息技术，整台大型科学仪器、科技文献、实验动物、科学数据、科技信息、动植物种质等科技资源，开展信息化、一站式的服务，进一步提高科技资源的利用效率，满足全省科技创新活动的需求。     

副省级城市政府专网向政务内外网发展的现实思考

2001年，中办发17号文件中提出了建设电子政务外网和电子政务内网两个网络平台，这给各级政府的电子政务网络平台建设指明了方向。由于多数副省级城市是按照国办的部署，在17号文件下发之前就已经建成了全市范围的政府专网，因此如何按照内外网的要求，在“三网一库”建设的基础上，在保证全国政府资源网的网络和应用需求的前提下，建设统一的副省级城市政务内网和外网就需要本着慎重的态度，在充分的认证和缜密的考虑下进行。     

高校图书馆网络信息资源的开发和共享

分析了高校图书馆网络信息资源开发和共享的现状与存在的问题，阐述了图书馆网络信息资源开发利用途径及实现资源共享的对策。     

一种容错会议密钥分配方案设计与分析

基于Byzantine模型，提出了一种会议密钥分配方案．该方案通过将秘密信息分布于多个服务器中实现了安全和容错的密钥分配．在该方案中，即使实施密钥分发的服务器组中有部分被入侵或系统部件存在故障，系统的所有授权用户仍可以获得正确的会议密钥．对方案的分析表明，基于离散对数计算和大整数分解的困难性，任何攻击者都无法获得会议密钥的相关信息，同时入侵者亦不能阻止系统的授权用户得到正确的会议密钥。     

共享合成Petri 网系统的活性保持性

讨论了能对资源共享问题进行建模的共享合成操作.重点研究共享合成Petri网系统的活性保持性,同时还讨论了在共享合成过程中系统的并发行为关系即并发语言关系.给出相应的语言关系式,它可用于判定合成系统的活性.进一步,给出了判定合成系统有活性的充分必要条件.最后,提出了合成系统保持子系统活性的条件.     

浅淡科学数据共享工程建设的战略取向

科学数据共享工程自2002年启动以来,先后对多个部门和行业进行了试点建设,取得了良好的开端。本文在调查、分析的基础上,针对科学数据共享工程的国家目标,从12个方面分析和探讨了科学数据共享工程的战略取向,以期为“十一五”的科学数据共享工程建设与发展提供参考。     

实现科技资源共享:科技创新体系建设的基本任务

实现全社会科技资源共享,对于提高科技资源的使用效率、在创新环境下推动我国科技的跨越式发展、促进新型工业化和实现可持续发展、深化科技管理体制的改革以及推动政府管理模式的根本转变,具有十分重要的现实意义。在西方国家,对于建立科技资源共享的运行与管理机制以及政策、法规体系,政府与社会已经给予充分的关注。近20多年来,一些发达国家已在科技资源共享的政策、法规研究与制定方面推出了一系列成果。我国要有效实现全社会科技资源的共享,应该从营造有利于科技资源共享的氛围、发挥政府的直接引导作用、推进相关的法制建设、运用经济杠杆调节等方面积极创造条件。     

我国中、小管理咨询公司的知识管理

和大型咨询公司一样，中、小型管理咨询公司的核心竞争力也是知识管理。中、小型咨询公司的知识管理，一方面，要通过明确企业核心业务，画出企业知识管理的地图，建立知识管理的数据库，明确知识管理的组织结构等方式建立知识管理的基础环境。另一方面，要通过建立知识共享的企业文化，建立知识管理的明晰机制和激励机制来对隐性知识进行有效的管理。     

共享Internet在不同操作系统平台下的实现

给出了在Windows98、Windows2000和Linux操作平台下,单位局域网如何通过一个IP地址共享Internet,实现互联网资源共享.