期刊文献+
共找到12篇文章
< 1 >
每页显示 20 50 100
一种高效的基于服务功能规约的服务选择方法 被引量:4
1
作者 白琳 叶丹 +1 位作者 魏峻 黄涛 《软件学报》 EI CSCD 北大核心 2015年第8期1886-1906,共21页
服务因其灵活的应用机制,逐渐成为软件开发过程中的主要载体.面对网络中涌现出的大量功能相同或相似而QoS(quality of service)不同的服务群体,如何快速、准确地定位到所需要的服务个体,仍是一项十分具有挑战性的工作.基于服务对功能的... 服务因其灵活的应用机制,逐渐成为软件开发过程中的主要载体.面对网络中涌现出的大量功能相同或相似而QoS(quality of service)不同的服务群体,如何快速、准确地定位到所需要的服务个体,仍是一项十分具有挑战性的工作.基于服务对功能的封装特性,提出一种基于服务功能规约的服务选择方法,将功能相关的抽象服务规约为一个粒度更大的服务级的抽象服务;然后,针对规约后的大粒度抽象服务完成服务发现和组合优化的过程.由于规约操作能够有效减少参与服务组合优化的抽象服务的个数以及相应的候选服务的个数,从而使算法的执行效率得到有效提升.实验结果表明:该算法与传统的启发式算法相比执行效率更高,并且对服务组合规模及候选服务规模表现出更好的扩展性. 展开更多
关键词 服务选择 QoS(quality of service)感知 服务功能规约 组合优化 遗传算法 非冗余集合覆盖
下载PDF
并行软件功能规约的组合语义方法 被引量:1
2
作者 李彤 柳青 +1 位作者 孔兵 王黎霞 《计算机工程与应用》 CSCD 北大核心 2000年第6期78-80,共3页
文章提出了一种将代数语义、Hoars逻辑和UNITY逻辑集成在一起描述并行软件功能规约的方法。其目的在于充分发挥并集成代数语义描述抽象数据类型、Hoars逻辑描述功能、UNITY逻辑描述并行程序性质的优点。表示形式有利于规约的分解、细化... 文章提出了一种将代数语义、Hoars逻辑和UNITY逻辑集成在一起描述并行软件功能规约的方法。其目的在于充分发挥并集成代数语义描述抽象数据类型、Hoars逻辑描述功能、UNITY逻辑描述并行程序性质的优点。表示形式有利于规约的分解、细化和验证。 展开更多
关键词 并行软件 组合语义 软件功能规约 软件开发
下载PDF
功能规约自动生成 被引量:2
3
作者 董丽君 凌澍 徐家福 《计算机学报》 EI CSCD 北大核心 1996年第3期174-178,共5页
NDRASS系统[1]是南京大学计算机软件研究所新近研制成的一个由软件需求定义到软件功能规约的转换系统.功能规约自动生成是该系统的主体部分.它涉及状态空间的生成,操作定义的生成和系统总控流程的生成等.本文简要阐述了这... NDRASS系统[1]是南京大学计算机软件研究所新近研制成的一个由软件需求定义到软件功能规约的转换系统.功能规约自动生成是该系统的主体部分.它涉及状态空间的生成,操作定义的生成和系统总控流程的生成等.本文简要阐述了这些问题,特别讨论了NDRASS系统中控制流图的规范化与结构化分解.全文包括研究动因、NDRASS系统、功能规约自动生成架构、控制流图的规范化和结构化、代码生成、示例以及结语七个部分. 展开更多
关键词 软件需求定义 软件功能规约 NDRASS系统
下载PDF
试析语用预设的非规约性功能 被引量:1
4
作者 陆丹云 祝良 《通化师范学院学报》 2004年第7期90-94,共5页
语义学对于预设的研究主要依据句子内的命题关系 ,定义了预设的规约性意义 ,即不可辨性。本文从语用学的角度研究语义学所未能解释的非规约性预设 ,将预设的意义延伸到语篇中 ,试图反映预设行为和语境的关系 ,并将语用预设的功能纳入系... 语义学对于预设的研究主要依据句子内的命题关系 ,定义了预设的规约性意义 ,即不可辨性。本文从语用学的角度研究语义学所未能解释的非规约性预设 ,将预设的意义延伸到语篇中 ,试图反映预设行为和语境的关系 ,并将语用预设的功能纳入系统功能语言学的框架 ,揭示预设行为作为一种话语策略 。 展开更多
关键词 语用预设 规约功能 预设行为 话语蒹略 功能语言学 语义推进模式
下载PDF
系统架构描述语言AADL的功能行为建模扩展 被引量:2
5
作者 许金淼 杨志斌 +2 位作者 黄志球 谢健 周勇 《计算机科学与探索》 CSCD 北大核心 2019年第10期1638-1653,共16页
架构分析与设计语言(AADL)是一种用于描述复杂嵌入式系统体系架构的建模语言,被广泛用于安全关键系统建模与验证。AADL通过行为附件以状态机的形式对组件的内部行为建模。工业界中的复杂系统常使用层次自动机描述组件的功能行为,而行为... 架构分析与设计语言(AADL)是一种用于描述复杂嵌入式系统体系架构的建模语言,被广泛用于安全关键系统建模与验证。AADL通过行为附件以状态机的形式对组件的内部行为建模。工业界中的复杂系统常使用层次自动机描述组件的功能行为,而行为附件中没有表达层次自动机的机制。针对这一问题,提出了AADL行为附件的层次化扩展——HBA。首先给出了HBA的形式语法,然后定义了HBA的操作语义。提出了HBA的元模型,并在OSATE环境中实现其文本和图形化编辑器。为了便于形式化验证,给出了HBA到时间自动机(TA)的转换规则,并基于模型检测工具UPPAAL进行形式化验证。最后,给出一个案例研究来验证所提方法的有效性。 展开更多
关键词 安全关键系统 架构分析与设计语言(AADL) 层次行为附件(HBA) 功能规约
下载PDF
大学学科文化规约:方式、逻辑与两面性 被引量:2
6
作者 肖楠 杨连生 《学位与研究生教育》 CSSCI 北大核心 2011年第5期39-43,共5页
探讨了大学学科文化规约功能的内涵及其实现方式、基本逻辑。认为学科知识理论体系和规范体系作为学科文化的核心要素,通过学科知识规范、知识权力调控、学科制度约束和学术道德自律的方式支撑着大学学科文化规约功能的实现,而且规约功... 探讨了大学学科文化规约功能的内涵及其实现方式、基本逻辑。认为学科知识理论体系和规范体系作为学科文化的核心要素,通过学科知识规范、知识权力调控、学科制度约束和学术道德自律的方式支撑着大学学科文化规约功能的实现,而且规约功能的实现是由学科价值观管理到学术道德自律的动态过程,是显性与隐性规范的共同作用过程,是整体性文化规约与学科差异性文化规约的结合过程。 展开更多
关键词 大学学科文化 规约功能 实现方式 基本逻辑 两面性
下载PDF
论思想政治教育机理的功能 被引量:6
7
作者 赵继伟 《中南民族大学学报(人文社会科学版)》 CSSCI 北大核心 2011年第2期176-180,共5页
思想政治教育机理的功能是思想政治教育机理自身所具有的功效和能量。具体包括:机理对认识的指向功能,表现在对认识的客观性指向和对认识的理性指向;机理对活动的导向功能,表现在对活动力量投放的引导、对活动运作的指导和对活动流程的... 思想政治教育机理的功能是思想政治教育机理自身所具有的功效和能量。具体包括:机理对认识的指向功能,表现在对认识的客观性指向和对认识的理性指向;机理对活动的导向功能,表现在对活动力量投放的引导、对活动运作的指导和对活动流程的诱导;机理对行为的规约功能,表现在对行为合规律性的规约、对行为合动机性的规约和对行为合目的性的规约;机理对评价的标准功能,表现在对评价的物理标准、对评价的人理标准和对评价的事理标准。 展开更多
关键词 思想政治教育机理 指向功能 导向功能 规约功能 标准功能
下载PDF
软件需求分析自动化支撑系统中的字典管理方法研究
8
作者 杨大军 丁俊华 吕建 《计算机应用与软件》 CSCD 北大核心 2001年第4期37-42,共6页
软件需求分析及其自动化技术是软件自动化和需求工程的关键问题之一。而字典管理和技术的研究是其重要组成部分。本文以自行研制的软件需求分析自动化支撑系统NDRASS为背景,讨论了字典管理系统的设计方法和实现技术。
关键词 功能规约 软件需求分析 软件自动化支撑系统 软件工程 字典管理
下载PDF
典型安全网关的形式化设计与证明
9
作者 王瑞云 赵国磊 +1 位作者 常朝稳 王雪健 《计算机科学》 CSCD 北大核心 2017年第9期142-147,共6页
传统上依靠经验设计的安全网关侧重于功能实现,缺少严格的安全模型。对此,针对一种典型安全网关,首先根据其安全需求给出相应的安全策略,然后利用BLP模型对给出的安全策略进行形式化建模并对安全模型的内部一致性进行证明,最后对安全网... 传统上依靠经验设计的安全网关侧重于功能实现,缺少严格的安全模型。对此,针对一种典型安全网关,首先根据其安全需求给出相应的安全策略,然后利用BLP模型对给出的安全策略进行形式化建模并对安全模型的内部一致性进行证明,最后对安全网关的功能规约和安全模型的一致性进行验证。为保证推理过程的正确性,使用定理证明器Isabelle/HOL对上述过程进行描述和推理,保证了安全网关顶层设计的安全性。研究结果为安全网关的形式化设计提供了一定的借鉴意义。 展开更多
关键词 典型安全网关 形式化设计 BLP模型 功能规约 一致性验证 Isabelle/HOL
下载PDF
传统发展观及其文明模式的风险困境与重建——生态文明视野下低碳能源安全理论的价值问题探究 被引量:2
10
作者 刘宽红 《求实》 CSSCI 北大核心 2012年第2期33-38,共6页
全球化风险时代表征出以气候、能源风险为主的灾难性认知状态,其生成与工业文明的传统发展观有着密切的关联,它使得人的本体性存在和社会的可持续发展进入到了不安全的情境中。要走出工业文明所致的风险困境,保障人类存在与发展的安全,... 全球化风险时代表征出以气候、能源风险为主的灾难性认知状态,其生成与工业文明的传统发展观有着密切的关联,它使得人的本体性存在和社会的可持续发展进入到了不安全的情境中。要走出工业文明所致的风险困境,保障人类存在与发展的安全,需要构建低碳能源安全战略来治理气候、能源风险,改善人的风险性存在。 展开更多
关键词 全球化时代的气候 能源风险 生态文明 “资本逻辑”与“工具理性”的结合 人本价值及其道德规约功能
下载PDF
新型模拟电能表的研制
11
作者 马利人 王作维 龙建国 《仪表技术》 2008年第2期12-15,共4页
介绍一种基于89C55WD单片机系统的模拟电能表,阐述了它的工作原理及软、硬件设计方法,用状态图详细描述规约的接收过程,并给出了相关的代码。
关键词 模拟电量 监控程序 功能电能表通信规约 单片机 RS485总线
下载PDF
中国传统美育的再发现 被引量:9
12
作者 王德胜 左剑峰 《山东社会科学》 CSSCI 北大核心 2019年第4期28-35,共8页
中国传统美育包括发展性积极功能和规约性消极功能两方面。前者通过审美来强化人的本性力量,进而培养相应的人格精神和人格美,构筑可供人安身立命的人生乐境。后者对人的血气、情感和行为进行必要的限制和规约,并体现在"和"... 中国传统美育包括发展性积极功能和规约性消极功能两方面。前者通过审美来强化人的本性力量,进而培养相应的人格精神和人格美,构筑可供人安身立命的人生乐境。后者对人的血气、情感和行为进行必要的限制和规约,并体现在"和"的文化追求中。"和"之所以成为中国古代的一种价值理想,与其所蕴含的生命精神和生命关怀意识有关。天人合一、节制情欲和塑造平和性格——"和"的这三个方面构成了儒家乐教的基本内涵。当前,中国传统美育可以启发我们找到更为全面的美育方向,其积极与消极两方面功能值得转化利用。 展开更多
关键词 中国传统美育 成己/发展性功能 克己/规约功能 现实意义
原文传递
上一页 1 下一页 到第
使用帮助 返回顶部