全文获取类型
收费全文 | 53篇 |
免费 | 2篇 |
专业分类
综合类 | 1篇 |
化学工业 | 10篇 |
机械仪表 | 1篇 |
能源动力 | 3篇 |
轻工业 | 6篇 |
水利工程 | 1篇 |
无线电 | 13篇 |
一般工业技术 | 5篇 |
自动化技术 | 15篇 |
出版年
2024年 | 1篇 |
2023年 | 3篇 |
2020年 | 5篇 |
2019年 | 5篇 |
2018年 | 3篇 |
2017年 | 4篇 |
2016年 | 2篇 |
2015年 | 1篇 |
2013年 | 9篇 |
2012年 | 3篇 |
2009年 | 1篇 |
2008年 | 2篇 |
2007年 | 1篇 |
2006年 | 4篇 |
2005年 | 1篇 |
2004年 | 1篇 |
2003年 | 2篇 |
2000年 | 1篇 |
1999年 | 2篇 |
1994年 | 2篇 |
1991年 | 1篇 |
1977年 | 1篇 |
排序方式: 共有55条查询结果,搜索用时 15 毫秒
1.
Martin Gagné Pascal Lafourcade Yassine Lakhnech Reihaneh Safavi-Naini 《Journal of Automated Reasoning》2016,56(1):49-94
We present a Hoare logic for proving semantic security and determining exact security bounds of a block cipher mode of operation. We propose a simple yet expressive programming language to specify encryption modes, semantic functions for each command (statement) in the language, an assertion language that allows to state predicates and axioms, and rules to propagate the predicates through the commands of a program. We also provide heuristics for finding loop invariants that are necessary for the application of our rule on for-loops. This enables us to prove the security of protocols that take arbitrary length messages as input. We implemented a prototype that uses this logic to automatically prove the security of block cipher modes of operation. This prototype can prove the security of many standard modes of operation, such as Cipher Block Chaining (CBC), Cipher FeedBack mode (CFB), Output FeedBack (OFB), and CounTeR mode (CTR). 相似文献
2.
3.
Dominik Mierzwa Justyna Szadzińska Andrzej Pawłowski Reihaneh Pashminehazar Abdolreza Kharaghani 《Drying Technology》2019,37(8):988-1001
This study was conducted to investigate the drying characteristics and quality of raspberries dried in non-stationary conditions. Seven drying programs were carried out, including convective (CV) drying as a reference. The non-stationary-hybrid programs were based on continuous CV drying with intermittent microwave and ultrasound assistance. The Midilli–Kucuk model was used successfully to describe the drying kinetics of raspberry fruits. The comparison between moisture ratio, drying rate, diffusion coefficient, energy consumption, and quality analysis, showed that non-stationary-hybrid drying improves process kinetics and results in less color change, higher anthocyanin retention, and better texture profile analysis characteristics with optimal energy usage than other methods. In addition, the physical and microstructural changes occurred during different drying processes were discussed. 相似文献
4.
Reihaneh Pashmineh Azar Cavus Falamaki 《Journal of Industrial and Engineering Chemistry》2012,18(2):737-743
An Iranian clinoptilolite has been modified with MnO2 for the catalytic removal of Fe2+ cations from water in a batch slurry reactor. The modified zeolite was subjected to FESEM, XRD, WDX, XRF and specific surface area analysis. A correlation for the intrinsic catalytic reaction rate incorporating both Fe2+ and dissolved oxygen concentration as a function of reaction temperature has been presented. The effect of the modified zeolite aggregate particle size on the iron removal kinetics has been investigated. It was shown that for particles larger than 150 μm, diffusion through the mesopores of the zeolite aggregate is rate controlling. The effective diffusion coefficient through the particles at RT has been calculated as 2.3 × 10?6 cm2 s?1. It is shown that liquid phase molecular diffusion within the mesopores is the dominating mass transfer mechanism. 相似文献
5.
6.
7.
A New and Efficient Fail-stop Signature Scheme 总被引:4,自引:0,他引:4
8.
Brisbane G. Safavi-Naini R. Ogunbona P. 《Vision, Image and Signal Processing, IEE Proceedings -》2005,152(6):787-792
Seppanen, Makela and Keskinarkaus (SMK) have proposed a high-capacity steganographic technique to conceal information within a colour image. The technique is significant because of the high volume of data that is embedded into pixels but it results in a high level of noise and so the quality of the resulting image is not acceptable. A new type of coding structure is proposed, which maintains a high capacity but lowers the level of noise. Secondly, an adaptive algorithm is used to identify pixel values that have a high capacity to distortion ratio. Also the maximum size of the coding structures is limited to improve the capacity/distortion tradeoff. For the tested images, an average capacity of nearly 6 bits/pixel was achieved with a peak signal to noise ratio of 40 dB. 相似文献
9.
Reihaneh Khorsand Mohammadreza Ramezanpour 《International Journal of Communication Systems》2020,33(9)
The massive growth of cloud computing has led to huge amounts of energy consumption and carbon emissions by a large number of servers. One of the major aspects of cloud computing is its scheduling of many task requests submitted by users. Minimizing energy consumption while ensuring the user's QoS preferences is very important to achieving profit maximization for the cloud service providers and ensuring the user's service level agreement (SLA). Therefore, in addition to implementing user's tasks, cloud data centers should meet the different criteria in applying the cloud resources by considering the multiple requirements of different users. Mapping of user requests to cloud resources for processing in a distributed environment is a well‐known NP‐hard problem. To resolve this problem, this paper proposes an energy‐efficient task‐scheduling algorithm based on best‐worst (BWM) and the Technique for Order Preference by Similarity to Ideal Solution (TOPSIS) methodology. The main objective of this paper is to determine which cloud scheduling solution is more important to select. First, a decision‐making group identify the evaluation criteria. After that, a BWM process is applied to assign the importance weights for each criterion, because the selected criteria have varied importance. Then, TOPSIS uses these weighted criteria as inputs to evaluate and measure the performance of each alternative. The performance of the proposed and existing algorithms is evaluated using several benchmarks in the CloudSim toolkit and statistical testing through ANOVA, where the evaluation metrics include the makespan, energy consumption, and resource utilization. 相似文献
10.
Mixed‐Conducting Perovskites as Cathode Materials for Protonic Ceramic Fuel Cells: Understanding the Trends in Proton Uptake 下载免费PDF全文
Reihaneh Zohourian Rotraut Merkle Giulia Raimondi Joachim Maier 《Advanced functional materials》2018,28(35)
The proton uptake of 18 compositions in the perovskite family (Ba,Sr,La)(Fe,Co,Zn,Y)O3‐δ, perovskites, which are potential cathode materials for protonic ceramic fuel cells (PCFCs), is investigated by thermogravimetry. Hydration enthalpies and entropies are derived, and the doping trends are explored. The uptake is found to be largely determined by the basicity of the oxide ions. Partial substitution of Zn on the B‐site strongly enhances proton uptake, while Co substitution has the opposite effect. The proton concentration in Ba0.95La0.05Fe0.8Zn0.2O3‐δ is found to be 10% per formula unit at 250 °C, 5.5% at 400 °C, and 2.3% at 500 °C, which are the highest values reported so far for a mixed‐conducting perovskite exhibiting hole, proton, and oxygen vacancy transport. A comprehensive set of thermodynamic data for proton uptake in (Ba,Sr,La)(Fe,Co,Zn,Y)O3‐δ is determined. Defect interactions between protons and holes partially delocalized from the B‐site transition metal to the adjacent oxide ions decrease the proton uptake. From these results, guidelines for the optimization of PCFC cathode materials are derived. 相似文献