检索结果-南通市图书馆

在线全文

学校读者我要写书评

暂无评论

职员工作质量考核标准

管理观察 1997年第9期 23-24页

作者：陈云卿

在线全文

学校读者我要写书评

暂无评论

非形式逻辑与逻辑科学的发展

思维与智慧（上半月） 1992年第6期 12-15页

作者：王桂艳

非形式逻辑这一术语是本世纪六十年代末北美一些学者提出的。非形式逻辑的兴起主要是为了解决政治、社会生活中的论证问题。本世纪八十年代以后,非形式逻辑作为一门新的逻辑学分支而得到迅速的发展。为什么在符号逻辑占统治地位的当代,... 详细信息

非形式逻辑这一术语是本世纪六十年代末北美一些学者提出的。非形式逻辑的兴起主要是为了解决政治、社会生活中的论证问题。本世纪八十年代以后,非形式逻辑作为一门新的逻辑学分支而得到迅速的发展。为什么在符号逻辑占统治地位的当代,在西方一些国家非形式逻辑却倍受关注?本文拟就这一问题对逻辑科学的发展作一初步的探索。一、对形式化方法的思考逻辑学作为一门科学已有2300多年的历史。在这段时间里,传统逻辑经历了2000多年的发展历史。传统逻辑是指:由亚里士多德创立,经过中世纪的演变而发展至十九世纪(乃至今天)的逻辑。

关键词：非形式逻辑形式化方法现代逻辑逻辑科学传统逻辑逻辑学家数理逻辑符号逻辑亚里士多德逻辑自然语言

维普期刊数据库评论

在线全文

维普期刊数据库

学校读者我要写书评

暂无评论

WSN安全通信的形式化验证

信息安全与通信保密 2013年第4期11卷 102-105页

作者：朱伟龙陈传峰福州大学物理与信息工程学院福建福州350002

为了解决无线传感器网络在军事、商业等领域上的安全和隐私问题,文中分析了传感器节点通信过程中可能遭受的攻击及其防御措施,提出了一种验证安全通信是否真正安全的方法。该方法是一种混合型的形式化分析方法,先应用模型检测工具AVISP... 详细信息

为了解决无线传感器网络在军事、商业等领域上的安全和隐私问题,文中分析了传感器节点通信过程中可能遭受的攻击及其防御措施,提出了一种验证安全通信是否真正安全的方法。该方法是一种混合型的形式化分析方法,先应用模型检测工具AVISPA分析安全通信过程是否会遭到攻击,然后采用形式化验证方法Object-Z建立模型和分析,并证明安全通信过程能否实现其安全目标。文中以基于传感器网络加密协议的安全通信过程为例,证实了该方法的可行性。

关键词：无线传感器网络安全通信缺陷检测安全目标形式化方法

在线全文

学校读者我要写书评

暂无评论

网络仪器与通信协议一致性测试技术

工业仪表与自动化装置 2005年第1期 45-47页

作者：高翔戎舟马秀飞周亮东南大学仪器科学与工程系江苏南京210096 南京邮电学院江苏南京210003

论文提出了将形式化方法引入网络仪器设计中的观点,使设计者在设计仪器网络接口时,拥有一套规范的协议设计、验证、实现、测试的方法,使开发者尽可能早的获知协议缺陷,最大限度的检测和纠正缺陷,进行协议的完善,同时缩短了协议开发周期... 详细信息

论文提出了将形式化方法引入网络仪器设计中的观点,使设计者在设计仪器网络接口时,拥有一套规范的协议设计、验证、实现、测试的方法,使开发者尽可能早的获知协议缺陷,最大限度的检测和纠正缺陷,进行协议的完善,同时缩短了协议开发周期,提高了协议实现的正确性。

关键词：形式化方法网络仪器协议验证

在线全文

学校读者我要写书评

暂无评论

B方法和构件技术在软件开发中的应用研究

郑州轻工业学院学报（自然科学版） 2008年第2期23卷 62-64页

作者：卢中宁程立辉张志锋郑州轻工业学院计算机与通信工程学院河南郑州450002

提出了一种基于B方法和构件技术的形式化开发方法,该方法结合构件技术和形式化方法,对软件开发的方法进行改进从而提高了软件的重用,很好地消除了系统的二义性、不完整性和不一致性,大大提高了软件开发效率.

关键词：构件技术 B方法形式化方法软件开发

基于Formal Methods的基本存款账户新增数量变动分析

在线全文

学校读者我要写书评

暂无评论

甘肃科技 2012年第24期28卷 107-109页

作者：贺彦琨李万柱中国人民银行兰州中心支行甘肃兰州730000

基本存款账户期末数量代表了经济实体的开户数量,在一定程度上反映了经济实体发展环境的好坏程度。就此引入形式化描述方法,对基本存款账户数量变动情况进行分析,精确刻画商业银行的开户行为,对存在恶性争抢客户的商业银行,采取相应措施... 详细信息

基本存款账户期末数量代表了经济实体的开户数量,在一定程度上反映了经济实体发展环境的好坏程度。就此引入形式化描述方法,对基本存款账户数量变动情况进行分析,精确刻画商业银行的开户行为,对存在恶性争抢客户的商业银行,采取相应措施,规范开户行为。

关键词：形式化方法 Formal Methods 账户管理人民币银行结算账户管理系统基本存款账户

在线全文

学校读者我要写书评

暂无评论

安全软件工程的发展方向（下）

电信交换 2003年第2期 6-9,25页

作者：高林

一种适用于软件生命周期系统模型的需求获取方法研究

维普期刊数据库评论

在线全文

维普期刊数据库

学校读者我要写书评

暂无评论

微型电脑应用 2010年第2期26卷 10-11页

作者：龚洁静张广泉肖刚中国计算机学会

软件工程形式化是软件工程自动化的前提,软件自动化能在根本上提高软件质量和生产效率。文章提出了一种形式化的需求获取方法,首先在离散系统模型的基础上,提出了一个可以适用于软件生命周期所有阶段的模型-公平离散系统模型,进而给出... 详细信息

软件工程形式化是软件工程自动化的前提,软件自动化能在根本上提高软件质量和生产效率。文章提出了一种形式化的需求获取方法,首先在离散系统模型的基础上,提出了一个可以适用于软件生命周期所有阶段的模型-公平离散系统模型,进而给出了其在软件需求获取过程中求精、验证和控制复杂性的方法、需求模型复用的概念。

关键词：软件工程形式化方法离散系统需求模型

在线全文

学校读者我要写书评

暂无评论

计算机程序验证系统的开发方法

科学 1999年第3期51卷 26-29页

作者：章萃美国加州州立大学萨克拉门托分校计算机科学系

在计算机广泛应用于人类生活各个方面的今天,许多计算机软件系统与人类的生命和财产安全直接相关,例如银行管理、交通管理、航天和航空管理等系统。设计人员和使用人员都希望在将软件系统投入正式运行之前,能得到系统正确性的保证,或能... 详细信息

在计算机广泛应用于人类生活各个方面的今天,许多计算机软件系统与人类的生命和财产安全直接相关,例如银行管理、交通管理、航天和航空管理等系统。设计人员和使用人员都希望在将软件系统投入正式运行之前,能得到系统正确性的保证,或能将正确性提高到比较高的程度。程序验证是保证软件系统正确性的一个重要手段,也是计算机软件工程方法和技术的一个组成部分。

关键词：程序验证程序逻辑形式化方法软件工程