共查询到20条相似文献,搜索用时 93 毫秒
1.
2.
并发计算模型是计算机科学研究的重要问题之一.π演算作为一个并发计算模型,是一种重要的移动进程演算,其中的进程通过发送通信链接互相交互.与传统的进程代数如CCS相比,π演算有着更为良好的代数性质和表达能力.正如λ演算能够描述所有的可计算函数,π演算也有同样的能力.本文提出了一个方法,据此可以把自然数和函数描述为进程,从而证明了π演算有足够的能力描述所有的可计算函数,同时还说明了与λ演算相比,π演算有着更高的计算效率. 相似文献
3.
4.
skybug 《玩电脑(在线技术)》2004,(12):111-113
如果你的电脑中了木马,你知道它在哪里吗?很多网站.论坛的高手们总是告诉求助者利用“三指神功(Ctrl ALt Delete)”打开进程管理器找到可疑进程,然后将这些可疑的进程关闭。不过初学者面对那么多的进程.你能准确找到可疑的进程吗?你知道如何结束进程吗?本文的目的就是要告诉大家如何辨别系统进程和木马进程.了解进程的相关知识.这对你使用系统和维护系统安全都有着非常重要的作用。 相似文献
5.
6.
基于线性预测与马尔可夫模型的入侵检测技术研究 总被引:13,自引:0,他引:13
入侵检测技术是现代计算机系统安全技术中的重要组成部分.该文提出了基于线性预测与马尔可夫模型相结合的入侵检测方法.首先提取特权进程的行为特征,引入时间序列分析技术——用线性预测技术对特权进程产生的系统调用序列提取特征向量来建立正常特征库,并在此基础上建立了马尔可夫模型.由马尔可夫模型产生的状态序列计算状态概率,根据状态序列概率来评价进程行为的异常情况.然后,利用马尔可夫信源熵与条件熵进行参数选取,对模型进行优化,进一步提高了检测率.实验表明该算法准确率高、实时性强、占用系统资源少. 相似文献
7.
8.
大华是非常幸运的。十年前.推出了创新性嵌入式DVR.使大华非常幸运地步入了安防行,业.并成为安防产业高速发展进程中重要的参与者。今天来看.创新特别是在产品的创新方面,仍然是行业发展壮大的源动力。 相似文献
9.
分布式系统中的检查点算法 总被引:12,自引:0,他引:12
检查点能够保存和恢复程序的运行状态.它在进程迁移、容错、卷回调试等领域都有重要的应用.本文对分布式系统中的检查点算法进行了详细的分类评述.检查点算法可分为单进程和分布式程序检查点算法,分布式程序检查点算法又可分为异步检查点算法和一致检查点算法.同时本文系统介绍了改进检查点算法性能的典型方法.这些改进算法主要采用两个策略来减少算法的开销与延迟:一是减少检查点文件中需要存储的信息量,如增量算法等;二是提高检查点操作与目标程序运行的并行性,如主存算法等.最后,文章讨论了目前检查点算法的局限性和进一步的工作. 相似文献
10.
张新奎 《数字社区&智能家居》2008,(6):36-37
SVCHOST.EXE是基于NT核心技术的操作系统非常重要的进程,它提供许多系统服务,比如远程过程调用系统服务(RPCSS)、动态主机配置协议(DPCH)服务等与网络相关的服务。现在广大计算机用户普遍使用的WindowsXP、Windows2003等操作系统都涉及该进程, 相似文献
11.
在信息系统中,用户或进程代表主体,系统中的所有用户与进程形成主体集合;系统中被处理或被访问的对象(如文件.程序、设备等)成为客体。根据制定的系统安全策略,形成了主体与客体.主体与主体、客体与客体之间的相互关系。 相似文献
12.
程序信息流安全是信息安全的一个重要研究方向.基于类型的静态分析可以保证程序信息流安全与单进程系统相比.移动计算系统中数据通讯的存在使得程序信息流安全保护更加困难.Cornell大学的Zdancewic对函数式语言λsec的单进程程序信息流安全进行了研究.本文在其工作的基础上,根据移动计算系统的结构特征,通过对函数式语言λsec进行扩充,加入通讯原语,将其扩展成移动计算语言MobileML,并针对一个简单的移动计算模型,给出了描述程序信息流安全的无干扰性定义,设计了相应的信息流类型系统,用以静态检查保证MobileML语言程序信息流安全. 相似文献
13.
14.
李红 《数字社区&智能家居》2006,(3):40-41
很多朋友对Svchost.exe进程都不太了解.在任务管理器中一旦看到有多个该进程(图1中有8个).就以为自己的电脑中了病毒或木马.其实并非如此!正常情况下.Windows中可以有多个Svchost.exe进程同时运行.例如Windows 2000有2个Svchost进程.Windows XP中有4个以上.Windows 2003中则更多.所以当你看到多个Svchost进程时.未必就是病毒! 相似文献
15.
16.
“六朝古都”——南京是中国重要的综合性工业生产基地.源远流长的古代文明与充满活力的现代文明的交融,使得南京成为长三角区域的中心城市。“呼应上海.辐射周边”的城市战略.使南京紧密融入长三角一体化进程.南京正在积极改善和强化与沪宁之间的交通联系.加快与宁杭经济带的连接.进一步发挥对周边苏皖城市的辐射作用.从而提升南京区域中心城市的地位。 相似文献
17.
Linux 2.6内核进程调度分析 总被引:6,自引:2,他引:6
Linux操作系统是一种支持多任务、多用户和多处理器的现代通用操作系统。2.6内核的Linux支持0(1)级进程调度算法,支持可抢占内核,相比于2.4内核具有更好的实时性能。文中基于Linux2.6.10内核源代码,分析了Linux2.6内核的进程调度系统。并在详细介绍关键数据结构的基础上,阐述了进程调度算法的原理,并对实时进程的支持作了分析。 相似文献
18.
19.
面向拓扑空间实体的扩展锁技术 总被引:4,自引:0,他引:4
借鉴操作系统中有关进程管理的理论,提出了一套面向拓扑空间实体的扩展锁技术.该技术实现了并行加锁与解锁事务间的同步与互斥管理,避免了死锁检测、事务回滚等操作带来的系统开销,提高了系统的运行效率.另外,在空间锁事务管理中使用的队列管理机制对提高系统的有序运转有十分重要的意义.实验证明:该技术以相关管理逻辑代码的时间开销为代价,换来了多用户环境下空间数据库系统运转的高效性和有序性. 相似文献
20.
本文探讨物理系统定性推理的描述方法.在分析已有的定性推理方法所存在不足的基础上,给出了一种基于事件与进程的开放系统的定性推理的描述手段QUIOS.此方法一方面拓广了定性进程理论QPT(qualitahveProcesstheory)关于参量的类型,引入了参量视图的概念,描述了参量的两种继承关系,并证明在一定条件下参量的双重继承关系不会引起矛盾;另一方面通过事件制约进程而引入开放系统定性推理的表现机制. 相似文献