检索结果-南通市图书馆

采用二元CSP引擎求解RTL数据通路的可满足性

维普期刊数据库评论

在线全文

维普期刊数据库

学校读者我要写书评

暂无评论

计算机辅助设计与图形学学报 2009年第4期21卷 442-447页

作者：吴为民北京交通大学计算机与信息技术学院北京100044

针对寄存器传输级(RTL)验证和测试过程中非常重要的数据通路可满足性求解问题,提出一种基于二元约束满足问题(CSP)的求解方法,包括数据通路提取、二元CSP建模和搜索求解3个步骤.数据通路提取通过对接口布尔变量和某些字变量赋值,为各个... 详细信息

针对寄存器传输级(RTL)验证和测试过程中非常重要的数据通路可满足性求解问题,提出一种基于二元约束满足问题(CSP)的求解方法,包括数据通路提取、二元CSP建模和搜索求解3个步骤.数据通路提取通过对接口布尔变量和某些字变量赋值,为各个数据通路器件建立环境;二元CSP建模则根据该环境和各个数据通路器件的功能,将数据通路的可满足性问题转化为二元CSP描述;该二元CSP问题的描述被送入到二元CSP引擎,并采用冲突引导的回跳搜索策略进行求解,获得有解的例证或无解的判定.实验结果表明,即使在没有采取很多优化策略的条件下,该方法仍有较好的性能,并优于基于线性规划(LP)的求解方法.

关键词：寄存器传输级数据通路可满足性约束满足问题模型检验

在线全文

学校读者我要写书评

暂无评论

计算机专业英语归类问题探讨

内蒙古科技与经济 2022年第15期 150-152页

作者：吴为民广东海洋大学图书馆采编部广东湛江524088

目前国内图书馆对于计算机专业英语的归类研究和实践存在多样化问题,文章分析了专业英语归类研究现状及高校图书馆“计算机专业英语”归类现状,并提出在“H31英语”类目下注释“专业英语入此,并采用组配编码法”,以期解决专业英语尤其... 详细信息

目前国内图书馆对于计算机专业英语的归类研究和实践存在多样化问题,文章分析了专业英语归类研究现状及高校图书馆“计算机专业英语”归类现状,并提出在“H31英语”类目下注释“专业英语入此,并采用组配编码法”,以期解决专业英语尤其是计算机专业英语分类标引多样化的问题。

关键词：计算机专业英语分类标引组配编码法

同方期刊数据库博看期刊评论

在线全文

学校读者我要写书评

暂无评论

《中图法》“人员”管理类目探讨

合作经济与科技 2023年第15期 125-127页

作者：吴为民广东海洋大学图书馆广东湛江

针对《中图法》第5版“人员”管理类目设置存在的非逻辑性、类名和编码的非规范性,并检索国家图书馆关于“人力资源管理(人事管理)”文献的归类现状,以管理科学和旅游经济的理论性类目为例,对“人员”管理的类目归属作修正。改进措施:... 详细信息

针对《中图法》第5版“人员”管理类目设置存在的非逻辑性、类名和编码的非规范性,并检索国家图书馆关于“人力资源管理(人事管理)”文献的归类现状,以管理科学和旅游经济的理论性类目为例,对“人员”管理的类目归属作修正。改进措施:提高“人员”管理类目的科学性和实用性,解决行政管理、人事管理、财务管理等总论性著作和专论性著作的归类问题。

关键词：《中国图书馆分类法》第5版人员管理类目设置

医保基金代位求偿制度的法理探讨与完善建议——以交通事故第三人侵权案件为例

在线全文

学校读者我要写书评

暂无评论

中国医疗保险 2023年第12期 72-76页

作者：吴为民浙江省嘉善县医疗保障局嘉兴314100

医疗保障是事关人民群众健康福祉的重大民生工程,涉及千家万户,维护医保基金安全是全社会的共同责任。近年来,打击欺诈骗保专项行动不断深入,通过典型案例的查处,对违法违规人员形成了有效震慑。然而,欺诈骗取医保基金犯罪仍未从根本上... 详细信息

