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

计算机学报 2008年第12期31卷 2081-2089页

作者：许进范月科北京大学信息科学技术学院高可信软件技术教育部重点实验室北京100871 华中科技大学分子生物计算机研究所武汉430074

Ramsey数问题是组合数学乃至整个数学中最具魅力的研究领域,也是最困难的数学问题之一.对于经典Ramsey数,至今只有9个Ramsey数得到解决.按照传统的算法,其搜索空间太大,当前的电子计算机无法胜任.研究表明,DNA计算在求解困难的NP-完全... 详细信息

Ramsey数问题是组合数学乃至整个数学中最具魅力的研究领域,也是最困难的数学问题之一.对于经典Ramsey数,至今只有9个Ramsey数得到解决.按照传统的算法,其搜索空间太大,当前的电子计算机无法胜任.研究表明,DNA计算在求解困难的NP-完全问题上优于电子计算机.目前已经建立了众多求解NP-完全问题的DNA计算模型,但未见到用于求解Ramsey数的DNA计算模型.作者建立了一种新颖的DNA计算模型,用于一般经典Ramsey数的求解.全文共分两篇,该文属第二篇,在首篇工作的基础上,建立了所谓的经典Ramsey数位序列DNA计算模型,文中对模型的存储库的建立、解的检测子系统以及运算子系统等问题展开了较为详细地讨论,并给出了使用该模型求解经典Ramsey数详细的方法与步骤.

关键词：经典Ramsey数 DNA计算位序列DNA计算模型

来源：评论

学校读者我要写书评

暂无评论

面向网构软件的操作系统:发展及现状

引用

科技导报 2016年第14期34卷 33-41页

作者：梅宏郭耀北京大学信息科学技术学院软件研究所北京100871 高可信软件技术教育部重点实验室(北京大学) 北京100871 上海交通大学计算机科学与工程系上海200240

计算机软件是计算机系统的"灵魂",而操作系统是软件运行支撑技术的核心。在互联网时代,软件的运行环境和开发方法发生了重要变化,迫切需要一种新型的面向互联网计算的软件范型,中国学者将这种新范型命名为网构软件。网构软件... 详细信息

计算机软件是计算机系统的"灵魂",而操作系统是软件运行支撑技术的核心。在互联网时代,软件的运行环境和开发方法发生了重要变化,迫切需要一种新型的面向互联网计算的软件范型,中国学者将这种新范型命名为网构软件。网构软件对包括操作系统在内的软件技术体系带来一系列新挑战。本文关注"面向网构软件的操作系统"(简称"网构操作系统"),简要回顾了操作系统的发展历史,介绍了网构操作系统的概念、基本特征和关键支撑技术。在总结当前网构操作系统的发展现状的基础上,对操作系统的未来发展进行了展望。

关键词：操作系统网构软件网构操作系统软件定义

来源：评论

学校读者我要写书评

暂无评论

基于深度强化学习的深圳市急救车调度算法

引用

计算机工程 2022年第9期48卷 298-304页

作者：吴仍裕周强于海龙王亚沙深圳市急救中心广东深圳518000 北京大学信息科学技术学院北京100871 北京大学软件工程国家工程研究中心北京100871 北京大学高可信软件技术教育部重点实验室北京100871

在院前急救领域中,急救反应时间是指患者拨打急救电话后,急救车到达现场的时间。传统急救车调度算法未全面考虑急救环境的动态性和复杂性因素,导致模型优化的急救反应时间与实际情况存在偏差。将急救车调度问题建模成马尔科夫决策过程,... 详细信息

在院前急救领域中,急救反应时间是指患者拨打急救电话后,急救车到达现场的时间。传统急救车调度算法未全面考虑急救环境的动态性和复杂性因素,导致模型优化的急救反应时间与实际情况存在偏差。将急救车调度问题建模成马尔科夫决策过程,构建基于深度强化学习的急救车调度算法。以多层感知机作为评分网络结构,通过将急救站的动态信息映射为各个急救站的得分,确定急救车被调往各急救站的概率。同时,结合急救车调度的动态决策特点,利用强化学习中演员-评论家框架下的近端策略优化算法改进评分网络参数。在深圳市急救中心真实急救数据集上的实验结果表明,相比Fixed、DSM、MEXCLP等算法,该算法在每个急救事件中的急救反应时间平均缩短约80 s,并且在10 min内急救车的平均到达比例为36.5%,能够实时地将急救车调度到合适的急救站。

关键词：强化学习神经网络急救车调度动态调度马尔科夫决策过程

来源：评论

学校读者我要写书评

暂无评论

基于扩展主题模型的异常医疗处方检测方法

引用

计算机科学与探索 2020年第1期14卷 30-39页

作者：刘少钦唐爽赵俊峰王亚沙卓琳北京大学信息科学技术学院北京100871 高可信软件技术教育部重点实验室北京100871 北京大学(天津滨海)新一代信息技术研究院天津300450 北京大学公共卫生学院流行病与卫生统计学系北京100871

异常处方指的是医生为患者所开具的存在异常的处方。医疗处方中出现异常,如滥用药或者开错药等,会影响患者的治疗效率,甚至造成严重的后果。由于一些主观或者客观原因,医生总会开具一些异常处方。检测出这些异常处方能够提升患者就医效... 详细信息

异常处方指的是医生为患者所开具的存在异常的处方。医疗处方中出现异常,如滥用药或者开错药等,会影响患者的治疗效率,甚至造成严重的后果。由于一些主观或者客观原因,医生总会开具一些异常处方。检测出这些异常处方能够提升患者就医效率,减少社会医疗成本,并且对药物滥用、多开药、错开药的有效管理等都有着重要意义。为此,提出了一种基于扩展主题模型的异常处方检测方法。该方法能够自动地从大量处方数据中检测出异常处方,并且对于每一个新的处方,该方法都能够判断其诊断和用药是否匹配,进而判断其是否正常。与其他异常检测算法相比,该方法具有更广泛的应用,不仅可以在医疗领域中使用,以检测异常处方,还可以在其他领域中使用,以检测其他特征之间的匹配关系异常。该方法已经得到了实现,并在真实的处方数据集中得到了验证。

关键词：合理用药异常检测主题模型多视图主题模型

来源：评论

学校读者我要写书评

暂无评论

基于领域偏好的可变时间窗口时序数据主题模式识别算法

引用

计算机科学 2019年第11期46卷 251-259页

作者：王一博彭广举何远舵王亚沙赵俊峰王江涛高可信软件技术教育部重点实验室(北京大学) 北京100871 北京大学信息科学技术学院北京100871 北京大学软件工程国家工程研究中心北京100871

随着传感器的普及,智慧城市、普适计算等领域应用不断涌现,对时序数据处理的需求也在不断增长。时序数据中反复出现的高度相似的模式被称为主题模式。时序数据的主题模式蕴含有了大量的信息,对主题模式的识别是时序数据处理的重要分支... 详细信息

随着传感器的普及,智慧城市、普适计算等领域应用不断涌现,对时序数据处理的需求也在不断增长。时序数据中反复出现的高度相似的模式被称为主题模式。时序数据的主题模式蕴含有了大量的信息,对主题模式的识别是时序数据处理的重要分支领域。现有主题模式识别算法无法根据特定应用或领域的知识来指定主题模式识别的偏好,从而难以发现对分析领域问题最具价值的模式。针对这一问题,文中给出了一种可以根据领域偏好定义子序列相似性的机制,并设计了一种针对上述相似性度量机制的可变时间窗口主题模式识别加速剪枝算法。实验证明,所提方法在多个公开数据集上,能高效且准确地发现具有领域偏好的主题模式。

关键词：时序数据主题模式领域偏好可变时间窗口主题模式实例

来源：评论

学校读者我要写书评

暂无评论

残障人口数据智能分析平台搭建

引用

卫生研究 2021年第4期50卷 660-664页

作者：罗雅楠陈薇王一然郭超范慧芸刘运铎王腾蛟郑晓瑛北京大学人口研究所北京大学亚太经合组织健康科学研究院北京100871 高可信软件技术教育部重点实验室(北京大学) 北京大学信息科学技术学院北京100871

目的设计以需求为导向的从统筹管理到安全保障的残障人口数据智能分析平台框架。方法运用DATAI-WebEX、主动学习、Browser/Server架构、基于用户角色的访问控制功能、贝叶斯网络、地理信息系统分析技术、聚类分析、回归分析等智能关键技... 详细信息

目的设计以需求为导向的从统筹管理到安全保障的残障人口数据智能分析平台框架。方法运用DATAI-WebEX、主动学习、Browser/Server架构、基于用户角色的访问控制功能、贝叶斯网络、地理信息系统分析技术、聚类分析、回归分析等智能关键技术,提供多源异构残障人口数据数据融合、智能分析与安全访问和数据共享等功能。结果基于智能关键技术所设计的中国残障人口数据智能分析平台,能够实现结构化和非结构化残障人口数据的信息对齐和数据融合,能够提供残障风险模块聚类、残障风险因子识别、残障分布分析、残障规模动态轨迹预警、残障等级发生发展预测,可以为残障敏感数据支持"分类分箱"安全便捷的访问提供保障,实现残障人口数据安全共享。结论基于智能关键技术所设计的中国残障人口数据智能分析平台,能够针对残障人口数据提供"全面融合-智能挖掘-安全共享"等技术。

关键词：残障数据信息化数据仓库智能分析平台访问控制机制

来源：评论

学校读者我要写书评

暂无评论

融合结构与语义特征的代码注释决策支持方法

引用

软件学报 2018年第8期29卷 2226-2242页

作者：黄袁贾楠周强陈湘萍熊英飞罗笑南中山大学数据科学与计算机学院广东广州510006 国家数字家庭工程技术研究中心广东广州510006 河北地质大学管理科学与工程学院河北石家庄050031 中山大学先进技术研究院广东广州510006 北京大学信息科学技术学院软件研究所北京100871 高可信软件技术教育部重点实验室(北京大学) 北京100871

代码注释是辅助编程人员理解源代码的有效手段之一.高质量的注释决策不仅能够覆盖软件系统中的核心代码片段,还能避免产生多余的代码注释.然而在实际开发中,编程人员往往缺乏统一的注释规范,大部分的注释决策都取决于个人经验以及领域知... 详细信息

代码注释是辅助编程人员理解源代码的有效手段之一.高质量的注释决策不仅能够覆盖软件系统中的核心代码片段,还能避免产生多余的代码注释.然而在实际开发中,编程人员往往缺乏统一的注释规范,大部分的注释决策都取决于个人经验以及领域知识.对于新手程序员来说,注释决策显然成为一项重要而艰巨的任务.为了减少编程人员投入过多的精力在注释决策上,从大量的代码注释实例中学习出一种通用的注释决策规范,并提出了CommentAdviser方法,以辅助编程人员在代码开发过程中做出恰当的注释决策.由于注释决策与代码本身的上下文信息密切相关,因此,从当前代码行的上下文代码中提取代码结构特征以及代码语义特征作为支持注释决策的主要依据.然后,利用机器学习算法判定当前代码行是否为可能的注释点.在GitHub中的10个大型开源软件的数据集上评估了所提出的方法,实验结果以及用户调研表明,代码注释决策支持CommentAdviser方法的可行性和有效性.

关键词：代码注释结构特征语义特征机器学习注释决策

来源：评论

学校读者我要写书评

暂无评论

面向业务过程的Mashup模型

引用

计算机科学与探索 2013年第5期7卷 422-430页

作者：叶蔚罗睿辞张世琨北京大学信息科学技术学院北京100871 高可信软件技术教育部重点实验室北京100871 北京大学软件工程国家工程研究中心北京100871

传统的业务过程编排方法在支持轻量级的情境应用方面缺乏足够的灵活性。Mashup作为一种新兴的Web2.0技术,能够支持最终用户快速获取Web资源以创建新的应用。但是目前Mashup主要关注数据与展示的集成,针对业务过程方面的研究尚处于起步... 详细信息

传统的业务过程编排方法在支持轻量级的情境应用方面缺乏足够的灵活性。Mashup作为一种新兴的Web2.0技术,能够支持最终用户快速获取Web资源以创建新的应用。但是目前Mashup主要关注数据与展示的集成,针对业务过程方面的研究尚处于起步阶段。提出了一种面向业务过程的Mashup模型,其中将业务活动封装为浏览器端构件,基于事件驱动的发布/订阅范型进行构件编排。该模型通过引入"复合事件"概念来定义过程行为,屏蔽了如"条件分支"、"循环"等传统的过程结构构造元素,能够支持最终用户快速创建具有一定复杂性的业务过程。

关键词：过程Mashup 业务单元复合事件事件连接件 Mashup工具

来源：评论

学校读者我要写书评

暂无评论

基于模型转换的MARTE顺序图的形式化分析

引用

小型微型计算机系统 2013年第1期34卷 100-106页

作者：朱梅霞王捍贫刘西奎韩晓琼天津工业大学计算机科学与软件学院天津300387 北京大学信息科学技术学院软件研究所北京100871 教育部高可信软件技术重点实验室北京100871 山东科技大学信息科学与工程学院山东青岛266510

作为一项新规范,MARTE有许多方面亟待完善.如何对依照MARTE设计的模型开展验证是待解决问题之一.对象管理组织提出用模型转换的方法将依照MARTE设计的模型(记为A)转换成另一种具有完备的验证方法和工具的形式化模型(记为B),然后对B进行... 详细信息

作为一项新规范,MARTE有许多方面亟待完善.如何对依照MARTE设计的模型开展验证是待解决问题之一.对象管理组织提出用模型转换的方法将依照MARTE设计的模型(记为A)转换成另一种具有完备的验证方法和工具的形式化模型(记为B),然后对B进行验证和精化,以完成A的验证和精化工作.此思想面临的难题是如何保证B能够完整且准确地模拟A的行为.提出了形式化模型-TTS4SD,用来描述MARTE规范定义的带时间约束的顺序图的形式语义并在此基础上展开分析.首先给出顺序图的形式定义,把时间变迁系统(TTS)扩充成TTS4SD,用TTS4SD描述顺序图的形式语义,最后对TTS4SD展开分析.这在一定程度上提高了设计阶段模型的正确性.通过一个实例说明从顺序图到TTS4SD的转化过程以及基于TTS4SD的验证方法.

关键词：实时系统形式化方法 MARTE 时间变迁系统验证

来源：评论

学校读者我要写书评

暂无评论

一种良构可扩展的构件运行平台容器系统

引用

中国科技论文在线 2007年第10期2卷 708-714页

作者：范刚曹东刚周明辉肖赞梅宏北京大学信息科学技术学院软件研究所高可信软件技术教育部重点实验室北京100871

随着J2EE等构件运行平台的迅速发展和广泛应用,构件运行平台要提供的功能越来越多,导致其自身的结构越来越复杂。因此如何设计一种良好的体系结构,保持构件运行平台的灵活性和扩展性成为一项挑战。本文提出一种良构可扩展的构件运行平... 详细信息

随着J2EE等构件运行平台的迅速发展和广泛应用,构件运行平台要提供的功能越来越多,导致其自身的结构越来越复杂。因此如何设计一种良好的体系结构,保持构件运行平台的灵活性和扩展性成为一项挑战。本文提出一种良构可扩展的构件运行平台容器系统。基于该系统,构件运行平台在保持其结构模块化和灵活性的同时,其功能可以容易地被进行扩展和定制,以满足不同用户的需求和适应动态多变的环境。

关键词：计算机软件与理论构件容器良构关注点分离

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：