The Lazy Virtual Machine specification
- 格式:pdf
- 大小:425.95 KB
- 文档页数:62
Android 4.0 兼容性定义修订本1最近更新时间:2011.11.22版权所有©2011, Google Inc.保留所有权利.compatibility@1.简介此文档列举了对于设备兼容 Android 4.0 版所必须依次符合的要求。
词汇“必须”、“绝不可以”、“要求的”、“应该”、“不应该”、“建议”、“可以”、“可选的” 的含义依照 RFC2119 [参考, 1]中定义的 IETF 标准。
正如本文档中所使用的,“设备实现者”或者“实现者”是指开发运行 Android 4.0 的硬件/软件解决方案的一个人或者一个组织。
“设备实现”或者“实现”是指所开发的硬件/软件解决方案。
设备实现如要与 Android 4.0 兼容:必须符合本兼容性定义中所列的各项要求,包含任何通过参考所引用的文档。
必须通过该设备实现的软件完成时可用的最新版本“Android 兼容性测试套件(CTS)” 测试。
(CTS 作为Android 开源项目[参考, 2]的一部分提供。
)许多CTS 测试组件,但不是所有的,在此文档中有概述。
因为此兼容性定义或者 CTS 未提及,存在歧义,或者未完成,设备实现者有责任保证与现有实现的兼容性。
因为这个原因,Android 开源项目[参考, 3]提供一种参考,同时也是一种首选的 Android 实现。
强烈鼓励设备实现者将他们的实现基于来自 Android 开源项目“从下往上”的源代码。
一些组件有可能用其他实现替代,这种做法是强烈不推荐的,因为通过 CTS 测试将会变得相当困难。
实现者有责任保证与标准Android 实现在行为上的完全兼容,包括但不限于 CTS。
最后,要注意某些组件的替代和变更是本文档所明确禁止的。
2. 参考1.IETF RFC2119 Requirement Levels: /rfc/rfc2119.txt2. Android Compatibility Program Overview: /compatibility/index.html3. Android Open Source Project: /4. API definitions and documentation: /reference/packages.html5. Android Permissions reference:/reference/android/Manifest.permission.html6. android.os.Build reference: /reference/android/os/Build.html7. Android 4.0 allowed version strings: /compatibility/4.0/versions.html8. Renderscript: /guide/topics/graphics/renderscript.html9. Hardware Acceleration: /guide/topics/graphics/hardware-accel.html10. android.webkit.WebView class: /reference/android/webkit/WebView.html11. HTML5: /specs/web-apps/current-work/multipage/12. HTML5 offline capabilities: /html5/spec/Overview.html#offline13. HTML5 video tag: /html5/spec/Overview.html#video14. HTML5/W3C geolocation API: /TR/geolocation-API/15. HTML5/W3C webdatabase API: /TR/webdatabase/16. HTML5/W3C IndexedDB API: /TR/IndexedDB/17. Dalvik Virtual Machine specification: available in the Android source code, at dalvik/docs18. AppWidgets: /guide/practices/ui_guidelines/widget_design.html19. Notifications: /guide/topics/ui/notifiers/notifications.html20. Application Resources: /android/reference/available-resources.html21. Status Bar icon style guide:/guide/practices/ui_guideline/icon_design.html#statusbarstructure22. Search Manager: /reference/android/app/SearchManager.html23. Toasts: /reference/android/widget/Toast.html24. Themes: /guide/topics/ui/themes.html25. R.style class: /reference/android/R.style.html26. Live Wallpapers: /resources/articles/live-wallpapers.html27. Android Device Administration: /guide/topics/admin/device-admin.html28. android.app.admin.DevicePolicyManagerclass:/reference/android/app/admin/DevicePolicyManager.html29. Android Accessibility Service APIs:/reference/android/accessibilityservice/package-summary.html30. Android Accessibility APIs:/reference/android/view/accessibility/package-summary.html31. Eyes Free project: /p/eyes-free32. Text-To-Speech APIs: /reference/android/speech/tts/package-summary.html33. Reference tool documentation (for adb, aapt, ddms):/guide/developing/tools/index.html34. Android apk file description: /guide/topics/fundamentals.html35. Manifest files: /guide/topics/manifest/manifest-intro.html36. Monkey testing tool: /guide/developing/tools/monkey.html37. Android android.content.pm.PackageManager class and Hardware Features List:/reference/android/content/pm/PackageManager.html38. Supporting Multiple Screens: /guide/practices/screens_support.html39. android.util.DisplayMetrics: /reference/android/util/DisplayMetrics.html40. android.content.res.Configuration:/reference/android/content/res/Configuration.html41. android.hardware.SensorEvent:/reference/android/hardware/SensorEvent.html42. Bluetooth API: /reference/android/bluetooth/package-summary.html43. NDEF Push Protocol: /compatibility/ndef-push-protocol.pdf44. MIFARE MF1S503X: /documents/data_sheet/MF1S503x.pdf45. MIFARE MF1S703X: /documents/data_sheet/MF1S703x.pdf46. MIFARE MF0ICU1: /documents/data_sheet/MF0ICU1.pdf47. MIFARE MF0ICU2: /documents/short_data_sheet/MF0ICU2_SDS.pdf48. MIFARE AN130511: /documents/application_note/AN130511.pdf49. MIFARE AN130411: /documents/application_note/AN130411.pdf50. Camera orientation API:/reference/android/hardware/Camera.html#setDisplayOrientation(int)51. android.hardware.Camera: /reference/android/hardware/Camera.html52. Android Open Accessories: /guide/topics/usb/accessory.html53. USB Host API: /guide/topics/usb/host.html54. Android Security and Permissions reference:/guide/topics/security/security.html55. Apps for Android: /p/apps-for-android56. android.app.DonloadManager class:/reference/android/app/DownloadManager.html57. Android File Transfer: /filetransfer58. Android Media Formats: /guide/appendix/media-formats.html59. HTTP Live Streaming Draft Protocol: /html/draft-pantos-http-live-streaming-03这些参考中许多是直接或间接来自 Android 4.0 SDK 的,并且在信息上与 SDK 中的文档功能对等。
VTB OverviewThe Virtual Test Bed (VTB) comprises a suite of software tools for the prototyping of largescale, multidisciplined dynamic systems. It allows prooftesting of new designs prior to hardware construction. The applications driving development of the software primarily relate to advanced power systems such as those for “more electric” implementations of land, air, and sea vehicles, or those for Smart Grid in fixed terrestrial systems. Distinct from the traditional 60 Hz AC power systems, these advanced systems rely heavily on power electronics, point of use energy conversion, distributed energy generation and storage, advanced power sources including fuel cells and gas turbines, and unconventional distribution networks having DC power buses and high numbers of interconnections that can be rapidly reconfigured. These systems cross disciplinary lines so completely that they require a new environment for design, analysis, and specification. The VTB suite of tools strive to fill this need by providing an environment where each team member can fully participate in definition of an interdisciplinary virtual prototype while using their existing intellectual property (component models) and existing modeling skills (preferred languages and environments).PrerequisitesVTB utilizes the Microsoft .NET Framework version 3.5. The .NET 3.5 Framework can be downloaded from Microsoft’s website. Before running the installation you must run Windows Update to ensure your machine has the latest patches supplied by Microsoft. It is sometimes necessary to run Windows Update multiple times to ensure all updates have been downloaded for your machine. Note that at the time of this writing Service Pack 1.0 for the .NET 3.5 Framework is available and should be applied. For reasonable performance the following is recommended:·Windows XP Service Pack 2, Windows 7 or later· 2 GB RAM· 3 button mouse with a scroll wheel·P4 3.2 GHz or equivalent· 1 GB of available disk spaceVTBThe VTB software suite contains several tools: The most important tools are Schematic Designer, Entity Designer, and Module Designer. Once VTB has been installed shortcuts to these three applications can be found under your program files menu.Schematic DesignerThe Schematic Designer is the main application that is used to design and simulate systems. Once VTB is installed, a shortcut to this application is created and can be found under your program files.Entity DesignerEntity Designer is a tool for developing VTB components called entities. An entity is the simplest form of a component, and as such it must supply its own simulation engine. It supports a proprietary VTB modeling language and permits the development of components in a wide variety of languages such as C++, C#, Visual Basic, and J# among others. Once VTB is installed, a shortcut to this application is created and can be found under your program files.Module DesignerModule Designer is a tool for developing a type of VTB component called a module. A module is an arrangement and configuration of some set of components that are to be treated as a single component. A module does not supply a simulation engine as it simply reuses the engines of the components contained within it. Once VTB is installed, a shortcut to this application is created and can be found under your program files.。
java英⽂参考⽂献java英⽂参考⽂献汇编 导语:Java是⼀门⾯向对象编程语⾔,不仅吸收了C++语⾔的各种优点,还摒弃了C++⾥难以理解的多继承、指针等概念,因此Java语⾔具有功能强⼤和简单易⽤两个特征。
下⾯⼩编为⼤家带来java英⽂参考⽂献,供各位阅读和参考。
java英⽂参考⽂献⼀: [1]Irene Córdoba-Sánchez,Juan de Lara. Ann: A domain-specific language for the effective design and validation of Java annotations[J]. Computer Languages, Systems & Structures,2016,:. [2]Marcelo M. Eler,Andre T. Endo,Vinicius H.S. Durelli. An Empirical Study to Quantify the Characteristics of Java Programs that May Influence Symbolic Execution from a Unit Testing Perspective[J]. The Journal of Systems & Software,2016,:. [3]Kebo Zhang,Hailing Xiong. A new version of code Java for 3D simulation of the CCA model[J]. Computer Physics Communications,2016,:. [4]S. Vidal,A. Bergel,J.A. Díaz-Pace,C. Marcos. Over-exposed classes in Java: An empirical study[J]. Computer Languages, Systems & Structures,2016,:. [5]Zeinab Iranmanesh,Mehran S. Fallah. Specification and Static Enforcement of Scheduler-Independent Noninterference in a Middleweight Java[J]. Computer Languages, Systems & Structures,2016,:. [6]George Gabriel Mendes Dourado,Paulo S Lopes De Souza,Rafael R. Prado,Raphael Negrisoli Batista,Simone R.S. Souza,Julio C. Estrella,Sarita M. Bruschi,Joao Lourenco. A Suite of Java Message-Passing Benchmarks to Support the Validation of Testing Models, Criteria and Tools[J]. Procedia Computer Science,2016,80:. [7]Kebo Zhang,Junsen Zuo,Yifeng Dou,Chao Li,Hailing Xiong. Version 3.0 of code Java for 3D simulation of the CCA model[J]. Computer Physics Communications,2016,:. [8]Simone Hanazumi,Ana C.~V. de Melo. A Formal Approach to Implement Java Exceptions in Cooperative Systems[J]. The Journal of Systems & Software,2016,:. [9]Lorenzo Bettini,Ferruccio Damiani. Xtraitj : Traits for the Java Platform[J]. The Journal of Systems & Software,2016,:. [10]Oscar Vega-Gisbert,Jose E. Roman,Jeffrey M. Squyres. Design and implementation of Java bindings in OpenMPI[J]. Parallel Computing,2016,:. [11]Stefan Bosse. Structural Monitoring with Distributed-Regional and Event-based NN-Decision Tree Learning Using Mobile Multi-Agent Systems and Common Java Script Platforms[J]. Procedia Technology,2016,26:. [12]Pablo Piedrahita-Quintero,Carlos Trujillo,Jorge Garcia-Sucerquia. JDiffraction : A GPGPU-accelerated JAVA library for numerical propagation of scalar wave fields[J]. Computer Physics Communications,2016,:. [13]Abdelhak Mesbah,Jean-Louis Lanet,Mohamed Mezghiche. Reverse engineering a Java Card memory management algorithm[J]. Computers & Security,2017,66:. [14]G. Bacci,M. Bazzicalupo,A. Benedetti,A. Mengoni. StreamingTrim 1.0: a Java software for dynamic trimming of 16S rRNA sequence data from metagenetic studies[J]. Mol Ecol Resour,2014,14(2):. [15]Qing‐Wei Xu,Johannes Griss,Rui Wang,Andrew R. Jones,Henning Hermjakob,Juan Antonio Vizcaíno. jmzTab: A Java interface to the mzTab data standard[J]. Proteomics,2014,14(11):. [16]Rody W. J. Kersten,Bernard E. Gastel,Olha Shkaravska,Manuel Montenegro,Marko C. J. D. Eekelen. ResAna: a resource analysis toolset for (real‐time) JAVA[J]. Concurrency Computat.: Pract. Exper.,2014,26(14):. [17]Stephan E. Korsholm,Hans S?ndergaard,Anders P. Ravn. A real‐time Java tool chain for resource constrained platforms[J]. Concurrency Computat.: Pract. Exper.,2014,26(14):. [18]M. Teresa Higuera‐Toledano,Andy Wellings. Introduction to the Special Issue on Java Technologies for Real‐Time and Embedded Systems: JTRES 2012[J]. Concurrency Computat.: Pract. Exper.,2014,26(14):. [19]Mostafa Mohammadpourfard,Mohammad Ali Doostari,Mohammad Bagher Ghaznavi Ghoushchi,Nafiseh Shakiba. Anew secure Internet voting protocol using Java Card 3 technology and Java information flow concept[J]. Security Comm. Networks,2015,8(2):. [20]Cédric Teyton,Jean‐Rémy Falleri,Marc Palyart,Xavier Blanc. A study of library migrations in Java[J]. J. Softw. Evol. and Proc.,2014,26(11):. [21]Sabela Ramos,Guillermo L. Taboada,Roberto R. Expósito,Juan Touri?o. Nonblocking collectives for scalable Java communications[J]. Concurrency Computat.: Pract. Exper.,2015,27(5):. [22]Dusan Jovanovic,Slobodan Jovanovic. An adaptive e‐learning system for Java programming course, based on Dokeos LE[J]. Comput Appl Eng Educ,2015,23(3):. [23]Yu Lin,Danny Dig. A study and toolkit of CHECK‐THEN‐ACT idioms of Java concurrent collections[J]. Softw. Test. Verif. Reliab.,2015,25(4):. [24]Jonathan Passerat?Palmbach,Claude Mazel,David R. C. Hill. TaskLocalRandom: a statistically sound substitute to pseudorandom number generation in parallel java tasks frameworks[J]. Concurrency Computat.: Pract.Exper.,2015,27(13):. [25]Da Qi,Huaizhong Zhang,Jun Fan,Simon Perkins,Addolorata Pisconti,Deborah M. Simpson,Conrad Bessant,Simon Hubbard,Andrew R. Jones. The mzqLibrary – An open source Java library supporting the HUPO‐PSI quantitative proteomics standard[J]. Proteomics,2015,15(18):. [26]Xiaoyan Zhu,E. James Whitehead,Caitlin Sadowski,Qinbao Song. An analysis of programming language statement frequency in C, C++, and Java source code[J]. Softw. Pract. Exper.,2015,45(11):. [27]Roberto R. Expósito,Guillermo L. Taboada,Sabela Ramos,Juan Touri?o,Ramón Doallo. Low‐latency Java communication devices on RDMA‐enabled networks[J]. Concurrency Computat.: Pract. Exper.,2015,27(17):. [28]V. Serbanescu,K. Azadbakht,F. Boer,C. Nagarajagowda,B. Nobakht. A design pattern for optimizations in data intensive applications using ABS and JAVA 8[J]. Concurrency Computat.: Pract. Exper.,2016,28(2):. [29]E. Tsakalos,J. Christodoulakis,L. Charalambous. The Dose Rate Calculator (DRc) for Luminescence and ESR Dating-a Java Application for Dose Rate and Age Determination[J]. Archaeometry,2016,58(2):. [30]Ronald A. Olsson,Todd Williamson. RJ: a Java package providing JR‐like concurrent programming[J]. Softw. Pract. Exper.,2016,46(5):. java英⽂参考⽂献⼆: [31]Seong‐Won Lee,Soo‐Mook Moon,Seong‐Moo Kim. Flow‐sensitive runtime estimation: an enhanced hot spot detection heuristics for embedded Java just‐in‐time compilers [J]. Softw. Pract. Exper.,2016,46(6):. [32]Davy Landman,Alexander Serebrenik,Eric Bouwers,Jurgen J. Vinju. Empirical analysis of the relationship between CC and SLOC in a large corpus of Java methods and C functions[J]. J. Softw. Evol. and Proc.,2016,28(7):. [33]Renaud Pawlak,Martin Monperrus,Nicolas Petitprez,Carlos Noguera,Lionel Seinturier. SPOON : A library for implementing analyses and transformations of Java source code[J]. Softw. Pract. Exper.,2016,46(9):. [34]Musa Ata?. Open Cezeri Library: A novel java based matrix and computer vision framework[J]. Comput Appl Eng Educ,2016,24(5):. [35]A. Omar Portillo‐Dominguez,Philip Perry,Damien Magoni,Miao Wang,John Murphy. TRINI: an adaptive load balancing strategy based on garbage collection for clustered Java systems[J]. Softw. Pract. Exper.,2016,46(12):. [36]Kim T. Briggs,Baoguo Zhou,Gerhard W. Dueck. Cold object identification in the Java virtual machine[J]. Softw. Pract. Exper.,2017,47(1):. [37]S. Jayaraman,B. Jayaraman,D. Lessa. Compact visualization of Java program execution[J]. Softw. Pract. Exper.,2017,47(2):. [38]Geoffrey Fox. Java Technologies for Real‐Time and Embedded Systems (JTRES2013)[J]. Concurrency Computat.: Pract. Exper.,2017,29(6):. [39]Tórur Biskopst? Str?m,Wolfgang Puffitsch,Martin Schoeberl. Hardware locks for a real‐time Java chip multiprocessor[J]. Concurrency Computat.: Pract. Exper.,2017,29(6):. [40]Serdar Yegulalp. JetBrains' Kotlin JVM language appeals to the Java faithful[J]. ,2016,:. [41]Ortin, Francisco,Conde, Patricia,Fernandez-Lanvin, Daniel,Izquierdo, Raul. The Runtime Performance of invokedynamic: An Evaluation with a Java Library[J]. IEEE Software,2014,31(4):. [42]Johnson, Richard A. JAVA DATABASE CONNECTIVITY USING SQLITE: A TUTORIAL[J]. Allied Academies International Conference. Academy of Information and Management Sciences. Proceedings,2014,18(1):. [43]Trent, Rod. SQL Server Gets PHP Support, Java Support on the Way[J]. SQL Server Pro,2014,:. [44]Foket, C,De Sutter, B,De Bosschere, K. Pushing Java Type Obfuscation to the Limit[J]. IEEE Transactions on Dependable and Secure Computing,2014,11(6):. [45]Parshall, Jon. Rising Sun, Falling Skies: The Disastrous Java Sea Campaign of World War II[J]. United States Naval Institute. Proceedings,2015,141(1):. [46]Brunner, Grant. Java now pollutes your Mac with adware - here's how to uninstall it[J]. ,2015,:. [47]Bell, Jonathan,Melski, Eric,Dattatreya, Mohan,Kaiser, Gail E. Vroom: Faster Build Processes for Java[J]. IEEE Software,2015,32(2):. [48]Chaikalis, T,Chatzigeorgiou, A. Forecasting Java Software Evolution Trends Employing Network Models[J]. IEEE Transactions on Software Engineering,2015,41(6):. [49]Lu, Quan,Liu, Gao,Chen, Jing. Integrating PDF interface into Java application[J]. Library Hi Tech,2014,32(3):. [50]Rashid, Fahmida Y. Oracle fixes critical flaws in Database Server, MySQL, Java[J]. ,2015,:. [51]Rashid, Fahmida Y. Library misuse exposes leading Java platforms to attack[J]. ,2015,:. [52]Rashid, Fahmida Y. Serious bug in widely used Java app library patched[J]. ,2015,:. [53]Odeghero, P,Liu, C,McBurney, PW,McMillan, C. An Eye-Tracking Study of Java Programmers and Application to Source Code Summarization[J]. IEEE Transactions on Software Engineering,2015,41(11):. [54]Greene, Tim. Oracle settles FTC dispute over Java updates[J]. Network World (Online) [55]Rashid, Fahmida Y. FTC ruling against Oracle shows why it's time to dump Java[J]. ,2015,:. [56]Whitwam, Ryan. Google plans to remove Oracle's Java APIs from Android N[J]. ,2015,:. [57]Saher Manaseer,Warif Manasir,Mohammad Alshraideh,Nabil Abu Hashish,Omar Adwan. Automatic Test Data Generation for Java Card Applications Using Genetic Algorithm[J]. Journal of Software Engineering andApplications,2015,8(12):. [58]Paul Venezia. Prepare now for the death of Flash and Java plug-ins[J]. ,2016,:. [59]PW McBurney,C McMillan. Automatic Source Code Summarization of Context for Java Methods[J]. IEEE Transactions on Software Engineering,2016,42(2):. java英⽂参考⽂献三: [61]Serdar Yegulalp,Serdar Yegulalp. Sputnik automates code review for Java projects on GitHub[J].,2016,:. [62]Fahmida Y Rashid,Fahmida Y Rashid. Oracle security includes Java, MySQL, Oracle Database fixes[J]. ,2016,:. [63]H M Chavez,W Shen,R B France,B A Mechling. An Approach to Checking Consistency between UML Class Model and Its Java Implementation[J]. IEEE Transactions on Software Engineering,2016,42(4):. [64]Serdar Yegulalp,Serdar Yegulalp. Unikernel power comes to Java, Node.js, Go, and Python apps[J]. ,2016,:. [65]Yudi Zheng,Stephen Kell,Lubomír Bulej,Haiyang Sun. Comprehensive Multiplatform Dynamic Program Analysis for Java and Android[J]. IEEE Software,2016,33(4):. [66]Fahmida Y Rashid,Fahmida Y Rashid. Oracle's monster security fixes Java, database bugs[J]. ,2016,:. [67]Damian Wolf,Damian Wolf. The top 5 Java 8 features for developers[J]. ,2016,:. [68]Jifeng Xuan,Matias Martinez,Favio DeMarco,Maxime Clément,Sebastian Lamelas Marcote,Thomas Durieux,Daniel LeBerre. Nopol: Automatic Repair of Conditional Statement Bugs in Java Programs[J]. IEEE Transactions on Software Engineering,2017,43(1):. [69]Loo Kang Wee,Hwee Tiang Ning. Vernier caliper and micrometer computer models using Easy Java Simulation and its pedagogical design features-ideas for augmenting learning with real instruments[J]. Physics Education,2014,49(5):. [70]Loo Kang Wee,Tat Leong Lee,Charles Chew,Darren Wong,Samuel Tan. Understanding resonance graphs using Easy Java Simulations (EJS) and why we use EJS[J]. Physics Education,2015,50(2):.【java英⽂参考⽂献汇编】相关⽂章:1.2.3.4.5.6.7.8.。
Synology DiskStation DS918+ is a 4-bay NAS designed for small and medium-sized businesses and IT enthusiasts. Powered by a new quad-core processor, DS918+ provides outstanding performance and data encryption acceleration along with real-time transcoding of 4K Ultra HD source contents. Synology DS918+ is backed by Synology’s 3-year limited warranty.DiskStationDS918+Highlights• Powerful and scalable 4-bay NAS for growing businesses• Encrypted sequential throughput at over 225 MB/s reading and 221 MB/s writing 1• Quad-core processor with AES-NI hardware encryption engine• 4GB DDR3L-1866 memory, expandable up to 8GB• Dedicated M.2 NVMe SSD slots for system cache support• Dual 1GbE LAN with failover and Link Aggregation support• Scalable up to 9 drives with Synology DX5172• Advanced Btrfs file system offering 65,000 system-wide snapshots and 1,024 snapshots per shared folder • Dual-channel H.265/H.264 4K video transcoding on the fly 3High-speed Scalable Storage ServerSynology DS918+ is a 4-bay network attached storage solution equipped with an quad-core processor and 4GB DDR3L memory (expandable up to 8GB). With Link Aggregation enabled, DS918+ delivers great sequential throughput performance at over 226 MB/s reading and 222 MB/s writing 1. With AES-NI hardware accelerated encryption, DS918+ delivers encrypted data throughput at over 225 MB/s reading and 221 MB/s writing 1. DS918+ newly supports M.2 NVMe 2280 SSDs , allowing fast system cache creation without occupying internal drive bays.DS918+ can supp ort up to 9 drives when connected to one Synology DX5172 expansion unit. Storage capacity can be expanded according to your business needs with minimal effort.Btrfs: Next Generation Storage EfficiencyDS918+ introduces the Btrfs file system , bringing the most advanced storage technologies to meet the management needs of modern businesses:• Built-in data integrity check detects data and file system corruption with data and meta-data checksums and improves the overall stability.• Flexible Shared Folder/User Quota System provides comprehensive quota control over all user accounts and shared folders.• Advanced snapshot technology with customizable backup schedule allows up to 1,024 copies of shared folder backups in a minimum 5-minute interval without occupying huge storage capacity and system resources.• File or folder level data restoration brings huge conveniences and saves time for users who wish to restore only a specific file or folder.• File self-healing : Btrfs file system can auto-detect corrupted files with mirroredmetadata, and recover broken data using the supported RAID volumes, which include RAID1, 5, 6, and 10.Comprehensive Business ApplicationsPowered by the innovative Synology DiskStation Manager (DSM), DS918+ comes fully-equipped with applications and features designed specifically for small or growing businesses:• Windows® AD and LDAP support allow easy integration with existing business directory services, without needing to recreate user accounts.• Windows ACL support provides fine-grained access control and efficient privilege settings, allowing DS918+ to fit seamlessly into current infrastructure.• Internet file access is simplified by the encrypted FTP server and Synology File Station , a web-based file explorer. HTTPS, firewall, and IP auto-block support ensure file sharing over the Internet is protected with a high level of security.• Application Privileges controls access to applications and packages based on each individual account, user group, or IP address.• MailPlus allows your business to set up a secure, reliable, and private mail server while giving your employees a modern mail client for receiving and sending messages.• The powerful Collaboration Suite integrates Synology Office , Calendar , and Chat , ensuring secure and effective private communications and allowing your organizations to easily manage and control relevant contents.Virtualization SolutionsSynology’s Virtual Machine Manager opens up abundant possibilities, allowing you to set up and run various virtual machines, including Windows , Linux , and Virtual DSM . You can also test new software versions in a sandbox environment, isolate yourcustomers' machines, and increase the flexibility of your DS918+ with reduced hardware deployment and maintenance costs.Synology iSCSI storage fully supports most of the virtualization solutions, enhancing work efficiency with an intuituve management interface. VMware vSphere™ 6.5 and VAAI integration help offload storage operations and optimize computation efficiency. Windows Offloaded Data Transfer (ODX) speeds up data transfer and migration rate, while OpenStack Cinder support transforms your Synology NAS into a block-based storage component.4K Ultra HD Multimedia LibrarySynology DiskStation DS918+ features real-time transcoding for up to 2 channels of H.264/H.265 4K videos at the same time, bringing more powerful support to thelatest multimedia formats and contents. With Video Station , you can organize personal digital video library with comprehensive media information, and watch 4K Ultra HD movies and films. The intuitive design of Photo Station allows you to effortlessly organize photos into customized categories, smart albums and blog posts, and link them to social networking websites within a few clicks. Audio Station comes with Internet radio and lossless audio formats support, and provides music playback viaDLNA and AirPlay®-compliant devices.Virtual Machine Manager Virtual Machine Manager implements various virtualization solutions, allowing you to manage multiple virtual machines on your DS918+, including Windows , Linux , and Virtual DSM.Synology Collaboration SuiteA powerful and secure private cloud solution for business collaboration and organization, offering intuitive yet effective management options.Hardware OverviewTechnical SpecificationsHardwareCPUIntel Celeron J3455 quad-core 1.5GHz, burst up to 2.3GHz Hardware encryption engine Yes (AES-NI)Hardware transcoding engine • Supported codecs: H.264 (AVC), H.265 (HEVC), MPEG-2, VC-1• Maximum resolution: 4K (4096 x 2160)• Maximum frames per second (FPS): 30Memory4 GB DDR3L SO-DIMM (expandable up to 8 GB)Compatible drive type • 4 x 3.5" or 2.5" SATA SSD/HDD (drives not included)• 2 x M.2 NVMe 2280 SSD (drives not included)External port • 2 x USB 3.0 port • 1 x eSATA port Size (HxWxD)166 x 199 x 223 mm Weight 2.28 kg LAN2 x 1GbE (RJ-45)Wake on LAN/WAN Yes Scheduled power on/off YesSystem fan2 (92 x 92 x 25 mm)AC input power voltage 100V to 240V AC Power frequency 50/60Hz, single phase Operating temperature 5°C to 40°C (40°F to 104°F)Storage temperature -20°C to 60°C (-5°F to 140°F)Relative humidity5% to 95% RH Maximum operating altitude5,000 m (16,400 ft)1Status indicator2Drive status indicator 3Drive tray lock 4USB 3.0 port 5Power button and indicator 6Drive tray 71GbE RJ-45 port 8Reset button9eSATA port 10Power port11Fan12Kensington Security Slot13USB 3.0 port14M.2 NVMe SSD slot (bottom side)6General DSM SpecificationNetworking protocol SMB, AFP, NFS, FTP, WebDAV, CalDAV, iSCSI, Telnet, SSH, SNMP, VPN (PPTP, OpenVPN ™, L2TP)File system • Internal: Btrfs, ext4• External: Btrfs, ext4, ext3, FAT, NTFS, HFS+, exFAT4Supported RAID type Synology Hybrid RAID (SHR), Basic, JBOD, RAID 0, RAID 1, RAID 5, RAID 6, RAID 10Storage management • Maximum internal volumes: 512• Maximum iSCSI targets: 32• Maximum iSCSI LUNs: 256• iSCSI LUN clone/snapshot supportSSD cache SSD read-write cache supportFile sharing capability • Maximum local user accounts: 2,048• Maximum local groups: 256• Maximum shared folders: 512• Maximum concurrent SMB/NFS/AFP/FTP connections: 1,000Privilege Windows Access Control List (ACL), application privilegeDirectory service Windows® AD integration: Domain users login via SMB/NFS/AFP/FTP/File Station, LDAP integration Virtualization VMware vSphere® 6.5, Microsoft Hyper-V®, Citrix®, OpenStack®Security Firewall, encrypted shared folder, SMB encryption, FTP over SSL/TLS, SFTP, rsync over SSH, login auto block, Let's Encrypt support, HTTPS (Customizable cipher suite)Supported client Windows 7 and 10, Mac OS X® 10.11 onwardsSupported browser Chrome®, Firefox®, Internet Explorer® 10 onwards, Safari® 10 onwards; Safari (iOS 10 onwards), Chrome (Android™ 6.0 onwards)Interface Language English, Deutsch, Français, Italiano, Español, Dansk, Norsk, Svensk, Nederlands, Русский, Polski, Magyar, Português do Brasil, Português Europeu, Türkçe, Český,Packages and ApplicationsFile Station Virtual drive, remote folder, Windows ACL editor, compressing/extracting archived files, bandwidth control for specific users or groups, creating sharing links, transfer logsFTP Server Bandwidth control for TCP connections, custom FTP passive port range, anonymous FTP, FTP SSL/TLS and SFTP protocol, boot over the network with TFTP and PXE support, transfer logsUniversal Search Offer global search into applications and filesHyper Backup Support local backup, network backup, and backup data to public clouds Active Backup for Server Centralize data backup for Windows and Linux servers without client installationBackup tools DSM configuration backup, macOS Time Machine support, Cloud Station Backup Shared folder sync - maximum tasks: 8Cloud Station Suite Sync data between multiple platforms by installing the client utilities on Windows, Mac, Linux, Android and iOS devices, while retaining up to 32 historical versions of filesMaximum concurrent file transfers: 1,000Cloud Sync One or two-way synchronization with public cloud storage providers including Amazon Drive, Amazon S3-compatible storage, Baidu cloud, Box, Dropbox, Google Cloud Storage, Google Drive, hubiC, MegaDisk, Microsoft OneDrive, OpenStack Swift-compatible storage, WebDAV servers, Yandex DiskSurveillance Station Maximum IP cameras: 40 (total of 1,200 FPS at 720p, H.264) (includes two free camera licenses; additional cameras require the purchasing of additional licenses)Virtual Machine Manager Deploy and run various virtual machines on Synology NAS, including Windows, Linux, or Virtual DSM High Availability Manager Reduce service downtime by setting up two identical NAS into one high-availability clusterSnapshot Replication • Maximum replications: 64• Maximum shared folder snapshots: 1,024• Maximum system snapshots: 65,536Active Directory Server A flexible and cost-effective domain controller solutionVPN Server Maximum connections: 20, supported VPN protocol: PPTP, OpenVPN™, L2TP/IPSecMailPlus Server Secure, reliable, and private mail solution with high-availability, load balancing, security and filtering design (Includes 5 free email account licenses; additional accounts require the purchasing of additional licenses)MailPlus Intuitive webmail interface for MailPlus Server, customizable mail labels, filters, and user interfaceCollaboration tools • Chat maximum users: 1,500• Office maximum users: 200, maximum simultaneous editing users: 80• Calendar: support CalDAV and access via mobile devicesNote Station Rich-text note organization and versioning, encryption, sharing, media embedding and attachmentsStorage Analyzer Volume and quota usage, total size of files, volume usage and trends based on past usage, size of shared folders, largest/most/least frequently modified filesAntivirus Essential Full system scan, scheduled scan, white list customization, virus definition auto updateSYNOLOGY INC.Synology is dedicated to taking full advantage of the latest technologies to bring businesses and home users reliable and affordable ways to centralize data storage, simplify data backup, share and sync files across different platforms, and access data on-the-go. Synology aims to deliver products with forward-thinking features and the best in class customer services.Copyright © 2017, Synology Inc. All rights reserved. Synology, the Synology logo are trademarks or registered trademarks of Synology Inc. Other product and company names mentioned herein may be trademarks of their respective companies. Synology may make changes to specification and product descriptions at anytime, without notice.DS918+-2017-ENU-REV003Headqu artersSynology Inc. 3F-3, No. 106, Chang An W. Rd., Taipei, Taiwan Tel: +886 2 2552 1814 Fax: +886 2 2552 1824ChinaSynology Shanghai 200070, Room 516, No. 638 Hengfeng Rd., Zhabei Dist. Shanghai, ChinaUnited KingdomSynology UK Ltd.Unit C, Denbigh WestBusiness Park, Third AvenueBletchley, Milton KeynesMK1 1DH, UKTel: +44 1908 366380GermanySynology GmbHGrafenberger Allee125 40237 DüsseldorfDeutschlandTel: +49 211 9666 9666North & South AmericaSynology America Corp.3535 Factoria Blvd SE #200Bellevue, WA 98006, USATel: +1 425 818 1587FranceSynology France SARL39 rue Louis Blanc, 92400Courbevoie, FranceTel: +33 147 176288Download Station Supported download protocols: BT, HTTP, FTP, NZB, eMule, Thunder, FlashGet, QQDL Maximum concurrent download tasks: 80Web Station Virtual host (up to 30 websites), PHP/MariaDB®, 3rd-party applications supportOther packages Video Station, Photo Station, Audio Station, DNS Server, RADIUS Server, iTunes® Server, Log Center, additional 3rd-party packages are available in Package CenteriOS/Android™ applications DS audio, DS cam, DS cloud, DS file, DS finder, DS get, DS note, DS photo, DS video, MailPlus Windows Phone® applications DS audio, DS file, DS finder, DS get, DS photo, DS videoEnvironment and PackagingEnvironment safety RoHS compliantPackage content • DS918+ main unit x 1• Quick Installation Guide x 1• Accessory pack x 1• AC power adapter x 1• RJ-45 LAN cable x 2Optional accessories • D3NS1866L-4G• Expansion Unit DX517• VisualStation VS360HD, VS960HD • Surveillance Device License Pack • MailPlus License PackWarranty 3 years*Model specifications are subject to change without notice. Please refer to for the latest information.1. Performance figures may vary depending on environment, usage, and configuration.2. DS918+ supports one Synology DX517, sold separately.3. DS918+ can transcode 4K video to 1080p or lower. The maximum number of concurrent video transcoding channels supported may vary depending on the video codec, resolution,bitrate and FPS.4. exFAT Access is purchased separately in Package Center.。
Coordinate Measuring Machine software for users from entry-level to expert.MCOSMOS by Mitutoyo is a proprietary metrology suite of inter-related modules and dedicated expansion modules for the Microsoft Windows 7 operating system. Since the first deployment of GEOPAK in the 1980’s, on the MS-DOS platform; then migrated in the 1990’s to Windows NT, 2000, XP; and today, supported world-wide in 37 locations around the globe supporting 12 different languages; MCOSMOS is the world's standard in metrology software. (A proud Microsoft Gold Partner)Developed by MiCAT (Mitutoyo Intelligent Computer Aided Technology) your Mitutoyo CMM is streamlined with intuitive user interfaces that provide a familiar look and feel to operate multiple modules. They work together seamlessly to put reliable metrology at you fingertips – for application throughout the entire production process.MCOSMOS allows integration among a whole series of applications,improving the efficiency of your CMM and the productivity of your Quality Control functions. Specific expansion modules dedicated to GEOPAK or for specific applications such as GEAR measurement, Airfoil analysis, Reverse Engineering and integrating CAD with metrology.—M itutoyo C ontrolled O pen S ystems for M odular O peration SupportMitutoyo is the world’s largest provider of measurement-and-inspection solutions, with the most complete, most capable, line of machines, systems, sensors andsoftware. with a presence in more than 100 countries, Mitutoyo is the international leader in providing precision measurement technology from a single source.MiCat -MCosMos is based on expertise acquired from around the globe, providing the assurance that you are employing best practices for managing your DMe Dimensional Metrology equipment.with computer technology laboratories in the United states, europe and asia,Mitutoyo employs highly qualified specialists who are devoted to the development of one common software platform.The modular system developed by Mitutoyo allows you the capability of tailoring your measuring software with only the specific modules needed to meet your requirements. The measurement results may be displayed, printed, and archived with numerous built-in and user definable formats.Software packages and expansion modules to meet your metrology production requirementsGEOPAK (Geometry online/offline modules)Includes: support for high-speed nominal scanning (known path) with scanning probes (optional), user-definable dialogs, parametric programming with the use of variable substitution, and user-definable reporting.CAT1000P* (Online/offline programming module)Software package featuresGEOPAK (Basic Geometry module) provides an easy graphical console to the operator by the use of tool bars and windows which can be personalized to the operator’s preference.GEOPAK provides visual tools, completely eliminating the use of difficult codes or abbreviated commands as other packages use. Its graphically enhanced display provides step-by-step, on screen wizards that prompt the operator, allowing even inexperienced users to create routines to measure parts.Our basic level software includes the flexibility for advanced tools demanded by the most experienced operators; e.g.looping, formula calculations or expressions that use variables, GeoPaK CNCMCosMos–1GEOPAK’s program tree is a very simple easy to read and edit. The program tree can be collapsed or expanded to see more details.Simply double click on the function line and a easy dialog box will appear; e.g. a hole that is threaded may not repeat if the machine does not follow the pitch.With CNC control the dialog box allows a pitch value to program the machine to follow the pitch of the thread.ease-of-use forentry-level to expertArc Movement of Probe Circular Slot MeasurementDirect Measurement of Tapped HoleGeoPaK-flexible reportingUser-defined reportsPart security & Management Included with GEOPAK is a built in module thatfully controls the machine and the access to your“Parts”. The “Part Manager” displays the part listthat may be stored locally on the DME computeror via the LAN to a company network drive.Within the parts list the operator can attach thesetup instruction documents, header informationfor part traceability and thumbnails for visualreference.The Part Manager interface has complete controlof GEOPAK. User profiles may be set to limitaccess to LEARN, EDIT or REPEAT securing thesystem like no other package on the market.Our security meets the FDA 21 CFR Part 11specification for Electronic Data Storage andSignatures with enhanced logon security, profilesand audit trails.CAT1000 significantly facilitates the programming ofmeasurement tasks during the GEOPAK learn mode. All data for measuring parts and tolerance evaluations are taken accurately from the CAD model via pointing device (mouse, trackball, etc.) selection. The same principles apply forprogramming probe paths (clearance and measurement), while at the same time, using the nominal directly off the CAD model for tolerance comparison.Cat-1000 CaD InterfaceCAT -1000 uses 3D ACIS ® Modeler is Spatial’s prominentmodeling component used in over 350 customer applications with more than 2 million seats worldwide.CAT -1000 fully supports and reads PMI (Product Manufacturing Information) which is imbedded in the model for Datum alignment, GD&T Geometric Dimensioning and Tolerancing. Spatial’s 3D InterOp delivers the highest quality data exchange between CAD formats, enabling superior CAD file translation. The comprehensive suite of translators provides import/export for all applications, including ACIS, CGM and Parasolid-based applications. 3D InterOp is embedded in many of today’s leading design, engineering, and manufacturing applications.CATIA V5, SolidWorks, NX Siemens (Unigraphics), Parasolids, AutoDesk Inventor, Pro-Engineer and IGES or VDAFS exchange formats are available as optional.Standard with CAT -1000 is ACIS (*.sat) and STEP AP203 which are both licensed copies from Spatial InterOp.Product Manufacturing InformationVirtual Offline OptionalDual Screen Optional MCosMos–2CMM system ManagerThe CMM System Manager allows you create a virtualrepresentation of your CMM for simulation. New Mitutoyomodels or legacy models such as FN series and BHN seriesmachines can be selecting based on machine stroke. If youhave multiple machines they can also be added for simulationor part placement purposes. CAD models can be placed andcompared to the true working volume of the machine andindexing probe swivel access.Cat-1000 3D surface analysisCAT-1000 CNC can create grid patterns to verify the surface,Simple one click tool calculates a collision free probe path tomeasure a grid of surface points.Manual CMMs allow the operator to move the probe manuallyand the point will appear real-time. Probe compensation isdetermined from the center of the stylus and the shortestdistance to the CAD model to eliminate cosine error.Surface deviation can be displayed as spherical points or as agradient surface.Cones can be used to show what direction the surface vectorof material from the nominal and given tolerance.SCANPAK reports the deviations from the nominal profile to determine if the measured contour is within the tolerance zone.sCaNPaK-CNCMCosMos–3The SCANPAK Best-fit can provide the information required to correct the part. Best-fit is most effective when the reference alignment is not accurately defined to provide tool setting information.For Graphical Reports our template inside GEOPAK allows the operator to make comments or notes to describe the condition etcCalculate elements automatically constructs best-fit geometry (lines/circles) from a contour. This information can be used as reference for the basicdimensions given for the Profile call-out or even assist in Reverse Engineering for tool-paths.SCANPAK constructs from the measured contour circles and/or line elements based on the tolerance amount to use the best-fit the curvature.The contour compared to the nominal “AS IS” the areas shown in red fail to meet the profile requirement.Calculate elements automaticallySCANPAK Patch Scanning Generator allows stitch scanning routines to help Patterns are saved for repeat jobs and can be used with a Touch Probe Sensor or a continuous Scan Probe (SP25 or MPP).Patch scanning GeneratorKnow Path scanning CNC Gasket Scan isextremely helpful withcomplex planes whichrequire a measuring path.The measuring path can becreated by nodes or offsetfrom the CAD model.MCOSMOS-3 maximizesyour throughput when usinga scanning probe such as theSP25 or MPP. Scans from GEOPAK can be converted to point clouds or STL files.DME 2DME 3The Pure DMISPAK module is a powerful bi-directional program exchange for legacy DMIS based software.DMIS (Dimensional Measuring Interface Standard) was established in 1983 but is still used by some manufacturers.This module converts the native DMIS file (*.dmi) to GEOPAK. New programs from MCOSMOS can also be exported to a DMI format so non-Mitutoyo brand CMMs can read and execute on their legacy DMIS based software.Pure DMIsPaKMeasurLink ® acquires the measurements real-time as the CMM runs the GEOPAK Part Program.Data storage can be local or networked to a SQL Server.Manages data from all types of devices from handheld tools to CMM and it supports non-Mitutoyo products.Expansion Modules for MCosMos-1 and -23D surface generation with Patch Scanning Generator. Easy to create, high-accuracy surface design. Common B-Rep or STL file output ideal for Reverse Engineering.surfaceDeveloperMeshed 3D SurfaceSTL Mesh Piston Head – Reverse EngineeredPointsExpansion Modules for MCosMos-3 With MCOSMOS-3, MAFIS analyzes the SCANPAK profile thatis measured and outputs the evaluation results of the desiredparameters.Unlike other Airfoil Analysis modules which operate outsideof the CMM software as a separate package, MAFIS worksby combining GEOPAK and SCANPAK to generate Airfoilmeasurements.MAFIS calculates the Camber Line, Leading/Trialing edge, Twistand much more. Blade Analysis is easy for beginner operationand does not require an expert to implement.MafIs (Mitutoyo Airfoil Inspection Software) GearPaKWorm gear (hourglass shape)Worm wheel (hourglass shape)Aurora, Illinois(Corporate Headquarters)Westford, MassachusettsHuntersville, North Carolina Mason, Ohio Plymouth, Michigan City of Industry, California Birmingham, AlabamaOne Number to Serve You Better1-888-MITUTOYO (1-888-648-8869)© 2012 Mitutoyo America Corporation, Aurora ILNote: All information regarding our products, and in particular the illustrations, drawings, dimensional and performance data contained in this printed matter as well as other technical data are to be regarded as approximate average values. We therefore reserve the right to make changes to the corresponding designs. The stated standards, similar technical regulations, descriptions and illustrations of the products were valid at the time of printing. In addition, the latest applicable version of our General Trading Conditions will apply. Only quotations submitted by ourselves may be regarded as definitive. Specifications are subject to change without notice.Mitutoyo products are subject to US Export Administration Regulations (EAR). Re-export or relocation of our products may require prior approval by an appropriate governing authority.Trademarks and RegistrationsDesignations used by companies to distinguish their products are often claimed as trademarks. In all instances where Mitutoyo America Corporation is aware of a claim, the product names appear in initial capital or all capital letters. The appropriate companies should be contacted for more complete trademark and registration information.3M 0111-12 • Printed in USA, August 2012。
软件设计师中级专业英语词汇Software Designer: Intermediate Professional English Vocabulary.In the realm of software development, proficiency in professional English is paramount for effective communication, documentation, and collaboration. For mid-level software designers, a robust command of industry-specific vocabulary is essential to navigate complex technical discussions, comprehend documentation, and convey design concepts with precision. This article aims to provide an expansive list of intermediate-level English vocabulary tailored specifically to software designers, enabling them to enhance their professional communication and elevate their design capabilities.Core Concepts.Algorithm: A set of well-defined instructions that solve a specific problem or perform a computation.Architecture: The overall structure and organization of a software system, including its components and their interactions.Data structure: A way of organizing and storing data in a computer system to facilitate efficient access and manipulation.Design pattern: A reusable solution to a commonly occurring problem in software design.Framework: A reusable set of software components and libraries that provide a foundation for building specific applications.Methodology: A structured approach to software development, including processes, practices, and tools.Object: A data structure that encapsulates data and behavior, representing real-world entities.Requirement: A documented need or capability that a software system must fulfill.Source code: The human-readable text form of a computer program, written in a specific programming language.Testing: The process of evaluating the correctness and functionality of a software system.Components and Technologies.Application Programming Interface (API): A set of routines, protocols, and tools that define how two applications interact.Cloud computing: A model for delivering computing resources over the Internet.Database: A collection of organized data, typically stored electronically.Front-end: The part of a software application that interacts directly with the user.Middleware: Software that connects and facilitates communication between different parts of a software system.Operating system: The software that manages computer hardware and provides common services to applications.Server: A computer that provides services to other computers or devices over a network.Web service: A software system that allowsapplications to communicate over the Internet using standardized protocols.Development and Design.Agile: A software development methodology that emphasizes flexibility, adaptation, and customer collaboration.Design thinking: A human-centered approach to design that focuses on understanding user needs and preferences.Iterative development: A software development approach where the system is developed and refined incrementally.Kanban: A visual project management system that uses cards to represent tasks and their progress.Mockup: A low-fidelity representation of a software interface, used for design review and feedback.Prototype: A working model of a software system, used to test concepts and gather user feedback.Scrum: An agile software development framework that emphasizes collaboration, transparency, and iterative delivery.Technical debt: Code or design decisions that may compromise future development or maintenance.User experience (UX): The overall experience of a user when interacting with a software system.Documentation and Communication.Documentation: Written or visual information that explains the design, implementation, and use of a software system.Formal specification: A precise and unambiguous description of a software system's behavior.Issue tracker: A system for tracking and managing bugs or other issues in a software project.Knowledge base: A repository of information and resources related to software development.Meeting agenda: A document that outlines the topics and objectives of a meeting.Proposal: A document that outlines a plan or solutionfor a software project.Technical report: A document that describes theresults of a technical investigation or analysis.White paper: A technical document that provides in-depth information on a specific topic.Wireframe: A low-fidelity representation of a software interface, used for planning the layout and structure.Additional Vocabulary.Binary tree: A data structure that consists of nodes arranged in a hierarchical manner, with each node having at most two child nodes.Cache: A temporary storage area that stores frequently accessed data to improve performance.Cipher: A method of encrypting data to protect its confidentiality.Debugger: A tool that helps identify and fix errors in code.Heap: A dynamic data structure that stores data in a tree-like structure.Inheritance: A mechanism that allows a new class to inherit attributes and methods from an existing class.Polymorphism: A language feature that allows objects of different classes to respond to the same method call differently.Recursion: A technique where a function calls itself, typically to solve a problem by breaking it down into smaller subproblems.Virtual machine: A software layer that simulates a computer system, allowing multiple operating systems to run on a single physical machine.By incorporating these intermediate-level vocabulary terms into their professional communication, software designers can elevate their discourse, enhance their problem-solving abilities, and become more effective collaborators in the dynamic and challenging world of software development.。
HikCentral Professional is a software platform provided by Hikvisionfor integrating and managing security systems. It is designed to meeta variety of security challenges on a single platform. With HikCentralProfessional, you can manage multiple individual systems with ease,such as video security, access control, security alarms, and more, aswell as explore cross-system functionalities.Daily operations become more efficient while protection of peopleand property improve all around. Users of all kinds are makingsmarter decisions.Key FeatureLight and Efficient●Lightweight architecture features reduced consumption of system resources●Capable of managing multiple systems of varying sizes with consistent efficiencyUnified and Flexible●Supports combining various application plug-ins under a unified, on-demand architecture for collaborationacross business segments●New plug-ins can be continuously developed to meet new business needsIntegrated and Open●Compatible with virtually all Hikvision products and their abundance of applications, including deep-learning-basedanalytics and statistics●Open architecture permits easy integration with third-party systems and hardwareSoftware SpecificationThe following table shows the maximum performance of the SYS (System Management Server). For other detailed data and performance, refer to Software Requirements and Performance .FeaturesMaximum PerformanceGeneralManaged Devices*Including Encoding Devices, Access Control Devices,Elevator Control Devices, Security Control Devices, 2,048Digital Signage Terminals, Interactive Flat Panels,Remote Sites, Guidance Terminals, and IP SpeakersVideo Intercom Devices 5,000 Guidance Screens 512 Visitor Terminals 32 Dock Stations1,500 Network Transmission Devices 128 Mobile Devices1,000 Entrance/Exit Stations 40 Query Terminals 16 DeepinMind Server 64 Recording Servers 64 Streaming Servers 64Manageable ResourceAreas 3,000Cameras10,000With RSM: 100,000Alarm Inputs 5,000 Alarm Outputs3,000 Security Radars and Radar PTZ Cameras 30 Zones of Security Control Partitions 2,048 Security Control Partitions (Areas)256DS-5600 Series Face Recognition Terminals When 32Applied with Hikvision TurnstilesANPR Cameras3,000People Counting Cameras Recommended: 300 Heat Map Cameras Recommended: 70 Thermal CamerasRecommended: 20① Queue Management Cameras Recommended: 300 Cameras per Area 256Alarm Inputs per Area 256 Alarm Outputs per Area 256 Event and Alarm Rules10,000Storage of Events or Alarms Without Pictures1,000/sStorage of Events or Alarms with Pictures 20/s (Stored in SYS)80/s (Stored in Recording Server)Event & AlarmEvents or Alarms Sent to Clients120/s*The clients include Control Clients and Mobile Clients. 100 Clients/s Combined Alarm 10/s User-Defined Events 10,000Concurrent Accesses via Web Clients and Control100ClientsUser and RoleConcurrent Accesses via Mobile Clients 100Users 3,000Roles 3,000 Users for Double Authentications 50PersonPerson Group 3,000Person Group Hierarchies10Size of a Profile Picture300 KBTotal Size of Profile Pictures300 GBData Retention Period Stored for 3 YearsPeople Counting 5 millionHeat Map0.25 millionANPR Records60 millionEvents60 millionAlarms60 million Data Storage Access Records 1.4 billionAttendance Records55 millionVisitor Records10 millionOperation Logs 5 millionService Information Logs 5 millionService Error Logs 5 millionRecording Tags60 millionScheduled Report Rules of Event and Alarm100Event or Alarm Rules in One Event/Alarm Report Rule32 Report Records in One Sent Report10,000 or 10 MBResources Selected in One Report*With this limitation, you can generate a neat and20clear report via the Control Client and it costs less time.Video & Intelligent AnalysisRecording Recording Schedule30,000 Recording Schedule Template200 Face Pictures for Comparison1,000,000 Face Comparison Groups64Face Comparison Persons in One Face Comparison Group1,000,000Storage of Face Comparison Events Without Pictures1,000/sStorage of Face Comparison Events with Pictures100/s (Stored in Recording Server)Intelligent Analysis Groups1,000Intelligent Recognition Resources in One Group64Persons for Intelligent Recognition1000,000Evidence Management Evidences100,000 Evidence Files5,000,000 Decoding Devices32 Smart Walls32Smart Wall Views1,000 View Groups100 Views in One View Group10 Cameras in One View256Streaming Server Video Input Bandwidth per Streaming Server200 × 2 Mbps Video Output Bandwidth per Streaming Server200 × 2 MbpsAccess Control & Time and Attendance & VisitorPersons with Credentials for Access Control50,000Total Credentials (Card + Fingerprint)250,000Cards250,000Fingerprints100,000 Access Control Profiles50,000Access Points (Doors + Floors)1,024Access Levels512Access Schedules32Templates for Card Printing32Persons for Time and Attendance10,000 Time and Attendance Shift Schedules128Major Leave Types64Minor Leave Types of One Major Type128 Holidays32 Break Timetable128 Custom Rules for T&A Status on Device128 Visitors20,000Visitor Management Visitor Check-In or Reservation Records100,000 Visitor Email Templates20 Entities in Watch List10,000Vehicle and Parking ManagementVehicles per List5,000 Vehicles500,000 Custom Vehicle Types10 Under Vehicle Surveillance Systems (UVSSs)4 Vehicle Undercarriage Pictures3,000 Storage of ANPR Alarm Without Pictures1,000/sStorage of ANPR Alarm with Picture 20/s (Stored in SYS)100/s (Stored in Recording Server)Parking Lots10Lanes Total: 40In One Parking Lot: 32Parking Spaces Total: 3,000In One Floor: 1,024Floors in All Parking Lots128Cards Linked with Vehicles250,000Temporary Cards in One Parking Lot10,000Vehicle Passing Frequency in Each Lane 1 Vehicle/sMobile MonitoringFence Rules for One Vehicle4Vehicles Can Be Located in One Client64Retention Period of GPS Data 6 MonthsRetention Period of Statistics Data 3 YearsDigital SignageMaterials10,000Programs2,000Schedules1,000Release Records1,000Video Walls512Applications for Interactive Flat Panel1,000Security InspectionAnalyzers8Walk-Through Metal Detectors64Security Inspection Channels1,000BroadcastBroadcast Group128Media Libraries100①: This recommended value refers to the number of thermal cameras connected to the system directly. It depends on the maximum performance (data processing and storage) in the situation when the managed thermal cameras uploading temperature data to the system. For thermal cameras connected to the system via NVR, there is no such limitation.System Requirement* For high stability and good performance, the following system requirements must be met.Microsoft® Windows 11 64-bitMicrosoft® Windows 10 64-bitMicrosoft® Windows 8.1 64-bit*Microsoft® Windows 7 SP1 64-bitOS for HikCentral Professional Microsoft® Windows Server 2019 64-bit Microsoft® Windows Server 2016 64-bitServerMicrosoft® Windows Server 2012 R2 64-bitMicrosoft® Windows Server 2012 64-bitMicrosoft® Windows Server 2008 R2 SP1 64-bitCentOS 7.2 64-bit**CentOS 7.4 64-bit**CentOS 7.6 64-bit***For Windows 8.1 and Windows Server 2012 R2, make sure it is installed with the rollup (KB2919355)updated in April, 2014.** Special Version edition to support LINUX environment installation, contact Hikvision technicalcenter for more detailsMicrosoft® Windows 11 64-bitMicrosoft® Windows 10 64-bitMicrosoft® Windows 8.1 64-bitMicrosoft® Windows 7 SP1 64-bitMicrosoft® Windows Server 2019 64-bitOS for Control Client Microsoft® Windows Server 2016 64-bitMicrosoft® Windows Server 2012 R2 64-bitMicrosoft® Windows Server 2012 64-bitMicrosoft® Windows Server 2008 R2 SP1 64-bit*For Windows 8.1 and Windows Server 2012 R2, make sure it is installed with the rollup (KB2919355)updated in April, 2014.Google Chrome® 84 and aboveFirefox® 84 and aboveBrowser Version Safari® 11 and aboveMicrosoft® Edge 89 and aboveInternet Explorer® 11 and aboveDatabase PostgreSQL V11.8OS for Mobile Client iOS 10.0 and aboveAndroid 6.0 and aboveVMware® ESXi™ 6.xMicrosoft® Hyper-V with Windows Server 2012/2012 R2/2016 (64-bit)Virtual Machine *The Control Client cannot run on the virtual machine.*Refer to the Deployment Guide of HikCentral Professional on VMware Virtual Machines for how the streaming server running on the virtual machine.*Virtual server migration is not supported.Typical ApplicationFacial Recognition pStor RSM DecoderServer Smart WallCluster Storage Server Hybrid SAN KeyboardHikCentralDock StationSecurity Control Panic Alarm RadarPanel StationAnalog Camera DVRUnder-VehicleSurveillance SystemsIP Camera Switch NVRMobile Client Web Client Remote Client Access Controller Card Reader ElevatorControllerDigital Signage Wall-Mounted Access ControlVideo Intercom Player Digital Signage Vertical Digital Signage TerminalRecommended Hardware Specification Processor Intel® Xeon® E-2124Memory 16G DDR4 DIMM slots, Supports UDIMM, up to 2666 MT/s, 64GB Max. Supports registered ECCInternal Controllers: SAS_H330Software RAID: PERC S140Storage Controllers External HBAs: 12Gbps SAS HBA (non-RAID)Boot Optimized Storage Subsystem: 2x M.2 240GB (RAID 1 or No RAID), 1x M.2 240GB (NoRAID Only)Drive Bays1T 7.2K SATA×2Power Supplies Single 250W (Bronze) power supplyForm Factor: Rack (1U)Dimensions Chassis Width: 434.00mm (17.08 in)Chassis Depth: 595.63mm (23.45 in) (3.5”HHD)Note: These dimensions do not include: bezel, redundant PSUDimensions with Package750 mm × 614 mm × 259 mm(W × D × H)(29.53" × 24.17" × 10.2")Net Weight12.2 kgWeight with Package18.5 kgEmbedded NIC 2 x 1GbE LOM Network Interface Controller (NIC) portsDevice Access Front Ports: 1x USB 2.0, 1 x IDRAC micro USB 2.0 management port Rear Ports: 2 x USB 3.0, VGA, serial connectoriDRAC9 with Lifecycle ControllerEmbedded Management iDRAC DirectDRAC RESTful API with RedfishIntegrations:Connections:Microsoft® System CenterNagios Core & Nagios XIIntegrations and Connections VMware® vCenter™Micro Focus Operations Manager i (OMi)BMC Truesight (available from BMC)IBM Tivoli Netcool/OMNIbusRed Hat AnsibleCertify XenServerCitrix® XenServer®Operating Systems Microsoft Windows Server® with Hyper-VNote: This model is installed with Microsoft Windows Server® 2016 multilingual operatingsystem.Virtual Machines VMware® ESXi。
TheLazyVirtualMachinespecificationTechnicalreport:UU-CS-2004-052
DaanLeijenInstituteofInformationandComputingSciences,UtrechtUniversityP.O.Box80.089,3508TBUtrecht,TheNetherlandsdaan@cs.uu.nl
August22,2005
11IntroductionThischapterdescribestheLazyVirtualMachine(lvm).JustliketheJVM[12],itdefinesaportableinstructionsetandfileformat.However,itisspecificallydesignedtoexecutelanguageswithnon-strict(orlazy)semantics.Isthereneedforsuchsystem?Afterall,therearemanycompilersandinterpretersforlazylanguages,forexample,GHCdevelopedattheGlasgowuniversity,theHUGSinterpreterbyMarkJones,NHCfromYorkuniversity(UK),theHBCcompilerdevelopedatChalmers,andCleanfromNijmegen.Onemaythinkthatwiththisdiversityofsystemsthereisnoneedanymoreforothercompilers,asmostimplementationissueshavebeenresolved.
However,thecurrentcompilersandinterpretershavebecomelargesystemsthatarehardtoadapt–ithasbecomedifficulttoexperimentwithnewtypesystems,languageconstructions,compilertransformations,profiling,ordebuggingtools.Inparticular,theworkonembeddedlanguagesasdescribedintheprevioustwochaptersgaverisetoexperimentationwithvariousextensionstotheHaskelllanguage.Eventually,thisleadtothedevelopmentoftheLVM:
•Asmallportablesystemthatcanbeeasilyadaptedtosupportdifferent(experimental)languagesandtypesystems.
•Asimpleandrobustinstructionsetthatisaneasytargetforcompilerfront-ends.•EfficientinterpretationorJITcompilationispossible.•Atoolkitthattranslatesanuntyped,richintermediatelanguage(λcore)tolvminstruc-tions.Notethatweuseuntypedexpressionsinordertoexperimentwithextensionsthatarehardtotypeatthislevel,examplesincludetypeindexedrecords[25]anddependenttypes[1].
ThelvmiscurrentlyimplementedontopoftheOCamlruntimesystem[10,11].Thesystemrunsonmanyplatforms,includingWindows,variousUnix’s,MacOSXand64-bitplatformsliketheDECalpha.ThelvmisusedasabackendfortheexperimentalHXsystem[26]andtheHeliumcompiler–thiscompilerimplementsaverylargesubsetofHaskellandiscurrentlyusedtoteachfirstyearstudentsHaskellatUtrechtUniversity.
Thedesignandimplementationofthelvmisassimpleandmodularaspossible.However,simplicitydoesnotimplythatitisatoysystem;theimplementationisfullfledgedincludingsupportforexoticfeaturesas(asynchronous)exceptions,concurrency,aforeignfunctioninterface,generationalgarbagecollection,andexecutiontraces.
Thischapterwillfocusonthetranslationoftheintermediatelanguagetolvminstructions,andontheoperationalsemanticsoftheinstructionsthemselves.Manyitemsofthischapterhavebeendescribedbefore,andthemaincontributionofthischapteristhedesignofa‘realworld’instructionset,operationalsemantics,andtranslationschemeasawhole.Morespecifically:
2•Wedefineanaiveandstraightforwardtranslationschemefromthelow-levelλlvm
languagetolvminstructions.Insteadofdefiningmanyoptimizedtranslationschemes
[14,6,23],wedefineasmallsetofrewriterulesoninstructionsthatachievethesameeffect.Thecorrectnessoftherewriterulesisrelativelyeasytoprovewiththeoperationalsemantics.Incontrast,anoptimizedtranslationschemeismuchhardertoprovecorrect,asonehastoshowacorrespondencebetweentheoperationalsemanticsoftheλlvmlanguageandthegeneratedinstructions.Furthermore,therewriterulesaremostofthetimeevenmoreeffectivethanoptimizedtranslationrules,astherewriterulessometimesfindoptimizationopportunitiesbetweeninstructionsthatareunrelatedatthelanguagelevel.
•Thelow-levelλlvmlanguagehasanoperationalreadinganddirectlyreflectsthecapa-bilitiesoftheabstractmachine.Assuch,weareabletoreasonaboutdenotationallyequivalentexpressionsthathaveadifferentoperationalbehaviour.
•Wedefinesimpleoperationalsemanticsfortheinstructions.Astateisdeterminedbyjustthreeitems:thecurrentcode,theheap,andthestack.Besidesbeingsimplerthanmanyotherinstructionsets[15,14,6,23],theinstructionsalsomapdirectlyontoCinstructions,reducingthenumberofbugsinanimplementationandimprovingourunderstandingoftherelationshipbetweenabstractmachineandconcreteimplemen-tation.
•Astheinstructionscanbesocloselyrelatedtoanactualimplementation,wecanreasonaboutimplementationtechniquesthatarenormallyonlydescribedinformally,orexplainedviapictures.Examplesareexceptionhandling,returningconstructorsinregisters,andthereasonwhyseqframesareanecessaryadditiontotheSTGmachine[15].
2AnoverviewThecompilationofahighlevelfunctionallanguagetolvminstructionsgoesviaanumberofintermediatelanguages:λcore,λlvm,andextendedlvminstructions.Theprocessissketchedinfigure1.Theactualcompilationstepsinvolvedare:
•Translatethesourcelanguagetoλcore;anenrichedlambdacalculusthatcorrespondscloselytotheintermediatecorelanguageoftheGHCcompiler[15,21].