医疗保障是事关人民群众健康福祉的重大民生工程,涉及千家万户,维护医保基金安全是全社会的共同责任。近年来,打击欺诈骗保专项行动不断深入,通过典型案例的查处,对违法违规人员形成了有效震慑。然而,欺诈骗取医保基金犯罪仍未从根本上得到遏制,尤其是在交通事故等外伤医治中欺诈骗保行为呈现易发趋势。分析欺诈骗保犯罪行为的发生原因,针对性地提出系统性预防方案,对维护医保基金安全有序运行有重要的现实意义。

关键词：医保基金交通事故欺诈骗保

磁共振弥散加权成像和动态对比增强多参数在前列腺癌诊断中的价值研究

在线全文

学校读者我要写书评

暂无评论

中文科技期刊数据库（全文版）医药卫生 2022年第9期 153-156页

作者：吴为民右江民族医学院附属医院广西百色533000

分析前列腺癌临床诊断期间选择不同诊断方式,如动态对比增强多参数(DCE-MRI)、弥散加权成像(DWI)所呈现价值。方法 2021年2月至2022年2月入院就诊疑似前列腺癌81例患者作为此次分析对象,入院后即刻开展病理诊断后阳性与阴性分别为44例... 详细信息

分析前列腺癌临床诊断期间选择不同诊断方式,如动态对比增强多参数(DCE-MRI)、弥散加权成像(DWI)所呈现价值。方法 2021年2月至2022年2月入院就诊疑似前列腺癌81例患者作为此次分析对象,入院后即刻开展病理诊断后阳性与阴性分别为44例、37例。将以上结果定义为本研究参照金标准,同时给予81例疑似病例DCE-MRI和DWI诊断,分析不同诊断方式诊断结果差异。结果行DWI诊断,符合率、敏感度、特异度、阳性预测值58.02%、43.18%、75.68%、67.86%,行DCE-MRI诊断,符合率、敏感度、特异度、阳性预测值93.83%、93.18%、94.59%、95.35%。DCE-MRI诊断后符合率、敏感度、特异度、阳性预测值均显著高于DWI诊断(P<0.05);DWI诊断后漏诊及误诊率均显著高于DCE-MRI诊断(P<0.05);DWI诊断后总满意率显著低于DCE-MRI诊断(P<0.05)。结论前列腺癌临床诊断期间选择DCE-MRI方式诊断具有较高诊断准确率、灵敏度及特异度,能够减少临床出现的误诊或误诊情况,整体临床诊断有效性优于DWI诊断,有利于后期临床对前列腺疾病进行有效分期并拟定单独治疗计划。

关键词：前列腺癌诊断 DCE-MRI DWI

1∶2000基础数字线划图动态更新质检方法研究--以浙江省为例

维普期刊数据库评论

在线全文

维普期刊数据库

学校读者我要写书评

暂无评论

测绘与空间地理信息 2023年第3期46卷 116-119页

作者：吴为民浙江省测绘科学技术研究院浙江杭州311122

分析了1∶2000基础数字线划图动态更新方法;分析了动态更新容易存在的问题,针对存在的问题提出了解决方法,进一步研究出新的抽样方式及样本质量评价方式,更加科学、合理地评价成果的质量,对其他比例尺基础数字线划图更新也可提供参照。

关键词： 1∶2000基础数字线划图动态更新质检方法

在线全文

学校读者我要写书评

暂无评论

优化线长和拥挤度的增量式布局算法

计算机辅助设计与图形学学报 2003年第6期15卷 651-655页

作者：李卓远吴为民洪先龙清华大学计算机科学与技术系北京100084

随着IC技术的发展 ,降低连线拥挤度已经成为一个保证布线成功率的至关重要的因素提出一种标准单元增量式布局算法C ECOP 该算法通过一个新型的布线估计模型来精确估算布局以后的走线情况 ,利用力驱动的方法进行单元插入和单元推移来... 详细信息

