期刊文献+
共找到182篇文章
< 1 2 10 >
每页显示 20 50 100
On the Approaching Domain Obtained by Finite Element Method
1
作者 邹青松 李永海 《Northeastern Mathematical Journal》 CSCD 2002年第3期273-282,共10页
The use of finite element method leads to replacing the initial domain by an approaching domain. Under some appropriate assumptions, we prove that there exists a W1,+∞-diffeomorphism from the original domain to the a... The use of finite element method leads to replacing the initial domain by an approaching domain. Under some appropriate assumptions, we prove that there exists a W1,+∞-diffeomorphism from the original domain to the approaching domain. 展开更多
关键词 nonconforming isoparametric finite element method approaching do-main DIFFEOMORPHISM
在线阅读 下载PDF
安全协议DoS攻击的形式化分析方法研究 被引量:4
2
作者 周世健 蒋睿 杨晓辉 《中国电子科学研究院学报》 2008年第6期592-598,共7页
针对形式化方法对安全协议DoS攻击分析的不足之处,提出了一种基于串空间模型的扩展形式化方法。利用扩展后的形式化方法,对IEEE802.11 i四步握手协议进行了DoS攻击分析,发现其的确存在DoS攻击漏洞。通过分析,提出一种可以改善DoS攻击的... 针对形式化方法对安全协议DoS攻击分析的不足之处,提出了一种基于串空间模型的扩展形式化方法。利用扩展后的形式化方法,对IEEE802.11 i四步握手协议进行了DoS攻击分析,发现其的确存在DoS攻击漏洞。通过分析,提出一种可以改善DoS攻击的方法,并通过了扩展形式化方法对于判断安全协议DoS攻击分析的测试规则。最后,根据扩展形式化方法对改进后的四步握手协议进行证明,得出改进后协议可以通过两类DoS测试规则运行至结束。 展开更多
关键词 安全协议 IEEE802.11I doS攻击 形式化方法 串空间
在线阅读 下载PDF
满足DO-178B要求的软件需求开发方法 被引量:7
3
作者 陈鑫 王辉 牟明 《计算机工程与设计》 CSCD 北大核心 2012年第7期2673-2677,共5页
为了开发出一份满足适航标准DO-178B要求的机载软件需求规格说明书,在介绍DO-178B对机载软件需求的要求和指出机载软件需求存在问题的基础上,重点讨论了使用结构化激励响应(SSR)方法开发软件需求的6个主要步骤。以飞行显示器软件的一个... 为了开发出一份满足适航标准DO-178B要求的机载软件需求规格说明书,在介绍DO-178B对机载软件需求的要求和指出机载软件需求存在问题的基础上,重点讨论了使用结构化激励响应(SSR)方法开发软件需求的6个主要步骤。以飞行显示器软件的一个功能点为例,说明了使用SSR方法开发的软件需求单元应该具有的7个主要组成部分以及每部分的含义。通过DO-178B和SSR方法相结合,为机载软件需求开发提供了一套可行的技术方案。 展开更多
关键词 do-178B 结构化激励响应方法 机载软件 软件需求开发方法 开发步骤
在线阅读 下载PDF
DO-333标准形式化方法研究 被引量:5
4
作者 郝继锋 叶宏 任晓瑞 《航空计算技术》 2020年第1期124-129,共6页
安全关键系统的基础软件由于其安全认证、提高软件可信性的需求,必须使用形式化方法。调研了嵌入式操作系统、编译器、网络、文件系统的形式化验证案例,在此基础之上引出机载软件形式化方法DO-333标准;阐述了形式化模型、形式化分析概念... 安全关键系统的基础软件由于其安全认证、提高软件可信性的需求,必须使用形式化方法。调研了嵌入式操作系统、编译器、网络、文件系统的形式化验证案例,在此基础之上引出机载软件形式化方法DO-333标准;阐述了形式化模型、形式化分析概念,提炼出DO-333在DO-178C的基础上,针对典型的过程活动、过程目标、其他考虑方面的变化;总结了在工程中使用形式化方法的优点和缺点。 展开更多
关键词 安全关键系统 机载软件 形式化方法 形式化模型 形式化分析 do-333 do-178C
在线阅读 下载PDF
DoS攻击下抛物型多智能体系统的输出反馈领导-跟随一致性 被引量:1
5
作者 刘艳军 昝文广 唐丽 《沈阳工业大学学报》 CAS 北大核心 2024年第5期685-692,共8页
为了解决抛物型多智能体系统(MASs)在拒绝服务(DoS)攻击下的一致性问题,提出了一种基于输出反馈方法的MASs领导-跟随一致性控制协议来应对恶意攻击者发起的DoS攻击,从而实现智能体在无向通信拓扑图上的领导-跟随一致性。对DoS攻击的频... 为了解决抛物型多智能体系统(MASs)在拒绝服务(DoS)攻击下的一致性问题,提出了一种基于输出反馈方法的MASs领导-跟随一致性控制协议来应对恶意攻击者发起的DoS攻击,从而实现智能体在无向通信拓扑图上的领导-跟随一致性。对DoS攻击的频率和持续时间进行了分析,利用Lyapunov稳定性定理推导了抛物型偏微分系统的稳定条件,证明了触发时间间隔不为零,避免了芝诺行为的发生,并通过仿真算例验证了理论结果的有效性。 展开更多
关键词 多智能体系统 拒绝服务攻击 输出反馈方法 偏微分系统 攻击频率 攻击持续时间 LYAPUNOV稳定性定理
在线阅读 下载PDF
具有不完全技术外部性的随机Learning-by-Doing模型及解法 被引量:1
6
作者 王海军 胡适耕 《华中师范大学学报(自然科学版)》 CAS CSCD 北大核心 2009年第3期359-362,共4页
提出适用于随机Learning-by-Doing模型的"附加效用"值函数解法,并用此方法求解具有不完全技术外部性的随机learning-by-doing模型,得到了均衡时的经济增长路径、消费—资本比和值函数,讨论了技术外部性对私人资本回报率、消... 提出适用于随机Learning-by-Doing模型的"附加效用"值函数解法,并用此方法求解具有不完全技术外部性的随机learning-by-doing模型,得到了均衡时的经济增长路径、消费—资本比和值函数,讨论了技术外部性对私人资本回报率、消费倾向、均值经济增长率和个体福利的影响. 展开更多
关键词 1earning—by-doing 内生增长 技术外部性 “附加效用”值函数法
在线阅读 下载PDF
基于主动网回溯算法的防御DoS攻击模型
7
作者 陈珂 殷凡 《苏州市职业大学学报》 2006年第4期53-55,共3页
本文针对目前各种防御DoS攻击方法的不足,提出了一种新型的防御DoS攻击方法模型,该模型基于主动网(Active Netwok)代码动态分配机制,利用主动回溯方法,逐跳在网络节点上建立对DoS攻击的防御,直到在最靠近攻击源的节点建立防御,有效增强... 本文针对目前各种防御DoS攻击方法的不足,提出了一种新型的防御DoS攻击方法模型,该模型基于主动网(Active Netwok)代码动态分配机制,利用主动回溯方法,逐跳在网络节点上建立对DoS攻击的防御,直到在最靠近攻击源的节点建立防御,有效增强了网络性能,避免传输代价的提高,并且具有可编程、可移植、扩展性强的优点。最后通过仿真结果,分析了该系统的性能,并提出了进一步改进的设想。 展开更多
关键词 主动网 回溯方法 防御doS攻击
在线阅读 下载PDF
基于ARIMA模型的湘江流域DO和NH_4^+-N含量贝叶斯预测 被引量:6
8
作者 刘潭秋 王巧玲 《湖南农业大学学报(自然科学版)》 CAS CSCD 北大核心 2017年第5期575-580,共6页
为实时把控湘江流域水质的变化趋势,采用污染比较严重的湘江流域长沙段和益阳段水质指标溶解氧(DO)和氨氮(NH_4^+-N)含量的监测数据,用贝叶斯方法推断经典的ARIMA时间序列模型,并用马尔可夫链蒙特卡罗(MCMC)模拟方法对DO和NH_4^+-N含量... 为实时把控湘江流域水质的变化趋势,采用污染比较严重的湘江流域长沙段和益阳段水质指标溶解氧(DO)和氨氮(NH_4^+-N)含量的监测数据,用贝叶斯方法推断经典的ARIMA时间序列模型,并用马尔可夫链蒙特卡罗(MCMC)模拟方法对DO和NH_4^+-N含量进行贝叶斯预测。结果表明,该模型的贝叶斯预测能实现对湘江流域长沙段和益阳段水质指标DO和NH_4^+-N含量的精确点预测、区间预测和概率预测。 展开更多
关键词 湘江流域 溶解氧(do) 氨氮(NH4+-N)含量 贝叶斯预测 马尔可夫链蒙特卡罗(MCMC)模拟方法
在线阅读 下载PDF
基于DO-178C的非激活代码符合性举证方法研究 被引量:2
9
作者 陈刚 罗旭升 《数字技术与应用》 2019年第6期122-122,124,共2页
根据RTCA DO-178C中对非激活代码的要求,对非激活代码的定义、分类以及适航相关要求进行了进一步的研究,并提出了证明该部分的适航符合性需要向局方提供的信息。为国内民用飞机机载软件适航取证过程提供参考。
关键词 机载软件 符合性 非激活代码 do-178C 举证方法
在线阅读 下载PDF
中文WINDOWS 95/NT/3·x对中文DOS汉字输入法的全面自动接管和超前接管研究
10
作者 宋运康 《计算机工程与应用》 CSCD 北大核心 1999年第9期39-43,共5页
该文在简要介绍了目前我国在实现中文WINDOWS95/NT/3·X接管中文DOS汉字输入法的现状,分析了中文WINDOWS95/NT/3·X全面、自动、超前接管中文DOS汉字输入法的可行性,在此基础上提出了一个实现中文WINDOWS95/NT/3·... 该文在简要介绍了目前我国在实现中文WINDOWS95/NT/3·X接管中文DOS汉字输入法的现状,分析了中文WINDOWS95/NT/3·X全面、自动、超前接管中文DOS汉字输入法的可行性,在此基础上提出了一个实现中文WINDOWS95/NT/3·X全面、自动、超前接管中文DOS汉字输入法的新算法,最后给出了一个新界法演示程序。 展开更多
关键词 WINdoWS doS 接管 迁移 汉字输入法 操作系统
在线阅读 下载PDF
面向DO-178C的襟缝翼控制系统需求的形式化描述
11
作者 战芸娇 魏欧 胡军 《计算机科学》 CSCD 北大核心 2018年第4期196-202,共7页
DO-178C是对机载软件适航认证标准DO-178B的改进和补充,用于对民用飞机机载系统和设备软件质量控制提供指导。SCR(Software Cost Reduction)方法作为一种形式化方法,基于四变量模型,可以对复杂和大型的嵌入式系统进行需求描述。文中基于... DO-178C是对机载软件适航认证标准DO-178B的改进和补充,用于对民用飞机机载系统和设备软件质量控制提供指导。SCR(Software Cost Reduction)方法作为一种形式化方法,基于四变量模型,可以对复杂和大型的嵌入式系统进行需求描述。文中基于DO-178C,使用SCR方法对原飞机系统中的襟缝翼控制系统的需求文档进行形式化的需求描述,针对襟缝翼控制系统中的襟翼电机转速控制模块进行详细的案例分析,判断其是否满足DO-178C的相关验证指标。通过分析和验证,提出了SCR方法中的一些应用技巧。该工作可为SCR方法在机载软件系统中的应用提供依据。 展开更多
关键词 do-178C SCR方法 四变量模型 机载软件 T-VEC
在线阅读 下载PDF
“Can-do”模式下基础日语教学多维化的探索 被引量:1
12
作者 张蕾 徐淑莹 《通化师范学院学报》 2023年第5期133-139,共7页
2010年日本国际交流基金会发布的《JF日语教育标准2010》是用以促进国际日语教育、学习和评估的参考标准,其主要目的是培养日语学习者的跨文化交际能力。这与我国2020年发布的《普通高等学校本科外国语言文学类专业教学指南》中提出的... 2010年日本国际交流基金会发布的《JF日语教育标准2010》是用以促进国际日语教育、学习和评估的参考标准,其主要目的是培养日语学习者的跨文化交际能力。这与我国2020年发布的《普通高等学校本科外国语言文学类专业教学指南》中提出的日语专业应该培养学生灵活运用策略完成跨文化交流任务的目标不谋而合。在新文科建设以及新国标颁布的背景下,高校的日语教育面临着诸多新的挑战,该文旨在通过结合TPR教学法,在基础日语教学中创新应用JF标准中的“Can-do”模式以及导入、完善电子学习档案等,以促进学习者跨文化交际能力的提升。与此同时,还将从打造师生学习共同体、创新教学内容和探索多维化教学等去构建有利于学习者主体能动性发挥的基础日语教学模式。 展开更多
关键词 JF标准 “Can-do”模式 TPR教学法 多维化 电子学习档案
在线阅读 下载PDF
“Can-do”理念下“基础日语”考试方式改革初探 被引量:3
13
作者 孟宪娣 《教育教学论坛》 2018年第38期125-126,共2页
本文围绕"基础日语"课程考试方式的改革,探讨以"Can-do一览表"为基准,以文字、词汇、语法和读解为中心的笔试基础上,增加采访、研讨、协动学习等口头考试,用以综合测试学生Can-do的达成度,确定学生的最终成绩,同时... 本文围绕"基础日语"课程考试方式的改革,探讨以"Can-do一览表"为基准,以文字、词汇、语法和读解为中心的笔试基础上,增加采访、研讨、协动学习等口头考试,用以综合测试学生Can-do的达成度,确定学生的最终成绩,同时教师也可以重新审视自己的教学方法,对学生加以更切合实际的指导。 展开更多
关键词 Can-do 基础日语 考试方式 改革
在线阅读 下载PDF
满足DO-178C的需求开发 被引量:1
14
作者 宋青 闫乐 +1 位作者 王聪 袁鑫 《航空电子技术》 2016年第3期25-29,共5页
为了更好地满足DO-178C规定的需求开发阶段的目标,且在工程上更有效率地进行开发,介绍了在进入软件需求开发阶段前所需要掌握的预备知识以及人员需求;面向需求开发团队给出了一套完整的需求开发方法及每个步骤所包含的具体内容;分析了... 为了更好地满足DO-178C规定的需求开发阶段的目标,且在工程上更有效率地进行开发,介绍了在进入软件需求开发阶段前所需要掌握的预备知识以及人员需求;面向需求开发团队给出了一套完整的需求开发方法及每个步骤所包含的具体内容;分析了需求评审中常见问题,针对问题介绍了一种合理的评审方法,并通过建立工作指导文件的形式规范需求评审过程;最后对双向需求追踪的要求进行了分析。 展开更多
关键词 do-178C 需求开发 需求评审 评审方法 工作指导文件
在线阅读 下载PDF
SBR法反应池溶解氧(DO)的预测控制仿真研究
15
作者 尹志豪 何洪伟 +1 位作者 宋维 冯丽辉 《工业仪表与自动化装置》 2015年第6期93-96,共4页
针对云南某厂SBR法反应过程的特点及PID控制效果欠佳的现状,为了获得更好的控制效果,采用动态矩阵预测控制(DMC)策略对溶解氧(DO)控制进行仿真研究,并确定了其DMC控制器最佳控制参数。通过溶解氧(DO)的DMC控制与PID控制仿真效果对比分析... 针对云南某厂SBR法反应过程的特点及PID控制效果欠佳的现状,为了获得更好的控制效果,采用动态矩阵预测控制(DMC)策略对溶解氧(DO)控制进行仿真研究,并确定了其DMC控制器最佳控制参数。通过溶解氧(DO)的DMC控制与PID控制仿真效果对比分析,得出DMC具有较好的控制效果。该文的研究为提高DO控制性能奠定了一定的理论基础。 展开更多
关键词 SBR法 溶解氧(do) PID控制 DMC预测控制
在线阅读 下载PDF
从DOS到Windows编程思想的转变
16
作者 陈迎秋 《河北师范大学学报(自然科学版)》 CAS 1998年第4期467-469,472,共4页
分析了DOS及Windows环境的特点,以及两种环境下,应用程序不同的运行机制。
关键词 doS WINdoWS 过程驱动 事件驱动 编程思想
在线阅读 下载PDF
SELECTING CLUSTER MODEL IN Sn - BASED SOLDER ALLOY DESIGN WITH DV - X_α CALCULATION METHOD
17
作者 C. Q. Wang and W. F. Feng National ho. of Advanced welding Technolgy, HIT, Harbin 150001,China 《Acta Metallurgica Sinica(English Letters)》 SCIE EI CAS CSCD 2000年第1期84-88,共5页
Applying calculation method in alloy design should be an important tendency due to its characters of inexpensive cost, high efficiency and prediction. DOS calculations of AuSn, AsSn and SbSn Sn- based alloys have ... Applying calculation method in alloy design should be an important tendency due to its characters of inexpensive cost, high efficiency and prediction. DOS calculations of AuSn, AsSn and SbSn Sn- based alloys have been investigated by employing DV - Xa method, in which different cluster models were adopted to calculate electron structure.It is proved that some regulations must be taken into ac- count in order to carry out alloy design calculation successfully,which are described in this paper in detail. 展开更多
关键词 Cluster model Sn - based alloy design DV - X_a calculation method doS
在线阅读 下载PDF
骨铣削参数对机器人颤振稳定性影响与优化
18
作者 田和强 安金昌 +1 位作者 马洪强 孟德宝 《哈尔滨工程大学学报》 北大核心 2025年第5期988-996,共9页
为解决骨科手术机器人铣削中的颤振问题,本文提出了一种优化方法,以提升手术的安全性和质量。根据再生型颤振理论,建立了动态铣削力模型,并采用零阶频域法构建颤振稳定域模型,同时绘制了叶瓣图,以分析铣削参数的影响。以骨骼去除率为优... 为解决骨科手术机器人铣削中的颤振问题,本文提出了一种优化方法,以提升手术的安全性和质量。根据再生型颤振理论,建立了动态铣削力模型,并采用零阶频域法构建颤振稳定域模型,同时绘制了叶瓣图,以分析铣削参数的影响。以骨骼去除率为优化目标,通过实验验证确定的最佳铣削参数,显著减少了颤振,并提高了手术的稳定性和效率。这项研究为骨科手术机器人在临床应用中的安全性提供了理论依据,并为铣削工艺的优化提供了实践指导。 展开更多
关键词 骨科手术机器人 再生型颤振 动态铣削力模型 零阶频域法 颤振稳定性 叶瓣图 铣削参数 优化
在线阅读 下载PDF
基于三段论关系结构的水资源安全风险评价方法探讨
19
作者 金菊良 周亮广 +3 位作者 吴成国 周戎星 崔毅 白夏 《人民黄河》 北大核心 2025年第9期62-69,共8页
水资源安全风险评价是沟通水资源安全风险理论认识与防御实践的桥梁,科学、合理、有效的水资源安全风险评价方法研究一直是水资源安全风险防御理论和实践研究领域中的前沿和难点。在分析由水资源安全致险因子危险性、孕险环境孕险性、... 水资源安全风险评价是沟通水资源安全风险理论认识与防御实践的桥梁,科学、合理、有效的水资源安全风险评价方法研究一直是水资源安全风险防御理论和实践研究领域中的前沿和难点。在分析由水资源安全致险因子危险性、孕险环境孕险性、抗险措施抗险性、承险体脆弱性和水资源安全损失风险5个子系统及其指标作用关系形成的区域水资源安全风险传导关系结构基础上,系统梳理了评价目标、评价对象、评价指标集、评价指标测度的确定,定性指标定量化,单指标评价函数、评价指标权重和综合指标评价函数的确定以及评价结果的合理性分析等区域水资源安全风险评价方法实现过程中存在的问题。评价方法系统要素中评价对象a、评价指标b和评价目标c分别对应亚里士多德三段论逻辑结构中的小项、中项和大项,由评价对象和评价指标组成的评价论据关系ab、评价指标和评价目标组成的评价论证关系bc、评价对象和评价目标组成的评价结果关系ac,分别对应亚里士多德三段论逻辑关系结构中的小前提、大前提和结论关系,区域水资源安全风险评价方法的底层逻辑就是完整的亚里士多德三段论的逻辑推理过程,评价论据关系ab、评价论证关系bc和评价结果关系ac组成了该逻辑推理过程的三段论关系结构。通过ab与bc的关系合成作用ac=ab@bc,既可实现三段论推理、得到评价结果关系ac,进行水资源安全风险评价实证分析,又可检验评价结果的合理性,形成水资源安全风险评价过程的计划-执行-检查-处理戴明循环。通过不断更新、完善评价方法,可为不断深化上述基于三段论关系结构的区域水资源安全风险评价方法研究提供普适的研究途径,在资源环境风险评价及其他相关评价方法构建中具有推广应用价值。 展开更多
关键词 水资源安全 风险评价方法 建模方法 三段论关系结构 PDCA戴明循环
在线阅读 下载PDF
北京市制造业与生产性服务业协同集聚的测度方法与时空演变 被引量:3
20
作者 郭倩钰 孙威 孙涵 《地理学报》 北大核心 2025年第2期415-432,共18页
产业协同集聚是产业发展到高级阶段的产物,也是产业协同发展在空间上的具体表现。本文从产业协同集聚的测度方法入手,针对目前研究方法中存在的可塑性面积单元问题(MAUP)和可视化效果不佳等构建了综合性的测度方法体系。利用该方法体系... 产业协同集聚是产业发展到高级阶段的产物,也是产业协同发展在空间上的具体表现。本文从产业协同集聚的测度方法入手,针对目前研究方法中存在的可塑性面积单元问题(MAUP)和可视化效果不佳等构建了综合性的测度方法体系。利用该方法体系以北京市制造业与生产性服务业协同集聚为案例进行实证研究,分析协同集聚在时间和空间上的动态演变过程和特征。结果表明:(1) 2018年行业对的集聚跨度的极差为34 km,集聚强度的平均值为0.0858,相比2008年集聚范围更分散,集聚强度有所降低,但设备制造业、科学技术、信息传输服务等知识密集型行业对则更倾向于协同集聚;(2)2008年协同集聚水平较高的行业对集中分布在城市核心区,2018年则沿着交通干线向外围地区扩散,形成“多点集聚”的分布形态,并大致与北京市规划的两业融合示范园区相对应;(3)综合来看,制造业与生产性服务业协同集聚呈现集聚强度下降,但中高度协同集聚的网格分布扩大,区域间的非均衡性缩小,空间分布得到优化,工业园区、交通可达性和信息技术发展在其中发挥了重要作用。 展开更多
关键词 协同集聚 制造业 生产性服务业 do指数 空间数据统计分析方法 北京市
原文传递
上一页 1 2 10 下一页 到第
使用帮助 返回顶部