检索结果-内蒙古大学图书馆

作者：林颖胡军 518057 广东省深圳市南山区科技南路55号

本发明提供了一种网络业务流量的控制方法及装置，其中该方法包括：当接收或转发网络业务流量时，获取用户选择的基于结构化程序设计语言的生效逻辑和流量模型，其中，流量模型包括基于结构化程序设计语言的匹配逻辑生效关系，流量过滤... 详细信息

标准号: CN107819694B

本发明提供了一种网络业务流量的控制方法及装置，其中该方法包括：当接收或转发网络业务流量时，获取用户选择的基于结构化程序设计语言的生效逻辑和流量模型，其中，流量模型包括基于结构化程序设计语言的匹配逻辑生效关系，流量过滤池以及与流量过滤池对应的策略行为；当确定网络业务流量与流量过滤池匹配时，根据生效逻辑和匹配逻辑生效关系执行与流量过滤池对应的策略行为，因此，该技术方案解决了相关技术中顺序匹配流量模型的匹配时间较长，无法实现差异化定制且造成设备内存空间的严重消耗的问题，进而达到了根据不同的场景快速准确执行不同的策略行为，实现差异化定制且节省了设备的内存空间的效果。

关键词：流量过滤网络业务流量策略行为流量模型结构化程序设计语言匹配匹配逻辑差异化方案解决内存空间设备内存转发场景消耗

来源：评论

学校读者我要写书评

暂无评论

网络业务流量的控制方法及装置

网络业务流量的控制方法及装置

引用

作者：林颖胡军 210012 江苏省南京市雨花台区宁南街道紫荆花路68号

标准号: CN107819694A

关键词：流量过滤网络业务流量策略行为流量模型结构化程序设计语言匹配匹配逻辑差异化方案解决内存空间设备内存转发场景消耗

来源：评论

学校读者我要写书评

暂无评论

基于语言的软件可信性度量理论及其应用

基于语言的软件可信性度量理论及其应用

引用

作者：吴新星华东师范大学

学位级别：博士

软件是信息基础设施的灵魂.随着软件规模的日趋庞大,软件的可信性越来越引起人们的关注.可信软件基础研究已经成为国内外研究的一个热点,软件可信性度量的研究是其中一个重要研究内容.软件可信性度量的研究,需要有合适的度量方法,以形... 详细信息