随着IC技术的发展 ,降低连线拥挤度已经成为一个保证布线成功率的至关重要的因素提出一种标准单元增量式布局算法C ECOP 该算法通过一个新型的布线估计模型来精确估算布局以后的走线情况 ,利用力驱动的方法进行单元插入和单元推移来消除局部拥挤 ,同时进一步优化线长来自美国工业界的测试实例表明 ,该算法能够很好地消除走线局部拥挤 ,同时尽量维持原有布局方案的电路性能。

关键词：集成电路增量式布局拥挤度 IC 电路性能线长优化

在线全文

学校读者我要写书评

暂无评论

巨大神经纤维瘤的治疗经验

中华整形外科杂志 2023年第9期39卷 990-995页

作者：夏明吴为民温立霞郑华蓉向婷婷三峡大学第一临床医学院、宜昌市中心人民医院烧伤整形外科宜昌443000

目的总结巨大神经纤维瘤的治疗经验。方法回顾性分析2019年1月至2022年12月宜昌市中心人民医院烧伤整形外科收治的巨大神经纤维瘤患者的临床资料。术前通过介入技术完成瘤体营养血管栓塞术,术中边剥离瘤体边进行止血,从瘤体基底部将其... 详细信息

目的总结巨大神经纤维瘤的治疗经验。方法回顾性分析2019年1月至2022年12月宜昌市中心人民医院烧伤整形外科收治的巨大神经纤维瘤患者的临床资料。术前通过介入技术完成瘤体营养血管栓塞术,术中边剥离瘤体边进行止血,从瘤体基底部将其完整切除,针对不同的创面分别行创缘直接拉拢缝合,或于瘤体表面取全厚皮肤制成网状皮片原位回植修复创面,并以负压封闭引流敷料覆盖创面,负压维持在-150~-250 mmHg(1 mmHg=0.133 kPa)。术后对瘤体复发、缺损修复及相关并发症发生情况进行观察和随访。结果共纳入4例患者,男2例,女2例,年龄43~56岁,平均49.3岁,其中有2例曾在外院行神经纤维瘤切除术。4例患者肿瘤分别位于左股部、臀部、左腰部、左小腿,体积分别为20 cm×10 cm×10 cm、50 cm×20 cm×15 cm、20 cm×15 cm×10 cm、15 cm×10 cm×8 cm。左股部及左小腿瘤体切除后直接将创缘拉拢缝合,臀部及左腰部取瘤体表面全厚皮肤制成网状皮片回植。术后1例臀部神经纤维瘤患者由于创面失血过多转入重症医学科治疗,之后创面形成窦道,经多次换药后创面愈合;其余3例均于术后2周拆除负压封闭引流敷料及伤口缝线,创面愈合良好。术后随访6个月至3年,4例患者创面均愈合良好,未见肿瘤复发,无运动及感觉功能障碍。结论采用手术切除及整形外科技术治疗巨大神经纤维瘤可获得较好的效果。术前行瘤体栓塞治疗,术中完整剥离肿物,可有效降低出血的风险;肿瘤切除后遗留的较小创面可直接缝合,较大创面可制备肿瘤表面网状皮片回植;负压封闭引流可促进创面愈合。

关键词：神经纤维瘤修复外科手术栓塞,治疗性皮肤移植负压封闭引流

在线全文

学校读者我要写书评

暂无评论

空间机器人位姿空间分层量化建模方法

机器人 1997年第5期19卷 384-389页

作者：吴为民浙江大学机械系

本文首先分析了空间机器人在位姿空间的不完全可控性及其给运动规划带来的困难．在此基础上，本文提出一种适用于空间机器人的位姿空间分层量化建模方法．此方法首先对位姿空间进行了分层量化处理，然后通过定义位姿间的相邻关系而建立... 详细信息

本文首先分析了空间机器人在位姿空间的不完全可控性及其给运动规划带来的困难．在此基础上，本文提出一种适用于空间机器人的位姿空间分层量化建模方法．此方法首先对位姿空间进行了分层量化处理，然后通过定义位姿间的相邻关系而建立了位姿空间图（ＣＳＧ），并对ＣＳＧ的顶点和边的碰撞情况做了规定．

关键词：空间机器人位姿空间量化建模运动规划