全文获取类型
收费全文 | 53篇 |
免费 | 2篇 |
国内免费 | 8篇 |
专业分类
综合类 | 2篇 |
化学工业 | 4篇 |
机械仪表 | 1篇 |
建筑科学 | 18篇 |
矿业工程 | 1篇 |
能源动力 | 2篇 |
轻工业 | 3篇 |
无线电 | 1篇 |
一般工业技术 | 1篇 |
冶金工业 | 2篇 |
自动化技术 | 28篇 |
出版年
2024年 | 2篇 |
2023年 | 1篇 |
2022年 | 1篇 |
2021年 | 2篇 |
2020年 | 1篇 |
2019年 | 1篇 |
2018年 | 3篇 |
2017年 | 1篇 |
2016年 | 1篇 |
2015年 | 2篇 |
2013年 | 4篇 |
2012年 | 2篇 |
2011年 | 1篇 |
2010年 | 2篇 |
2009年 | 4篇 |
2008年 | 7篇 |
2007年 | 2篇 |
2006年 | 6篇 |
2005年 | 3篇 |
2004年 | 5篇 |
2003年 | 3篇 |
2002年 | 2篇 |
2000年 | 2篇 |
1999年 | 1篇 |
1995年 | 1篇 |
1993年 | 2篇 |
1986年 | 1篇 |
排序方式: 共有63条查询结果,搜索用时 15 毫秒
1.
2.
程序正确性的人工评判是一件费时费力的事情,可以考虑借助计算机来实现程序的自动评判。文中介绍了基于B/S模式的自动判题系统的设计。该系统基于JSP技术实现,可以对接收用户提交的程序,进行正确性的判断,并向用户反馈评判结果,同时记录用户的操作日志,并能够根据各类数据,对用户进行排名。 相似文献
3.
本文详细讨论了重写模块的设计思想与实现技术,并讨论了利用执行引擎特点引入的一组基于等价谓调的简单语句直写规则.测试结果表明,增加重写模块的查询优化器能显著提高系统的查询效率. 相似文献
4.
作为北京核心城区的地标性建筑物,西直门综合交通枢纽及配套服务用房项目倍受关注。该项目是集城铁、地铁,公交和铁道等交通方式的交通指挥中心及人员换乘中枢,兼有高层写字楼,商业和餐馆用房,是一个使用功能广泛,由多家设计单位参与的大型公用建筑。 相似文献
5.
集群负载的分布式软件构架分析与设计 总被引:1,自引:0,他引:1
本文讨论和分析了Linux集群事务的一种软件构架的设计技术。在Linux操作系统支持下,主控制程序运行在以太网的主节点上.事务服务程序运行在以太网的其它从节点上,客户程序在以太网外的任何节点上运行。整个系统利用了套接字socket API函数、多路复用和并发性程序设计技术进行分布式并行处理。 相似文献
6.
7.
8.
在高维数据空间中,数据大都处于高维空间边缘且分布十分稀疏,由此引起的“维度灾难”问题导致现有异常检测方法无法保证异常检测精度。为解决该问题,提出一种基于角度的图神经网络高维数据异常检测方法A-GNN。首先通过数据空间的均匀采样和初始训练数据的扰动来扩充用于训练的数据;然后利用k近邻关系构造训练数据的k近邻关系图,并以k近邻元素距离加权角度的方差作为近邻关系图节点的初始异常因子;最后通过训练图神经网络模型,实现节点间的信息交互,使得相邻节点能够互相学习,从而进行有效的异常评估。在6个自然数据集上将A-GNN方法与9种典型异常检测方法进行实验对比,结果表明:A-GNN在5个数据集中取得了最高的AUC值,其能够大幅提升各种维度数据的异常检测精度,在一些“真高维数据”上异常检测的AUC值提升达40%以上;在不同k值下与3种基于k近邻的异常检测方法相比,A-GNN利用图神经网络节点间的信息交互能有效避免k值对检测结果的影响,方法具有更强的鲁棒性。 相似文献
9.
对于一个复杂的实时移动系统,为了确保其在运行过程中的安全性,需要通过形式化方法对其行为进行建模和分析。其中,判断各个移动对象在正常运行时是否互相碰撞是验证实时移动系统安全性的一个重要指标。为此,有必要对各个移动对象进行隔离分析,而隔离分析离不开调度理论的支持。然而,传统的调度理论是基于粗粒度的任务调度,不能直接用于细粒度的隔离分析。为了解决这一问题,可通过时间依赖结构TDS模型来建模移动系统。该模型是基于事件的更细粒度的形式化模型,通过在时间依赖结构的基础上定义实时调度的方法,进而讨论实时调度的性质并进行隔离的可调度性分析,能够判断系统在运行过程中的安全性。 相似文献
10.
XML语法检查的实现 总被引:3,自引:0,他引:3
XML是可扩展标记语言,开发者可根据需要定义合适的标记。由于其灵活性,已被广泛应用于各个领域。主要讨论XML语法检查的两种方法,着重分析其中的一种,并给出具体的实现算法。对XML语法进行检查包括两部分,XML的有效性检查和XML的结构良好性检查,首先对表示XML文档类型定义(DTD)的局部树语法进行改进,然后在DTD构造的语法基础上,对XML进行有效性检查,针对语法检查的两个部分分别构造了检查算法。实验结果表明,该语法检查算法是切实可行的。 相似文献