期刊文献+
共找到44篇文章
< 1 2 3 >
每页显示 20 50 100
BOM一致性维护 被引量:9
1
作者 袁平鹏 陈刚 董金祥 《计算机辅助设计与图形学学报》 EI CSCD 北大核心 2002年第1期83-86,共4页
BOM是企业里不同部门、不同流程间传递数据的基本形式 .由于企业内各部门的需求不一样 ,为满足不同的需求 ,企业内存在众多的 BOM型式 ,这些型式的存在阻碍了企业信息的有效传递 ,并可能导致数据不一致 .文中给出部件关系、部件约束、... BOM是企业里不同部门、不同流程间传递数据的基本形式 .由于企业内各部门的需求不一样 ,为满足不同的需求 ,企业内存在众多的 BOM型式 ,这些型式的存在阻碍了企业信息的有效传递 ,并可能导致数据不一致 .文中给出部件关系、部件约束、以及部件配置等基本概念的形式化定义 ,并在此基础上给出 BOM的一种柔性的定义 .该形式化定义可有效地减少 BOM的数量与种类 .虽然此定义以制造业为基础 ,然而只要稍加推广 ,便可适用于其它领域 .最后 ,针对 BOM可能出现不一致的几种情况进行分析 。 展开更多
关键词 BOM 形式化定义 一致性维护 企业信息化
下载PDF
经济系统的泛权场网模型与运筹方法 被引量:13
2
作者 昝廷全 吴学谋 《系统工程》 CSCD 1991年第5期20-24,共5页
本文利用泛系方法论,首先给出了经济系统的形式定义,引进了描述各种经济关系的泛权场网模型及其运筹方法,给出了经济系统的整体性的数学描述.最后,讨论了经济系统的软、硬部之间的诱导转化.
关键词 经济系统 泛权场网 模型 动筹法
下载PDF
形式逻辑对体育概念研究的异化 被引量:12
3
作者 刘兴 马小华 《体育与科学》 CSSCI 北大核心 2013年第4期86-89,共4页
作为从形式上判定概念思想表达是否合理的工具,形式逻辑存在一定的局限性。检视了以形式逻辑为准绳和旨归的现有的体育概念研究思维范式对体育概念研究的异化。体育概念难产的背后正是形式逻辑思维图景作怪:形式逻辑立足于物的现成性存... 作为从形式上判定概念思想表达是否合理的工具,形式逻辑存在一定的局限性。检视了以形式逻辑为准绳和旨归的现有的体育概念研究思维范式对体育概念研究的异化。体育概念难产的背后正是形式逻辑思维图景作怪:形式逻辑立足于物的现成性存在方式。作为一种形式化的思维方式,不考察思维的具体内容,因而其必然性只能来自于外延。而体育是人的运动行为,人本身就是自身的目的,而不是手段。传统的属加种差定义是一种特殊的、适用面很窄的正命题,不适合体育概念论域。据此,作者提出对体育概念的研究不能困于一隅,应该在非形式逻辑领域得到更多的关照。 展开更多
关键词 形式逻辑 体育概念 异化 定义范式
下载PDF
Formal Definition of a User-Adaptive and Length-Optimal Routing Graph for Complex Indoor Environments 被引量:8
4
作者 GOETZ Marcus ZIPF Alexander 《Geo-Spatial Information Science》 2011年第2期119-128,共10页
Car routing solutions are omnipresent and solutions for pedestrians also exist.Furthermore,public or commercial buildings are getting bigger and the complexity of their internal structure has increased.Consequently,th... Car routing solutions are omnipresent and solutions for pedestrians also exist.Furthermore,public or commercial buildings are getting bigger and the complexity of their internal structure has increased.Consequently,the need for indoor routing solutions has emerged.Some prototypes are available,but they still lack semantically-enriched modelling (e.g.,access constraints,labels,etc.) and are not suitable for providing user-adaptive length-optimal routing in complex buildings.Previous approaches consider simple rooms,concave rooms,and corridors,but important characteristics such as distinct areas in huge rooms and solid obstacles inside rooms are not considered at all,although such details can increase navigation accuracy.By formally defining a weighted indoor routing graph,it is possible to create a detailed and user-adaptive model for route computation.The defined graph also contains semantic information such as room labels,door accessibility constraints,etc.Furthermore,one-way paths inside buildings are considered,as well as three-dimensional building parts,e.g.,elevators or stairways.A hierarchical structure is also possible with the presented graph model. 展开更多
关键词 3D indoor navigation 3D indoor routing city modelling formal definition routing graph BUILDINGS
原文传递
零信任架构下多服务器自动加密算法设计
5
作者 王峥 《微型电脑应用》 2024年第7期19-22,共4页
设计一种零信任架构,针对多服务器提出一种自动加密算法。基于零信任架构构建多服务器可搜索加密模型。对模型进行形式化定义,明确各参与方之间的交互和操作流程;为了证明模型的安全性,以游戏方式定义安全模型,通过设计攻击策略和游戏规... 设计一种零信任架构,针对多服务器提出一种自动加密算法。基于零信任架构构建多服务器可搜索加密模型。对模型进行形式化定义,明确各参与方之间的交互和操作流程;为了证明模型的安全性,以游戏方式定义安全模型,通过设计攻击策略和游戏规则,评估加密模型的不可区分性。结合不可区分概率设计加密算法。将多服务器自动加密算法与其他算法展开比较实验测试,结果表明,该算法支持多服务器和多关键字,可在保证最高计算效率的前提下完成安全性最高的数据加密和解密。 展开更多
关键词 零信任架构 可搜索加密算法 形式化定义 安全模型 多服务器
下载PDF
一种基于活动网络图扩展的工作流过程模型 被引量:3
6
作者 许可 杨路明 《微计算机信息》 北大核心 2007年第27期120-122,共3页
本文在活动网络图的基础上进行扩展,提出了Exd-ANBD(Extended Activity-Network-Based Diagram)工作流过程模型,并给出模型的形式化定义。构造的模型改善了活动网络图在描述能力和逻辑性上的不足,使之更能贴近企业实际需求。
关键词 工作流 过程模型 活动网络图 形式化定义
下载PDF
实时嵌入式软件时间抽象状态机的扩展 被引量:4
7
作者 单锦辉 张路 +1 位作者 王金波 张涛 《北京大学学报(自然科学版)》 EI CAS CSCD 北大核心 2019年第2期197-208,共12页
针对时间抽象状态机(TASM)存在的不足,对TASM进行扩展,增加数组数据类型、while循环处理规则以及"%","&","|","^",">>"和"<<"等运算符,定义扩展后TASM的... 针对时间抽象状态机(TASM)存在的不足,对TASM进行扩展,增加数组数据类型、while循环处理规则以及"%","&","|","^",">>"和"<<"等运算符,定义扩展后TASM的语法和语义。采用扩展后的TASM为实际的实时嵌入式软件需求建模,通过实验,验证了采用扩展后的TASM为实时嵌入式软件需求建模的有效性。 展开更多
关键词 需求建模语言 实时 嵌入式软件 形式化定义 扩展 时间抽象状态机
下载PDF
计算网格的抽象定义 被引量:1
8
作者 曾国荪 陈闳中 《同济大学学报(自然科学版)》 EI CAS CSCD 北大核心 2003年第9期1092-1097,共6页
计算网格是第三代因特网和高性能并行计算的研究热点,它提供了一个有效的平台,共享资源,支持全球范围内分布异构应用程序的运行,其动机和目标是明显的,并被人们广泛认同和接受。但是目前网格系统尚无一个清楚的定义,因此基于网格语义,... 计算网格是第三代因特网和高性能并行计算的研究热点,它提供了一个有效的平台,共享资源,支持全球范围内分布异构应用程序的运行,其动机和目标是明显的,并被人们广泛认同和接受。但是目前网格系统尚无一个清楚的定义,因此基于网格语义,通过高层抽象,用谓词/变迁系统给出计算网格的框架模型。 展开更多
关键词 计算网格 形式定义 谓词/变迁系统 点火规则
下载PDF
一种UML2的交互的形式化语义 被引量:2
9
作者 古思山 蔡树彬 李师贤 《计算机科学与探索》 CSCD 2012年第7期631-643,共13页
UML2(unified modeling language2.x)的规范为其交互定义了一种基于事件发生轨迹的语义,弥补了之前版本在语义上的欠缺。但是此语义是用自然语言(英语)描述的,不够精确、不一致,并且很多细节解释得不够清楚和完备。利用集合论以组合定... UML2(unified modeling language2.x)的规范为其交互定义了一种基于事件发生轨迹的语义,弥补了之前版本在语义上的欠缺。但是此语义是用自然语言(英语)描述的,不够精确、不一致,并且很多细节解释得不够清楚和完备。利用集合论以组合定义的方式形式化语义,并且证明了形式化后交互的语义为拟序集,此拟序集的线性化恰好就是规范所定义的轨迹集。此形式化语义可以作为UML2交互规范的很好的补充,不但有助于UML2交互的理解,还为UML2交互的应用和研究奠定了坚实的理论基础。 展开更多
关键词 交互 形式化语义 组合定义 线性化
下载PDF
用户层次化的RBAC授权管理模型 被引量:2
10
作者 任传伦 李忠献 +1 位作者 钮心忻 杨义先 《计算机应用研究》 CSCD 北大核心 2010年第12期4633-4637,共5页
为了降低授权的管理成本,基于用户分层的思想,提出了用户层次化的授权管理模型,即AHURBAC,通过将用户和管理员分层降低了管理成本。给出了AHURBAC模型的形式化定义,并给出can_assign、can_re-voke、can_assignp和can_revokep的形式化定... 为了降低授权的管理成本,基于用户分层的思想,提出了用户层次化的授权管理模型,即AHURBAC,通过将用户和管理员分层降低了管理成本。给出了AHURBAC模型的形式化定义,并给出can_assign、can_re-voke、can_assignp和can_revokep的形式化定义。给出的授权管理模型对有效降低授权管理成本是有益的。 展开更多
关键词 角色 基于角色的访问控制 授权管理 形式化定义
下载PDF
用基本ASM定义SDL动态语义 被引量:2
11
作者 赵宇虹 艾波 《吉林大学学报(信息科学版)》 CAS 2002年第2期31-36,共6页
提出了用基本 ASM(Abstract State Machine)定义 SDL(Specisification and Descripiton Language)动态语义的方法框架。由于 SDL的复杂性 ,重点介绍了用 ASM模拟 SDL状态机交替工作方式 ,创建 agent和procedure实例以及复合状态应用。... 提出了用基本 ASM(Abstract State Machine)定义 SDL(Specisification and Descripiton Language)动态语义的方法框架。由于 SDL的复杂性 ,重点介绍了用 ASM模拟 SDL状态机交替工作方式 ,创建 agent和procedure实例以及复合状态应用。该方法简化了当前用分布式 ASM定义的 展开更多
关键词 SDL语言 形式定义 动态语义 抽象状态机(ASM)
下载PDF
民法总则第10条私法渊源之“法律”教义论 被引量:2
12
作者 苏志猛 《河南科技学院学报(社会科学版)》 2019年第1期39-46,共8页
民法总则对民事法律渊源首次通过立法明确了法律与习惯的二元架构。形式"法律"主义与实质"法律"主义论者对于该法第10条"法律"的范围界定各执一家之言,前者基于体系解释角度、立法价值角度以及法安全性角... 民法总则对民事法律渊源首次通过立法明确了法律与习惯的二元架构。形式"法律"主义与实质"法律"主义论者对于该法第10条"法律"的范围界定各执一家之言,前者基于体系解释角度、立法价值角度以及法安全性角度,主张该法的"法律"应为狭义说;后者基于法社会学角度、最高人民法院解释角度、比较法角度,认为此"法律"适宜定位于广义说。但需要指出的是形式"法律"主义与实质"法律"主义观点之下均存在一定的不合理性,形式"法律"主义的短视使其适用范围过于狭窄,而实质"法律"主义的具化内容亦存在诸多症结。故而,可以在对二者所存问题进行价值衡量之后提出对该法"法律"外延的缓和界定。 展开更多
关键词 民法总则 民法渊源 实质法律主义 形式法律主义 缓和界定
下载PDF
一种面向Trace与漏洞验证的污点分析方法 被引量:2
13
作者 秦彪 郭帆 杨晨霞 《计算机工程》 CAS CSCD 北大核心 2020年第5期157-166,共10页
静态分析方法被广泛用于Android应用的隐私泄露检测,其以(Source,Sink)对形式检测潜在漏洞,但同时会产生大量虚警。针对该问题,提出一种上下文敏感和域敏感的污点分析方法。对污点传播的操作语义和一致性约束进行形式化定义,保证污点传... 静态分析方法被广泛用于Android应用的隐私泄露检测,其以(Source,Sink)对形式检测潜在漏洞,但同时会产生大量虚警。针对该问题,提出一种上下文敏感和域敏感的污点分析方法。对污点传播的操作语义和一致性约束进行形式化定义,保证污点传播的语义正确性,同时分析插桩运行Android应用后产生的Trace片段,验证漏洞是否存在虚警。基于Soot实现原型系统并对DroidBench数据集中的70个应用进行分析,实验结果表明,该方法可成功验证4个虚警并发现8个漏报,表明其能有效判断静态分析结果的正确性。 展开更多
关键词 污点分析 上下文敏感 域敏感 污点传播 形式化定义
下载PDF
美国学习不良概念的发展、问题及对策 被引量:1
14
作者 刘迎杰 张小将 《外国教育研究》 CSSCI 北大核心 2011年第11期52-56,共5页
学习不良概念自提出后一直存在争议。学习不良的正式定义和操作定义都存在一些问题。正式定义处于规定定义的发展水平,缺乏科学定义的两个关键元素——理解性和解释性。操作定义缺乏与正式定义的逻辑联系,变异性太大,在实际使用中也存... 学习不良概念自提出后一直存在争议。学习不良的正式定义和操作定义都存在一些问题。正式定义处于规定定义的发展水平,缺乏科学定义的两个关键元素——理解性和解释性。操作定义缺乏与正式定义的逻辑联系,变异性太大,在实际使用中也存在一些问题。针对学习不良的定义问题,研究者提出了不同的解决方法。 展开更多
关键词 学习不良 正式定义 操作定义 鉴定
下载PDF
Evaluation Model of System Survivability
15
作者 LIU Yuling PAN Shiying TIAN Junfeng 《Wuhan University Journal of Natural Sciences》 CAS 2006年第6期1844-1848,共5页
This paper puts forward a survivability evaluation model, SQEM (Survivability Quantitative Evaluation Model), based on lucubrating the main method existed. Then it defines the measurement factors and parses the surv... This paper puts forward a survivability evaluation model, SQEM (Survivability Quantitative Evaluation Model), based on lucubrating the main method existed. Then it defines the measurement factors and parses the survivability mathematically, introduces state change probability and the idea of setting the weights of survivability factors dynamically into the evaluating process of SQEM, which improved the accuracy of evaluation. An example is presented to illustrate the way SQEM works, which demonstrated the validity and feasibility of the method. 展开更多
关键词 survivability requirement evaluation model formal definition network security
下载PDF
在刑法信条学中对犯罪概念的思考
16
作者 杨琳 韩晓辉 《河北公安警察职业学院学报》 2006年第2期25-28,共4页
在刑法信条学的构架下界定犯罪概念分为实质定义和形式定义两个层次。同时犯罪概念本身是一个动态的发展的体系性的;是社会性和法律性的统一;是立法者对刑法价值的中道权衡的结果;是形式性和实质性的统一。对犯罪概念的研究应立足于... 在刑法信条学的构架下界定犯罪概念分为实质定义和形式定义两个层次。同时犯罪概念本身是一个动态的发展的体系性的;是社会性和法律性的统一;是立法者对刑法价值的中道权衡的结果;是形式性和实质性的统一。对犯罪概念的研究应立足于刑法信条学,结合刑事政策和刑法解释进行体系化的全面思考,借助刑法解释的作用,形成犯罪概念形式定义和实质定义的具体的紧密的联系,不可偏颇。 展开更多
关键词 刑法信条学 犯罪概念 形式定义 实质定义 刑法解释
下载PDF
引入系统状态转移概率的可生存性量化评估模型 被引量:1
17
作者 田俊峰 潘世英 刘玉玲 《河北大学学报(自然科学版)》 CAS 北大核心 2007年第4期428-433,共6页
系统可生存性是网络安全研究的一个新方向,通过对系统可生存性进行评估,可不断完善系统体系结构,从而提高系统可生存能力.针对系统可生存性的量化问题,在深入研究现有的主要可生存性评估方法基础上,提出了系统可生存性的动态量化评估模... 系统可生存性是网络安全研究的一个新方向,通过对系统可生存性进行评估,可不断完善系统体系结构,从而提高系统可生存能力.针对系统可生存性的量化问题,在深入研究现有的主要可生存性评估方法基础上,提出了系统可生存性的动态量化评估模型SQEM(Survivability Quantitative Evaluation Model),并对系统可生存性进行了形式化定义和数学解析.在SQEM模型中,引入了系统状态转移概率和动态设置指标权重的思想,使评估的准确性得到了提高.通过实例分析,证明了SQEM的可行性和有效性. 展开更多
关键词 可生存性 量化评估 形式化定义 状态转移
下载PDF
军事应用网格的资源模型及形式化描述 被引量:1
18
作者 曹耀钦 李光明 宋建社 《计算机工程》 EI CAS CSCD 北大核心 2006年第22期255-256,276,共3页
结合军事应用网格建设的需要,提出了一种基于自治资源域的层次化逻辑资源树模型,研究了军事应用网格的资源类型,给出了网格资源的形式化定义,解决了网格环境下资源的统一表示问题,方便了各种资源的描述、发布及应用。
关键词 军事应用网格 资源模型 形式化描述
下载PDF
基于符号模型检测的Web服务组合形式化验证 被引量:1
19
作者 张世杰 徐鹏 刘沛瑶 《计算机与数字工程》 2021年第3期496-501,520,共7页
随着经济的发展和市场竞争的加剧,企业必须能够快速且准确地满足市场和用户的各种需求。Web服务组合正是由于单个Web服务不能满足企业及用户的需求而产生的一种技术,而如何确保组合的正确性来实现服务增值是一个尚未完全解决的问题。针... 随着经济的发展和市场竞争的加剧,企业必须能够快速且准确地满足市场和用户的各种需求。Web服务组合正是由于单个Web服务不能满足企业及用户的需求而产生的一种技术,而如何确保组合的正确性来实现服务增值是一个尚未完全解决的问题。针对此问题,提出了一种基于符号模型检测器NuSMV对Web服务组合进行验证的方法,并提出了基于消息会话的Web服务有限状态自动机的形式化定义。最后实例验证了Web服务组合交互的正确性和有无死锁状态现象,进一步证明了方法的可行性。 展开更多
关键词 WEB服务组合 符号模型检测 有限状态自动机 形式化定义 NUSMV
下载PDF
基于Internet面向对象的非过程化语言OO-HL的设计 被引量:1
20
作者 李彤 王庆革 《云南大学学报(自然科学版)》 CAS CSCD 1997年第6期564-569,共6页
OOHL是作者们设计的一个面向对象的非过程化语言,它以面向对象和面向问题的非过程化方式定义用户需求,主要目的是要生成Java程序.文中介绍了OOHL的设计思想。
关键词 面向对象 INTERNET网 非过程化语言 程序设计
原文传递
上一页 1 2 3 下一页 到第
使用帮助 返回顶部