软件是信息基础设施的灵魂.随着软件规模的日趋庞大,软件的可信性越来越引起人们的关注.可信软件基础研究已经成为国内外研究的一个热点,软件可信性度量的研究是其中一个重要研究内容.软件可信性度量的研究,需要有合适的度量方法,以形式化理论为基础建立软件的可信性度量理论与模型,从而给出对软件可信性的评价,使其能成为反映软件品质及其产品竞争力的一个重要指标.另一方面,在开放的网络环境下,软件系统的可信性受到了更大的挑战,软件系统的降级替换是研究提高其可信性的方法之一而保证降级替换的正确性、评价降级替换的可信程度等问题也将是软件可信性度量研究的重要内容. 本文基于语言对软件系统的可信性进行形式化刻画和度量,主要的贡献可以概括为以下几方面： ■理论：(1)随机-混成进程代数(Stochastic-Hybrid CSP,S-HCSP)可信性量化理论.将随机因素引入HCSP,得到修改后的语言称为S-HCSP.基于S-HCSP,先对其原子构造形式化地定义可信度,再利用经济学的木桶原理和太极图的阴阳转化平衡原理等对其算子定义可信度计算规则,从而建立S-HCSP的可信性量化理论；(2)概率拟Hoare逻辑(Probabilistic Quasi-Hoare Logic,PQHL)可信性量化理论.在Hoare逻辑(Hoare Logic,HL)的基础上提出PQHL,用于刻画程序的可信度,定量地描述理论与程序实际执行之间的差距,反映理论被程序实现的程度,从而量化理论上正确的程序在实际执行时出错的可能性以及解释可信度很高两个程序(或是构件)的串行复合之后可信度可能并不高等问题.证明了一种特殊概率拟Hoare逻辑—[α1,α2]1-拟Hoare逻辑的可靠性,并进一步分析了PQHL的思想背景及其与Hoare逻辑之间的关系；(3)Web服务降级替换可信性量化理论.在原有进程代数基础上添加超时处理算子和延时处理算子,从而给出了Web服务降级替换的一致性条件,保证了Web服务降级替换的合成正确性,进一步研究了Web服务降级替换的可信程度,建立了Web服务降级替换的可信性量化理论. ■应用：(1)将建立S-HCSP可信性量化理论的组合分析方法应用到基于语言的软件以及Web服务可信性度量的研究,分别建立了基于结构化程序设计语言的软件可信性度量模型和基于BPEL(Business Process Execution Language)的Web服务可信性度量模型；(2)将PQHL应用到基于构件的软件可信性度量的研究.以PQHL为理论基础,提出一种通过比较需求前置、后置与构件前置、后置之间差别来评价构件对需求实现程度的近似匹配度量方法.然后,通过复用构件之间的约束关系(顺序组装、选择组装和重复组装),建立基于构件的软件可信性度量模型. ■工具：以基于结构化程序设计语言的软件可信性度量模型为基础,利用Ruby/Tk开发了一个软件可信性度量的工具—软件可信性度量可视化工具(Software Trustworthiness Measurement Visual Tool, STMVT)通过STMVT可以对源代码(如,C代码)进行分析,从而计算程序的可信度,并给出程序抽象可信度的可视化、程序的可信度波动曲线等等.STMVT可以为软件的可信性评估提供参考,并有助于改进软件的可信性.同时,它也说明了本文所给的理论、方法和模型的实际可行性. 综上所述,本文基于语言来建立软件系统的可信性度量理论,并将建立的理论及其相关方法应用到具体软件和Web服务可信性度量的研究,还开发了相关的可信性度量工且STMVT.

关键词：可信性度量混成进程代数(HCSP) 霍尔逻辑(HL) 概率测度结构化程序设计语言构件匹配业务过程执行语言(BPEL) 进程演算(CCS) Ruby/Tk

来源：评论

学校读者我要写书评

暂无评论

一个基于UML技术的应用实例的分析与实现

引用

河南科技 2009年第3期28卷 30-31页

作者：马利华魏晓玉郑州轻工业学院

随着计算机技术的发展及其应用领域的不断扩大，对计算机技术的要求也越来越高。结构化程序设计语言和结构化分析与设计已无法满足用户需求的变化。为了提高软件的质量及可靠性、扩充性和可重用性，缩短软件开发周期，软件界人士不断研... 详细信息

随着计算机技术的发展及其应用领域的不断扩大，对计算机技术的要求也越来越高。结构化程序设计语言和结构化分析与设计已无法满足用户需求的变化。为了提高软件的质量及可靠性、扩充性和可重用性，缩短软件开发周期，软件界人士不断研究新方法、新技术，探索新途径。

关键词： UML技术结构化程序设计语言应用软件开发周期计算机技术实例结构化分析用户需求

来源：评论

学校读者我要写书评

暂无评论

一个基于UML技术的应用实例的分析与实现

引用

河南科技 2009年第5期

作者：马利华魏晓玉郑州轻工业学院

随着计算机技术的发展及其应用领域的不断扩大,对计算机技术的要求也越来越高.结构化程序设计语言和结构化分析与设计已无法满足用户需求的变化.为了提高软件的质量及可靠性、扩充性和可重用性,缩短软件开发周期,软件界人士不断研究新... 详细信息

随着计算机技术的发展及其应用领域的不断扩大,对计算机技术的要求也越来越高.结构化程序设计语言和结构化分析与设计已无法满足用户需求的变化.为了提高软件的质量及可靠性、扩充性和可重用性,缩短软件开发周期,软件界人士不断研究新方法、新技术,探索新途径.

关键词：结构化分析与设计计算机技术可重用性结构化程序设计语言标准建模语言标准化描述系统软件工程软件开发周期面向对象分析

来源：评论

