可移动系统安全模型统一框架 被引量：3

1

作者 王立斌 陈克非 《电子学报》 EI CAS CSCD 北大核心 2002年第12A期2108-2110,共3页

本文的主要工作是利用可移动进程的形式化模型π演算为工具,考虑系统的移动性(Mobility),将系统安全属性的刻画归结为特定系统进程等价的验证,提出一种新的安全模型框架.在此框架下,可以方便表示不同的不干涉安全属性,并对其进行强弱对... 本文的主要工作是利用可移动进程的形式化模型π演算为工具,考虑系统的移动性(Mobility),将系统安全属性的刻画归结为特定系统进程等价的验证,提出一种新的安全模型框架.在此框架下,可以方便表示不同的不干涉安全属性,并对其进行强弱对比;针对不同安全需求,可定义新的安全属性。并且,该框架建立一个新的安全属性研究的平台,可广泛地适用于具有移动进程的分布式系统的安全分析。 展开更多

关键词 可移动系统 安全模型 Π演算 不干涉模型

在线阅读 下载PDF 职称材料

可移动系统场内线缆早期高空电磁脉冲耦合响应分析 被引量：1

2

作者 孙蓓云 杨静 《核电子学与探测技术》 北大核心 2017年第12期1208-1212,共5页

本文利用传输线方程,计算了200 m长可移动系统场内线缆的早期高空电磁脉冲(HEMP)感应电流,并对感应电流的波形特征进行了分析,结果表明:在国家军用标准GJB 1389A—2005规定的电磁脉冲(EMP)环境中,可移动系统场内线缆采用美国军用标准MIL... 本文利用传输线方程,计算了200 m长可移动系统场内线缆的早期高空电磁脉冲(HEMP)感应电流,并对感应电流的波形特征进行了分析,结果表明:在国家军用标准GJB 1389A—2005规定的电磁脉冲(EMP)环境中,可移动系统场内线缆采用美国军用标准MIL-STD-188-125-2规定的早期HEMP防护指标具有合理性。 展开更多

关键词 早期HEMP 可移动系统场内线缆 感应电流 传导环境

在线阅读 下载PDF 职称材料

可移动agent系统位置透明通信的一种实现 被引量：15

3

作者 王红 曾广周 林守勋 《计算机学报》 EI CSCD 北大核心 2001年第4期442-446,共5页

在可移动的软件 Agent(Mobile Software Agent,MSA)的应用中 ,Agent并不是孤立地完成计算任务 ,它们需要不断地与其它 agent进行信息交换 ,而 agent的位置又是经常变动的 .文中提出了一种实现 agent位置透明通信的方法 ,主要解决 agent... 在可移动的软件 Agent(Mobile Software Agent,MSA)的应用中 ,Agent并不是孤立地完成计算任务 ,它们需要不断地与其它 agent进行信息交换 ,而 agent的位置又是经常变动的 .文中提出了一种实现 agent位置透明通信的方法 ,主要解决 agent位置追踪问题和 agent迁移时的消息处理问题 . 展开更多

关键词 可移动agent系统 位置透明通信 人工智能 消息处理

在线阅读 下载PDF 职称材料

可移动智能代理系统 被引量：3

4

作者 王杰 白英彩 《计算机科学》 CSCD 北大核心 1997年第2期19-22,共4页

1引言 计算机网络和分布式人工智能技术为高速发展,推动了新型分布计算机理论的研与发展,特别是在WAN广泛建立与使用的今天,基于客户机一服务器(Cliellt一Server)

关键词 计算机网络 分布式计算机 可移动代理系统

在线阅读 下载PDF 职称材料

可移动水土流失实验室系统的原理及特点 被引量：2

5

作者 师哲 赵健 张平仓 《水土保持通报》 CSCD 北大核心 2010年第2期207-211,共5页

