全文获取类型
收费全文 | 111篇 |
免费 | 14篇 |
国内免费 | 37篇 |
专业分类
电工技术 | 1篇 |
综合类 | 4篇 |
机械仪表 | 4篇 |
建筑科学 | 1篇 |
无线电 | 6篇 |
自动化技术 | 146篇 |
出版年
2024年 | 2篇 |
2023年 | 2篇 |
2022年 | 4篇 |
2021年 | 6篇 |
2020年 | 9篇 |
2019年 | 5篇 |
2018年 | 5篇 |
2017年 | 5篇 |
2016年 | 7篇 |
2015年 | 18篇 |
2014年 | 11篇 |
2013年 | 10篇 |
2012年 | 12篇 |
2011年 | 10篇 |
2010年 | 12篇 |
2009年 | 7篇 |
2008年 | 10篇 |
2007年 | 4篇 |
2006年 | 4篇 |
2005年 | 7篇 |
2004年 | 1篇 |
2003年 | 2篇 |
2002年 | 4篇 |
2001年 | 2篇 |
2000年 | 2篇 |
1997年 | 1篇 |
排序方式: 共有162条查询结果,搜索用时 15 毫秒
1.
设计一种基于红外光电传感器导航的工业用自动导航车系统,介绍自动导航车的控制系统原理及主要构成部件的特性;论述红外光电传感器的导航原理;给出自动导航车的控制电路原理及主要控制流程,并进行试验样机制作与运行验证。 相似文献
2.
为保证关键软件系统的安全性和可靠性,对软件失效模式与影响分析方法在实际应用中存在的问题进行了分析研究,结合模型检验技术提出了一种基于SPIN的系统级失效模式与影响分析方法。该方法运用SPIN模型检验工具的验证和模拟功能,有效提高了失效模式分析的准确性和充分性。此外还结合某型航空发动机控制系统介绍了一个应用实例,证明了该方法在工程实践中的可行性。 相似文献
3.
基于接口自动机的BPEL4WS Web服务组合形式化模型 总被引:1,自引:0,他引:1
介绍了接口自动机的基本语法,针对目前最主要的一种描述和执行基于工作流模式的Web服务组合的规范——Web服务商业流程执行语言 (business process execution language for Web services,BPEL4WS),定义了接口自动机和BPEL4WS之间的概念映射,并给出了BPEL4WS的基于接口自动机的形式化模型,最后通过一个案例给出了BPEL4WS到接口自动机的映射及验证的方法。 相似文献
4.
为有效地保证Web服务业务活动中事务可靠地执行,提出了一种检查伙伴服务之间协调行为一致性的方法。针对长事务给出用Pi-演算建模业务活动中服务协调行为的方法;定义了标号迁移系统和Kripke结构这两种状态自动机之间的语法映射关系,提出了PI-演算进程模型到符号模型检测工具输入语言的转换方法;在模型检测结果的基础上,用反例引导用户进一步精化模型,以解决业务流程集成中参与者协调一致性问题。通过实例验证了该方法的有效性。 相似文献
5.
软件缺陷预测是提高软件测试效率,保证软件可靠性的重要途径。考虑到软件缺陷预测模型对软件模块错误分类代价的不同,提出了代价敏感分类的软件缺陷预测模型构建方法。针对代码属性度量数据,采用Bagging方式有放回地多次随机抽取训练样本来构建代价敏感分类的决策树基分类器,然后通过投票的方式集成后进行软件模块的缺陷预测,并给出模型构建过程中代价因子最优值的判定选择方法。使用公开的NASA软件缺陷预测数据集进行仿真实验,结果表明该方法在保证缺陷预测率的前提下,误报率明显降低,综合评价指标AUC和F值均优于现有方法。 相似文献
6.
针对特征模型的演化导致特征间的冲突问题, 从特征模型的演化方面进行研究, 提出了一种基于本体的特征模型演化的一致性验证方法。首先采用本体理论方法对特征模型的演化进行分析和建模, 建立本体的特征模型元模型; 其次基于上述元模型, 为网上购物系统实例建立相应的网上购物的领域特征模型, 根据需求裁剪出产品特征模型; 然后在Eclipse集成开发环境下, 通过Jena推理机加载规则和产品特征模型进行一致性验证, 当检测到冲突时, 采用演化策略来消除冲突; 最后通过实例研究说明了该方法的有效性。 相似文献
7.
8.
9.
一个通用报表工具的设计与实现 总被引:10,自引:3,他引:10
在应用系统的开发中,各种各样的报表是系统的重要组成部分。这些报表的制作是一项复杂而繁琐的工作,因此通用的报表工具对系统开发具有重大的意义。详细阐述了一个通用报表工具(EMReport)的设计和实现,提出了一个抽象报表模型,最后概括了报表工具的主要特点,介绍了报表工具在工程领域和商业领域中的实际应用,证实了该报表工具的通用性。 相似文献
10.
传统产品数据管理系统针对性强,可扩展性差,虽然能够临时满足企业的信息化需求,但是随着企业信息化的发展,企业运转模式不断变化,新的需求不断出现,系统的维护和更新代价迅速膨胀。针对传统系统开放性和可维护性上的问题,分析了产品数据管理系统的一般的体系结构以及高可用性系统体系结构的一般特点,对传统系统开发过程中主要支撑技术的优缺点做了系统分析,结合分布式对象技术提出了一种基于Web的高可用性产品数据管理系统体系结构。体系结构更具开放性和可维护性强,并且具有很强的实用性。 相似文献