1,727,182 research outputs found
Implementation of metadata management systems using ZK Framework
No full text碩士後設資料又稱做元數據，為描述數據的數據，主要是描述數據屬性的資訊，用來支持如指示儲存位置、歷史資料、資源尋找、文件紀錄等功能。本論文參考民國95年國立台灣科技大學郭令斌的「後設資料管理系統產生器」，我們採用Web 2.0的技術，並使用加快開發速度的Ajax框架，以及ZK Framework，重新研發一套後設資料系統。
這套系統與郭令斌的「後設資料系統產生器」不同，並不局限於典藏單位使用。本論文不但延續該論文所使用的struts技術，並進行介面的人性化，與資料庫的分析，並使用目前Java 網頁技術最熱門的 spring + hibernate + struts 技術，增加程式的模組化程度與可再利用性，比舊系統更加的簡單，資料轉換成物件更加快速，更有效率。
全新的系統架構，將由資料庫結構重新設計，參考近年最熱門的電子病歷的系統架構，進行簡化整合，支援Java 網頁技術常見的幾種板模技術，達到資料類型後設化，瀏覽畫面可使用板模替換，完成可記錄多種資料類型的系統架構。Metadata, also known as meta-data, is the data that describes data. It mainly describes the information of data attributes, such as storage location, retrieving historical information, finding resources, recording files, etc. This study refers Kuo’s Master Thesis “Generator for Metadata Management Systems.” We use Web 2.0 technology as well as ZK Framework which speeds up development of Ajax frameworks, to re-develop a set of meta-information system.
Our system differs from Kuo’s system in that ours is not restricted to the archival repositories. It not only continues the struts technology used by Kuo’s system, but also proceeds to humanize the interface and analyze the database. In addition, it employs the most popular Java web technology, the “spring + hibernate + struts” technology, to increase both degree of modularity and reusability in program development. Comparing with Kuo’s system, our system is simpler and the conversion process from data to objects is faster and more efficient.
Refering to the recent electronic medical record system architecture, the database structure of our system architecture is re-designed and the system integrating process is simplified. With the supports of several common template technologies from Java web technology to metadata, various data categories, and switch available templates for browser screen, this system architecture will be able to complete the recording of various data categories.目錄
第一章 緒論 1
1.1 研究背景 1
1.2 研究動機 2
1.3 研究目的 3
1.4 論文大鋼 4
第二章 文獻探討 5
2.1 參考論文分析 5
2.2 ZK 6
2.2.1 ZK支援的功能 6
2.2.2 使用ZK的原因 6
2.2.3 ZK 內部結構 8
2.3 XML 10
2.3.1 XML在系統中的重要性 10
2.4 XSL 11
2.4.1 XSLT 11
2.4.2 XSL-FO 12
2.4.2 XPath 13
2.5 Jasper Reports 13
2.6 Spring Framework 14
2.7 Hibernate 15
2.8 Struts 16
2.9 JAXB 16
第三章 研究方法 17
3.1 系統主要改善敘述 17
3.2 環境架設 20
3.3 滿足儲存多種資訊類別製作 20
3.4 可變化輸入元件製作 25
3.4.1 使用ZK元件來製作 26
3.5 權限控管 29
3.5.1 使用者與其他使用者的聯繫 29
3.5.2 資訊類別的權限設定 30
3.6 編輯頁面的設計 33
3.7 瀏覽方式 34
3.7.1 不使用板模的瀏覽方式 34
3.7.2 使用板模的瀏覽方式 35
3.8 批次匯入功能 36
3.9 匯出功能 36
第四章 比較與展示 38
4.1 與傳統使用實體關聯結構的系統比較 38
4.2 資料轉移的實際操作 39
第五章 結論與未來研究方向 52
5.1 開發結果 52
5.2 暫時無法克服的難題 52
5.3 未來開發方向 52
參考文獻 54
附錄-英文論文 55
圖目錄
圖 2-1 唯一路徑編碼資料庫配製範例 6
圖 2-2 ZK自製物件宣告、繼承、實作 7
圖 2-3 ZK的架構圖 9
圖 2-4 XML轉換HTML 12
圖 2-5 XML轉換FO 13
圖 2-6 IREPORT 運行畫面 14
圖 3-1 系統架構 18
圖 3-2 XML轉換流程 19
圖 3-3 SPRING + HIBERNATE + STRUTS 19
圖 3-4 書籍與員工基本資料的資料庫關聯圖 22
圖 3-5 目錄類別與目錄資料的資料庫關聯圖 23
圖 3-6 後設資料系統設定畫面JSP[3] 24
圖 3-7 使用XML儲存欄位資訊後的設定畫面 25
圖 3-8 欄位資訊XML範例 25
圖 3-9 可變輸入物件，派送子層物件的運行流程 26
圖 3-10 子層物件回饋資料給父層BOX的運行流程 26
圖 3-11 可變輸入物件，程式碼參考 27
圖 3-12 子層物件回饋資料給父層BOX的程式碼參考 28
圖 3-13 可變化輸入元件範例，動畫 28
圖 3-14 可變化輸入元件範例，漫畫 28
圖 3-15 FACEBOOK與MSN的好友申請流程 29
圖 3-16 目錄分享系統的好友申請 30
圖 3-17 微軟WINDOW權限群組設定 30
圖 3-18 目錄分享系統的權限設定 31
圖 3-19 分享後設系統權限相關的資料庫關聯表 31
圖 3-20 目錄分享系統群組權限設定畫面 32
圖 3-21 系統類別搜尋頁面 32
圖 3-22 編輯頁面 33
圖 3-23 存成XML的資料 34
圖 3-24 不使用板模的瀏覽方式 35
圖 3-25 使用XSL的瀏覽方式 35
圖 3-26 使用JASPER REPORTS的瀏覽方式 36
圖 3-27 匯入的流程圖 37
圖 4-1 未使用後設技術的資料管理系統 38
圖 4-2 類別編輯系統 39
圖 4-3 欄位編輯系統 40
圖 4-4 劇情類型設定畫面 44
圖 4-5 出版社設定畫面 44
圖 4-6 資料搜尋頁面 45
圖 4-7 舊資料管理系統的資料庫 46
圖 4-8 未處理的上傳資料 46
圖 4-9 處理後的上傳資料 47
圖 4-10 上傳資料後的搜尋結果 47
圖 4-11 個別編輯畫面 48
圖 4-12 上傳頁面 49
圖 4-13 可調整的橫隔 49
圖 4-14 圖片上傳作業 50
圖 4-15 額外增加的文獻 50
圖 4-16 板模上傳 51
圖 4-17 套用板模的瀏覽 51
表目錄
表 3-1 書籍表格欄位配置一欄 20
表 3-2 員工基本資料欄位配置一欄 21
表 3-3 INDEX_DATA_TYPE_XML說明 23
表 4-1 漫畫表格欄位配置一欄 41
表 4-2 劇情類型COMBOBOX設定 42
表 4-3 出版社COMBOBOX設定 43學號: 799410104, 學年度: 10
A Review of zk-SNARKs
Get PDFA zk-SNARK is a protocol that lets one party, the prover, prove to another
party, the verifier, that a statement about some privately-held information is
true without revealing the information itself. This paper describes technical
foundations, current applications, and some novel applications of zk-SNARKs.
Regarding technical foundations, we go over the Quadratic Arithmetic Program
reduction and the Pinocchio protocol. We then go over financial security
applications like Zcash and Tornado Cash, and zk-Rollup applications like zkEVM
and Darkforest. We propose novel zk-SNARK protocols for private auctions and
decentralized card games on the blockchain, providing code for the proposed
applications. We conclude by touching on promising zk-SNARK innovations, such
as zk-STARKs
Development of an Efficient Electroporation Method for Iturin A-Producing Bacillus subtilis ZK
No full textIn order to efficiently introduce DNA into B. subtilis ZK, which produces iturin A at a high level, we optimized seven electroporation conditions and explored an efficient electroporation method. Using the optimal conditions, the electroporation efficiency was improved to 1.03 x 10(7) transformants/g of DNA, an approximately 10,000-fold increase in electroporation efficiency. This efficiency is the highest electroporation efficiency for B. subtilis and enables the construction of a directed evolution library or the knockout of a gene in B. subtilis ZK for molecular genetics studies. In the optimization process, the combined effects of three types of wall-weakening agents were evaluated using a response surface methodology (RSM) design, which led to a two orders of magnitude increase in electroporation efficiency. To the best of our limited knowledge, this study provides the first demonstration of using an RSM design for optimization of the electroporation conditions for B. subtilis. To validate the electroporation efficiency, a case study was performed and a gene (rapC) was inactivated in B. subtilis ZK using a suicide plasmid pMUTIN4. Moreover, we found that the rapC mutants exhibited a marked decrease in iturin A production, suggesting that the rapC gene was closely related to the iturin A production
zk-PCN: A Privacy-Preserving Payment Channel Network Using zk-SNARKs
No full textPayment channel network (PCN) is a layer-two scaling solution that enables fast off-chain transactions but does not involve on-chain transaction settlement. PCNs raise new privacy issues including balance secrecy, relationship anonymity and payment privacy. Moreover, protecting privacy causes low transaction success rates. To address this dilemma, we propose zk-PCN, a privacy-preserving payment channel network using zk-SNARKs. We prevent from exposing true balances by setting up public balances instead. Using public balances, zk-PCN can guarantee high transaction success rates and protect PCN privacy with zero-knowledge proofs. Additionally, zk-PCN is compatible with the existing routing algorithms of PCNs. To support such compatibility, we propose zk-IPCN to improve zk-PCN with a novel proof generation (RPG) algorithm. zk-IPCN reduces the overheads of storing channel information and lowers the frequency of generating zero-knowledge proofs. Finally, extensive simulations demonstrate the effectiveness and efficiency of zk-PCN in various settings
Enhancement of gamma-aminobutyric acid binding by the anxiolytic beta-carbolines ZK 93423 and ZK 91296.
No full textThe effects of two anxiolytic beta-carboline derivatives, ZK 93423 and ZK 91296, on the binding of gamma-[3H]aminobutyric acid ([3H]GABA) to brain membrane preparations from rat cerebral cortex were examined. ZK 93423 concentration-dependently enhanced the specific binding of [3H]GABA, with a maximal increase of 45% above control at a 50 microM concentration. A less pronounced increase was induced by diazepam and by the partial agonist ZK 91296. Scatchard plot analysis revealed that the effect of ZK 93423 was due to an increase in the total number of high- and low-affinity GABA binding sites. The action of ZK 93423 was mediated by benzodiazepine recognition sites since it was blocked by the benzodiazepine antagonists Ro 15-1788 and ZK 93426 at concentrations that failed to modify [3H]GABA binding on their own. Moreover the stimulatory effect of ZK 93423 on [3H]GABA binding was also blocked by the beta-carboline inverse agonist ethyl beta-carboline-3-carboxylate. These results are consistent with the view that ZK 93423 and ZK 91296, similarly to benzodiazepines, exert their pharmacological effects by enhancing the GABAergic transmission at the level of the GABA/benzodiazepine receptor complex
Die Zusammensetzung des XV. ZK der KPCh
Get PDFDas auf dem XV. Parteitag im September 1997 von 2.074 anwesenden Delegierten neugewählte Zentralkomitee ist größer als das alte, es umfaßt nunmehr 193 Mitglieder und 151 Kandidaten. Ganz neu ins ZK gewählt wurden 61 Personen, knapp ein Drittel. 86 Personen gehörten schon vorher dem ZK als Vollmitglieder an, und 46 waren ZK- Kandidaten. Von den ZK-Kandidaten sind zwei Drittel, 105 Personen, neugewählt. 46 waren schon Kandidaten
Designated-Verifier zk-SNARKs Made Easy
Get PDFZero-knowledge succinct non-interactive argument of knowledge (zk-SNARK) is a kind of proof system that enables a prover to convince a verifier that an NP statement is true efficiently. In the last decade, various studies made a lot of progress in constructing more efficient and secure zk-SNARKs. Our research focuses on designated-verifier zk-SNARKs, where only the verifier knowing some secret verification state can be convinced by the proof. A natural idea of getting a designated-verifier zk-SNARK is encrypting a publicly-verifiable zk-SNARK\u27s proof via public-key encryption. This is also the core idea behind the well-known transformation proposed by Bitansky et al. in TCC 2013 to obtain designated-verifier zk-SNARKs. However, the transformation only applies to zk-SNARKs which requires the complicated trusted setup phase and sticks on storage-expensive common reference strings. The loss of the secret verification state also makes the proof immediately lose the designated-verifier property.
To address these issues, we first define strong designated-verifier considering the case where the adversary has access to the secret verification state, then propose a construction of strong designated-verifier zk-SNARKs. The construction inspired by designated verifier signatures based on two-party ring signatures does not use encryption and can be applied on any public-verifiable zk-SNARKs to yield a designated-verifiable variant. We introduce our construction under the circuit satisfiability problem and implement it in Circom, then test it on different zk-SNARKs, showing the validity of our construction
Analyzing and Benchmarking ZK-Rollups
Get PDFAs blockchain technology continues to transform the realm of digital transactions, scalability has emerged as a critical issue. This challenge has spurred the creation of innovative solutions, particularly Layer 2 scalability techniques like rollups. Among these, ZK-Rollups are notable for employing Zero-Knowledge Proofs to facilitate prompt on-chain transaction verification, thereby improving scalability and efficiency without sacrificing security. Nevertheless, the intrinsic complexity of ZK-Rollups has hindered an exhaustive evaluation of their efficiency, economic impact, and performance.
This paper offers a theoretical and empirical examination aimed at comprehending and evaluating ZK-Rollups, with particular attention to ZK-EVMs. We conduct a qualitative analysis to break down the costs linked to ZK-Rollups and scrutinize the design choices of well-known implementations. Confronting the inherent difficulties in benchmarking such intricate systems, we introduce a systematic methodology for their assessment, applying our method to two prominent ZK-Rollups: Polygon zkEVM and zkSync Era. Our research provides initial findings that illuminate trade-offs and areas for enhancement in ZK-Rollup implementations, delivering valuable insights for future research, development, and deployment of these systems
The structure and location of 18-crown-6 ether in zeolites RHO and ZK-5
No full textThe use of organic additives presents the greatest versatility and control of zeolite synthesis in order to prepare novel architectures for desired applications. Despite this prospect, there is little clarity of how organic additives are involved in framework assembly and the range of behaviours that are available. To address this issue, we have considered zeolites RHO and ZK-5 which can both be prepared using 18-crown-6 ether as an additive. Previously, this additive has shown to employ different structure directing behaviours to assemble a variety of zeolites. We have used high resolution powder X-ray diffraction and Rietveld refinement to determine structural models for zeolites RHO and ZK-5 with 18-crown-6 ether occluded in the framework. In doing so, we can observe the identity, location and orientation of the occluded additive and reason the structure directing behaviour in synthesis. We report that the isolated 18-crown-6 ether molecule is involved in the assembly of zeolite RHO, and for zeolite ZK-5 it is the K+ coordinated macrocation. In both cases the relevant additive is disordered in the framework, suggesting that they behave as space-filling species that stabilise the formation of the α-cage
Analyzing and Benchmarking ZK-Rollups
Get PDFAs blockchain technology continues to transform the realm of digital transactions, scalability has emerged as a critical issue. This challenge has spurred the creation of innovative solutions, particularly Layer 2 scalability techniques like rollups. Among these, ZK-Rollups are notable for employing Zero-Knowledge Proofs to facilitate prompt on-chain transaction verification, thereby improving scalability and efficiency without sacrificing security. Nevertheless, the intrinsic complexity of ZK-Rollups has hindered an exhaustive evaluation of their efficiency, economic impact, and performance.
This paper offers a theoretical and empirical examination aimed at comprehending and evaluating ZK-Rollups, with particular attention to ZK-EVMs. We conduct a qualitative analysis to break down the costs linked to ZK-Rollups and scrutinize the design choices of well-known implementations. Confronting the inherent difficulties in benchmarking such intricate systems, we introduce a systematic methodology for their assessment, applying our method to two prominent ZK-Rollups: Polygon zkEVM and zkSync Era. Our research provides initial findings that illuminate trade-offs and areas for enhancement in ZK-Rollup implementations, delivering valuable insights for future research, development, and deployment of these systems
- …