可移动水土流失实验系统使固定的野外径流小区坡面侵蚀观测转变为车载流动试验观测。实践结果表明,该系统可实时对不同坡度的小区进行人工降雨模拟实验,分析侵蚀土壤理化性质和坡面侵蚀过程,极大地提高了水土流失观测的速度和效率。系... 可移动水土流失实验系统使固定的野外径流小区坡面侵蚀观测转变为车载流动试验观测。实践结果表明,该系统可实时对不同坡度的小区进行人工降雨模拟实验,分析侵蚀土壤理化性质和坡面侵蚀过程,极大地提高了水土流失观测的速度和效率。系统中液压自动升降坡面侵蚀土槽可根据试验要求稳定变化,且坡度可在0°～30°之间任意调整,加快了数据采集速度,缩短了试验周期,数据采集更加方便。针对长江流域土壤侵蚀特点对传统试验土槽做了改进,增加了壤中流收集装置,使得坡面侵蚀试验装置更趋合理。人工模拟降雨试验喷头模拟的雨强范围也明显增加,可在20～170mm/h之间任意调整。 展开更多

关键词 水土流失 可移动实验室系统 降雨模拟 侵蚀规律 侵蚀模型

在线阅读 下载PDF 职称材料

可移动液压油去污系统的设计与应用 被引量：2

6

作者 张尚先 《液压与气动》 北大核心 2003年第4期30-32,共3页

液压系统中绝大部分故障来自液压油 ,主要是液压油被污染造成的。简单有效的措施是去除油液中的杂质颗粒、保证油液的清洁度。该文介绍了所开发研制的可移动油液去污系统。该系统投资少 ,可完成油液过滤除杂、注入以及废油的排放 ,在实... 液压系统中绝大部分故障来自液压油 ,主要是液压油被污染造成的。简单有效的措施是去除油液中的杂质颗粒、保证油液的清洁度。该文介绍了所开发研制的可移动油液去污系统。该系统投资少 ,可完成油液过滤除杂、注入以及废油的排放 ,在实际应用中能使液压设备故障减少 6 0 %～ 70 % ,延长液压油使用期限 3～ 4个月。 展开更多

关键词 液压系统 液压油 可移动液压油去污系统 设计 液压传动

在线阅读 下载PDF 职称材料

长转臂离心机可移动配平系统设计

7

作者 张建全 洪建忠 +2 位作者 蒋春梅 陈磊 郭虎 《机床与液压》 北大核心 2017年第14期22-24,166,共4页

长转臂离心机是检验关键零部件在离心场下工作性能的重要装备。可移动配平系统用于实现离心机自动、精确配平,减小离心机工作过程中产生的不平衡力,是保障离心机正常、可靠运行的关键部件。根据离心机使用工况,设计了由电机、同步带、... 长转臂离心机是检验关键零部件在离心场下工作性能的重要装备。可移动配平系统用于实现离心机自动、精确配平,减小离心机工作过程中产生的不平衡力,是保障离心机正常、可靠运行的关键部件。根据离心机使用工况,设计了由电机、同步带、齿轮、丝杆—螺母、导轨滑块及测力传感器组成的可移动配平系统,阐述了该系统工作机制,确定了主要件的设计参数,并对关键零件进行了力学分析。结果表明:可移动配平系统能够有效改善离心机运行工况,满足配平要求。 展开更多

关键词 离心机 可移动配平系统 不平衡力 力学分析

在线阅读 下载PDF 职称材料

关于“可移动Agent系统位置透明通信的一种实现”的一点注记

8

作者 周龙骧 《计算机学报》 EI CSCD 北大核心 2003年第4期511-512,共2页

王红等人的文章“可移动Agent系统位置透明通信的一种实现”的结论是值得商榷的 .文中指出该文的不足及欠明晰之处 。

关键词 可移动Agent系统 位置透明通信 消息代理 Agent影子

在线阅读 下载PDF 职称材料

一种基于Java的可移动Agent系统——Jama的开发和应用 被引量：1

9

作者 赵瑞彬 周浩 +2 位作者 秦世引 徐宁寿 肖云 《系统工程与电子技术》 EI CSCD 2000年第10期59-63,共5页

根据作者研究开发一种基于Java的可移动智能体 (MobileAgent,MA)系统—Jama的实际经验和体会 ,在对开发可移动Agent系统所涉及的几个关键问题进行了深入的讨论之后 ,给出了Jama系统的组织结构和功能实现模式 ,并对Jama系统的功能特点做... 根据作者研究开发一种基于Java的可移动智能体 (MobileAgent,MA)系统—Jama的实际经验和体会 ,在对开发可移动Agent系统所涉及的几个关键问题进行了深入的讨论之后 ,给出了Jama系统的组织结构和功能实现模式 ,并对Jama系统的功能特点做了重点说明。最后结合在网络环境下使智能自动化的实际工程背景 ,给出了以Jama系统为基础的将MA技术与简单网络管理协议 (SimpleNetworkManagementProtocol,SNMP)相结合 ,以实现网络资源优化管理的应用模型。 展开更多

