期刊文献+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
共找到163篇文章
< 1 2 … 9 >
每页显示 20 50 100
已选择0条
导出题录 引用分析
参考文献
引证文献
 统计分析
检索结果
已选文献
显示方式：
基于Mix-Net的电子投票系统的安全需求矛盾及解决办法
1
作者 田莹 李星 段海新 《计算机研究与发展》 EI CSCD 北大核心 2006年第z2期604-610,共7页
电子投票系统的安全需求存在内在的矛盾性.矛盾1:一方面,投票系统需要向投票者提供证据,表明前者正确地理解了后者的意图;另一方面,投票系统不能提供给投票者任何票据,使投票者能够向第三方证明自己的投票内容.矛盾2:一方面,投票系统需... 电子投票系统的安全需求存在内在的矛盾性.矛盾1:一方面,投票系统需要向投票者提供证据,表明前者正确地理解了后者的意图;另一方面,投票系统不能提供给投票者任何票据,使投票者能够向第三方证明自己的投票内容.矛盾2:一方面,投票系统需要向公众提供证据表明所有的选票都被正确的计数;另一方面,这些证据不能损害投票者的匿名性.介绍了基于Mix-Net的电子投票系统的安全需求矛盾的解决方案,并提出了所面临的研究挑战. 展开更多
关键词 零知识认证 视觉密码学 电子投票 可验证性mix-net
在线阅读 下载PDF
电子投票系统中mix-net安全性改进
2
作者 李程慧 陈伟 马瑞 《浙江师范大学学报（自然科学版）》 CAS 2016年第2期169-174,共6页
现有基于mix-net的电子投票系统在选票提交阶段存在选票提交重复、混合阶段存在欺骗的混合服务器、计数阶段存在无效的选票计数等问题.为此,从匿名性和抗重复性2个方面对mix-net的安全性进行改进.匿名性方面,提出了无序mix-net和置换矩... 现有基于mix-net的电子投票系统在选票提交阶段存在选票提交重复、混合阶段存在欺骗的混合服务器、计数阶段存在无效的选票计数等问题.为此,从匿名性和抗重复性2个方面对mix-net的安全性进行改进.匿名性方面,提出了无序mix-net和置换矩阵.抗重复性方面,在HTDH2密码系统的基础上,增加过滤阶段,删除攻击者克隆的选票;增加删除重复的选票阶段,删除欺骗的混合服务器克隆的选票.新方案能够删除mix-net输入端重复的选票、检测出混合服务器"克隆"的选票及攻击者修改的选票.与现有方案相比,该方案具有选票提交独立和有效计数的优势. 展开更多
关键词 密码学 电子投票系统 mix-net 匿名性 选票独立 HTDH2
在线阅读 下载PDF
基于双层遗传算法的静态防空反导杀伤网构建方法 被引量：1
3
作者 付昱龙 张海宾 +1 位作者 郭相科 戚玉涛 《空军工程大学学报》 北大核心 2025年第1期59-66,共8页
在防空反导作战中,构建高效的杀伤网是确保反导任务成功的关键环节,然而杀伤网构建问题的优化建模和求解是一个难题。从组合优化的角度出发,对静态的杀伤网构建问题进行优化建模并提出高效求解方案;针对杀伤网构建问题的特点,建立了混... 在防空反导作战中,构建高效的杀伤网是确保反导任务成功的关键环节,然而杀伤网构建问题的优化建模和求解是一个难题。从组合优化的角度出发,对静态的杀伤网构建问题进行优化建模并提出高效求解方案;针对杀伤网构建问题的特点,建立了混合整数规划模型,并使用一种基于双层规划的优化建模方案进行简化,通过任务分配和冲突消解的主从问题协同降低求解难度,随后设计一种基于双层遗传算法的求解框架进行优化实验。在4组不同规模的环境实验测试中,算法能够快速找到较优解,并且对较大规模问题能保持良好的求解能力以及良好的可解释性。为防空反导领域的静态的杀伤网自主智能构建提供思路,可作为动态杀伤网调整的研究基础。 展开更多
关键词 混合整数规划 杀伤网 遗传算法 防空反导
在线阅读 下载PDF
融合多尺度信息的肝脏肿瘤分割方法
4
作者 沈馨月 于瓅 《兰州工业学院学报》 2025年第6期55-60,共6页
针对肝脏肿瘤分割中存在的边缘检测复杂、肿瘤与正常组织对比度较低、小型病灶易被忽略等问题,使用U-Net模型进行分割并对其进行改进。模型在跳跃连接处引入纹理特征增强模块,对低对比度区域的局部纹理特征进行显式增强;在解码器中加入C... 针对肝脏肿瘤分割中存在的边缘检测复杂、肿瘤与正常组织对比度较低、小型病灶易被忽略等问题,使用U-Net模型进行分割并对其进行改进。模型在跳跃连接处引入纹理特征增强模块,对低对比度区域的局部纹理特征进行显式增强;在解码器中加入CBAM混合注意力机制,关注重要特征通道与空间位置,提高了复杂边缘的特征识别能力;同时采用多尺度Tversky Loss作为损失函数,通过调整假阳性和假阴性权重,提升了小型病灶的分割精度。实验结果表明,改进后的模型在LiTS数据集上的Dice系数为73.18%,VOE为39.10%,HD为13.55 mm,在肝脏肿瘤分割的精度及小型病灶检测能力上均优于初始U-Net模型。 展开更多
关键词 U-Net 肝脏肿瘤 混合注意力 特征增强
在线阅读 下载PDF
主动防护网的喷混植生技术分析
5
作者 吐尔逊江·吾拉木 《科学技术创新》 2025年第21期142-145,共4页
随着城市化发展速度加快,边坡防护问题日益突出,喷混植生+防护网作为主流生态防护手段的代表,极具应用研究。本研究聚焦于喷混植生、防护网的结合,以实际项目为例,讨论了施工技术要点。通过数值模拟结合现场监测,评估了相关技术在增强... 随着城市化发展速度加快,边坡防护问题日益突出,喷混植生+防护网作为主流生态防护手段的代表,极具应用研究。本研究聚焦于喷混植生、防护网的结合,以实际项目为例,讨论了施工技术要点。通过数值模拟结合现场监测,评估了相关技术在增强边坡稳定性等方面的效果。结果表明,将喷混植生与防护网结合的做法,能够赋予边坡更加理想的生态及工程效益,可以大范围推广。 展开更多
关键词 喷混植生 主动防护网 边坡绿化 植生条
在线阅读 下载PDF
装配制造系统的机器选择与缓冲区分配方法
6
作者 何舟 陈文杰 平垚垚 《陕西科技大学学报》 北大核心 2025年第6期146-156,共11页
针对装配制造系统机器选择与缓冲区分配问题中存在子类型多样,复杂度高,决策变量组合爆炸等问题,提出一种结合混合整数线性规划(MILP)的改进禁忌搜索算法(M-TSA).首先,基于Petri网理论构建相应装配制造系统机器-缓冲区耦合模型,考虑系... 针对装配制造系统机器选择与缓冲区分配问题中存在子类型多样,复杂度高,决策变量组合爆炸等问题,提出一种结合混合整数线性规划(MILP)的改进禁忌搜索算法(M-TSA).首先,基于Petri网理论构建相应装配制造系统机器-缓冲区耦合模型,考虑系统稳态运行生产率约束的机器-缓冲区资源联合配置优化的最小成本多约束组合优化问题;其次,提出缩小决策变量组合维度的MILP模型,将其嵌入到改进禁忌搜索算法中以权衡全局计算复杂度并得到M-TSA;最后,在装配制造系统实例中进行分析研究.实验结果表明,与ATSA、SAEGA以及现有方法相比,M-TSA在实例2不同生产率下限约束情况下,时间成本减少91.58%~96.65%,且配置方案的总成本最小,产生的配置方案经FlexSim仿真模拟软件验证有效,综合说明算法的高效性和工程实用价值. 展开更多
关键词 装配制造系统 PETRI网 资源配置 混合整数线性规划 禁忌搜索算法
在线阅读 下载PDF
基于残差双通道注意力U-Net的古代壁画病害检测
7
作者 赵辉荣 余映 +2 位作者 陈安 倪雪莹 王信超 《计算机辅助设计与图形学学报》 北大核心 2025年第6期1040-1052,共13页
针对现有的古代壁画病害检测方法难以准确地检测壁画病害区域的问题,提出一种基于残差双通道注意力U-Net的古代壁画病害检测模型.首先设计残差双通道模块代替U-Net中的编码器和解码器,构建具有多分辨率分析能力的网络检测复杂背景中不... 针对现有的古代壁画病害检测方法难以准确地检测壁画病害区域的问题,提出一种基于残差双通道注意力U-Net的古代壁画病害检测模型.首先设计残差双通道模块代替U-Net中的编码器和解码器,构建具有多分辨率分析能力的网络检测复杂背景中不同尺度的壁画病害区域;然后加入多尺度注意力门融合高层和低层的互补特征,使网络能突出壁画病害区域的显著特征;最后设计混合域注意力模块抑制壁画背景信息的干扰,进一步准确地定位壁画病害区域;此外,采用多阶段损失相加的方式提高网络模型的性能.实验结果表明,在敦煌莫高窟壁画数据集和云南少数民族壁画数据集上,所提模型的检测结果在视觉感受方面优于其他对比方法,在F-score指标上分别达到了0.807 7和0.728 9,均高于其他对比方法. 展开更多
关键词 古代壁画病害检测 U-Net 残差双通道 多尺度注意力门 混合域注意力
在线阅读 下载PDF
一个基于Mix net的电子投票方案 被引量：9
8
作者 高虎明 王继林 王育民 《电子学报》 EI CAS CSCD 北大核心 2004年第6期1047-1049,共3页
电子投票是电子政务活动中的一项基本功能 .本文设计了一个新的具有 (t- 1,N - 2 ) AA弹性的可验证Mixnet协议 ,该协议具有秘密性、正确性和可验证性 .协议所需的通信量和计算量优于已知方案 .利用它给出了一个电子投票方案 ,具有选举... 电子投票是电子政务活动中的一项基本功能 .本文设计了一个新的具有 (t- 1,N - 2 ) AA弹性的可验证Mixnet协议 ,该协议具有秘密性、正确性和可验证性 .协议所需的通信量和计算量优于已知方案 .利用它给出了一个电子投票方案 ,具有选举的秘密性、唯一性、完整性、匿名性、可公开性、可验证性等优点 ,适宜于大规模选举 . 展开更多
关键词 电子投票 MIX NET 选民的匿名性 公开可验证性
在线阅读 下载PDF
太阳辐射对长白山阔叶红松林净生态系统碳交换的影响 被引量：27
9
作者 张弥 于贵瑞 +3 位作者 张雷明 孙晓敏 温学发 韩士杰 《植物生态学报》 CAS CSCD 北大核心 2009年第2期270-282,共13页
太阳辐射是植物进行光合作用的前提条件,因此成为影响植被吸收大气CO2的重要环境因子。该研究基于30min通量和常规气象数据,以相对辐射和晴空指数为指标,分析了2003～2006年生长旺季(6～8月)太阳辐射的改变对长白山阔叶红松(Pinus korai... 太阳辐射是植物进行光合作用的前提条件,因此成为影响植被吸收大气CO2的重要环境因子。该研究基于30min通量和常规气象数据,以相对辐射和晴空指数为指标,分析了2003～2006年生长旺季(6～8月)太阳辐射的改变对长白山阔叶红松(Pinus koraiensis)林净生态系统碳交换(Net ecosystem exchange,NEE)的影响。结果表明:天空有一定云层的覆盖对阔叶红松林碳的净吸收有明显的促进作用。4年里6～8月间生态系统最大光合速率在天空有云覆盖时较晴空条件下分别提高了34%、25%、4%和11%。在晴空指数约为0.5的中等辐射条件下,该生态系统的NEE达到最大。对生态系统碳的净吸收有促进作用的临界相对辐射约为37%,而使该生态系统NEE达到最大的最适相对辐射约为75%。进一步分析表明,天空云量的增多和云层厚度的增加会引起散射辐射比例的增加、大气温度和水汽亏缺程度的降低等环境效应,由此可能会导致冠层光合作用的增加和地上部分呼吸的减弱,从而共同决定了净生态系统碳吸收作用的增强。 展开更多
关键词 长白山阔叶红松林 净碳交换 晴空指数 相对辐射
在线阅读 下载PDF
马尾松-阔叶树混交异龄林生物量与生产力分配格局 被引量：106
10
作者 樊后保 李燕燕 +3 位作者 苏兵强 林德喜 刘春华 蒋宗垲 《生态学报》 CAS CSCD 北大核心 2006年第8期2463-2473,共11页
在25年生的马尾松林下分别套种1年生火力楠、闽粤栲、苦储、格氏栲、青栲和拉氏栲幼苗，经过16a的培育后形成了郁闭的针阔混交异龄林。应用分层平均标准木收获法，建立相对生长方程，对上述6种混交林及马尾松纯林的生物量与生产力分配... 在25年生的马尾松林下分别套种1年生火力楠、闽粤栲、苦储、格氏栲、青栲和拉氏栲幼苗，经过16a的培育后形成了郁闭的针阔混交异龄林。应用分层平均标准木收获法，建立相对生长方程，对上述6种混交林及马尾松纯林的生物量与生产力分配格局进行了研究。6个混交林的林木总生物量分别为216．41、260．06、221．92、221．65、246．13t／hm^2及201．04t／hm^2，而马尾松纯林的生物量为204．37t／hm^2；其中地上部分占81．4％～83．7％，林分之间差异较小。在混交林中，处于主林层的马尾松生物量占林分总生物量的比例为73．5％～85．4％。在各林分生物量组成中，干材生物量最大，占总生物量的56．4％～64．8％，其它组分所占的比例依次为根（16．3％～18．6％）〉枝（9．O％～16．9％）〉皮（4．9％～7．3％）〉叶（1．1％～4．3％）。生物量的空间结构在马尾松纯林和混交林之间存在明显差异，混交林中0～9m高度的生物量分配比例（67．1％）明显大于马尾松纯林（53．7％）；混交林中，在2～3m高度就出现了枝、叶的分布，而马尾松纯林中则出现在13～14m。混交林中，阔叶树根系的生物量主要集中于0～40cm土层，占根系总生物量的74％～99％，60cm以下土层则根系分布很少，而马尾松的根系则主要分布于土壤表层（0～20cm）和60cm以下土层，分别占总生物量的26％和49％。各混交林分的净初级生产力为10．60～15．25t／（hm^2·a），而马尾松纯林的生产力仅7．34t／（hm^2·a）。林分净初级生产力（NPP）与光合器官／地上部分生物量比（X1）、细根生物量／地下部分生物量比（X2）存在显著的非线形关系：NPP=5．5745＋1．1985 X1＋2．6479X2^2。在所研究的林分中，细根（d〈2mm）生物量占林分总生物量的平均比例为0．2％，但细根生产力占林分净生产力的平均比达2．9％。 展开更多
关键词 马尾松 阔叶树 混交林 生物量 净初级生产力
在线阅读 下载PDF
华北低丘山地人工混交林净生态系统碳交换的变化特征 被引量：11
11
作者 同小娟 张劲松 +4 位作者 孟平 黄辉 国琳 尹昌君 高峻 《林业科学》 EI CAS CSCD 北大核心 2010年第3期37-43,共7页
采用涡度相关技术对华北低丘山地30年生栓皮栎-刺槐-侧柏人工混交林生态系统进行连续2年的碳通量观测。结果表明:人工混交林净生态系统碳交换(NEE)的年际和季节变化都很明显,但日变化只在生长季(4—10月)才变得显著。2006和2007年人工... 采用涡度相关技术对华北低丘山地30年生栓皮栎-刺槐-侧柏人工混交林生态系统进行连续2年的碳通量观测。结果表明:人工混交林净生态系统碳交换(NEE)的年际和季节变化都很明显,但日变化只在生长季(4—10月)才变得显著。2006和2007年人工混交林NEE的变化范围分别在-27.1～8.1和-24.4～9.8gCO2·m-2d-1,最大月平均CO2吸收量分别出现在5月和7月。生长季净碳吸收约占全年的96%。人工混交林是较强的碳汇,2006和2007年净碳吸收量分别为549.1和445.4gC·m-2a-1。春季干旱是2007年人工混交林净碳吸收显著下降的主要原因。 展开更多
关键词 人工混交林 净生态系统碳交换 涡度相关
在线阅读 下载PDF
一个新的(t,N-2)弹性的Mix Net 被引量：3
12
作者 高虎明 陈晓峰 王育民 《计算机学报》 EI CSCD 北大核心 2003年第10期1361-1365,共5页
Mixnet是实现匿名通信、电子投票选举、电子支付以及电子投标的有力工具 .该文建立了 (t,N - 2 )Mixnet模型 ,利用Shamir门限方案、ElGamal公钥体制、零知识证明等密码技术设计了一个基于这个模型的Mixnet协议 .该协议将同一密文组让不... Mixnet是实现匿名通信、电子投票选举、电子支付以及电子投标的有力工具 .该文建立了 (t,N - 2 )Mixnet模型 ,利用Shamir门限方案、ElGamal公钥体制、零知识证明等密码技术设计了一个基于这个模型的Mixnet协议 .该协议将同一密文组让不同的两个服务器组进行盲化解密示证和比较 ,从而使得该协议具有 (t - 1,N - 2 ) AA弹性及秘密性、正确性和可验证性等优点 ,同时通信量和计算量方面也少于已知的基于ElGamal公钥体制的可验证Mixnet协议 . 展开更多
关键词 密码 匿名通信 (t N-2)弹性 MixNet 可验证性 秘密性 正确性
在线阅读 下载PDF
南亚热带红椎马尾松纯林及其混交林生物量和生产力分配格局 被引量：53
13
作者 覃林 何友均 +3 位作者 李智勇 邵梅香 梁星云 谭玲 《林业科学》 EI CAS CSCD 北大核心 2011年第12期17-21,共5页
研究中国林业科学研究院热带林业实验中心28年生红椎纯林、马尾松纯林以及红椎-马尾松混交林的生物量和生产力分配格局。结果表明:红椎纯林、马尾松纯林与红椎-马尾松混交林生物量分别为94.797,212.435和155.638t.hm^-2;3种林分的乔木... 研究中国林业科学研究院热带林业实验中心28年生红椎纯林、马尾松纯林以及红椎-马尾松混交林的生物量和生产力分配格局。结果表明:红椎纯林、马尾松纯林与红椎-马尾松混交林生物量分别为94.797,212.435和155.638t.hm^-2;3种林分的乔木层生物量均占林分生物量的95%以上,其他各层均表现为凋落物层(0.56%～3.26%)>草本层(0.24%～0.85%)>灌木层(0.25%～0.37%);在3种林分的乔木层各组分中,干材生物量最大,占总生物量的49.31%～62.25%,红椎纯林中其他组分表现为根(17.16%)>枝(11.76%)>干皮(6.84%)>叶(1.99%),而马尾松纯林与红椎-马尾松混交林则为枝(18.39%～19.98%)>根(14.48%～17.72%)>叶(5.55%～8.80%)>干皮(4.19%～5.57%);3个林分的净生产力表现为红椎纯林(3.369t.hm^-2a^-1)<红椎-马尾松混交林(5.628t.hm^-2a^-1)<马尾松纯林(7.781t.hm^-2a^-1)。 展开更多
关键词 红椎人工林 马尾松人工林 混交林 生物量 生产力
在线阅读 下载PDF
基于互联网的匿名技术研究 被引量：8
14
作者 陆天波 时金桥 程学旗 《计算机科学与探索》 CSCD 2009年第1期1-17,共17页
随着互联网在世界范围内的迅猛发展,通过网络已逐步实现了全社会的信息共享,由此带来的信息安全与隐私问题也逐步受到人们的广泛关注。匿名是指用户身份信息的隐私,已经成为许多网络应用的基本需求。总结了匿名技术二十多年来的研究进... 随着互联网在世界范围内的迅猛发展,通过网络已逐步实现了全社会的信息共享,由此带来的信息安全与隐私问题也逐步受到人们的广泛关注。匿名是指用户身份信息的隐私,已经成为许多网络应用的基本需求。总结了匿名技术二十多年来的研究进展情况,提出了该领域面临的挑战及发展趋势。 展开更多
关键词 匿名 MIX机制 DC Net协议 流量分析
在线阅读 下载PDF
一种抗强制的电子投票方案 被引量：2
15
作者 黄宏升 仲红 +1 位作者 燕飞飞 孙彦飞 《计算机应用》 CSCD 北大核心 2009年第6期1725-1727,共3页
利用秘密共享、混合网、可否认认证等安全技术,提出了一种抗强制的电子投票方案。该方案满足了电子投票的基本要求,并且较好地解决了电子投票中有关强迫投票和买卖选票的问题。由于强制者无法判断受迫者是否按照自己意愿投出选票,从而... 利用秘密共享、混合网、可否认认证等安全技术,提出了一种抗强制的电子投票方案。该方案满足了电子投票的基本要求,并且较好地解决了电子投票中有关强迫投票和买卖选票的问题。由于强制者无法判断受迫者是否按照自己意愿投出选票,从而提高了电子投票的抗强制性。 展开更多
关键词 电子投票 抗强制性 秘密共享 混合网 可否认认证
在线阅读 下载PDF
C#与Matlab混合编程的CSAMT静态校正软件设计 被引量：5
16
作者 郑建波 于生宝 +1 位作者 苏发 栾卉 《实验室研究与探索》 CAS 北大核心 2016年第7期113-116,148,共5页
可控源音频大地电磁法(CSAMT)中的静态校正对于正确识别地质情况,提高勘探方法的有效性具有重要意义。设计一款集合小波、五点、中值、EMAP等常用静态校正方法的软件很有必要。文章提出利用C#与Matlab混合编程来设计CSAMT静态校正软件... 可控源音频大地电磁法(CSAMT)中的静态校正对于正确识别地质情况,提高勘探方法的有效性具有重要意义。设计一款集合小波、五点、中值、EMAP等常用静态校正方法的软件很有必要。文章提出利用C#与Matlab混合编程来设计CSAMT静态校正软件以弥补Matlab界面开发能力差和C#开发复杂数值运算软件效率低等问题。利用.NET组件实现C#与Matlab之间的通信,解决了com组件之间的版本控制、注册表、GUID等弊端。采用类型安全接口编程,通过接口的多重继承,将数据转换过程进行封装,解决了混合编程时比较繁琐的数据类型转换问题。最后,设计正演模型并利用该软件进行静态校正,结果显示该软件可以实现利用小波、五点、中值、EMAP方法进行静态校正。 展开更多
关键词 CSAMT静态校正 混合编程 .NET组件 类型安全接口
在线阅读 下载PDF
洪灾经济损失快速评估的混合式模糊神经网络模型 被引量：17
17
作者 王宝华 付强 +1 位作者 冯艳 杨娜 《东北农业大学学报》 CAS CSCD 2008年第6期47-51,共5页
针对洪水灾害和洪灾损失评估的特点,采用混合式模糊神经网络数学模型对一典型流域洪灾经济损失进行评估,并且与BP网络评估损失模型进行了比较。虽然混合式模糊神经网络模型在洪水经济损失评估中是初次尝试,但评估结果表明模型从收敛速... 针对洪水灾害和洪灾损失评估的特点,采用混合式模糊神经网络数学模型对一典型流域洪灾经济损失进行评估,并且与BP网络评估损失模型进行了比较。虽然混合式模糊神经网络模型在洪水经济损失评估中是初次尝试,但评估结果表明模型从收敛速度和评估精度都取得了较好的效果,为洪水经济损失评估提供了新的方法、新的思路。 展开更多
关键词 混合式模糊神经元网络 洪灾经济损失 新方法
在线阅读 下载PDF
基于混合学习教学模式的ASP.Net教学策略 被引量：13
18
作者 任远鹏 张四洋 张华 《渤海大学学报（自然科学版）》 CAS 2009年第3期285-288,共4页
主要描述一种新的ASP.Net教学策略。并结合ASP.Net课程分析了实施基于混合学习教学模式的软、硬件环境要求,着重从教学内容、教学步骤、学生个体情况等方面论述了进行混合教学过程中实施的内容分类、教学分步、学生分组等策略。
关键词 混合学习 ASP.NET 自主学习 教学策略
在线阅读 下载PDF
混合语义时间Petri网模型 被引量：11
19
作者 潘理 丁志军 郭观七 《软件学报》 EI CSCD 北大核心 2011年第6期1199-1209,共11页
提出了时间Petri网的混合语义模型,通过在变迁及其非冲突变迁集的最小上界处设置强制实施点,排除冲突变迁对变迁可实施性的影响,达到既能扩大模型调度范围又可保证任务调度时限性的目的,以解决现有语义模型在调度分析上的缺陷.进一步证... 提出了时间Petri网的混合语义模型,通过在变迁及其非冲突变迁集的最小上界处设置强制实施点,排除冲突变迁对变迁可实施性的影响,达到既能扩大模型调度范围又可保证任务调度时限性的目的,以解决现有语义模型在调度分析上的缺陷.进一步证明了混合语义模型的图灵等价性及标识可达性问题的不可判定性,然后界定了3种语义模型的时间语言接受能力.最后提出了状态类分析方法,用于模型的可调度性分析和时间计算,并以一个柔性制造系统为例,比较和验证了3种语义模型的调度分析能力. 展开更多
关键词 时间PETRI网 混合语义 图灵等价性 不可判定性 调度分析
在线阅读 下载PDF
MATLAB与Visual C#.NET混合编程 被引量：15
20
作者 焦纲领 邓建辉 韩啸 《海军航空工程学院学报》 2008年第1期109-111,共3页
在分析MATLAB与Visual C#．NET通用性和优缺点的基础上，介绍了MATLAB和Visual C#．NET混合编程的设计思想和编程特点。接着具体给出了基于visual C#．NET开发应用程序调用MATLAB算法的实现方法，并重点结合实例闸述了运用COM组件技术... 在分析MATLAB与Visual C#．NET通用性和优缺点的基础上，介绍了MATLAB和Visual C#．NET混合编程的设计思想和编程特点。接着具体给出了基于visual C#．NET开发应用程序调用MATLAB算法的实现方法，并重点结合实例闸述了运用COM组件技术混合编程的具体步骤和注意事项。 展开更多
关键词 MATLAB VISUAL C#.NET 混合编程 COM
在线阅读 下载PDF
已选择0条
导出题录 引用分析
参考文献
引证文献
 统计分析
检索结果
已选文献
上一页 1 2 … 9 下一页 到第 页
使用帮助 返回顶部