期刊导航
期刊开放获取
cqvip
退出
期刊文献
+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
检索
高级检索
期刊导航
共找到
6
篇文章
<
1
>
每页显示
20
50
100
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
显示方式：
文摘
详细
列表
相关度排序
被引量排序
时效性排序
典型安全协议形式化分析工具比较
被引量：
2
1
作者
朱宜炳
罗敏
《计算机与现代化》
2008年第5期86-89,共4页
介绍了当前安全协议分析领域的典型形式化工具,阐述了其基本原理和在协议描述、归约、验证方面的研究现状,对它们的优缺点进行了综合比较,提出了如何在已有条件下开发协议分析工具的观点。
关键词
安全协议
逻辑推理
模型检测
定理证明
形式化方法
下载PDF
职称材料
第二位力系数与体积关系的理论证明
2
作者
卢贵武
张军
《大学物理》
2000年第1期21-22,共2页
用参数变换方法,研究了位形配分函数对体积的一次导数,得到了第二位力系数,从而证明了第二位力系数与体积无关,并对现有教材所给出的条件加以补充.
关键词
第二位力系数
体积
理论证明
气体状态方程
下载PDF
职称材料
信息服务的需求获取与建模研究一般性科技报告
3
作者
段振华
田聪
+1 位作者
王小兵
张南
《科技资讯》
2016年第8期169-169,共1页
研究目前在以下方面取得了研究进展。首先,在信息服务的需求获取及协同优化方面:(1)完善了面向特征领域分析的需求获取方法;(2)完善了基于目标场景的用例驱动需求获取方法;(3)研究了协同分析与优化方法,同时开发了相应的支撑工具。其次...
研究目前在以下方面取得了研究进展。首先,在信息服务的需求获取及协同优化方面:(1)完善了面向特征领域分析的需求获取方法;(2)完善了基于目标场景的用例驱动需求获取方法;(3)研究了协同分析与优化方法,同时开发了相应的支撑工具。其次,在信息服务的建模与模型演化方面:(1)研究了基于Petri网的建模和模型演化理论与方法,同时开发了相应的支撑工具;(2)研究了基于进程代数的建模与模型演化理论与方法。最后,在信息服务模型的形式化验证与确认方面:(1)研究了基于模型的测试理论与方法,并开发了相应的模型测试工具;(2)研究了基于PPTL的符号和限界模型检测理论与方法,并开发了相应的模型检测器;(3)完善了基于MSVL的仿真理论与方法,并开发了相应的支撑工具MSV;(4)研究了基于抽象精化的模型检测理论与方法,并开发了相应的支撑工具。
展开更多
关键词
需求获取
信息服务
模型演化
形式验证
模型检测
定理证明
下载PDF
职称材料
基于产权的信息资源分类与信息确权理论建设
被引量：
9
4
作者
赵海军
《图书与情报》
CSSCI
北大核心
2012年第4期89-97,共9页
按照信息的来源与产生方式,信息资源可分为原生信息资源、外来信息资源和次生信息资源,从产权属性上三者分别定性为自主知识产权信息、非自主知识产权信息和伴生知识产权信息。信息确权理论是信息产权理论的重要组成部分,其理论体系构...
按照信息的来源与产生方式,信息资源可分为原生信息资源、外来信息资源和次生信息资源,从产权属性上三者分别定性为自主知识产权信息、非自主知识产权信息和伴生知识产权信息。信息确权理论是信息产权理论的重要组成部分,其理论体系构建至少应当考虑作为信息确权理论"硬核"的信息资源生产方式与生产规律、信息消费与信息侵权的行为特征及其基本规律的研究以及信息确权的法理依据、信息确权的商品价值论依据、信息确权的技术手段、信息确权的当事人协商机制、信息确权的行为规范与评判标准等方面的问题。
展开更多
关键词
信息产权
信息资源
信息确权
信息确权理论
下载PDF
职称材料
基于Tableau的定理机器证明系统TableauTAP
被引量：
3
5
作者
刘全
孙吉贵
《计算机工程》
EI
CAS
CSCD
北大核心
2006年第7期38-39,45,共3页
使用SWI-PROLOG语言在微机上设计实现了基于tableau的定理证明系统TableauTAP。该系统可以证明不含等词的经典逻辑公式和多值逻辑公式,通过预处理自动生成tableau规则,因此容易对其功能进行扩展。应用该系统对TPTP的400个逻辑问题进行证...
使用SWI-PROLOG语言在微机上设计实现了基于tableau的定理证明系统TableauTAP。该系统可以证明不含等词的经典逻辑公式和多值逻辑公式,通过预处理自动生成tableau规则,因此容易对其功能进行扩展。应用该系统对TPTP的400个逻辑问题进行证明,实验结果表明,TableauTAP在时间和空间效率上都是比较高的。
展开更多
关键词
TABLEAU
定理机器证明
TableauTAP系统
下载PDF
职称材料
变容量限制多阶段存储问题及其求解算法
被引量：
1
6
作者
谢凡荣
《南昌航空工业学院学报》
CAS
2004年第2期34-37,共4页
本文给出了求变容量限制多阶段存储问题的最优存储方案的一个数值算法 ,证明了它的理论依据 ,并举例说明了算法的应用。该算法具有概念清楚、步骤明确、收敛性好、易于编程实现等优点 。
关键词
变容量限制多阶段存储问题
多阶段存储问题
最优存储方案
下载PDF
职称材料
题名
典型安全协议形式化分析工具比较
被引量：
2
1
作者
朱宜炳
罗敏
机构
南昌大学信息工程学院
江西省计算技术研究所
出处
《计算机与现代化》
2008年第5期86-89,共4页
基金
江西省自然科学基金资助项目(0411041
0611057)
文摘
介绍了当前安全协议分析领域的典型形式化工具,阐述了其基本原理和在协议描述、归约、验证方面的研究现状,对它们的优缺点进行了综合比较,提出了如何在已有条件下开发协议分析工具的观点。
关键词
安全协议
逻辑推理
模型检测
定理证明
形式化方法
Keywords
security
protocol
logic
deduction
model
checking
theory
proving
formal
method
分类号
TP393.08 [自动化与计算机技术—计算机应用技术]
下载PDF
职称材料
题名
第二位力系数与体积关系的理论证明
2
作者
卢贵武
张军
机构
石油大学(华东)应用物理系
出处
《大学物理》
2000年第1期21-22,共2页
文摘
用参数变换方法,研究了位形配分函数对体积的一次导数,得到了第二位力系数,从而证明了第二位力系数与体积无关,并对现有教材所给出的条件加以补充.
关键词
第二位力系数
体积
理论证明
气体状态方程
Keywords
second
virial
coefficient
volume
theory
proving
分类号
O414.21 [理学—理论物理]
下载PDF
职称材料
题名
信息服务的需求获取与建模研究一般性科技报告
3
作者
段振华
田聪
王小兵
张南
机构
西安电子科技大学
出处
《科技资讯》
2016年第8期169-169,共1页
文摘
研究目前在以下方面取得了研究进展。首先,在信息服务的需求获取及协同优化方面:(1)完善了面向特征领域分析的需求获取方法;(2)完善了基于目标场景的用例驱动需求获取方法;(3)研究了协同分析与优化方法,同时开发了相应的支撑工具。其次,在信息服务的建模与模型演化方面:(1)研究了基于Petri网的建模和模型演化理论与方法,同时开发了相应的支撑工具;(2)研究了基于进程代数的建模与模型演化理论与方法。最后,在信息服务模型的形式化验证与确认方面:(1)研究了基于模型的测试理论与方法,并开发了相应的模型测试工具;(2)研究了基于PPTL的符号和限界模型检测理论与方法,并开发了相应的模型检测器;(3)完善了基于MSVL的仿真理论与方法,并开发了相应的支撑工具MSV;(4)研究了基于抽象精化的模型检测理论与方法,并开发了相应的支撑工具。
关键词
需求获取
信息服务
模型演化
形式验证
模型检测
定理证明
Keywords
Requirement
Elicitation
Information
Services
Model
Evolution
Formal
Verification
Model
Checking
theory
proving
分类号
TP311.52 [自动化与计算机技术—计算机软件与理论]
下载PDF
职称材料
题名
基于产权的信息资源分类与信息确权理论建设
被引量：
9
4
作者
赵海军
机构
广东商学院广东省电子商务重点实验室
出处
《图书与情报》
CSSCI
北大核心
2012年第4期89-97,共9页
基金
国家社科基金项目"金融与期货行业信息资源的协同配置与集成服务研究"(项目编号:10BTQ038)研究成果之一
文摘
按照信息的来源与产生方式,信息资源可分为原生信息资源、外来信息资源和次生信息资源,从产权属性上三者分别定性为自主知识产权信息、非自主知识产权信息和伴生知识产权信息。信息确权理论是信息产权理论的重要组成部分,其理论体系构建至少应当考虑作为信息确权理论"硬核"的信息资源生产方式与生产规律、信息消费与信息侵权的行为特征及其基本规律的研究以及信息确权的法理依据、信息确权的商品价值论依据、信息确权的技术手段、信息确权的当事人协商机制、信息确权的行为规范与评判标准等方面的问题。
关键词
信息产权
信息资源
信息确权
信息确权理论
Keywords
information
property
rights
information
resources
prove
information
rights
the
theory
for
proving
information
rights
分类号
D913.4 [政治法律—民商法学]
下载PDF
职称材料
题名
基于Tableau的定理机器证明系统TableauTAP
被引量：
3
5
作者
刘全
孙吉贵
机构
苏州大学计算机科学与技术学院
吉林大学计算机科学与技术学院
出处
《计算机工程》
EI
CAS
CSCD
北大核心
2006年第7期38-39,45,共3页
基金
国家自然科学基金资助项目(60073039
60273080)
+1 种基金
吉林省科技发展计划基金资助项目(20020306)
吉林大学创新基金资助项目
文摘
使用SWI-PROLOG语言在微机上设计实现了基于tableau的定理证明系统TableauTAP。该系统可以证明不含等词的经典逻辑公式和多值逻辑公式,通过预处理自动生成tableau规则,因此容易对其功能进行扩展。应用该系统对TPTP的400个逻辑问题进行证明,实验结果表明,TableauTAP在时间和空间效率上都是比较高的。
关键词
TABLEAU
定理机器证明
TableauTAP系统
Keywords
Tableau
theory
machine
proving
TableauTAP
system
分类号
TP18 [自动化与计算机技术—控制理论与控制工程]
下载PDF
职称材料
题名
变容量限制多阶段存储问题及其求解算法
被引量：
1
6
作者
谢凡荣
机构
南昌大学数学系
出处
《南昌航空工业学院学报》
CAS
2004年第2期34-37,共4页
文摘
本文给出了求变容量限制多阶段存储问题的最优存储方案的一个数值算法 ,证明了它的理论依据 ,并举例说明了算法的应用。该算法具有概念清楚、步骤明确、收敛性好、易于编程实现等优点 。
关键词
变容量限制多阶段存储问题
多阶段存储问题
最优存储方案
Keywords
A
numerical
algorithm
is
presented
for
finding
the
optimum
solution
to
the
Multi
-
stage
inventory
problem
with
different
capacity
limitin
different
stage
,
and
its
theory
is
proved
strictly
.
An
example
is
given
to
demonstrate
the
use
of
the
algorithm
.
The
algorithm
,
which
has
the
merits
such
as
clear
concept
and
procedure
,
good
convergence,
easy
realization
by
copmputer-
programming
,
and
so
on
,
is
worthy
to
be
widely
applied
in
practical
inventory
management
work.
分类号
O157.7 [理学—数学]
下载PDF
职称材料
题名
作者
出处
发文年
被引量
操作
1
典型安全协议形式化分析工具比较
朱宜炳
罗敏
《计算机与现代化》
2008
2
下载PDF
职称材料
2
第二位力系数与体积关系的理论证明
卢贵武
张军
《大学物理》
2000
0
下载PDF
职称材料
3
信息服务的需求获取与建模研究一般性科技报告
段振华
田聪
王小兵
张南
《科技资讯》
2016
0
下载PDF
职称材料
4
基于产权的信息资源分类与信息确权理论建设
赵海军
《图书与情报》
CSSCI
北大核心
2012
9
下载PDF
职称材料
5
基于Tableau的定理机器证明系统TableauTAP
刘全
孙吉贵
《计算机工程》
EI
CAS
CSCD
北大核心
2006
3
下载PDF
职称材料
6
变容量限制多阶段存储问题及其求解算法
谢凡荣
《南昌航空工业学院学报》
CAS
2004
1
下载PDF
职称材料
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
上一页
1
下一页
到第
页
确定
用户登录
登录
IP登录
使用帮助
返回顶部
