Filters








7,978 Hits in 2.9 sec

Figure verification of a precision ultra-lightweight mirror: techniques and results from the SHARPI/PICTURE mirror at NASA/GSFC

Scott Antonille, David Content, Doug Rabin, Shane Wake, Thomas Wallace, Martin J. L. Turner, Kathryn A. Flanagan
2008 Space Telescopes and Instrumentation 2008: Ultraviolet to Gamma Ray  
A high-precision ultra-lightweight 0.5m mirror with ultraviolet grade tolerances on surface figure quality has been measured from its delivery to the Goddard Space Flight Center, through the coating and  ...  the final mounted surface figure of 12.5 nm RMS, and we describe the techniques that were developed and employed in the pursuit of maintaining UV diffraction-limited performance with this aggressively lightweighted  ...  Davila at NASA/Goddard contributed significantly to the completion of the lightweight mirror demonstrator.  ... 
doi:10.1117/12.788962 fatcat:mfljgonpcjgkjcjiea7veif3s4

Integrated CAD/CAE/CAI Verification System for Web-based PDM

In-Ho Song, Sung-Chong Chung
2008 Computer-Aided Design and Applications  
By applying the integrated CAD/CAE/CAI verification system toward actual automobile design processes, the effectiveness of the CAD/CAE/CAI verification system has been successfully verified.  ...  In order to resolve this problem, the design of a CAD/CAE/CAI verification system is required to develop a Web-based PDM system, which would allow for wider verification of engineering data within the  ...  The actual function modules of the developed system are composed of the lightweight file read/write, IGES migration, 3D viewer equipped with lightweight configuration kernel, measurement verification and  ... 
doi:10.3722/cadaps.2008.676-685 fatcat:divuzs7fzvg27gdpz5ikzyljva

VERIFICATION OF THE RESPONSE REDUCTION OF SLIDING BASE-ISOLATOR BY EXPERIMENTAL TEST AND NUMERICAL ANALYSIS
すべり免震支承の振動台実験と数値解析による応答低減効果の検証

Nozomu IKAWA, Harumi YONEDA, Eizaburou TACHIBANA, Tatsuo NARAFU
2008 AIJ Journal of Technology and Design  
The reduction effect of response is proved by shaking Vol. 14, No. 28, 411-416, Oct., 2008 The sliding bearings are used for lightweight structures instead of the laminated rubber bearings.  ...  2 18 2008 5 20  ... 
doi:10.3130/aijt.14.411 fatcat:fpmwhvsbzjh4vcroig4yhsu2wq

Synthesis of the web-based CAD viewer for interference verification of injection moulds

In-Ho Song, Sung-Chong Chung
2008 International Journal of Production Research  
Chung Downloaded By: [Hanyang University Paiknam Academic] At: 11:54 10 December 2008  ...  Translation server translates the registered commercial CAD file into the lightweight CAD file for the web-based verification.  ... 
doi:10.1080/00207540701528768 fatcat:bxrvud3sxrbsbcklit7hnjpqie

A lightweight biometric signature scheme for user authentication over networks

Tansu Alpcan, Sinan Kesici, Daniel Bicher, M. Kivanç Mihçak, Christian Bauckhage, S. Ahmet Çamtepe
2008 Proceedings of the 4th international conference on Security and privacy in communication netowrks - SecureComm '08  
We introduce a lightweight biometric solution for user authentication over networks using online handwritten signatures.  ...  SecureComm 2008 September 22 -25, 2008, Istanbul, Turkey Copyright 2008 ACM ACM ISBN 978-1-60558-241-2 ...$5.00.  ...  CONCLUSION We have investigated a lightweight biometric solution for identity verification over networks utilizing online signatures.  ... 
doi:10.1145/1460877.1460920 dblp:conf/securecomm/AlpcanKBMBC08 fatcat:oxrnyyvx7fafdpkpehd3awkv7y

A hybrid framework for resource verification in executable model-based embedded system development

Honguk Woo, Aloysius K. Mok, James C. Browne
2008 ACM SIGBED Review  
Our work employs the hybrid verification framework combining static resource analysis and run-time monitoring schemes.  ...  In this work, we consider the integration of resource safety verification into a design methodology for development of verified and robust real-time embedded systems.  ...  The hybrid, lightweight monitoring technique is also naturally consistent with desirable extension to the implementation and integration of non-core segment where the static verification may be inherently  ... 
doi:10.1145/1366283.1366288 fatcat:dxfv6donxvdldczixsbsjyogb4

Heavyweight or lightweight

Cong Liu, David Umphress
2008 Proceedings of the 46th Annual Southeast Regional Conference on XX - ACM-SE 46  
Nowadays two kinds of software processes are frequently mentioned: heavyweight and lightweight.  ...  Our analysis shows that lightweight software processes such as XP are more suitable for developing grid software.  ...  ACM-SE '08, March 28-29, 2008, Auburn, AL, USA.  ... 
doi:10.1145/1593105.1593130 dblp:conf/ACMse/LiuU08 fatcat:nvotsqavb5es7mi2i6k7pkfszq

Applications and extensions of Alloy: past, present and future