学校读者我要写书评

暂无评论

计算机语言教学中有益的尝试——简评《C语言程序设计教程》

引用

科技导报 2005年第8期23卷 80-80页

作者：胡元华南理工大学出版社广州510640

作为一种编译型高级程序设计语言,C语言具有语言简洁、紧凑,使用方便、灵活,语言表达能力强(可以表达各种数据结构),移植性较高等特点.它是一种结构化程序设计语言,兼有高级语言和低级语言的特点,在国内外应用最为广泛,是当代大学生从... 详细信息

作为一种编译型高级程序设计语言,C语言具有语言简洁、紧凑,使用方便、灵活,语言表达能力强(可以表达各种数据结构),移植性较高等特点.它是一种结构化程序设计语言,兼有高级语言和低级语言的特点,在国内外应用最为广泛,是当代大学生从事计算机应用工作应熟练掌握的一种程序设计工具,同时又是学习面向对象C++、JAVA等语言的基础.C语言程序设计课程不但已成为计算机科学与技术及其相关专业的专业基础课程,而且也成为非计算机专业的公共基础课程.

关键词： C语言程序设计计算机语言教学结构化程序设计语言高级程序设计语言计算机科学与技术计算机应用教程语言表达能力程序设计工具

来源：评论

学校读者我要写书评

暂无评论

C语言作图时的两个常见问题及其解决方法

引用

阜阳师范学院学报（自然科学版） 2002年第2期19卷 27-30页

作者：朱义强合肥工业大学计算机与信息学院合肥230009

本文举例阐述了用C语言作图时常见的两个问题,并针对每一个问题给出了两种解决方法。

关键词：计算机作图 C语言结构化程序设计语言 Turbo C编译系统作图程序

来源：评论

学校读者我要写书评

暂无评论

是C语言的“漏洞”吗?

引用

电脑开发与应用 2002年第10期15卷 47-48页

作者：李敏四川绵阳职业技术学校

C语言是目前国际上广泛流行的一种通用的结构化程序设计语言,它具有功能丰富、表达能力强、使用灵活方便、应用面广、目标程序效率高、可移植性好的特点,不仅是开发系统软件和应用软件的理想程序设计语言,而且国内许多考试中都将C语言... 详细信息

C语言是目前国际上广泛流行的一种通用的结构化程序设计语言,它具有功能丰富、表达能力强、使用灵活方便、应用面广、目标程序效率高、可移植性好的特点,不仅是开发系统软件和应用软件的理想程序设计语言,而且国内许多考试中都将C语言列入了考试范围.

关键词： C语言结构化程序设计语言 Scanf()函数 getchar()函数

来源：评论

学校读者我要写书评

暂无评论

C语言的特点及其发展

引用

齐鲁师范学院学报 1995年第2期21卷 40-42页

作者：王淑兰

C 语言是一种编译型程序设计语言,它兼顾了多种高级语言的特点,并具备汇编语言的功能。C 语言程序处理功能强,运算速度快,有良好的移植性,而且可以直接实现对系统硬件及外围接口的控制,具有较强的系统处理能力。C 语言是一种结构化程序... 详细信息

C 语言是一种编译型程序设计语言,它兼顾了多种高级语言的特点,并具备汇编语言的功能。C 语言程序处理功能强,运算速度快,有良好的移植性,而且可以直接实现对系统硬件及外围接口的控制,具有较强的系统处理能力。C 语言是一种结构化程序设计语言,它支持当前程序设计中广泛采用的由顶向下结构化程序设计技术。此外,C 语言程序具有完善的模块程序结构,从而为软件开发中采用模块化设计方法提供了有力的保障。因此,

关键词：程序语言结构化程序设计语言汇编语言程序设计技术模块化设计方法软件开发高级语言程序结构可移植性语言程序

来源：评论

学校读者我要写书评

暂无评论

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

建议与咨询 留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案： 新增检索档案 确定 取消

请选择收藏分类： 新增自定义分类 确定 取消

通借通还

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

请选择保存的检索档案：

请选择收藏分类：