Petri网的分享合成操作

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

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

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

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

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

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

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

网络课件、网络课程光盘数据库查询方法的实现

介绍了两种网络课件、网络课程等制作完成后生成光盘，脱离后台服务器支持，实现光盘数据库查询功能的解决方法：一是HTML网页内嵌JavaScript或VBScript脚本访问本地数据库(MS Access)；二是采用HTML Appucadon(HTA)形式来访问数据库．     

实验室微机化管理系统的设计

实现实验室信息化管理有多种方法，基于PowerBuilder7．0开发设计的“实验中心管理系统”是目前较为先进的微机化管理系统，该系统集信息的采集、处理、查询、报告输出及实验室日常管理于一体，功能强大，界面美观，易于维护，在此重点介绍了该系统软件的设计过程．     

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

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

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

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

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

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

大学物理CAI课件的设计与制作

探讨了大学物理教学中CAI的设计思想、脚本设计以及课件编辑整合等问题，介绍了符合CAI教学规律课件的制作方法。