EMINA TORLAK, MANA TAGHDIRI, GREG DENNIS, JOSEPH P. NEAR
2013 Mathematical Structures in Computer Science  
This paper provides an overview of Alloy in the context of its three largest application domains, lightweight modelling, bounded code verification and test-case generation, and three recent application-driven  ...  Alloy is a declarative language for lightweight modelling and analysis of software.  ...  Examples include: design modelling and analysis (Kang and Jackson 2009; Ramananandro 2008) ; bounded program verification (Dennis et al. 2006; Dennis 2009; Dolby et al. 2007; Galeotti et al. 2010; Taghdiri  ... 
doi:10.1017/s0960129512000291 fatcat:hudzt55aznerld3v4uwwz46f5i

Towards Classification of Lightweight Formal Methods

Anna Zamansky, Maria Spichkova, Guillermo Rodriguez-Navas, Peter Herrmann, Jan Olaf Blech
2018 Proceedings of the 13th International Conference on Evaluation of Novel Approaches to Software Engineering  
Although the term "lightweight formal methods" has been used for over ten years now, there seems to be no common agreement on what "lightweight" actually means, and different communities apply the term  ...  The use of lightweight formal methods (LFM) for the development of industrial applications has become a major trend.  ...  It does not promise full verification or full system coverage. One notable lightweight approach is Alloy", cf. Valles- Barajas (2009) . This refers to partiality in analysis.  ... 
doi:10.5220/0006770803050313 dblp:conf/enase/ZamanskySRHB18 fatcat:oc42ievbv5gczlzr2ha3nb3npm

Towards Classification of Lightweight Formal Methods [article]

Anna Zamansky, Maria Spichkova, Guillermo Rodriguez-Navas, Peter Herrmann, Jan Olaf Blech
2018 arXiv   pre-print
Although the term "lightweight formal methods" has been used for over ten years now, there seems to be no common agreement on what "lightweight" actually means, and different communities apply the term  ...  The use of lightweight formal methods (LFM) for the development of industrial applications has become a major trend.  ...  It does not promise full verification or full system coverage. One notable lightweight approach is Alloy", cf. Valles- Barajas (2009) . This refers to partiality in analysis.  ... 
arXiv:1807.01923v1 fatcat:mtva2xfs5bgkfdtjzxjpbraoba

Verification Tool and Unified Specifications for Embedded Software

Shunsuke Yatabe
2009 2009 Software Technologies for Future Dependable Distributed Systems  
In the extended abstract, our on-going research project Verification Tool and Unified Specifications for Embedded Software is explained.  ...  The tool is based on a proof assistant system (Agda) and a software development system (VDM tools), but is designed with the concept of lightweight formal methods.  ...  Yoshiki Kinoshita of Center for Verification and Semantics, National Institute of Advanced Industrial Science and Technology.  ... 
doi:10.1109/stfssd.2009.33 fatcat:263reuvpkzfzvpiwloqqxo2rry

Lightweight Verification and Fine-grained Access Control in Named Data Networking Based on Schnorr Signature and Hash Functions

Shanglun Wu, Yujie Yuan, Pushpendu Kar
2020 2020 IEEE 20th International Conference on Communication Technology (ICCT)  
We bring up a lightweight verification based on hash functions and a fine-grained access control based on Schnorr Signature to address the issue seamlessly.  ...  However, the current verification-data accessed system is not safe enough to prevent data leakage because no strongly method to resist any device or user to access it.  ...  CONCLUSION In the paper, we bring up a lightweight verification mechanism for NDN to achieve a complete and exhaustive verification mechanism.  ... 
doi:10.1109/icct50939.2020.9295852 fatcat:c45o6sdlwbh2vf3ilyw5m7flxi

Directly polished lightweight aluminum mirror

Rik ter Horst, Niels Tromp, Menno de Haan, Ramon Navarro, Lars Venema, Johan Pragt, Eli Atad-Ettedgui, Dietrich Lemke
2008 Advanced Optical and Mechanical Technologies in Telescopes and Instrumentation  
Using one single material for both optical components and mechanical structure simplifies the design of a cryogenic instrument significantly, it is very beneficial during instrument test and verification  ...  This paper presents the techniques, obtained results and a global comparison with alternative lightweight mirror solutions.  ...  International Conference on Space Optics Toulouse, France 14 -17 October 2008 Proc. of SPIE Vol. 10566 105660P-7 ICSO 2008 International Conference on Space Optics Toulouse, France 14 -17  ... 
doi:10.1117/12.788657 fatcat:gmsffz67qngopkl2s2aavzimce

Directly polished lightweight aluminum mirror

Rik ter Horst, Ramon Navarro, Lars Venema, Johan H. Pragt, Niels Tromp, Menno de Haan, Josiane Costeraste, Errico Armandillo, Nikos Karafolas
2017 International Conference on Space Optics — ICSO 2008  
Using one single material for both optical components and mechanical structure simplifies the design of a cryogenic instrument significantly, it is very beneficial during instrument test and verification  ...  This paper presents the techniques, obtained results and a global comparison with alternative lightweight mirror solutions.  ...  International Conference on Space Optics Toulouse, France 14 -17 October 2008 Proc. of SPIE Vol. 10566 105660P-7 ICSO 2008 International Conference on Space Optics Toulouse, France 14 -17  ... 
doi:10.1117/12.2308200 fatcat:laygte7hsvhsdft6cd3o2sj2je

Detail design of the MPU Heavy Lifter [chapter]

M Ruiz, H Ludescher, S Haugerud
2008 Tailor Made Concrete Structures  
For design and verification of concrete sections the results are post-processed with specially developed software.  ...  Its hull is composed of highly reinforced and prestressed lightweight concrete forming slabs and walls with thicknesses between 0.3 m and 0.9 m.  ...  Overall concept and main features of the vessel are described elsewhere in the proceedings (Landbø et al. 2008 ).  ... 
doi:10.1201/9781439828410.ch149 fatcat:amm6o7o24nhxtfmcujl6zs4qby
« Previous Showing results 1 — 15 out of 7,978 results