关键词 网络软件 网络管理 JAVA JAMA 可移动Agent系统

在线阅读 下载PDF 职称材料

可移动畜禽粪便处理系统经济效益及社会环境效益分析

10

作者 沈丹波 张杰 《农业开发与装备》 2008年第12期27-28,共2页

通过对可移动畜禽粪便处理系统的经济效益和社会环境效益的分析,反映出该机对畜禽养殖业可持续发展的重要作用。该机的推广使用,增加了农民的收入,促进了农业产业结构的调整,也推动了江苏省农业机械化的发展。

关键词 农业机械化 可移动畜禽粪便处理系统 经济效益 社会环境效益

在线阅读 下载PDF 职称材料

可移动Agent系统JMSAS中对象迁移的研究与实现 被引量：2

11

作者 毕凯 陈翀 麦中凡 《计算机科学》 CSCD 北大核心 2000年第5期35-38,49,共5页

可移动软件Agent(Mobile Software Agent,MSA)是一种新的分布式计算模型,与传统的客户/服务器模型相比,在MSA计算环境中,计算实体不再是静止和被动的,而是能够自主迁移计算的Agent。MSA的计算方式就是将计算任务封装在Agent内部,通过Ag... 可移动软件Agent(Mobile Software Agent,MSA)是一种新的分布式计算模型,与传统的客户/服务器模型相比,在MSA计算环境中,计算实体不再是静止和被动的,而是能够自主迁移计算的Agent。MSA的计算方式就是将计算任务封装在Agent内部,通过Agent在多个位置迁移并与其他Agent交互和协作来完成这些任务。JMSAS系统是一个基于Java语言的供可移动Agent运行的平台。实现该系统的关键任务之一是实现Agent对象的迁移机制。 展开更多

关键词 可移动Agent系统 JMSAS 对象迁移

在线阅读 下载PDF 职称材料

可移动畜禽粪便处理系统效益分析

12

作者 沈丹波 张杰 《江苏农机化》 2008年第6期21-22,共2页

通过对可移动畜禽粪便处理系统的经济效益和社会效益的分析,反映出该机对畜禽养殖业可持续发展的重要作用,该机的推广使用,增加了农民的收入,促进了农业产业结构的调整,也推动了江苏省农业机械化的发展。

关键词 农业机械化 可移动畜禽粪便处理系统 经济和社会环境效益

在线阅读 下载PDF 职称材料

可移动式孵化水糟用生物过滤系统

13

作者 J．R．Tomasso 高健 万全 《湖南水产》 1991年第3期43-44,共2页

人们利用生物过滤系统进行水体过滤，并重复用于人工孵化和水产研究的兴趣正日益增大。生物过滤是利用细菌除去氨和亚硝酸盐，使水：体能够再利用。因此，可以降低生产和实验研究等对水资源的利用量。利用生物过滤也能控制水温与盐度，... 人们利用生物过滤系统进行水体过滤，并重复用于人工孵化和水产研究的兴趣正日益增大。生物过滤是利用细菌除去氨和亚硝酸盐，使水：体能够再利用。因此，可以降低生产和实验研究等对水资源的利用量。利用生物过滤也能控制水温与盐度，因此，水再利用系统在河口及海洋动物的养殖中也有一定的应用价值。 展开更多

关键词 可移动式孵化水糟用生物过滤系统 设计 结构 工作原理

全文增补中

基于MIGIS和PRA的村域规划模式探讨——以河北省保定市南奇村为例 被引量：1

14

作者 丁海波 薛庆林 陶佩君 《安徽农业科学》 CAS 北大核心 2009年第26期12800-12803,共4页

合理规划是农村可持续发展的前提。以河北省保定市南奇村为例,采用MIGIS(可移动交互式地理信息系统)和PRA(农村调查评估)相结合的方法,对基层农村社区综合规划模式进行了探讨。结果表明:该方法提高了规划的有效性和可操作性。

关键词 可移动交互式地理信息系统 参与性农村评估 村域规划

在线阅读 下载PDF 职称材料