首页 | 官方网站   微博 | 高级检索  
文章检索
  按 检索   检索词:      
出版年份:   被引次数:   他引次数: 提示:输入*表示无穷大
  收费全文   37篇
  免费   1篇
工业技术   38篇
  2023年   1篇
  2021年   2篇
  2020年   4篇
  2019年   4篇
  2018年   2篇
  2017年   1篇
  2016年   2篇
  2015年   1篇
  2014年   2篇
  2013年   4篇
  2012年   1篇
  2011年   3篇
  2010年   1篇
  2009年   2篇
  2008年   2篇
  2007年   2篇
  2005年   1篇
  2003年   1篇
  1998年   2篇
排序方式: 共有38条查询结果,搜索用时 15 毫秒
1.
We present the first step of a research aimed at automating a driven interactive 3D modeling of an existing architectural object. The method is based on oriented multi-image spherical panoramas produced by stitching techniques. The photogrammetric process has two steps: the creation of a semi-automatic process to find homolog points in two panoramas; the creation of parametric definitions for an interactive modeling creating points, segments, and surfaces based on the plotted points in the first step. By connecting these two steps, the creation of the model will be automatic, as we indicate the necessary points in just one panoramic photo. The principals of multi-view geometry and epipolar geometry were applied to simplify the calculation in the first step in order to create an automatic identification of the correspondent points in the other panorama. The epipolar geometry is described by both analytical and graphical programming, implementing in the first case a C++ application and in the second case a Rhinoceros and Grasshopper application. A case study of the Ponte Rotto in Rome (Italy) is presented.  相似文献   
2.

Context

Formal methods are very useful in the software industry and are becoming of paramount importance in practical engineering techniques. They involve the design and modeling of various system aspects expressed usually through different paradigms. These different formalisms make the verification of global developed systems more difficult.

Objective

In this paper, we propose to combine two modeling formalisms, in order to express both functional and security timed requirements of a system to obtain all the requirements expressed in a unique formalism.

Method

First, the system behavior is specified according to its functional requirements using Timed Extended Finite State Machine (TEFSM) formalism. Second, this model is augmented by applying a set of dedicated algorithms to integrate timed security requirements specified in Nomad language. This language is adapted to express security properties such as permissions, prohibitions and obligations with time considerations.

Results

The proposed algorithms produce a global TEFSM specification of the system that includes both its functional and security timed requirements.

Conclusion

