搜索筛选:
搜索耗时0.0480秒,为你在102,280,266篇论文里面共找到 1,453,090篇文章
发布年度:
[期刊论文] 作者：蔡家楣,
来源：浙江工学院学报 年份：1994
本文介绍了国外特别是德国在正确软件开发支持系统方面的进展，重点阐述集成了各种方法学语言及正确性证明逻辑的集成式正确软件开发支持系统（ＫＯＲＳＯ），它的系统特点、形式机制及系统组织...
[期刊论文] 作者：蔡家楣,
来源：浙江工业大学学报 年份：1996
研究抽象数据类型的规范说明对于实现面向对象的软件开发及程序证明等具有重要意义。本文用构造型说明法讨论了原子和复合抽象数据类型的结构语义，并介绍了这种说明如何用一个...
[期刊论文] 作者：蔡家楣,
来源：计算机工程 年份：1998
介绍基于扩展构造型演算的交互式多步证明系统。该系统中以函数式语言ＭＬ为开发环境，建立了ＥＣＣ的项、规则证明策略和证明管理机制的描述，并引入规约类型、类类型、类和对象的表示，为面...
[期刊论文] 作者：蔡家楣,
来源：计算机科学 年份：1998
<正>形式化的规约说明对于提高软件开发的正确性和效率有很大作用,一个形式化的规约说明语言开发环境如图1所示。目前有的原型系统是用常规高级语言,即一般的过程语言来写的,...
[期刊论文] 作者：蔡家楣,
来源：浙江工学院学报 年份：1994
用和经典的代数说明法及操作说明法不同的构造型说明法为抽象数据类型提供了一种具体的描述，这种描述可以用函数型语言ＭＬ加以实现。文章介绍了构造型说明法的特点以及关于一个代...
[期刊论文] 作者：蔡家楣,
来源：计算机科学 年份：1998
本文用构造型说明法讨论了满足结构化要求的各种复合抽象数据类型应具备的语义特性。然后讨论了基于类型理论的ＥＣＣ扩展构造逻辑和函数式语言两种方式下的模型。...
[期刊论文] 作者：蔡家楣,
来源：计算机科学 年份：2004
设计模式对于构建可复用的软件框架有重要意义.本文用构造型说明法讨论了满足结构化要求的各种元设计模式应具备的语义特性.提出了用构造型说明来描述基于元模式的模式规约的...
[期刊论文] 作者：蔡家楣,,
来源：科学24小时 年份：2017
计算机软件(Software,也称软件)是计算机系统中的程序及其文档的总称,程序是计算任务的处理对象和处理规则的描述,文档是关于程序所需的资料性阐述. 计算机对计算任务的处理,...
[期刊论文] 作者：蔡家楣,
来源：浙江工业大学学报 年份：1996
讨论了数据模型在数据库中的作用，分析了基本对象数据模型的语义，提出了复杂对象的管理模式，并介绍了对象的一种对状存储模型。...
[期刊论文] 作者：张繁,蔡家楣,
来源：计算机工程 年份：2003
给出了一个将动态工作流技术应用于电子政务系统的有效方法及动态工作流的逻辑结构,通过并联审批实例阐述其应用于电子政务系统的工作机制....
[期刊论文] 作者：张繁,蔡家楣,
来源：计算机工程 年份：2003
电子政务建设是政府系统信息化建设的一个重要组成部分,互联网技术的发展为电子政务应用开发带来了新的思路.文章提出了一种应用于电子政务的新型知识管理中间件平台,着重分...
[期刊论文] 作者：张繁,蔡家楣,
来源：计算机工程与应用 年份：2003
该文提出了一种应用于电子政务系统的数据交换和共享服务平台。先给出通用逻辑结构设计，然后通过两个具体实例阐述其应用机制。...
[期刊论文] 作者：陈铁明,蔡家楣,
来源：计算机研究与发展 年份：2006
两个同输入神经网络的权值向量通过互相学习不断更新,最终可达到权值同步状态.神经网络互学习的权值同步现象具备在公开信道上秘密协商会话密钥的密码学特性.在分析和优化权...
[期刊论文] 作者：蔡家楣,杜国维,
来源：北京科技大学学报 年份：1998
介绍一种扩展的类型理论构造演算ＥＣＣ；讨论了用它表示松散语义抽象类型的程序规范的方法，然后介绍如何用函数型语言ＭＬ使这种方法得以实现。...
[会议论文] 作者：蔡琼霞, 卢家楣,,
来源： 年份：2004
<正> 数学学习挫折虽说是心理学所研究的对象,但又与教育、数学教学紧密联系在一起。国内外对于一般心理挫折的研究非常多,但对于数学学习挫折在我所查找的文献中还没有。本...
[期刊论文] 作者：王家楣,蔡成法,
来源：武汉理工大学学报：交通科学与工程版 年份：2003
通过在循环水槽中进行不同条件下的船模微气泡减阻试验,及对试验结果进行了必要的处理,得到了试验平均摩擦阻力系数图;同时通过理论计算得出了理论平均摩擦阻力系数图.对以上...
[期刊论文] 作者：陈铁明,蔡家楣,
来源：第四届中国信息和通信安全学术会议 年份：2005
本文在简述一个基于GNY逻辑实现的可视化集成工具的基础上,以SSL协议为例,阐述了其自动分析过程,并提出了可信第三方参与的简单扩展逻辑....
[期刊论文] 作者：蔡家楣,顾红斐,
来源：高教与经济 年份：1997
1 改革的优越性和存在问题信息学院是我校继化工、机电学院后进行招生改革的试点单位。今年计划按学院招生,不分专业,入学后经过二年基础段学习后再分专业。这一改革经过讨论...
[会议论文] 作者：周德泽,蔡家楣,
来源：\'98全国自动化教育学术年会 年份：1998
以信息化为基础构思自动化专业的教学改革。控制、计算机、通信“3C”并重；计算机教学四年一条线，加强基础，硬件软件并重，控制理论教学去除陈旧部份，纳入现代新内容。...
[期刊论文] 作者：陈铁明,蔡家楣,
来源：计算机应用研究 年份：2004
在分析LDAP目录服务特点的基础上,就安全漏洞发布的现状提出了利用LDAP存储和发布安全漏洞的构思,并在局域网范围内用Windows2000ActiveDirectory实现了漏洞发布的一个实例。...
相关搜索：
