全文获取类型
收费全文 | 59篇 |
免费 | 19篇 |
国内免费 | 11篇 |
专业分类
综合类 | 1篇 |
无线电 | 3篇 |
自动化技术 | 85篇 |
出版年
2020年 | 1篇 |
2019年 | 1篇 |
2017年 | 1篇 |
2016年 | 2篇 |
2015年 | 2篇 |
2013年 | 2篇 |
2012年 | 3篇 |
2011年 | 3篇 |
2010年 | 2篇 |
2009年 | 6篇 |
2008年 | 6篇 |
2007年 | 6篇 |
2006年 | 11篇 |
2005年 | 5篇 |
2004年 | 5篇 |
2003年 | 5篇 |
2002年 | 7篇 |
2001年 | 7篇 |
2000年 | 3篇 |
1999年 | 1篇 |
1996年 | 1篇 |
1995年 | 1篇 |
1992年 | 1篇 |
1991年 | 1篇 |
1990年 | 1篇 |
1986年 | 2篇 |
1984年 | 1篇 |
1982年 | 1篇 |
1981年 | 1篇 |
排序方式: 共有89条查询结果,搜索用时 15 毫秒
61.
面向嵌入式实时软件系统需求工程环境——SREE 总被引:1,自引:1,他引:1
1 前言软件开发的需求阶段需要严格定义被开发系统的需求规格说明书(Software Requirement Specifications,SRS)。对于软件开发来说,SRS中的错误将导致开发成本、开发时间的增加,甚至是开发过程的失败,所以,SRS的正确和可靠极为重要。但由于许多因素,如问题的复杂性、设计人员交流障碍、用户对问题陈述的不完全和不一致以及需求易变性等,需求分析变得十分复杂。为有效地解决这些问题,人们主要围绕着需求分析模型和语言及CASE技术和工具进行了相关的研究,引入形式化技术和CASE具的需求工程正不断向着需求工程自动化的方向发展。 相似文献
62.
文章通过比较Java与 C++在多重继承问题上的异同,分析了Java语言不支持多重继承的原因,并使用三种主要技术:转发、接口和向后引用给出了对多重继承的模拟,从而不但实现了多重继承的功能而且提供了比多重继承更简单、灵活,而且更强劲的功能。 相似文献
63.
自动机是可同步的是指它具有满足以下性质的同步字:不论自动机当前所处的状态,以同步字为输入执行后它一定会到达某个特定状态。同步自动机问题的核心是计算最短同步字。聚焦于这一核心问题,文中就一类称为部分规约的确定的有限自动机的最短同步字问题,研究了近似计算这类自动机的最短同步字的复杂性,即近似计算它的难度,该工作有助于其近似算法的分析与设计。通过建立由两个优化问题(MAX SAT问题以及MAX FA-INT问题)到最短同步字长度计算这一问题(即Shortest-Syn)的归约,利用与概率可检验证明(Probabilistically Checkable Proofs,PCP)定理和概率可检验辩论(Probabilistically Checkable Debate,PCD)定理有关的若干结果证明了文中的主要结论:对于部分规约的确定的有限自动机,在某个近似因子内Shortest-Syn的近似难度是NP-难的和PSPACE-难的,除非NP和PSPACE分别坍塌到P。 相似文献
64.
根据用户行为网上导航的方法 总被引:3,自引:0,他引:3
随着因特网的成长,网络浏览使人们从本地或远程更方便地获取各种信息.网页数量的疯狂 增长已经使得用户面对庞大的数据群无所适从,急需导航技术的帮助.一个新的马尔可夫链 模型被引入用来跟踪所有团体成员的网页访问活动,并且推荐一些有用站点,引导人们更有 效率地浏览网站.还提出一个基于半形式化过程描述的数据搜集算法,来获得有用数据,以推 导出最好结果,并在原型系统中分析了代理服务器上的访问日志,对该算法进行描述. 相似文献
65.
本文提出了一种以概念图为元表达语言的多视点需求建模方法.该模型提供了一种多视点中不同表示风格带来的问题的解决方法,该方法使用多视点进行需求获取,通过统一建模语言中的协作图简化了视点间的一致性检查,使多视点的集成更为简便. 相似文献
66.
<正> 一、前言 785机是一台速度为亿次以上的巨型计算机,它的主要用途是科学计算,解算那些非高速大容量机所不能解算的大题目,同时在日常进行批处理。因此为该机配置的操作系统无疑应是以批处理为主的多道程序的操作系统。鑑于它的极快的CPU速度,很大的内存容量(200万字×64位),对其作业调度策略应做哪些特殊考虑呢?这就是本文所要论证的问题。也是785机OS作业调度策略所要解决的问题。 相似文献
67.
本文研究了微软的控件重用技术,通过与对象重用技术进行比较,本文总结了控件重用技术的成就,通过与代码组件合重用技术进行比较,本文指出了控件重用技术的缺陷。 相似文献
68.
软件测试是保障软件质量的重要手段,是软件工程的重要组成部分.基路径测试作为路径测试的一种重要手段,是软件自动化测试的热点.但是由于基路径基于数学的向量理论,并不考虑程序的逻辑情况,使得在实际工作中很多基路径本身是不可迭路径.通过分析判定节点的定义-判定序列的方法提出不可达路径的检测手段,并以该手段为基础,提出可达基路径自动生成算法,使得自动生成可达基路径集成为可能. 相似文献
69.
图象数据关联规则挖掘 总被引:6,自引:0,他引:6
本文在介绍了多媒体数据挖掘基本思想和图象数据主要特征基础之上,对图象数据关联规则挖掘进行了讨论。首先对关联规则挖掘有关问题加以描述和分析,针对图象数据,定义了新的关联规则及其有关概念,并给出考虑项数量的原子特征和空间关系关联规则挖掘算法MaxOccur和MAR-Spatial,解决了不考虑项的重复所导致的信息丢失问题。 相似文献
70.
提出了一种面向软件行为的需求建模方法和需求描述语言BDL,介绍了需求描述语言的设计和实现方法。利用此需求建模可以根据用户的需求信息寻找出目标系统的有效行为,建立目标系统的行为模型。该行为模型可以帮助用户和开发人员正确认识和理解目标系统的行为,而且能为以后自动检测系统的各种特性提供良好的基础。 相似文献