搜索筛选:
搜索耗时0.1080秒,为你在为你在102,285,761篇论文里面共找到 77 篇相符的论文内容
发布年度:
[期刊论文] 作者：蔡家楣,
来源：浙江工业大学学报 年份：1996
讨论了数据模型在数据库中的作用，分析了基本对象数据模型的语义，提出了复杂对象的管理模式，并介绍了对象的一种对状存储模型。...
[期刊论文] 作者：蔡家楣,
来源：浙江工业大学学报 年份：1996
研究抽象数据类型的规范说明对于实现面向对象的软件开发及程序证明等具有重要意义。本文用构造型说明法讨论了原子和复合抽象数据类型的结构语义，并介绍了这种说明如何用一个......
[期刊论文] 作者：蔡家楣,
来源：浙江工学院学报 年份：1994
用和经典的代数说明法及操作说明法不同的构造型说明法为抽象数据类型提供了一种具体的描述，这种描述可以用函数型语言ＭＬ加以实现。文章介绍了构造型说明法的特点以及关于一个代......
[期刊论文] 作者：蔡家楣,
来源：浙江工学院学报 年份：1994
本文介绍了国外特别是德国在正确软件开发支持系统方面的进展，重点阐述集成了各种方法学语言及正确性证明逻辑的集成式正确软件开发支持系统（ＫＯＲＳＯ），它的系统特点、形式机制及系统组织......
[期刊论文] 作者：蔡家楣,,
来源：科学24小时 年份：2017
计算机软件(Software,也称软件)是计算机系统中的程序及其文档的总称,程序是计算任务的处理对象和处理规则的描述,文档是关于程序所需的资料性阐述. 计算机对计算任务的处理,...
[期刊论文] 作者：蔡家楣,
来源：计算机工程 年份：1998
介绍基于扩展构造型演算的交互式多步证明系统。该系统中以函数式语言ＭＬ为开发环境，建立了ＥＣＣ的项、规则证明策略和证明管理机制的描述，并引入规约类型、类类型、类和对象的表示，为面......
[期刊论文] 作者：蔡家楣,
来源：计算机科学 年份：1998
本文用构造型说明法讨论了满足结构化要求的各种复合抽象数据类型应具备的语义特性。然后讨论了基于类型理论的ＥＣＣ扩展构造逻辑和函数式语言两种方式下的模型。...
[期刊论文] 作者：蔡家楣,
来源：计算机科学 年份：1998
形式化的规约说明对于提高软件开发的正确性和效率有很大作用,一个形式化的规约说明语言开发环境如图1所示。目前有的原型系统是用常规高级语言,即一般的过程语言来写的,...
[期刊论文] 作者：蔡家楣,
来源：计算机科学 年份：2004
设计模式对于构建可复用的软件框架有重要意义.本文用构造型说明法讨论了满足结构化要求的各种元设计模式应具备的语义特性.提出了用构造型说明来描述基于元模式的模式规约的...
[期刊论文] 作者：张繁,蔡家楣,
来源：计算机工程 年份：2003
给出了一个将动态工作流技术应用于电子政务系统的有效方法及动态工作流的逻辑结构,通过并联审批实例阐述其应用于电子政务系统的工作机制....
[期刊论文] 作者：张繁,蔡家楣,
来源：计算机工程 年份：2003
电子政务建设是政府系统信息化建设的一个重要组成部分,互联网技术的发展为电子政务应用开发带来了新的思路.文章提出了一种应用于电子政务的新型知识管理中间件平台,着重分...
[期刊论文] 作者：张繁,蔡家楣,
来源：计算机工程与应用 年份：2003
该文提出了一种应用于电子政务系统的数据交换和共享服务平台。先给出通用逻辑结构设计，然后通过两个具体实例阐述其应用机制。...
[会议论文] 作者：周德泽,蔡家楣,
来源：'98全国自动化教育学术年会 年份：1998
以信息化为基础构思自动化专业的教学改革。控制、计算机、通信“3C”并重；计算机教学四年一条线，加强基础，硬件软件并重，控制理论教学去除陈旧部份，纳入现代新内容。...
[期刊论文] 作者：江颉,金凤,蔡家楣,
来源：浙江工业大学学报 年份：2004
分析了WAP和J2ME两种现有终端技术的安全性和优缺点,利用PKI/WPKI技术,提出了一个适合上述两种终端技术的企业级安全解决方案.介绍了方案的系统结构:主要包括CA,RA,证书库,PK...
[期刊论文] 作者：戴大蒙, 蔡家楣,
来源：浙江工业大学学报 年份：2005
在剖析PB窗口数据组织的基础上,指出系统提供的动态数据窗口技术的缺陷,提出一种改进算法,通过将静态数据窗口的界面友好性和动态数据窗口的应用灵活性融合在一起.该算法可作...
[期刊论文] 作者：金凤,蔡家楣,张繁,
来源：计算机工程 年份：2003
在简单介绍了电子商务的基本知识后,对电子商务安全所涉及的技术问题、实现安全的电子商务系统所应具备的要素进行了系统的描述,并提出引入攻击树概念来描述电子商务安全系统...
[期刊论文] 作者：金凤, 江颉, 蔡家楣,,
来源：计算机工程 年份：2003
随着电子商务的开展,交易的安全性已经成了电子商务顺利进行的关键,其中重要的一部分就是对交易各方身份进行认证,因此需要在交易各方中建立一种信任关系,信任模型就是描述这...
[期刊论文] 作者：陈铁明,蔡家楣,
来源：计算机研究与发展 年份：2006
两个同输入神经网络的权值向量通过互相学习不断更新,最终可达到权值同步状态.神经网络互学习的权值同步现象具备在公开信道上秘密协商会话密钥的密码学特性.在分析和优化权...
[期刊论文] 作者：陈铁明,蔡家楣,
来源：第四届中国信息和通信安全学术会议 年份：2005
本文在简述一个基于GNY逻辑实现的可视化集成工具的基础上,以SSL协议为例,阐述了其自动分析过程,并提出了可信第三方参与的简单扩展逻辑....
[期刊论文] 作者：蔡家楣,顾红斐,
来源：高教与经济 年份：1997
1 改革的优越性和存在问题信息学院是我校继化工、机电学院后进行招生改革的试点单位。今年计划按学院招生,不分专业,入学后经过二年基础段学习后再分专业。这一改革经过讨论...
相关搜索：
