期刊文献+
共找到581篇文章
< 1 2 30 >
每页显示 20 50 100
我国2000年抗震设计模式规范展望 被引量:44
1
作者 王亚勇 《建筑结构》 CSCD 北大核心 1999年第6期32-36,共5页
对现行(建筑抗震设计规范)(GBJ11—89)的主要特点和存在问题作了评论,提出了编制我国2000年抗震设计模式规范的初步设想和若干重要研究课题:对地震危险方面的研究,实现由烈度向地震动参数区划的过渡,按重现期或超越... 对现行(建筑抗震设计规范)(GBJ11—89)的主要特点和存在问题作了评论,提出了编制我国2000年抗震设计模式规范的初步设想和若干重要研究课题:对地震危险方面的研究,实现由烈度向地震动参数区划的过渡,按重现期或超越概率重新定义地震危险水平;提出以结构性能为基础的抗震设防标准,定义不同结构的性能目标;对现行抗震设计反应谱的缺点加以改进,考虑长周期谱成分和近场强震效应,采用能量谱和位移谱、损伤谱等;将能量方法实用化,引进地震动持时等;对结构抗震计算方法加以改进;以结构位移或构件及节点的应变为主要参数,建立结构损坏和倒塌的标准等等。 展开更多
关键词 抗震设计 模式规范 性能设计 建筑结构
下载PDF
事故致因“2-4”模型及其事故原因因素编码研究 被引量:53
2
作者 傅贵 王秀明 李亚 《安全与环境学报》 CAS CSCD 北大核心 2017年第3期1003-1008,共6页
事故致因模型是用于事故原因分析和预防的重要理论依据,模型的可操作性是决定事故预防效果的重要影响因素。对目前国内研究较为持续和系统的事故致因"2-4"模型进行了深入研究,以增强其在事故分析时的可操作性。首先,研究了事... 事故致因模型是用于事故原因分析和预防的重要理论依据,模型的可操作性是决定事故预防效果的重要影响因素。对目前国内研究较为持续和系统的事故致因"2-4"模型进行了深入研究,以增强其在事故分析时的可操作性。首先,研究了事故致因"2-4"模型中组织内、外部原因的各个阶段原因因素的划分情况;其次,根据得到的各阶段原因因素划分结果,对应用事故致因"2-4"模型分析事故原因的因素进行了编码;最后,以一起重大瓦斯爆炸事故为例,对事故致因"2-4"模型原因因素编码系统的有效性进行了实证研究。划分了事故致因"2-4"模型中的各原因模块中的原因因素,并得到了不安全动作和物态、习惯性不安全行为、安全管理体系、安全文化、外部因素等5个层级原因,确定了基于事故致因"2-4"模型的30个原因因素。对事故原因因素进行系统编码,提高了应用事故致因"2-4"模型进行事故原因分析和事故预防的可操作性,增强了其应用实践性。 展开更多
关键词 安全工程 事故致因“2-4”模型 原因因素 可操作性 编码
下载PDF
极值风速概率方法研究进展 被引量:24
3
作者 李宏男 王杨 伊廷华 《自然灾害学报》 CSCD 北大核心 2009年第2期15-26,共12页
极值风速的研究对于工程结构的设计和安全使用具有重要的现实意义。阐述了极值风速的研究背景,综述了国内外极值风速的研究进展,对比研究了近年来最新的极值风速概率模型,包括3种极值分布(Ⅰ,Ⅱ,Ⅲ)以及POT方法、MIS法、R-LOS法和相应... 极值风速的研究对于工程结构的设计和安全使用具有重要的现实意义。阐述了极值风速的研究背景,综述了国内外极值风速的研究进展,对比研究了近年来最新的极值风速概率模型,包括3种极值分布(Ⅰ,Ⅱ,Ⅲ)以及POT方法、MIS法、R-LOS法和相应的改进方法。在比较各种方法优缺点和适用条件的同时,针对不同的概率分布模型,分别给出了具体所采用的合理的参数估计方法,如最小二乘法、最大似然函数法、概率加权矩法和矩法。同时对极值风速的不同方法研究现状进行了总结,最后针对当前的一些热点问题进行了展望。 展开更多
关键词 风荷载 极值风速 概率模型 设计规范
下载PDF
刑法立法模式的选择及对犯罪圈扩张的控制 被引量:18
4
作者 时延安 《法学杂志》 CSSCI 北大核心 2013年第4期32-39,共8页
刑法立法应坚持统一法典模式,并通过《刑法修正案》的形式增加或者修改《刑法》条文。对于目前统一刑法典存在的问题,应通过及时的法典编纂、提高刑法立法技术以及制定完善的法律适用规则来加以解决。犯罪圈的扩张应当缓慢前进,对待新... 刑法立法应坚持统一法典模式,并通过《刑法修正案》的形式增加或者修改《刑法》条文。对于目前统一刑法典存在的问题,应通过及时的法典编纂、提高刑法立法技术以及制定完善的法律适用规则来加以解决。犯罪圈的扩张应当缓慢前进,对待新的社会脱序现象,应当首先考虑运用行政处罚的手段加以惩治和预防。 展开更多
关键词 立法模式 统一法典 刑罚观念 法律适用规则
原文传递
网络蠕虫的扫描策略分析 被引量:7
5
作者 王方伟 张运凯 +1 位作者 王长广 马建峰 《计算机科学》 CSCD 北大核心 2007年第8期105-108,158,共5页
网络蠕虫已经严重威胁了网络的安全。为了有效防治网络蠕虫,首要任务必须清楚有什么扫描方法,以及这些扫描方法对蠕虫传播的影响。为此,本文构建了一个基于离散时间的简单蠕虫传播模型,通过对CodeRed蠕虫传播的真实数据比较,验证了此模... 网络蠕虫已经严重威胁了网络的安全。为了有效防治网络蠕虫,首要任务必须清楚有什么扫描方法,以及这些扫描方法对蠕虫传播的影响。为此,本文构建了一个基于离散时间的简单蠕虫传播模型,通过对CodeRed蠕虫传播的真实数据比较,验证了此模型的有效性。以此模型为基础,详细分析了蠕虫的不同扫描策略,如均匀扫描、目标列表扫描、路由扫描、分治扫描、本地子网、顺序扫描、置换扫描,并给出了相应的模型。 展开更多
关键词 网络蠕虫 扫描策略 传播模型 恶意代码
下载PDF
论植物数据库的建立 被引量:12
6
作者 沈光 佟斌 孙波 《国土与自然资源研究》 2007年第1期89-90,共2页
计算机技术在植物学的应用越来越广泛,极大地促进了植物学科的发展,同时面向各种应用的植物信息系统也越来越多地建立起来;如何建立植物数据库是开发各种植物信息系统面临的最基本和最核心的问题;讨论了如何建立适合各种需要的植物数据... 计算机技术在植物学的应用越来越广泛,极大地促进了植物学科的发展,同时面向各种应用的植物信息系统也越来越多地建立起来;如何建立植物数据库是开发各种植物信息系统面临的最基本和最核心的问题;讨论了如何建立适合各种需要的植物数据库,以便各种植物系统之间的互通和联合,并避免人力和物力的浪费。 展开更多
关键词 植物数据库 信息系统 数据库模型 植物编码
下载PDF
基于多面体模型的编译“黑魔法” 被引量:13
7
作者 赵捷 李颖颖 赵荣彩 《软件学报》 EI CSCD 北大核心 2018年第8期2371-2396,共26页
基于多面体模型的编译技术发展近30年,已经在多个开源编译器和商业编译器中得到了应用和实现.与传统的编译优化模型相比,多面体模型具备应用范围广、表示能力强、优化空间大等优点,代表了程序自动并行化领域众多方向最先进的水平,成为... 基于多面体模型的编译技术发展近30年,已经在多个开源编译器和商业编译器中得到了应用和实现.与传统的编译优化模型相比,多面体模型具备应用范围广、表示能力强、优化空间大等优点,代表了程序自动并行化领域众多方向最先进的水平,成为国际上多个编译研发团队的研究热点;同时,多面体模型抽象程度高、实现难度大、面临问题多的特征,阻碍了基于该模型的编译技术在发展相对滞后地区的普及,形成国内专门从事该问题研究的团队屈指可数的现象.为了打开多面体模型的"黑盒子",首先描述了多面体模型的原理,揭示了基于多面体模型的编译流程,并指出了该领域的主要研究内容;接下来,从程序并行性、数据局部性和其他领域上的扩展应用这3个方面对该领域上的研究进展进行了介绍;最后,对该研究领域当前面临的挑战和潜在的研究方向进行了总结.研究目的是通过回顾和总结基于多面体模型的编译技术研究进展,为国内编译研发团队提供重要参考,以期推动我国在该领域上的发展. 展开更多
关键词 多面体模型 并行性 局部性 依赖 调度 代码生成 循环分块 数组压缩
下载PDF
程序流程图到代码的自动生成算法 被引量:13
8
作者 王黎明 王帼钕 +3 位作者 周明媛 褚艳利 陈科 陈平 《西安电子科技大学学报》 EI CAS CSCD 北大核心 2012年第6期70-77,共8页
提出了一种从标准程序流程图到结构化代码生成的新算法.该算法通过对程序流程图结构的分析与识别、循环结构的线性化以及对分支结构域的确定等过程,能够生成符合程序流程图语义的结构化C代码(包括continue/break/return);同时,能够识别... 提出了一种从标准程序流程图到结构化代码生成的新算法.该算法通过对程序流程图结构的分析与识别、循环结构的线性化以及对分支结构域的确定等过程,能够生成符合程序流程图语义的结构化C代码(包括continue/break/return);同时,能够识别出非结构化的程序流程图. 展开更多
关键词 可视化编程 程序流程图 模型驱动 代码生成
下载PDF
三维激光扫描系统中目标点云的颜色复原 被引量:12
9
作者 沙欧 吕源治 +2 位作者 凌剑勇 张尧禹 付瀚毅 《光学精密工程》 EI CAS CSCD 北大核心 2020年第10期2158-2167,共10页
为建立目标表面的真实彩色三维点云数据模型,以编码标志点作为定位介质,利用目标的无色点云和彩色图像,提出一种三维点云颜色复原方法。在目标附近放置多组编码标志点,用基于激光线的三维扫描设备获取目标无色的三维点云和编码标志点信... 为建立目标表面的真实彩色三维点云数据模型,以编码标志点作为定位介质,利用目标的无色点云和彩色图像,提出一种三维点云颜色复原方法。在目标附近放置多组编码标志点,用基于激光线的三维扫描设备获取目标无色的三维点云和编码标志点信息;用彩色相机从多视角采集目标及编码标志点的彩色图像,通过Canny边缘检测及亚像素定位算法得到编码标志点的图像坐标;再利用改进的直接线性变换法由编码标志点的世界坐标值及像素坐标值求解出相机相对世界坐标系的位姿矩阵,通过相机成像模型建立点云与彩色图像像元的映射关系;最后,利用插值法计算局部点云的颜色并完成整个点云颜色的融合。采用该方法对多个模型进行了颜色复原实验,彩色三维点云的颜色空间位置偏差小于0.6 mm,重建效率为7.3×104 point/s,彩色三维点云与目标相似度高。该方法可以实现目标彩色三维点云重建,计算精度和效率均能够满足使用需求。 展开更多
关键词 三维点云 成像模型 编码标志点 空间坐标变换 颜色复原
下载PDF
美国建筑抗震设计的法规体系与设计地震动的确定 被引量:12
10
作者 张萌 潘华 李金臣 《震灾防御技术》 CSCD 北大核心 2017年第2期306-318,共13页
本文论述了美国建筑抗震设计法规体系发展演变过程及其代表性的规范、标准与技术文档;分析了美国当前建筑法规中设计地震动参数的重要技术见解,设计地震动的不同层次与作用,基于目标风险的最大考虑地震概念等技术的进展,同时,也总结了... 本文论述了美国建筑抗震设计法规体系发展演变过程及其代表性的规范、标准与技术文档;分析了美国当前建筑法规中设计地震动参数的重要技术见解,设计地震动的不同层次与作用,基于目标风险的最大考虑地震概念等技术的进展,同时,也总结了美国抗震设计相关法规中设计地震动确定的基本规定。本文旨在从美国庞大复杂的建筑设计法规体系中,梳理出清晰的建筑抗震设计的法规体系脉络与设计地震动的要求,为我国建筑抗震设计中设计地震动的相关研究提供参照。 展开更多
关键词 建筑抗震设计 设计地震动 模式规范 共识标准 NEHRP Provisions ASCE7 MCER
下载PDF
基于基因理论的产品设计创新模型 被引量:11
11
作者 李正军 艾婷婷 王浩鑫 《机械设计》 CSCD 北大核心 2016年第2期109-113,共5页
结合基因学理论,研究设计创新模型,探索设计创新方法。运用理论分析、系统归纳及数学建模等方法,通过对基因理论过程模型内在规律的逻辑分析,研究产品设计基因的构成,并构建产品设计创新的基因模型。结合创新目标的要求,构建以科学、技... 结合基因学理论,研究设计创新模型,探索设计创新方法。运用理论分析、系统归纳及数学建模等方法,通过对基因理论过程模型内在规律的逻辑分析,研究产品设计基因的构成,并构建产品设计创新的基因模型。结合创新目标的要求,构建以科学、技术与艺术综合的新组织、新机制及新秩序的创新基础模型,构建产品设计模型的创新编码,通过设计创新的优化模型实现产品设计创新。 展开更多
关键词 产品设计 创新模型 设计基因 创新编码 机制 秩序
下载PDF
法律合约与智能合约一致性综述 被引量:9
12
作者 刘琴 王德军 +2 位作者 王潇潇 郑绪睿 孟博 《计算机应用研究》 CSCD 北大核心 2021年第1期1-8,共8页
从计算机科学的角度对法律合约与智能合约的一致性研究现状进行了总结和分析。首先,分别对法律合约描述语言和智能合约开发语言进行了分类和分析,总结了每种语言的特点;其次,根据合同自动化执行的三个发展阶段对法律合约和智能合约的一... 从计算机科学的角度对法律合约与智能合约的一致性研究现状进行了总结和分析。首先,分别对法律合约描述语言和智能合约开发语言进行了分类和分析,总结了每种语言的特点;其次,根据合同自动化执行的三个发展阶段对法律合约和智能合约的一致性内涵进行了分析和讨论;分别基于形式化模型和合约模板总结了由法律合约生成智能合约代码的方法和关键技术,并对其进行了讨论和评价;最后,对未来法律合约与智能合约的一致性研究进行了总结和展望。 展开更多
关键词 形式化模型 智能合约 合约模板 特定领域 代码生成
下载PDF
将Simulink模型用于HLA仿真 被引量:6
13
作者 乔海泉 田新华 黄柯棣 《系统仿真学报》 EI CAS CSCD 北大核心 2006年第2期335-337,400,共4页
介绍已有的在HLA仿真中重用MATLAB模型的各种方法,并分析了各种方法的优缺点,然后提出新的将Simulink模型用于HLA仿真的方法,即在模型中加入RTI接口模块,模型通过接口模块与RTI通信,当模型在Simulink环境中测试正确后,再使用Real-TimeWo... 介绍已有的在HLA仿真中重用MATLAB模型的各种方法,并分析了各种方法的优缺点,然后提出新的将Simulink模型用于HLA仿真的方法,即在模型中加入RTI接口模块,模型通过接口模块与RTI通信,当模型在Simulink环境中测试正确后,再使用Real-TimeWorkshop生成C++代码提高运行效率。文章接着介绍RTI接口模块的实现技术,包括S-Function,数据的类型映射与打包解包,代码生成,RTI接口模块的自动生成等,最后对用RTI接口模块开发的联邦成员的运行效率进行了对比分析。 展开更多
关键词 SIMULINK HLA RTI 模型重用 代码生成
下载PDF
面向地理对象多尺度表达的剖分编码方法研究 被引量:7
14
作者 杨宇博 程承旗 宋树华 《地理与地理信息科学》 CSSCI CSCD 北大核心 2010年第5期33-36,共4页
现有模型对影像数据中的地理对象进行多尺度表达很困难,鉴于全球剖分模型在对地理对象表达时所具备的全球唯一性、层次性、多尺度性、编码具有地学含义等特点,提出了面向地理对象多尺度表达的剖分编码方法,目的是对地理对象赋予统一的... 现有模型对影像数据中的地理对象进行多尺度表达很困难,鉴于全球剖分模型在对地理对象表达时所具备的全球唯一性、层次性、多尺度性、编码具有地学含义等特点,提出了面向地理对象多尺度表达的剖分编码方法,目的是对地理对象赋予统一的剖分编码,使编码具有地学含义和多尺度特性。实验证明,面向地理对象多尺度表达的剖分编码方法可以满足地理对象多尺度剖分化表达的需要,为新一代GIS解决地理信息"尺度鸿沟"问题,向用户提供"连续"、"自适应"的表达尺度奠定了基础。 展开更多
关键词 GIS 全球剖分模型 EMD模型 多尺度表达 剖分编码
下载PDF
模型驱动的信息系统图形用户界面开发技术
15
作者 张道平 文小兵 《计算机工程》 EI CAS CSCD 北大核心 2005年第5期102-104,111,共4页
如何提高软件的开发效率,同时提高软件适应需求变化的能力一直是软件工程的难点。模型驱动的开发方法(MDD)是解决该问题的一个有效途径。该文针对信息系统领域的图形用户界面开发的特点,把MDD应用于界面的开发,详细论述了如何建立界面... 如何提高软件的开发效率,同时提高软件适应需求变化的能力一直是软件工程的难点。模型驱动的开发方法(MDD)是解决该问题的一个有效途径。该文针对信息系统领域的图形用户界面开发的特点,把MDD应用于界面的开发,详细论述了如何建立界面框架、数据模型、静态模型、动态模型和相应的代码生成器。 展开更多
关键词 MDD 框架 模型 代码生成器
下载PDF
代码变更驱动的软件产品线演化方法 被引量:7
16
作者 张薇 吴毅坚 +1 位作者 沈立炜 赵文耘 《小型微型计算机系统》 CSCD 北大核心 2017年第5期919-924,共6页
软件产品线由一组共享了核心资产并具有可变性的相似产品组成.现实的软件产品线开发往往会出现新产品,导致软件产品线开发的管理困难.同时,这种基于特定产品的代码变更对现有的其他产品可能也是有效的,因此可以用于推动整个软件产品线... 软件产品线由一组共享了核心资产并具有可变性的相似产品组成.现实的软件产品线开发往往会出现新产品,导致软件产品线开发的管理困难.同时,这种基于特定产品的代码变更对现有的其他产品可能也是有效的,因此可以用于推动整个软件产品线的演化.提出一种通过分析代码变更驱动软件产品线演化的方法.首先进行已有代码的差异比较,得到不同产品之间的程序代码模块结构的差异;然后通过启发式规则对特征模型进行变更;最后基于变更后的特征模型和追踪关系,对核心资产代码提出重构建议,从而驱动软件产品线的演化.另外,本文通过实际的产品实例说明了该方法的应用过程,证明了方法对于实际的软件产品线是有效的. 展开更多
关键词 软件产品线 可变性 特征模型 代码重构
下载PDF
“移动互联网+ ”科普整合模式创新研究——以金融科技科普活动为例 被引量:7
17
作者 陈海琳 袁裕辉 《科技管理研究》 CSSCI 北大核心 2020年第5期146-151,共6页
“移动互联网+”科普具有科普主体多元化、科普对象普及化、科普内容立体化、科普传播渠道多样化等特征。为实现线下科普活动和线上科普活动的有效闭环整合,构建基于整合性、广泛性、有效性三大原则的“移动互联网”+科普整合模式概念... “移动互联网+”科普具有科普主体多元化、科普对象普及化、科普内容立体化、科普传播渠道多样化等特征。为实现线下科普活动和线上科普活动的有效闭环整合,构建基于整合性、广泛性、有效性三大原则的“移动互联网”+科普整合模式概念模型。结合广州金融科技科普的实践,分析“移动互联网”+科普整合模式的具体实现路径。“移动互联网”+科普整合模式可以有效加大科普信息传播广度、加深科普信息传播深度、增强科普效率。 展开更多
关键词 科普 整合模式 “移动互联网+” 二维码 金融科技
下载PDF
医学院校法律意识培养路径和创新性教育模式研究 被引量:7
18
作者 路丹 谷雪峰 +3 位作者 李达 王克娜 宋佳佳 于晓波 《中国继续医学教育》 2022年第7期105-109,共5页
医学生是健康中国建设的主力军,加强以“职业精神”为导向的人文素质教育是一项长期而系统的工作。医学院校大学生的人文素质教育内涵着基于人道的职业态度、利他的价值观、人本的沟通艺术、基于责任的法律意识、基于愿景的团队精神和... 医学生是健康中国建设的主力军,加强以“职业精神”为导向的人文素质教育是一项长期而系统的工作。医学院校大学生的人文素质教育内涵着基于人道的职业态度、利他的价值观、人本的沟通艺术、基于责任的法律意识、基于愿景的团队精神和基于伦理的行为自觉等方面的教育。调查发现,医学生中存在法律知识缺乏、法治观念淡薄的问题,因此,在人文素质教育中加强法律意识的培养尤为关键。培养医学生的法律意识有助于培养其责任意识、道德情感和法律思维,也是教育本质属性的必然要求。建议医学院校从多元化的教学方式、注重实践能力、创设法律教育氛围这三个途径提升医学生的法律意识。 展开更多
关键词 医学生 人文素质 法律意识 培养路径 教育模式 民法典
下载PDF
复合材料结构制造成本估算模型及软件开发 被引量:5
19
作者 叶强 陈普会 柴亚南 《复合材料学报》 EI CAS CSCD 北大核心 2008年第4期161-167,共7页
基于制造工艺过程的成本估算模型,采用Delphi可视化编程语言和SQL server数据库开发工具,开发了复合材料制造成本评估软件。介绍了基于制造工艺过程的成本估算模型的基本特点,重点讨论了工艺时间模型并分析了构件复杂程度对工艺时间的... 基于制造工艺过程的成本估算模型,采用Delphi可视化编程语言和SQL server数据库开发工具,开发了复合材料制造成本评估软件。介绍了基于制造工艺过程的成本估算模型的基本特点,重点讨论了工艺时间模型并分析了构件复杂程度对工艺时间的影响。此外,通过引入曲率熵的概念,对前人提出的构件复杂性因子进行了改进,以便更合理地描述构件的复杂度。提出了成本估算软件的总体方案,确定了软件实现流程,并建立了成本数据库管理系统。列举了用该软件对一种复合材料单曲率板的制造成本进行估算的过程。应用所开发的软件对某型飞机的复合材料副翼和金属副翼的制造成本进行了估算,估算结果表明,复合材料副翼由于采用了低成本工艺与整体化的设计理念,其制造成本低于金属副翼。 展开更多
关键词 复合材料 成本估算模型 复杂性因子 成本数据库 成本软件
下载PDF
基于SCADE开发的SDMC在堆芯功率控制中的应用 被引量:7
20
作者 邓志光 吕鑫 +3 位作者 简一帆 王雪梅 张旭 陈明虎 《自动化仪表》 CAS 2019年第4期99-102,共4页
在压水堆(PWR)核电站中,使用传统的PID算法难以完成堆芯功率的自动控制。使用阶梯式策略对动态矩阵预测控制(DMC)的控制率求解进行改进,得到了阶梯式动态矩阵预测控制(SDMC)算法,并将其应用于压水堆堆芯,以实现堆芯功率的自动控制。同时... 在压水堆(PWR)核电站中,使用传统的PID算法难以完成堆芯功率的自动控制。使用阶梯式策略对动态矩阵预测控制(DMC)的控制率求解进行改进,得到了阶梯式动态矩阵预测控制(SDMC)算法,并将其应用于压水堆堆芯,以实现堆芯功率的自动控制。同时,为使算法更好地应用于工程实际,结合高安全性的应用开发环境(SCADE)平台,依据SCADE软件的程序设计流程,以模型驱动的方式完成图形化建模,并自动生成可直接面向工程的安全嵌入式代码。在SCADE平台中完成相应的软件和开发,通过堆芯功率大范围变工况试验以及与PID和Fuzzy-PID算法的仿真对比结果可知:SDMC能快速、准确地跟踪堆芯功率变化,达到了较好的效果。该研究结果表明了在SCADE环境下进行软件算法开发的可行性和优越性。 展开更多
关键词 堆芯功率控制 SACDE 模型驱动 嵌入式代码 阶梯式动态矩阵 工程应用
下载PDF
上一页 1 2 30 下一页 到第
使用帮助 返回顶部