It is concluded that it is possible to merge several requirement aspects described with different formalisms into a global specification that can be used for several purposes such as code generation, specification correctness proof, model checking or automatic test generation. In this paper, we applied our approach to a France Telecom Travel service to demonstrate its scalability and feasibility.  相似文献   
3.
Scientometrics - This study investigates the research performance of the Iraqi public and private universities using the Scopus citation database. The investigation consists of three stages. The...  相似文献   
4.
In Posttraumatic Stress Disorder (PTSD), the hypermnesis linked to the trauma produces various emotional disturbances that result in a state of increased hypersensitivity towards environmental stimuli. Accordingly, memory and emotional functions play a predominant role in the PTSD symptomatology. Through a distinctive approach to the cognitive psychopathology research, the goal of this review is to define the nature of the links between the memory and emotional processes in PTSD. The research conducted in this area, whether on explicit or implicit memory, reveals a memory bias in information specific to the trauma. In determining the workings of the cognitive mechanisms responsible for this traumatic information bias, we hope that this will provide a basis for progress to be made in the understanding of the cognitive mechanisms responsible for the repetitive mnemic symptoms of PTSD. (PsycINFO Database Record (c) 2010 APA, all rights reserved)  相似文献   
5.
The use of silver as an antimicrobial agent has exhibited great interest in recent years. In this research, poly(ethylene-co-vinyl alcohol) (EVOH)–silver acetate-based antimicrobial materials were prepared at high temperature by reactive extrusion. Silver acetates were used without pretreatment. The thermal reaction of silver acetates in the material and their effect on the thermal and mechanical properties of the polymer were investigated as a function of their concentration. The dispersed silver acetate salts within the EVOH matrix have displayed a significant thermal reaction. This reaction of metallic salts was partial when the extrusion temperature was fixed at 190 °C and completed at 230 °C. The antimicrobial agents also had significant effects on the properties of the matrix. Reductions of glass temperature and storage modulus were observed by the analyses. All the variations were dependent on both the concentration of silver acetate and the extrusion parameters. The antimicrobial activity was studied and demonstrated a promising potential to create an antimicrobial material in a one-step solvent free extrusion method. © 2019 Wiley Periodicals, Inc. J. Appl. Polym. Sci. 2019 , 136, 47799.  相似文献   
6.
The hydraulic‐thermal characteristics of 3D pinned heat sink designs have been numerically compared as the first part of a three‐part investigation. Five different pin geometries (circular, square, triangular, strip, and elliptic pins) and an unpinned heat sink with three types of nanofluids (Al2O3–H2O, SiO2–H2O, and CuO–H2O) are considered for laminar forced convection. The range of Reynolds number is from 100 to 1000, and volume fractions vary between 0% and 5%. The finite volume method is employed to solve the Navier–Stokes and energy equations by employing a SIMPLE algorithm for a computational solution. Three parameters are presented—the Nusselt number, the bottom temperature, and the hydrothermal performance of the heat sink with pressure drop data. The findings indicated that the overall hydrothermal performance of elliptic‐pinned (EP) heat sinks produces the most substantial value of 3.10 for pure water. For different nanofluids, the SiO2–water nanofluids with EPs have the most significant hydrothermal performance. Also, this factor is enhanced with an increase in nanofluid concentration up to nearly 3.34 for 5% of SiO2–water. Consequently, applying the elliptic‐pinned heat sinks is recommended with pure water for considering an increase in the pressure drop, with 5% of SiO2–water nanofluids, regardless of an enlargement of pressure drop for heat‐dissipation applications.  相似文献   
7.
The spray-freeze drying (SFD) technique was applied to sonicated aqueous suspensions of spray-dried montmorillonite clay (MMT) to produce highly porous agglomerates (SFD-MMT). Both MMT (used as a reference) and SFD-MMT were subsequently incorporated in polypropylene (PP) via melt compounding to produce 2 wt % nanocomposites with and without maleic anhydride grafted polypropylene (PP-g-MA). Polypropylene nanocomposites containing SFD-MMT exhibited thinner silicate flake layers compared to large agglomerates in PP/MMT nanocomposites. SFD-MMT particles became even more finer in the presence of PP-g-MA (i.e., in PP/PP-g-MA /SFD-MMT) where it hindered PP crystallization instead of serving as nucleation sites for the PP crystallization during rapid cooling. SFD-MMT improved the thermal stability of PP/PP-g-MA by 30°C compared to only 5–8°C for MMT/nanocomposites. MMT acts as a heterogeneous nucleating agent in the nucleation-controlled PP nanocomposites, but the hindrance effect was observed for the PP/PP-g-MA with SFD-MMT. PP/PP-g-MA/SFD-MMT exhibited twice the edge surface energy as compared to PP/PP-g-MA/MMT. The incorporation of both types of MMT raised the tensile moduli of PP and PP/PP-g-MA, with no improvement in their tensile strength and a decrease in the elongation at break. The PP/PP-g-MA/SFD-MMT showed brittle failure. POLYM. ENG. SCI., 60:168–179, 2020. © 2019 Society of Plastics Engineers  相似文献   
8.
Production of a biocompatible hyperpolarized bolus for signal amplification by reversible exchange (SABRE) could open the door to simple clinical diagnosis via magnetic resonance imaging. Essential to successful progression to preclinical/clinical applications is the determination of the toxicology profile of the SABRE reaction mixture. Herein, we exemplify the cytotoxicity of the SABRE approach using in vitro cell assays. We conclude that the main cause of the observed toxicity is due to the SABRE catalyst. We therefore illustrate two catalyst removal methods: one involving deactivation and ion‐exchange chromatography, and the second using biphasic catalysis. These routes produce a bolus suitable for future in vivo study.  相似文献   
9.
Ice slurries are used in indirect refrigeration systems. The storage tank of ice slurry systems decreases the maximum required cooling capacity of the equipment and smooths down the installation consumption. An advantage of ice slurry systems compared to chilled water systems is the higher cooling energy that can be delivered to customers using the same installed pipes. This paper gives a complete investigation of ice slurry pressure drops and deposition velocity. A model for the friction factor, obtained by empirical and semi-empirical approximation, is discussed. A new simple and efficient method is introduced to find the deposition velocity in an ice slurry fluid flow. Finally a variety of experimental results and some theoretical calculations of ice slurry flow patterns are shown.  相似文献   
10.
Purification of bentonite clays and their modification with two thermally stable (alkyl and aryl) phosphonium organic salts were investigated. The organoclays were subsequently melt compounded with Polyamide 66 (PA66), with and without the use of an elastomeric compatibilizer. The morphology, melt flow, thermal stability, and mechanical properties of the binary and ternary nanocomposites were studied. The bentonite clay was purified by sedimentation, resulting in higher cation exchange capacity and thermal stability in comparison with unpurified clay. These were then used in the synthesis of two thermally stable organoclays by replacing the interlayer sodium cations with two (alkyl and aryl) phosphonium surfactant cations to circumvent the problem of low temperature decomposition of quaternary ammonium organoclays usually used in polymer nanocomposites. The organoclay with aliphatic groups showed more compatibility with PA66 in comparison with the organoclay with aromatic groups. Thus, the use of organoclay with aliphatic groups resulted in nanocomposites with higher tensile strength, higher modulus, higher elongation at break, and higher impact strength in comparison with the nanocomposites produced from the organoclay with aromatic groups. © 2012 Wiley Periodicals, Inc. J. Appl. Polym. Sci., 2013  相似文献   
设为首页 | 免责声明 | 关于勤云 | 加入收藏

Copyright©北京勤云科技发展有限公司    京ICP备09084417号-23

京公网安备 11010802026262号