全文获取类型
收费全文 | 111篇 |
免费 | 5篇 |
国内免费 | 7篇 |
专业分类
电工技术 | 1篇 |
综合类 | 13篇 |
金属工艺 | 2篇 |
机械仪表 | 5篇 |
建筑科学 | 2篇 |
石油天然气 | 1篇 |
无线电 | 6篇 |
一般工业技术 | 4篇 |
原子能技术 | 1篇 |
自动化技术 | 88篇 |
出版年
2021年 | 3篇 |
2019年 | 1篇 |
2018年 | 2篇 |
2017年 | 1篇 |
2016年 | 3篇 |
2015年 | 2篇 |
2014年 | 8篇 |
2013年 | 5篇 |
2012年 | 1篇 |
2011年 | 7篇 |
2010年 | 6篇 |
2009年 | 5篇 |
2008年 | 4篇 |
2007年 | 8篇 |
2006年 | 8篇 |
2005年 | 2篇 |
2004年 | 4篇 |
2003年 | 7篇 |
2002年 | 7篇 |
2001年 | 2篇 |
2000年 | 3篇 |
1999年 | 8篇 |
1998年 | 3篇 |
1997年 | 2篇 |
1996年 | 4篇 |
1995年 | 3篇 |
1994年 | 2篇 |
1993年 | 1篇 |
1992年 | 1篇 |
1991年 | 2篇 |
1990年 | 3篇 |
1988年 | 1篇 |
1987年 | 2篇 |
1985年 | 1篇 |
1984年 | 1篇 |
排序方式: 共有123条查询结果,搜索用时 0 毫秒
1.
常相茂 《电脑与微电子技术》2014,(7):50-53
针对信息安全专业的《近世代数》教学,分析信息安全专业学生与数学专业学生在《近世代数》学习上存在的差异性,并因此提出如何调整《近世代数》的教学内容使其更适合信息安全专业学生的学习,探讨针对信息安全专业《近世代数》学习的教学方法改革,从而提高信息安全专业学生学习《近世代数》的积极性和效果。 相似文献
2.
BLAS (Basic Linear Algebra Subprograms)是一个基本线性代数操作的数学函数标准, 该库函数分为三个级别, 每个级别提供了向量与向量(1级)、向量与矩阵(2级)、向量与向量(三级)之间的基本运算. 本文研究了在申威1621处理器上BLAS一级函数的优化方案, 以函数AXPY为例, 充分利用平台的架构特点对其进行性能调优,设计了自动的线程分配方案. 实验结果显示优化过后的BLAS一级函数AXPY相对于GotoBLAS参考实现版本的单核和多核加速比分别高达4.36和9.50, 对于每种优化方式均得到了一定的性能提升. 相似文献
3.
吴伟 《吉林化工学院学报》2014,31(10):66-68
分析了抽象代数课程建设中存在的一些问题,介绍了教育信息化背景下抽象代数开放课程的建设,阐述了如何将信息技术渗透到抽象代数课程的建设中。 相似文献
4.
Eugenio Roanes-Lozano Nicolas van Labeke Eugenio Roanes-Macías 《Mathematics and computers in simulation》2010
Many (2D) Dynamic Geometry Systems (DGSs) are able to export numeric coordinates and equations with numeric coefficients to Computer Algebra Systems (CASs). Moreover, different approaches and systems that link (2D) DGSs with CASs, so that symbolic coordinates and equations with symbolic coefficients can be exported from the DGS to the CAS, already exist. Although the 3D DGS Calques3D can export numeric coordinates and equations with numeric coefficients to Maple and Mathematica, it cannot export symbolic coordinates and equations with symbolic coefficients. A connection between the 3D DGS Calques3D and the CAS Maple, that can handle symbolic coordinates and equations with symbolic coefficients, is presented here. Its main interest is to provide a convenient time-saving way to explore problems and directly obtain both algebraic and numeric data when dealing with a 3D extension of “ruler and compass geometry”. This link has not only educational purposes but mathematical ones, like mechanical theorem proving in geometry, geometric discovery (hypotheses completion), geometric loci finding… As far as we know, there is no comparable “symbolic” link in the 3D case, except the prototype 3D-LD (restricted to determining algebraic surfaces as geometric loci). 相似文献
5.
Albert Visser 《Theoretical computer science》2011,412(28):3404-3411
In this paper we study an alternative way of treating Polish notation. Instead of proving unique reading for a well-behaved set of terms, we interpret any string of the alphabet in a monoid that extends, in a specifiable sense, the given algebra of functions. 相似文献
6.
7.
需求模型到软件体系结构(SA)模型的转换是软件工程领域的一个研究热点。针对DERM所建立的ACP风格的需求模型,以扩展Petri网风格的SA模型为模型转换的目标,以行为映射为模型转换的依据,提出了一种将需求模型转换为SA模型的方法。首先,讨论了模型转换的整体思路;其次,将行为特征模型中的各个结点转换为SA模型中的构件和连接件,并提出了相应的转换规则;再次,讨论了属性特征模型中主动属性特征的转换,并提出了子系统划分的策略;最后,通过案例研究展示了该方法在从需求模型到SA模型的转换中的有效性。 相似文献
8.
We present an algorithm for converting a semantically meaningful SQL query into an equivalent algebraic expression. The relational algebra we employ consists of the following operators: union, intersection, difference, Cartesian product, selection, and projection. The SQL queries we consider can have an arbitrary level of nesting but are restricted in three ways. We assume that they do not contain an ORDER BY or a GROUP BY clause, all SELECTs are in fact SELECT DISTINCTs, and that no aggregate functions are used. The first two assumptions are made in order to remain faithful to the definition of a relation as a set of rows. The last assumption is needed since there is no standard for incorporating aggregate functions into a relational algebra. The research results in this paper will be useful in implementing an SQL user interface for database management systems that internally employ relational algebra. They can also be used in optimizing the evaluation of SQL queries. 相似文献
9.
在基于模型诊断中计算最小碰集算法 总被引:1,自引:2,他引:1
介绍了基于模型诊断中的计算碰集的算法 ,并分析比较了各算法的效率和计算结果。其中的逻辑型数组算法、递归算法、BHS 树算法、布尔代数算法、GA算法均是笔者近年来研究的结果。 相似文献
10.