首页 | 本学科首页   官方微博 | 高级检索  
文章检索
  按 检索   检索词:      
出版年份:   被引次数:   他引次数: 提示:输入*表示无穷大
  收费全文   38篇
  免费   5篇
  国内免费   6篇
电工技术   2篇
综合类   6篇
机械仪表   1篇
武器工业   1篇
无线电   2篇
自动化技术   37篇
  2019年   1篇
  2017年   1篇
  2015年   2篇
  2013年   4篇
  2012年   9篇
  2011年   4篇
  2010年   4篇
  2009年   3篇
  2008年   5篇
  2007年   3篇
  2006年   2篇
  2005年   6篇
  2004年   1篇
  2002年   2篇
  2001年   2篇
排序方式: 共有49条查询结果,搜索用时 15 毫秒
1.
基于ASP的CSP并发系统验证研究   总被引:2,自引:2,他引:0  
传统并发通信顺序进程(CSP>性质的验证通常使用3个不同的模型层面,从而增加了系统的复杂性和验证 工具开发的难度;同时,主流的并发系统模型验证工具不支持在系统的一次运行中验证多个性质,这也降低了性质验 证的效率。首先将CSP程序转换为ASP程序,然后将CSP进程并发规则和以LTL/CTL公式表示的待验证性质转 换为ASP规则,从而建立了基于ASP验证CSP并发系统性质的统一框架。实验结果表明,基于ASP的CSP并发系 统验证技术易于实现,在保持较高验证效率的同时,能够支持在验证软件的一次执行中验证多条LTL/CTL公式。  相似文献   
2.
动态下推网络(DPN,Dynamic Pushdown Networks)由一组能刻画动态创建线程的动态下推系统(DPDS,Dynamic PushDown Systems)组成.本文首先将描述连续时间的实时时钟引入DPN,提出了时间动态下推网络(TDPN,Timed Dynamic Pushdown Networks),能对动态创建线程的实时并发递归系统建模;然后基于时钟关键点的时钟等价优化方法,并采用on-the-fly技术,仅关心栈顶及下一层的域状态转换,动态的将连续时间模型TDPN转换为时间域表示的离散模型DPN,同时给出TDPN到DPN的转换算法;最后证明在TDPN中的可达状态当且仅当其转换状态在DPN中可达,从而可解决带动态线程创建的实时并发系统的可达性分析.  相似文献   
3.
该文针对信息安全专业的特点,提出了摸索能力的概念,结合实践经验,提出了一系列培养学生摸索能力的教学方法,并且对于改进和完善考核方式以及加强摸索能力的考核提出了行之有效的方法.  相似文献   
4.
逻辑程序开发过程中需要花费大量的时间用以程序调试,原因之一是调试通常包含大量的用户交互.减少对调试过程不必要的调用能够提高软件开发的效率.程序测试中得到的由同一个错误引发的多个症状是引发对调试过程不必要调用的因素之一.给出了一种逻辑程序测试和调试框架,其中测试用例的生成、症状的发现和调试(包括诊断和改错)交叉进行,由同一个错误引发的症状只有一个可引发调试过程执行,并以此方式避免了对调试过程不必要的调用.然后,利用一种基于约束的Prolog计算解语义,该框架被实例化为一种Prolog程序的测试和调试算法,本实例表明了该算法的应用.  相似文献   
5.
针对开放网络环境下,开发安全可靠的虚拟组织系统的分析建模与体系结构设计的复杂性问题,提出一种基于组织管理理论的环境演算设计分析方法,给出其语法和语义,以电子机构模型为例,建立它到所设计环境演算的映射规则,并以一个具体的案例,说明该方法的可用性,该演算文法特点是结合多主体组织管理理论的部门、角色、政策、演员等概念,因而更易于与其它系统高层领域概念分析模型建立关联,有利于系统概念模型到设计模型的平滑过渡.  相似文献   
6.
串行通信服务器中的自适应快速以太网,其硬件包括运行操作系统及应用程序的MPC860T主处理器电路及其外围电路.快速以太网接口电路,负责以太网数据的收发.串行通道电路又分,负责配置监控服务器的SMC接口和负责4个HDLC数据收发功能电路.4个HDLC通道提供符合RS-232C和RS-422标准的接口.  相似文献   
7.
Statecharts的形式化验证研究   总被引:1,自引:0,他引:1  
给出了Statecharts的抽象语法描述,以及Statecharts各个构成元素的语义,包括状态、迁移、事件和条件、表达式、动作和当前状态格局的语义函数等,并给出Statecharts一步的操作语义.然后在此基础上把一个图形化的语言转换为文本的方式来描述,并对Statecharts进行形式化分析及验证.  相似文献   
8.
实时系统非周期任务的可预测调度研究   总被引:2,自引:0,他引:2  
提出了一种实时系统任务模型 ,分析了该模型中周期和非周期任务可调度的条件 ,并给出了一种强实时非周期任务的可预测调度算法。该算法按照 RMS算法的原则统一调度系统任务 ,保证系统周期和非周期任务满足各自的时限约束 ,实现了强实时非周期任务的可预测调度  相似文献   
9.
随着多核技术日益发展,并发程序通过引入Fork/Join并行性,将任务分解为更细粒度的子任务并行执行,从而充分利用多核处理器提供的计算性能。并发执行线程之间的交错可能产生隐匿的程序设计错误,因此有必要对此类并发程序的正确性进行分析。上下文定界分析方法是一种检测并发程序中隐匿错误的高效方法,计算线程有限次上下文切换内的可达状态,确定错误状态是否可达。针对Fork/Join并行性的并发程序的可达性分析思想如下:首先,动态并发程序被建模为可模拟线程Fork/Join操作的动态并发下推系统P;然后从P中提取模拟其k-定界执行的并发下推系统Pk。现有的上下文定界可达算法可解决提取后的并发下推系统的k-定界可达性问题。  相似文献   
10.
为了解决当前通信顺序进程(CSP)模型检测不支持在验证工具的一次运行中验证多个性质的问题,建立了基于ASP的CSP并发模型验证框架。主要研究在该框架下当待验证的系统性质不满足时生成相应性质反例的技术。把ASP程序调试中的ASP程序支撑原因分析技术应用于该问题的研究,提出了相应的反例生成算法,实例表明了该算法的正确性。  相似文献   
设为首页 | 免责声明 | 关于勤云 | 加入收藏

Copyright©北京勤云科技发展有限公司  京ICP备09084417号