梁晟
- 作品数：10 被引量：6H指数：1
- 供职机构：复旦大学信息科学与工程学院计算机与信息技术系更多>>
- 发文基金：国家高技术研究发展计划更多>>
- 相关领域：自动化与计算机技术文化科学交通运输工程经济管理更多>>
- 带时间和控制的Petri网系统及应用
- 2000年
- Petri网在描述一个并发事件组成的系统的同步行为时,无法体现时间因素对同步控制的影响,同时也难以描述这种同步控制。本文给出了Petri网中时间和控制表示的形式定义,并以信号灯系统等例说明了带时间和控制的Petri网的应用及在描述同步控制上的功能。
- 吴时霖梁晟
- 关键词：PETRI网同步控制车辆信号灯
- FoxPro程序中嵌入C语言函数的技术
- 2000年
- 本文介绍了FoxPro程序中嵌入C语言函数的一般方法和在编程过程中要注意的事项。同时附有技术中关键的函数。
- 白雪峰梁晟吴时霖
- 关键词：FOXPROC语言函数数据库
- 基于Internet论文发表系统的认证机制被引量：1
- 2002年
- 提出了一种基于论文发表系统的模型,重点介绍了基于的用户认证机制和协议。它包括两个过程:校验和认证。
- 汪保友胡运发梁晟
- 关键词：INTERNET公钥基础设施数字图书馆
- 智能同中业务提供点的实现技术
- 2000年
- 介绍了智能网的概念及相应的结构，给出了一个业务提供点的设计和开发方案，并详细叙述了其中一些关键技术，列出核心代码。
- 梁晟周皓峰胡运发
- 关键词：智能网数据库访问通信网
- 字典:对象模型和关系模型之间的桥梁
- 梁晟
- 关键词：面向对象数据库同构
- 带时间和控制的Ｐｅｔｒｉ网系统及应用
- 吴时霖梁晟
- 关键词：计算机网络PETRI网
- 嵌套事务可序列化调度中的隐式约束被引量：5
- 2003年
- 嵌套事务模型在现代数据库及分布式对象系统并发控制的理论研究和应用中具有重要地位 而父子事务之间的同步能力则是其中必不可少的组成部分之一 通常做法中 ,父事务对 (指定的 )单个子事务的同步可能触发可序列化调度的隐式约束 ,从而导致调度不可操作 通过分析隐式约束的产生原因 ,并将具有一定拓扑结构的嵌套事务定义为良构的 ,可以避免上述不可操作性
- 梁晟施伯乐
- 关键词：嵌套事务事务处理分布式对象系统并发控制
- 数字化图书馆流通的若干问题研究
- 该文论述了数字化图书馆流通的若干问题.众所周知,解决安全性问题是网上流通的关键问题之一,该文在参考电子商务安全构架的基础上,建立了基于数字证书和CA认证的数字化图书馆流通体系.
- 梁晟
- 关键词：公钥基础设施身份认证加密传输安全协议
- 文献传递
- 垃圾对象的识别和清除
- 提出了一个可以在并发环境下使用的垃圾对象的识别和清除算法,并证明了算法的正确性和完整性,最后分析了算法的优劣性.
- 梁晟施伯乐
- 关键词：面向对象系统程序设计
- 嵌套事务:模型、调度可序列化理论及分散式调度
- 事务处理和并发控制一直是数据库研究和实践的重要组成部分之一.而事务调度可序列化理论无疑是事务处理和并发控制的核心理论.该文开创性地提出了从更小粒度的操作层面来研究事务原子性和事力调度的本质内涵,归纳了嵌套事务模型上合理调...
- 梁晟
- 关键词：嵌套事务模型
- 文献传递
