期刊文献+
共找到69篇文章
< 1 2 4 >
每页显示 20 50 100
UML可视化建模系统的模型一致性检查机制 被引量:30
1
作者 王云 刘又诚 周伯生 《计算机研究与发展》 EI CSCD 北大核心 2000年第1期1-8,共8页
UML标准建模语言是面向对象技术领域中的重要成果.使用UML解决现实世界中的问题是当前该领域的研究热点.UML集成化支持环境既可提高建模的效率,也可在一定程度上保证所建模型间的一致性;通过模拟动态模型的行为,可在建模... UML标准建模语言是面向对象技术领域中的重要成果.使用UML解决现实世界中的问题是当前该领域的研究热点.UML集成化支持环境既可提高建模的效率,也可在一定程度上保证所建模型间的一致性;通过模拟动态模型的行为,可在建模的早期发现模型中存在的问题;代码生成、逆向变换系统将模型和程序代码有机地统一起来.文中首先介绍北京航空航天大学软件工程研究所研制的UML集成化支持环境的基本组成,然后介绍其中的UML可视化建模系统,并重点论述可视化建模系统中的模型一致性检查机制. 展开更多
关键词 UML 可视化建模系统 模型一致性 软件工程
在线阅读 下载PDF
UML模型一致性问题研究 被引量:4
2
作者 王锦 张激 《计算机工程》 CAS CSCD 北大核心 2004年第21期67-70,共4页
在定义模型一致性问题的基础上,以软件体系结构建模为例对模型一致性问题进行了分类,分析并总结出出现模型一致性问题的根本原因,最后,给出解决该问题的方法、步骤以及规则。
关键词 模型一致性 多视图 UML 软件体系结构
在线阅读 下载PDF
我国儿童用药政策的量化评价:基于政策建模一致性指数模型
3
作者 罗金萍 孙嘉颖 +6 位作者 牟艺帆 耿铭慧 张宝轩 王康 尹文强 陈钟鸣 马东平 《中国全科医学》 北大核心 2025年第21期2652-2660,共9页
背景儿童作为特殊群体受到公众的关注,虽然近年来发布了一系列政策保障儿童用药安全,但仍存在药物适宜品种少、不合理用药等问题,亟需科学合理的儿童用药政策推动其发展。目的对我国儿童用药政策文本进行量化评价,为未来的儿童用药政策... 背景儿童作为特殊群体受到公众的关注,虽然近年来发布了一系列政策保障儿童用药安全,但仍存在药物适宜品种少、不合理用药等问题,亟需科学合理的儿童用药政策推动其发展。目的对我国儿童用药政策文本进行量化评价,为未来的儿童用药政策的制订和完善提供参考,从而推动儿童用药事业的高质量发展。方法基于文本挖掘法对2014—2023年国家层面出台的23份儿童用药政策文件进行处理,构建儿童用药政策的政策建模一致性(PMC)指数模型,通过10个一级变量和41个二级变量对我国23项儿童用药政策进行量化评价分析。结果23项儿童用药政策的PMC指数均值为5.65,PMC凹陷指数均值为4.35,包括1项优秀级政策、17项良好级政策和5项合格级政策,无完美级政策和不良政策;23项儿童用药政策在政策工具和政策受体上得分较高,在发布机构和政策时效上得分较低。结论我国儿童用药政策总体上处于良好水平,可从政策时效、发布机构和政策内容方面进一步完善。 展开更多
关键词 卫生政策 用药政策 儿童 政策建模一致性指数模型 定量评价
在线阅读 下载PDF
一种日志结构块存储系统一致性模型
4
作者 杨勇鹏 蒋德钧 《高技术通讯》 CAS 北大核心 2024年第4期366-378,共13页
随着物理设备容量增大,日志结构块存储系统一致性模型及异常恢复的时间和空间复杂度都在增加。一致性状态作用域大小与异常恢复复杂度成反比,与写请求冲突概率成正比。首先,提出单一一致性状态定义(CTS),降低异常恢复复杂度。其次,分析... 随着物理设备容量增大,日志结构块存储系统一致性模型及异常恢复的时间和空间复杂度都在增加。一致性状态作用域大小与异常恢复复杂度成反比,与写请求冲突概率成正比。首先,提出单一一致性状态定义(CTS),降低异常恢复复杂度。其次,分析一致性状态生成的充要条件和开销,引入WSL链表设计一致性状态生成算法;在一致性状态生成算法的基础上,本文提出多WMT元数据管理结构MCT,将一致性状态生成与用户写请求冲突降低至链表结点级别。最后,以一致性模型为基础设计异常恢复算法,并设计实现日志结构块存储系统SCB。实验表明,相对于ASD系统,SCB系统吞吐率提升135.59%,99.90%尾延迟降低42.89%,fileserver负载性能提升25.00%,异常恢复时间为ASD的1/23。相对于dm-thin系统,SCB系统吞吐率提升225.72%,varmail负载性能提升46.67%。 展开更多
关键词 日志结构存储系统 块存储系统 异常恢复 一致性状态 一致性模型
在线阅读 下载PDF
自动武器协同设计中模型结构一致性保持及映射技术研究 被引量:2
5
作者 楼俐 徐诚 张飞猛 《兵工学报》 EI CAS CSCD 北大核心 2011年第7期812-818,共7页
针对目前大型CAD软件的协同支持工具协作功能有限,分发模型数据量过大,无法实现高效响应设计问题,结合自动武器快速协同设计的实时性需求,在可配置可复用的模块参数化设计方法的基础上,建立了基于网络协同的自动武器三维模型数据结构一... 针对目前大型CAD软件的协同支持工具协作功能有限,分发模型数据量过大,无法实现高效响应设计问题,结合自动武器快速协同设计的实时性需求,在可配置可复用的模块参数化设计方法的基础上,建立了基于网络协同的自动武器三维模型数据结构一致性保持及映射机制。利用与平台无关的结构化信息描述手段描述特征模型和三维建模参数化造型数据及相关操作信息,提出基于局部变参数复制式共享机制的造型同步协作方法,以较小的负荷交换模型局部变化数据,以满足自动武器快速协同设计需求。 展开更多
关键词 机械设计 自动武器协同设计 模型一致性 映射机制 模块参数化设计 造型同步
在线阅读 下载PDF
基于规则的UML设计模型的一致性检验 被引量:2
6
作者 刘晓建 李战怀 《计算机工程与应用》 CSCD 北大核心 2006年第25期1-5,共5页
统一建模语言(UML)是业界公认的主流面向对象建模语言,为系统开发提供了丰富的建模元素。由于UML不同建模元素之间缺乏准确定义的关系,因此UML模型往往会出现不一致性问题。针对该问题,提出了一种基于规则的检验方法。该方法把UML设计... 统一建模语言(UML)是业界公认的主流面向对象建模语言,为系统开发提供了丰富的建模元素。由于UML不同建模元素之间缺乏准确定义的关系,因此UML模型往往会出现不一致性问题。针对该问题,提出了一种基于规则的检验方法。该方法把UML设计模型和一致性条件分别映射为规则系统的事实库和规则库,如果事实库与规则库不匹配,则表示设计模型中存在不一致性。我们使用自主开发的一种“面向对象-规则语言系统”作为检验一致性的规则系统,它集成了面向对象语言和规则语言两种范型,有利于统一使用C++语言来设计并实现一致性检验工具,提高一致性检验效率。 展开更多
关键词 UML 模型一致性 规则系统
在线阅读 下载PDF
北斗双星/SINS组合导航系统滤波模型的一致性研究 被引量:4
7
作者 黄显亮 刘建业 +1 位作者 林雪原 李荣冰 《中国惯性技术学报》 EI CSCD 2005年第5期29-32,44,共5页
北斗双星定位系统(简称双星定位)是我国自行建立的一种定位系统。根据北斗双星定位系统采用有源定位的特点,介绍了北斗双星与SINS组合的最优预测模型,该方法利用了双星定位系统提供的滞后定位信息对组合系统进行最优预测,进而校正惯导;... 北斗双星定位系统(简称双星定位)是我国自行建立的一种定位系统。根据北斗双星定位系统采用有源定位的特点,介绍了北斗双星与SINS组合的最优预测模型,该方法利用了双星定位系统提供的滞后定位信息对组合系统进行最优预测,进而校正惯导;同时为验证该滤波方法对状态估计的一致性,文中重点研究了滤波器一致性的准则,并给出了检验的统计量。理论研究和试验仿真证明,文中介绍的滤波器与系统是匹配的,具有较高的滤波性能和精度。 展开更多
关键词 组合导航 滤波模型一致性 蒙特卡洛仿真 北斗双星定位 捷联惯导
在线阅读 下载PDF
基于一致性理论的Drucker-Prager材料弹黏塑本构模型 被引量:11
8
作者 褚卫江 苏静波 徐卫亚 《岩土力学》 EI CAS CSCD 北大核心 2008年第3期811-816,共6页
系统地论述了一致性理论的主要内容,推导了相关的黏塑性切线模量,并在前人工作的基础上研究了类Hoffman材料的推广条件及其一般性的推广方法;将线性Drucker-Prager模型(简称D-P)推广到一致性的黏塑性模型;给出了推广后模型的向后欧拉算... 系统地论述了一致性理论的主要内容,推导了相关的黏塑性切线模量,并在前人工作的基础上研究了类Hoffman材料的推广条件及其一般性的推广方法;将线性Drucker-Prager模型(简称D-P)推广到一致性的黏塑性模型;给出了推广后模型的向后欧拉算法的有限元离散列式;最后将数值算例和试验成果进行对比,验证了一致性的线性D-P模型的有效性。 展开更多
关键词 一致性模型 黏塑性 向后的欧拉算法 黏塑性切线模量
在线阅读 下载PDF
以操作系统为中心的存储一致性模型——线程一致性模型 被引量:5
9
作者 戴华东 杨学军 《计算机研究与发展》 EI CSCD 北大核心 2003年第2期351-359,共9页
分布共享存储系统为保证程序的正确执行 ,必须通过存储一致性模型对共享存储访问顺序加以限制 ,而现有模型在可扩展性和操作系统级实现方面存在不足 结合多线程的特点 ,提出了一种以操作系统为中心的线程一致性模型 ,通过并行程序执行... 分布共享存储系统为保证程序的正确执行 ,必须通过存储一致性模型对共享存储访问顺序加以限制 ,而现有模型在可扩展性和操作系统级实现方面存在不足 结合多线程的特点 ,提出了一种以操作系统为中心的线程一致性模型 ,通过并行程序执行过程中线程状态的变化来观察和限制存储访问事件的正确顺序 ,有利于系统的可扩展性、一致性维护信息获取的方便性和完备性以及操作系统本身的设计和实现 分别从模型的定义、正确性证明。 展开更多
关键词 操作系统 存储一致性模型 线程一致性模型 分布共享存储系统 内核
在线阅读 下载PDF
列车运行控制系统多分辨率模型输出信息一致性维护方法研究 被引量:2
10
作者 苟晨曦 蔡伯根 苗扬 《铁道学报》 EI CAS CSCD 北大核心 2016年第2期82-88,共7页
采用多分辨率建模理论,能够建立不同侧重点的多个列控系统仿真模型,多个分辨率模型对于同一对象进行描述的过程中,需要保证多分辨率模型的一致性。为了保证列控系统多分辨率模型输出信息的一致性,提出基于本体映射的输出信息一致性维护... 采用多分辨率建模理论,能够建立不同侧重点的多个列控系统仿真模型,多个分辨率模型对于同一对象进行描述的过程中,需要保证多分辨率模型的一致性。为了保证列控系统多分辨率模型输出信息的一致性,提出基于本体映射的输出信息一致性维护方法。针对映射元素的一致性重要程度,提出基于AHP的评价方法,并对于列控系统多分辨率模型的输出信息,进行方法的实现。通过强制插入不一致事件,验证本文提出的一致性维护方法的有效性。 展开更多
关键词 列车运行控制系统 多分辨率模型 模型输出一致性
在线阅读 下载PDF
后悔的一致性模型:理论和证据 被引量:21
11
作者 张结海 《心理学报》 CSSCI CSCD 北大核心 1999年第4期451-459,共9页
重新检验Gilovich和Medvec的后悔时间性模型。该模型认为,与假设思维有关的短期后悔的研究结果相反,人们日常生活中最大的后悔(长期后悔)多是“不做”而不是“做”的后悔。该文认为这一理论上的矛盾来自于双方对“做... 重新检验Gilovich和Medvec的后悔时间性模型。该模型认为,与假设思维有关的短期后悔的研究结果相反,人们日常生活中最大的后悔(长期后悔)多是“不做”而不是“做”的后悔。该文认为这一理论上的矛盾来自于双方对“做/不做”概念以及“做一不做”规律适用范围的不同理解。该研究使用一种新的分类方法,发现和短期后悔一样,至少一半的长期后悔来自于“状态改变”的后悔。在此基础上提出后悔的一致性模型,认为长期后侮和短期后悔同样服从“状态改变一状态继续”规律。 展开更多
关键词 后悔 假设思维 状态改变 状态继续 一致性模型
在线阅读 下载PDF
面向对象的存储一致性模型OC 被引量:2
12
作者 吴俊敏 陈国良 吴敏 《小型微型计算机系统》 CSCD 北大核心 2005年第11期2040-2045,共6页
提出了一种新的面向对象的存储一致性模型—OC.该模型基于位置一致性(Location Consistency)模型中所描述的偏序关系,从而打破了传统的存储密致性(Memory Coherence)所要求的全局序的限制.该模型是较高的软件层次上的存储模型,结合了现... 提出了一种新的面向对象的存储一致性模型—OC.该模型基于位置一致性(Location Consistency)模型中所描述的偏序关系,从而打破了传统的存储密致性(Memory Coherence)所要求的全局序的限制.该模型是较高的软件层次上的存储模型,结合了现代程序设计中面向对象的特色,可广泛应用到共享存储的编程语言中.我们还论述了OC的主要特性,并将OC与其它存储模型进行了简单的比较.最后在仿真器上对它的行为进行了仿真验证. 展开更多
关键词 存储一致性模型 存储密致性 面向对象
在线阅读 下载PDF
富文本协同编辑中基于树型结构地址空间转换的一致性维护
13
作者 刘亚 韩建功 +1 位作者 高丽萍 曲博 《小型微型计算机系统》 CSCD 北大核心 2024年第2期367-373,共7页
协同编辑通过多用户远程实时编辑,最大程度的支持团队之间的协作和交流.撤销操作作为协同编辑的一个重要特性,通过错误恢复简化协作编辑过程中产生的错误或者意外操作的处理过程.富文本编辑采用树型结构来进行文档管理,从而产生了较线... 协同编辑通过多用户远程实时编辑,最大程度的支持团队之间的协作和交流.撤销操作作为协同编辑的一个重要特性,通过错误恢复简化协作编辑过程中产生的错误或者意外操作的处理过程.富文本编辑采用树型结构来进行文档管理,从而产生了较线性文档更为复杂的并发操作环境和冲突消解场景.为了解决富文本文档中的并发操作环境与撤销操作冲突问题,本文提出了一种新颖的基于树型结构的地址空间转换方法,采用基于位置的节点寻址方案和节点属性值计数器策略,能更方便地支持撤销操作与更改操作.此外,本文还给出了树型结构地址空间的结果一致性的正确性证明及详细的案例分析,并开发了Web平台下实时协同富文本编辑原型系统AST-RichText,进一步验证了该方法的可行性. 展开更多
关键词 计算机支持的协同工作 实时协同编辑 地址空间转换 一致性模型 UNDO 树型文档
在线阅读 下载PDF
弱一致性模型下的分布式垃圾回收算法RRDGC 被引量:1
14
作者 吴俊敏 宋振华 陈国良 《小型微型计算机系统》 CSCD 北大核心 2006年第7期1304-1307,共4页
垃圾回收有效地减轻了编程人员的负担、优化了程序的设计.在基于弱一致性模型的分布式共享存储系统中进行自动垃圾回收是非常困难的和低效的.本文提出了一种基于跟踪策略的实时分布式垃圾回收算法—RRDGC,使得各节点回收进程可以和应用... 垃圾回收有效地减轻了编程人员的负担、优化了程序的设计.在基于弱一致性模型的分布式共享存储系统中进行自动垃圾回收是非常困难的和低效的.本文提出了一种基于跟踪策略的实时分布式垃圾回收算法—RRDGC,使得各节点回收进程可以和应用程序并发执行,同时有效减少了弱一致性模型下额外的通信开销,降低了程序的响应时间.算法确保了垃圾回收的正确性和有效性,体现了增量和实时性的特点.最后通过仿真实验对比论证了该算法的正确性和高效性. 展开更多
关键词 一致性模型 分布式共享存储 垃圾回收算法
在线阅读 下载PDF
MOTEC:一个存储一致性模型验证工具 被引量:1
15
作者 吕正 陈昊 +1 位作者 陈峰 吕毅 《计算机工程》 CAS CSCD 2012年第11期242-246,共5页
由于缺乏可利用的额外观察条件,在芯片流片后阶段进行存储一致性模型验证较困难。为此,利用多核处理器系统中通用的性能计数器,通过定期扫描性能计数器以获得关键活动访存指令集合的信息,实现MOTEC工具。该工具由MOTEC随机指令发生模块... 由于缺乏可利用的额外观察条件,在芯片流片后阶段进行存储一致性模型验证较困难。为此,利用多核处理器系统中通用的性能计数器,通过定期扫描性能计数器以获得关键活动访存指令集合的信息,实现MOTEC工具。该工具由MOTEC随机指令发生模块、多核处理器性能计数器记录模块和MOTEC分析模块3个部分组成。对其核心算法的分析结果表明,MOTEC的时间复杂度仅为O(p 3n),在目前流片后阶段进行验证的工具中时间复杂度最低。 展开更多
关键词 多核处理器 存储一致性模型 形式验证 动态验证 存储系统 验证工具
在线阅读 下载PDF
DSM系统中内存一致性模型的研究 被引量:1
16
作者 牛建伟 阚志刚 胡建平 《计算机工程与应用》 CSCD 北大核心 2000年第9期28-30,33,共4页
文章首先回顾了分布式共享存储器(DSM)系统中主要的内存一致性协议,重点分析了释放一致性(RC)模型。在此模型的基础上对其进行了改进,提出了基于动态减少无效副本集的RC模型。
关键词 DSM系统 内存一致性模型 分布式共享存储器
在线阅读 下载PDF
涵盖I/O的广义存储一致性模型 被引量:1
17
作者 李琼 邓明堂 杨学军 《国防科技大学学报》 EI CAS CSCD 北大核心 2010年第1期68-73,共6页
作为计算机体系结构核心问题之一的存储一致性研究主要是围绕CPU访存一致性问题展开的,I/O设备DMA操作引发的存储一致性问题则一直处于研究的边缘。从I/O与存储体系结构一体化设计理念出发,针对支持全局DMA访问的分布共享存储(DSM)系统... 作为计算机体系结构核心问题之一的存储一致性研究主要是围绕CPU访存一致性问题展开的,I/O设备DMA操作引发的存储一致性问题则一直处于研究的边缘。从I/O与存储体系结构一体化设计理念出发,针对支持全局DMA访问的分布共享存储(DSM)系统存储一致性问题,研究广义存储一致性,定义了涵盖I/O的广义程序概念,建立了广义域存储一致性模型,研究了基于广义域存储一致性模型的Cache-Memory-I/O一致性协议实现技术,对于DSM系统实现全局共享I/O具有指导意义和参考价值。 展开更多
关键词 I/O体系结构 广义存储一致性模型 全局共享I/O
在线阅读 下载PDF
流编程模型下的存储一致性模型
18
作者 邓宇 杨学军 +1 位作者 戴华东 王勐 《国防科技大学学报》 EI CAS CSCD 北大核心 2008年第1期37-41,共5页
在流编程模型下建立了一个新的存储一致性模型——流一致性模型,它比传统的释放一致性模型更加松弛。讨论了流一致性模型对程序设计和系统设计的要求,给出了一个正确的系统实现,并且指出流一致性模型的编程和实现并不比现有的一致性模... 在流编程模型下建立了一个新的存储一致性模型——流一致性模型,它比传统的释放一致性模型更加松弛。讨论了流一致性模型对程序设计和系统设计的要求,给出了一个正确的系统实现,并且指出流一致性模型的编程和实现并不比现有的一致性模型复杂。 展开更多
关键词 流计算 流编程模型 存储一致性模型
在线阅读 下载PDF
面向众核体系结构扩展I/O的广义一致性模型研究
19
作者 郭御风 窦强 《计算机应用与软件》 CSCD 2011年第11期238-241,301,共5页
I/O一致性问题是众核处理器设计所面临和必须解决的关键技术之一。传统的一致性模型往往是站在处理器的角度,研究存储器和CPU之间的一致性,缺乏一个完整的I/O一致性模型用于指导I/O一致性处理的设计。把I/O一致性问题纳入众核处理器数... I/O一致性问题是众核处理器设计所面临和必须解决的关键技术之一。传统的一致性模型往往是站在处理器的角度,研究存储器和CPU之间的一致性,缺乏一个完整的I/O一致性模型用于指导I/O一致性处理的设计。把I/O一致性问题纳入众核处理器数据一致性问题的统一框架内,从处理器核、I/O和存储器相互关系的角度描述数据一致性问题,避免了孤立、片面地分析I/O一致性问题;在SPARC的TSO模型和PSO模型的基础上,提出了扩展I/O的广义一致性模型-GIOTSO模型和GIOPSO模型,并进行了形式化描述;最后对模型性能进行了理论分析和性能测试,测试结果表明所提出的一致性模型可以大大改善I/O处理的性能。 展开更多
关键词 众核处理器 片上系统 一致性模型 TSO模型 PSO模型
在线阅读 下载PDF
能源冲击与中国宏观经济波动:基于存量流量一致性投入产出模型的数值实验 被引量:7
20
作者 周潮 郭卫香 孙慧 《中国人口·资源与环境》 CSSCI CSCD 北大核心 2021年第1期68-77,共10页
结合后凯恩斯主义经济学的存量流量一致性(SFC)模型、投入产出表(IO)分析、生态宏观经济学和离散动力系统的相关理论,基于我国的实际数据,提出存量流量一致性投入产出(SFC-IO)分析框架建模方法,把经济和环境作为统一的宏观经济-生态系... 结合后凯恩斯主义经济学的存量流量一致性(SFC)模型、投入产出表(IO)分析、生态宏观经济学和离散动力系统的相关理论,基于我国的实际数据,提出存量流量一致性投入产出(SFC-IO)分析框架建模方法,把经济和环境作为统一的宏观经济-生态系统来进行研究,将能源使用和环境保护纳入宏观经济学模型之中,同时对金融体系中的货币流、实体经济中的商品流及自然环境中的物质流进行数值模拟分析。研究发现:一是能源价格加成上升将导致能源价格上涨,能源消费减少导致能源需求减少,而能源需求减少又推动了工资下降,进而使得总消费减少,通过投入产出表各部门之间的相互联系,乘数效应发挥显著作用,放大了由于能源价格冲击而导致的经济衰退的负面影响。二是能源投入回报(EROI)上升使得能源部门的中间投入增加以及能源价格上涨,居民对能源的相对消耗增加,由于部门之间的相互关联,向居民和政府销售的能源和产品数量下降,导致中间产品在总产量中所占的比例增大,导致能源总消耗增加,最终需求下降。三是模拟计算出我国能源效率提高的总回弹效应为34.2%,发现通过技术进步,使得能源消费节省水平提高50%,但是通过回弹效应模拟,发现能源消费总量并没有预期减半,普通品价格下降4.2%,能源品价格下降12.4%,实际上会导致能源消费增加,使得能源投入减少,导致直接的回弹效应。 展开更多
关键词 后凯恩斯主义经济学 生态宏观经济学 存量流量一致性模型 投入产出分析 能源价格冲击
在线阅读 下载PDF
上一页 1 2 4 下一页 到第
使用帮助 返回顶部