全文获取类型
收费全文 | 453篇 |
免费 | 21篇 |
国内免费 | 18篇 |
学科分类
工业技术 | 492篇 |
出版年
2024年 | 1篇 |
2023年 | 6篇 |
2022年 | 8篇 |
2021年 | 8篇 |
2020年 | 3篇 |
2019年 | 4篇 |
2018年 | 7篇 |
2017年 | 6篇 |
2016年 | 10篇 |
2015年 | 9篇 |
2014年 | 17篇 |
2013年 | 27篇 |
2012年 | 23篇 |
2011年 | 28篇 |
2010年 | 27篇 |
2009年 | 16篇 |
2008年 | 23篇 |
2007年 | 32篇 |
2006年 | 37篇 |
2005年 | 31篇 |
2004年 | 24篇 |
2003年 | 19篇 |
2002年 | 15篇 |
2001年 | 11篇 |
2000年 | 17篇 |
1999年 | 12篇 |
1998年 | 10篇 |
1997年 | 13篇 |
1996年 | 8篇 |
1995年 | 6篇 |
1994年 | 3篇 |
1993年 | 6篇 |
1992年 | 8篇 |
1991年 | 2篇 |
1990年 | 1篇 |
1989年 | 3篇 |
1988年 | 1篇 |
1987年 | 2篇 |
1986年 | 1篇 |
1985年 | 2篇 |
1983年 | 2篇 |
1982年 | 2篇 |
1980年 | 1篇 |
排序方式: 共有492条查询结果,搜索用时 0 毫秒
1.
Sven Beyer Christian Jacobi Daniel Kröning Dirk Leinenbach Wolfgang J. Paul 《International Journal on Software Tools for Technology Transfer (STTT)》2006,8(4-5):411-430
In the verified architecture microprocessor (VAMP) project we have designed, functionally verified, and synthesized a processor
with full DLX instruction set, delayed branch, Tomasulo scheduler, maskable nested precise interrupts, pipelined fully IEEE
compatible dual precision floating point unit with variable latency, and separate instruction and data caches. The verification
has been carried out in the theorem proving system PVS. The processor has been implemented on a Xilinx FPGA.
A shorter version of this article with the title “Instantiating uninterpreted functional units and memory system: functional
verification of the VAMP” appeared in [8]. The work reported here was done while all the authors were with Saarland University. 相似文献
2.
Nerea Burgos María Paulis M. Mirari Antxustegi Mario Montes 《Applied catalysis. B, Environmental》2002,38(4):251-258
Pt impregnated metallic monoliths prepared from anodised aluminium foils were tested to study their catalytic activity in complete oxidation of volatile organic compound (VOC) mixtures. The VOCs oxidised were 2-propanol, toluene, methyl ethyl ketone (MEK), acetone and their mixtures. Complete oxidation was obtained in all cases except for the case of 2-propanol, where acetone was found as an oxidation intermediate. Even if the adsorption of the VOC on the Al2O3 is governed by its polarity, the reactivity is mainly affected by the competition of the oxygen atoms chemisorbed on the Pt particles. 相似文献
3.
针对不同厂商、不同系统的楼宇自控设备互操作、互通信的局限性,分析了BACnet/IP技术和实时数据库,设计开发了一种基于BACnet/IP技术的实时数据库DasRdb的设备驱动程序。该设备驱动程序采用UDP通信方式,通过调用每个BACnet/IP设备的标准接口函数来驱动实时数据库DasRdb分别进行写操作和读操作,能够有效地实现BACnet/IP设备与实时数据库DasRdb之间的通信,从而使楼控设备的互操作成为可能。现场工程应用表明,该程序的运行契合BACnet的一致性要求,具有简单、高效、精确度高、实时性好的特点。 相似文献
4.
Fengyang Wang Xueying Huang Li Du Weiguo Li Hongxuan He Chao Qi 《International journal of molecular sciences》2007,8(5):445-454
The small molecule, meso-tetra(α,α,α,α-o-phenylacetamidophenyl) porphyrin (Mr1147.0) was used as complete antigen to elicit MAb through the immunization and cell fusion techniques. The MAb 1F2 obtained was demonstrated to be very pure by MALDI/TOFMS. The subtype of MAb 1F2 is IgG2a, which has a relative molecular weight of 156,678.8 Da.No significant change in the intensity of absorption peaks in UV and CD spectra was observed over a pH range between 6 and 12. The high stability of the abzyme and the tight binding between Fe porphyrin and antibody were also demonstrated. Vmax, Km, κcat, κcat/Km for abzyme are 5.18 × 10−8 Ms−1, 1.50 × 10−8 M, 0.518 s−1, 3.45 × 107 M−1s−1, respectively. The data obtained indicate that catalytic antibody has high catalytic activity. The chloroperoxidase activity of MAb 1F2-Fe porphyrin complex is stable from 10 °C to 60 °C. 相似文献
5.
选址问题目前学术界已有较多的研究成果,但大多数是将总费用作为目标函数,一般要求事先给出网络结点的位置坐标,且无需考虑结点间的最短路程,旨在确定新的地理几何中心。而对已有网络,在不改变原有路径及各结点位置的条件下,以总路程最小为目标函数,在现有网络结点中寻找其中某些结点的最优位置却是一个新的研究课题。本文以某高校校园卡充值点为例,将校园示意图转化为赋权连通图,求得该连通图的邻接矩阵,利用Floyd算法及图论软件包构造一个最短路径矩阵,得到一个赋权完全图,利用穷举法或混合整数规划法及数学软件求解,得到各学院、楼栋、学生宿舍区到三个校园卡充值点的最短总路程及三个校园卡充值点的最优位置。 相似文献
6.
针对转子不平衡振动信号非平稳性并伴随较强环境噪声的特点,提出一种基于快速独立分量分析(FastICA)和改进希尔伯特-黄变换相结合的故障特征提取方法。该方法采用FastICA法去除环境噪声等因素对于故障特征提取精度的影响,再利用自适应白噪声总体平均模态分解方法将故障信号分解为一系列固有模态函数(IMF),并采用基于相似性评估的虚假IMF选择算法将与故障信息无关的虚假IMF分量剔除,从而保证故障信息提取的准确性和有效性。通过仿真分析证明了所提方法的有效性,并且实际试验表明:该方法可有效提取转子不平衡信号的故障特征,为该类故障的诊断提供了一种切实可行的方法。 相似文献
7.
Christian Ronse 《Journal of Mathematical Imaging and Vision》2008,32(2):97-125
In connective segmentation (Serra in J. Math. Imaging Vis. 24(1):83–130, [2006]), each image determines subsets of the space on which it is “homogeneous”, in such a way that this family of subsets always
constitutes a connection (connectivity class); then the segmentation of the image is the partition of space into its connected
components according to that connection.
Several concrete examples of connective segmentations or of connections on sets, indicate that the space covering requirement
of the partition should be relaxed. Furthermore, morphological operations on partitions require the consideration of wider
framework.
We study thus partial partitions (families of mutually disjoint non-void subsets of the space) and partial connections (where connected components of a set are mutually disjoint but do not necessarily cover the set). We describe some methods
for generating partial connections. We investigate the links between the two lattices of partial connections and of partial
partitions. We generalize Serra’s characterization of connective segmentation and discuss its relevance. Finally we give some
ideas on how the theory of partial connections could lead to improved segmentation algorithms.
相似文献
Christian RonseEmail: |
8.
Classification of Fuzzy Mathematical Morphologies Based on Concepts of Inclusion Measure and Duality
Mathematical morphology was originally conceived as a set theoretic approach for the processing of binary images. Extensions
of classical binary morphology to gray-scale morphology include approaches based on fuzzy set theory. This paper discusses
and compares several well-known and new approaches towards gray-scale and fuzzy mathematical morphology. We show in particular
that a certain approach to fuzzy mathematical morphology ultimately depends on the choice of a fuzzy inclusion measure and
on a notion of duality. This fact gives rise to a clearly defined scheme for classifying fuzzy mathematical morphologies.
The umbra and the level set approach, an extension of the threshold approach to gray-scale mathematical morphology, can also
be embedded in this scheme since they can be identified with certain fuzzy approaches.
相似文献
Marcos Eduardo ValleEmail: |
9.
This paper studies a non-reciprocal swarm model that consists of a group of mobile autonomous agents with an attraction-repulsion function governing the interaction of the agents. The function is chosen to have infinitely large values of repulsion for vanishing distance between two agents so as to avoid occurrence of collision. It is shown analytically that under the detailed balance condition in coupling weights, all the agents will aggregate and eventually form a cohesive cluster of finite size around the weighted center of the swarm in a finite time. Moreover, the swarm system is completely stable, namely, the motion of all agents converge to the set of equilibrium points. For the general case of non-reciprocal swarms without the detailed balance condition, numerical simulations show that more complex self-organized oscillations can emerge in the swarms. The effect of noise on collective dynamics of the swarm is also examined with a white Gaussian noise model. 相似文献
10.
We give an example of a monoid with finitely many left and right ideals, all of whose Schützenberger groups are presentable by finite complete rewriting systems, and so each have finite derivation type, but such that the monoid itself does not have finite derivation type, and therefore does not admit a presentation by a finite complete rewriting system. The example also serves as a counterexample to several other natural questions regarding complete rewriting systems and finite derivation type. Specifically it allows us to construct two finitely generated monoids M and N with isometric Cayley graphs, where N has finite derivation type (respectively, admits a presentation by a finite complete rewriting system) but M does not. This contrasts with the case of finitely generated groups for which finite derivation type is known to be a quasi-isometry invariant. The same example is also used to show that neither of these two properties is preserved under finite Green index extensions. 相似文献