搜索筛选:
搜索耗时1.2006秒,为你在为你在102,285,761篇论文里面共找到 50 篇相符的论文内容
发布年度:
[学位论文] 作者:吴时霖,
来源:西南政法大学 年份:2020
强制盈余分配制度是近年来一直是法学界讨论的热点问题,由于实践中常发生公司实施无盈余政策,致使少数股东无法获取盈余的不公平现象,最高人民法院通过司法解释确立了一项强制公司进行盈余分配的规则。强制盈余分配制度多年来一直是学术界讨论的热点话题,对该制......
[期刊论文] 作者:吴时霖,吴克,
来源:计算机工程 年份:1994
通过对VT100、IBM3270等终端的中国文仿真软件设计的实践、介绍IBMPC及其兼容机上设计通用中西文仿真软件的技术,并对一些特殊类型的终端的仿真技术进行探讨。......
[期刊论文] 作者:吴时霖,韩清,
来源:计算机工程 年份:1989
本文首先对Kermit协议作了简单介绍,包括Kermit协议的一些主要特征以及它如何工作和使用,然后利用Petri网理论对Kermit协议进行正确性验证。...
[期刊论文] 作者:吴时霖,周奕,
来源:计算机工程 年份:1994
本文首先对Zmodem协议简单介绍,包括Zmodem的工作流程与使用,然后用Petri网对Zmodem进行描述和正确性验证,最后引入时间概念,对Zmodem协议用随机Petri网分析其吞吐率及延迟时间。在此基础上,对此Zmodem,Xmodem协议的效率,分析Zmodem协议的......
[期刊论文] 作者:周奕,吴时霖,
来源:计算机学报 年份:1997
本文首先在命题逻辑的库所/变迁网模型中,提出四种新的证明目标例题成立的推理算法,即求包含为迁的T-不变量并同时求出变迁发生序列的算法,它们都源于归结反演系统中的改进策略。......
[期刊论文] 作者:周奕,吴时霖,
来源:计算机应用与软件 年份:1995
本文根据对MultiExpress软件包的分析,就远程控制进行了简介,提出了它的实现方式并给出流程图。又在此基础上,建立Potri网模型,进行了验证。...
[期刊论文] 作者:吴时霖,王利,
来源:计算机应用与软件 年份:1995
本文讨论知识表示的Petri网模型。将多种知识分类表示,对于开发具有较宽领域知识的系统具有重要意义。本文从统一的观点出发,在给出了Petri网的代数规范说明后,将三种主要的知识表示方法分别与Petri网模型之间建立了映射关系。这三种知识表示方法为:逻辑表示法......
[期刊论文] 作者:吴时霖,梁晟,
来源:计算机应用与软件 年份:2000
Petri网在描述一个并发事件组成的系统的同步行为时,无法体现时间因素对同步控制的影响,同时也难以描述这种同步控制。本文给出了Petri网中时间和控制表示的形式定义,并以信号灯系统等例说明了带时间和控制的Petri网的应用及在描述同步控制上的功能。......
[期刊论文] 作者:吴时霖,王利,
来源:计算机学报 年份:1994
本文对OSI参考模型进行了全面的分析,并介绍了一种高级Petri网,称为EPr/T网系统,该系统可作为OSI网络协议的形式描述工具,然后,利用EPr/T网系统对(N)层通信协议进行了形式描述,并阐明了OSI网络协议形式描述的一......
[期刊论文] 作者:吴时霖,白雪峰,,
来源:计算机科学 年份:1996
Petri网是原联邦德国Carl Adam Petri博士在60年代初提出的研究信息系统及其相互关系的数学模型。经过三十多年的发展,已成为具有严密数学基础,多种抽象层次的通用网论,...
[会议论文] 作者:周奕,吴时霖,
来源:中国计算机学会Petri网学术会议 年份:1995
...
[会议论文] 作者:吴时霖,梁晟,
来源:中国计算机学会Petri网学术会议 年份:1995
...
[期刊论文] 作者:吴时霖,张雯,,
来源:计算机应用与软件 年份:1988
本文先介绍类似Potri网的并行程序概念,包括基本模型及有效性证明的方法。然后用并行程序模型解决操作系统的一个典型问题——哲学家就餐问题,本文提出该问题的一个并行程序算法作出正确性验证。......
[期刊论文] 作者:魏定国, 吴时霖,,
来源:计算机科学 年份:2004
在网上电子市场要对电子谈判提供有效支持是非常重要的需求,然而目前对电子谈判媒体设计的研究很少.本文构建了电子谈判媒体进行设计与实施模型.在此模型下,能够在概念级上对...
[期刊论文] 作者:刘惠敏,吴时霖,
来源:计算机工程 年份:2000
主要描述了面向对象建模技术在监控系统中的设计和应用过程,包括介绍了对象建模技术的3类模型、动态模型和功能模型的分析、建模和设计方法。...
[期刊论文] 作者:魏定国,吴时霖,
来源:小型微型计算机系统 年份:2004
本文为RBAC模型提出了一个基于着色Petri网的策略规格说明和分析的架构.Petri网能够捕获基数、责任分离等约束,而且能对优先和依赖约束进行说明.使用Petri网的可达到性分析技...
[期刊论文] 作者:乔永刚,吴时霖,
来源:计算机工程 年份:2000
介绍了ATM上实现Multicast的MARS标准,详细比较了它所给出的两种建议;MCS和VC Mesh,并讨论了一些改进的方法。...
[期刊论文] 作者:吴时霖,李其林,
来源:计算机应用与软件 年份:1995
本文在概述了纠错与密码相结合的发展史后,针对传统的分组加密系统,提出了一个利用Reed-Solomon码来实现加密通讯的方案。并对实现时会遇到的一些问题,如加密钥和解密钥的建立,Reed-Solomon码的译码等进行了探讨。尤其是本文对Reed-Solomon码提出新的译码方法,......
[期刊论文] 作者:陈立,陈旭,吴时霖,
来源:计算机工程 年份:2001
通过对两种IPoverATM方案:IP交换和标签交换的研究,指出了将组播技术应用到ATM网络上的方法.并对这两种方法的优、缺点进行了比较....
[期刊论文] 作者:魏定国,吴时霖,
来源:系统仿真学报 年份:2005
统一建模型语言(UML)已经成为软件系统的分析与设计的标准工具,但由它扩充而成的代理统一建模型语言(AUML)还没变成一个标准,目前的AUML规格说明还有很多的局限性,还不能胜任...
相关搜索: