检索结果-南通市图书馆

在线全文

学校读者我要写书评

暂无评论

结合增量与启发式搜索的多目标问题处理方法

计算机研究与发展 2010年第11期47卷 1954-1961页

作者：魏唯欧阳丹彤吕帅殷明浩吉林大学计算机科学与技术学院长春130012 符号计算与知识工程教育部重点实验室(吉林大学) 长春130012 东北师范大学计算机学院长春130024

提出了一种结合增量与启发式搜索的多目标问题处理方法,设计并实现了一个基于路径扩展方法的多目标增量启发式搜索系统.当问题搜索图中边的权重发生改变或添加删除节点时,该系统通过对搜索现场进行实时的更新,部分利用先前搜索保留的信... 详细信息

提出了一种结合增量与启发式搜索的多目标问题处理方法,设计并实现了一个基于路径扩展方法的多目标增量启发式搜索系统.当问题搜索图中边的权重发生改变或添加删除节点时,该系统通过对搜索现场进行实时的更新,部分利用先前搜索保留的信息,从更新后的状态开始求解新的问题,从而提高了重搜索的效率.对gridworld标准测试样例进行了大量的系统测试,实验结果表明:结合增量与启发式搜索的处理方法能够有效地解决状态格局不断变化的一系列相似的多目标最短路径问题.

关键词：多目标问题启发式搜索增量搜索路径扩展实时更新

亮丙瑞林联合腹腔镜子宫肌瘤剔除术对子宫肌瘤患者激素水平的影响

在线全文

学校读者我要写书评

暂无评论

微创医学 2018年第5期13卷 633-635,644页

作者：殷明皓天津市咸水沽医院妇产科天津市300350

目的研究亮丙瑞林联合腹腔镜子宫肌瘤剔除术对子宫肌瘤患者激素水平、月经及子宫肌瘤复发率的影响。方法选取子宫肌瘤患者80例作为研究对象,按照随机数字表法分为研究组和对照组各40例。对照组行腹腔镜下子宫肌瘤剔除术;研究组术前给予... 详细信息

目的研究亮丙瑞林联合腹腔镜子宫肌瘤剔除术对子宫肌瘤患者激素水平、月经及子宫肌瘤复发率的影响。方法选取子宫肌瘤患者80例作为研究对象,按照随机数字表法分为研究组和对照组各40例。对照组行腹腔镜下子宫肌瘤剔除术;研究组术前给予亮丙瑞林治疗3个月,再行腹腔镜下子宫肌瘤剔除术。比较两组血清激素水平、月经情况、肌瘤体积及子宫肌瘤复发率等情况。结果治疗后,研究组黄体生成素、血清雌二醇、卵泡刺激素水平均显著低于对照组(P 0. 05);但月经量明显少于给药前,子宫体积、肌瘤体积明显小于给药前(P 0. 05)。研究组术中出血量、盆腔引流量明显少于对照组,下床活动时间、住院时间显著短于对照组,差异均有统计学意义(P <0. 01)。对患者进行为期半年的随访,所有患者子宫均恢复至正常状态,月经量恢复正常,贫血症状有所缓解或消失,未见复发。结论腹腔镜下子宫肌瘤剔除术前应用亮丙瑞林治疗的临床疗效和安全性均较好,可显著降低患者的血清激素水平,改善月经量,值得应用推广。

关键词：子宫肌瘤亮丙瑞林腹腔镜子宫肌瘤剔除术激素

在线全文

学校读者我要写书评

暂无评论

嫦娥三号“玉兔号”巡视器行为规划方法

北京航空航天大学学报 2017年第2期43卷 277-284页

作者：高薇蔡敦波周建平高宇辉殷明浩北京航空航天大学宇航学院北京100083 北京航天飞行控制中心北京100094 武汉工程大学智能机器人湖北省重点实验室武汉430205 中国载人航天办公室北京100720 东北师范大学计算机科学与信息技术学院长春130017

为支持"玉兔号"巡视器完成对月面较大空间范围的科学探测,对动态任务进行快速规划,提出了一种基于人工智能领域智能规划技术的自动化任务规划方法。提出了行为持续时间和行为效果动态确定的时态规划模型(TP^(DD&DE)),设计了描述TP^(DD&... 详细信息

为支持"玉兔号"巡视器完成对月面较大空间范围的科学探测,对动态任务进行快速规划,提出了一种基于人工智能领域智能规划技术的自动化任务规划方法。提出了行为持续时间和行为效果动态确定的时态规划模型(TP^(DD&DE)),设计了描述TP^(DD&DE)问题的规划领域定义语言PDDL——PDDL^(DD&DE),以及针对TP^(DD&DE)问题的启发式规划算法,运用Landmark知识分析规划问题结构,从而设计了合理反映动作前提评估顺序的启发函数。在嫦娥三号任务中,本文方法支撑"玉兔号"巡视器圆满完成了预期的科学探测任务。

关键词：月面巡视器行为规划自动规划任务建模启发式搜索

在线全文

学校读者我要写书评

暂无评论

基于大容量存储多通道雷达模拟器设计与实现

现代雷达 2023年第9期45卷 46-52页

作者：尹铭浩吴侠义林任烦中国科学院空天信息创新研究院北京100094 中国科学院大学电子电气与通信工程学院北京100049

随着星载合成孔径雷达(SAR)技术的快速发展,雷达成像模式在不断更新,成像精度及广度要求在不断提高。为适应发展速度,提高雷达系统的研发效率,降低经济及时间成本,文中设计了一款基于大容量存储的多通道雷达模拟器,能够解决星载大场景... 详细信息

随着星载合成孔径雷达(SAR)技术的快速发展,雷达成像模式在不断更新,成像精度及广度要求在不断提高。为适应发展速度,提高雷达系统的研发效率,降低经济及时间成本,文中设计了一款基于大容量存储的多通道雷达模拟器,能够解决星载大场景下高精度回波数据模拟及存储问题,并用该系统仿真得到准确可靠的实验结果。基于大容量存储的多通道雷达模拟器为星载SAR系统的研制提供了的更有效的测试手段。

关键词：模拟器半物理仿真硬件设计软件设计大容量存储

在线全文

学校读者我要写书评

暂无评论

论行刑的效率与正义

刑法论丛 2016年第2期2卷 -页

作者：贾长森阴明皓北京师范大学刑事法律科学研究院中国政法大学民商经济法学院

在自由刑的执行过程中,司法资源配置的经济性要求刑罚执行过程中首先要考虑投入与产出的比例关系,过度和无效的投入会造成司法资源的浪费,故此,应以效率价值来衡量刑罚执行的必要性;刑罚执行过程中离不开必要的人文关怀,避免制造不必要... 详细信息

在自由刑的执行过程中,司法资源配置的经济性要求刑罚执行过程中首先要考虑投入与产出的比例关系,过度和无效的投入会造成司法资源的浪费,故此,应以效率价值来衡量刑罚执行的必要性;刑罚执行过程中离不开必要的人文关怀,避免制造不必要的痛苦,这便要求在行刑过程中坚持刑罚的正义性.然而,我国的司法实践中,因片面强调判决稳定性而忽略刑罚的经济性和正义性的情况广泛存在,主要体现在已废除罪名和“刑变罚恒”的执行案件中,刑罚的效率价值和正义价值遭到破坏.为了恢复刑罚的应然价值,需要对现有的刑罚执行制度进行重构.是故,扩大假释、减刑的适用力度和赦免制度的适用范围是可以考虑的途径.

关键词：行刑效率实质正义矫治赦免制度

在线全文

学校读者我要写书评

暂无评论

最坏情况下#3-SAT问题最小上界

计算机研究与发展 2011年第11期48卷 2055-2063页

作者：周俊萍殷明浩周春光翟延冬王康平吉林大学计算机科学与技术学院长春130012 东北师范大学计算机科学与信息技术学院长春130117 教育部符号计算与知识工程重点实验室(吉林大学) 长春130012

最坏情况下#SAT问题上界的研究已成为一个热门的研究领域.#SAT问题的时间复杂性是根据问题实例的大小所组成的函数计算所得.#SAT问题实例的大小不仅依赖于变量的数量,还依赖于子句的数量.以子句数量为参数研究#SAT问题在最坏情况下的上... 详细信息

最坏情况下#SAT问题上界的研究已成为一个热门的研究领域.#SAT问题的时间复杂性是根据问题实例的大小所组成的函数计算所得.#SAT问题实例的大小不仅依赖于变量的数量,还依赖于子句的数量.以子句数量为参数研究#SAT问题在最坏情况下的上界,不仅可以从另一个角度衡量算法的好坏,而且在某种程度上更能准确地反映出算法的性能.首先从子句数量的角度证明了之前提出的基于扩展规则的模型计数算法(CER算法)的上界O(2m),其中m是公式中子句的数量.为了提高#3-SAT问题的求解效率,采用了多种分裂规则,进一步给出了一种基于Davis-Putnam-Logemann-Loveland(DPLL)的#3-SAT算法MCDP.通过分析该算法得到了以子句数量为参数的#3-SAT问题在最坏情况下的上界O(1.8393m).

关键词：最坏情况上界 #3 SAT 复杂性分析模型计数

在线全文

学校读者我要写书评

暂无评论

紫外诱变选育高产3-羟基丁酮枯草芽孢杆菌

中国酿造 2010年第4期29卷 76-79页

作者：尹明浩徐慧程殿林王勇青岛大学生物系山东青岛266071 天津科技大学生物工程学院天津300457

选育高产3-羟基丁酮的枯草芽孢杆菌新菌株。采用紫外诱变(15W,25cm),对一株产3-羟基丁酮枯草芽孢杆菌YD-1进行紫外诱变处理,并对菌株的遗传稳定性进行测定。筛选获得4株高产菌MB-2、MB-6、MB-10和MB-11,经过20代传代培养后MB-2的遗传稳... 详细信息

选育高产3-羟基丁酮的枯草芽孢杆菌新菌株。采用紫外诱变(15W,25cm),对一株产3-羟基丁酮枯草芽孢杆菌YD-1进行紫外诱变处理,并对菌株的遗传稳定性进行测定。筛选获得4株高产菌MB-2、MB-6、MB-10和MB-11,经过20代传代培养后MB-2的遗传稳定性最好,其遗传物质经RAPD分析,与出发菌株YD-1相比有较大差异。该菌遗传性状稳定,是一株高产3-羟基丁酮的新菌株。

关键词： 3-羟基丁酮枯草芽孢杆菌紫外诱变 RAPD

在线全文

学校读者我要写书评

暂无评论

可满足问题中的模型计数

智能系统学报 2012年第1期7卷 33-39页

作者：谷文祥朱磊黄平殷明浩东北师范大学计算机科学与信息技术学院吉林长春130117

模型计数问题是指计算给定问题的解的个数,这是一类比决策更困难的问题,也是人工智能领域研究的一个热点问题.对模型计数问题的研究不仅可以提高算法的求解效率,更能促进对问题困难本质的了解.以可满足问题(命题可满足(SAT)和约束可满... 详细信息

模型计数问题是指计算给定问题的解的个数,这是一类比决策更困难的问题,也是人工智能领域研究的一个热点问题.对模型计数问题的研究不仅可以提高算法的求解效率,更能促进对问题困难本质的了解.以可满足问题(命题可满足(SAT)和约束可满足问题(CSP))为例,从精确算法和近似求解两方面综述了模型计数问题的研究现状,重点介绍了相关概念以及各个算法之间的优缺点,并提出了有待解决的开放性问题,对模型计数问题的研究予以了总结和展望.

关键词：人工智能约束可满足问题命题可满足问题模型计数

绿色建筑运行监测关键性能指标体系构建及案例研究

在线全文

学校读者我要写书评

暂无评论

建筑科学 2018年第4期34卷 78-84,117页

作者：李晋秋王清勤李敏殷明昊重庆大学重庆400030 北京清华同衡规划设计研究院有限公司北京100085 中国建筑科学研究院有限公司北京100013

本文以指标可以对绿色建筑在运行阶段节约资源和提升环境品质起到关键作用为目标,深入研究绿色建筑相关标准规范和文献,初步构建了包含7个一级指标和39个二级指标的绿色建筑运行监测指标库,并针对全部二级指标提出了相应的监测参数。基... 详细信息

本文以指标可以对绿色建筑在运行阶段节约资源和提升环境品质起到关键作用为目标,深入研究绿色建筑相关标准规范和文献,初步构建了包含7个一级指标和39个二级指标的绿色建筑运行监测指标库,并针对全部二级指标提出了相应的监测参数。基于SMART原则中的相关性、可监测性和可获取性,筛选出了27个关键性能指标,该指标体系力求完整涵盖绿色建筑运行相关各项关键内容,从而反映绿色建筑运行阶段的"绿色度"。将本套绿色建筑运行监测关键性能指标体系应用于重庆市两江新区某绿色办公建筑,借助物联网手段获取18项关键性能指标运行数据。以空调季一周为例,重点分析了用户行为方面的运行监测数据,说明了用户行为监测指标的必要性和可行性。

关键词：绿色建筑绿色度运行监测关键性能指标体系物联网用户行为