Journal articles: 'Oracle Designer'

1

Babanov, Alexey M., and Alexander V. Petrov. "Implementation of the ERM-model repository in CASE-system Oracle Designer." Vestnik Tomskogo gosudarstvennogo universiteta. Upravlenie, vychislitel'naya tekhnika i informatika, no. 41 (December 1, 2017): 47–54. http://dx.doi.org/10.17223/19988605/41/6.

Full text

APA, Harvard, Vancouver, ISO, and other styles

2

Jenny, Bernhard, and Nathaniel Vaughn Kelso. "Color Design for the Color Vision Impaired." Cartographic Perspectives, no. 58 (September 1, 2007): 61–67. http://dx.doi.org/10.14714/cp58.270.

Full text

Abstract:

Eight percent of men are affected by color vision impairment – they have difficulties distinguishing between colors and thus confuse certain colors that the majority of people see readily. Designers of maps and information graphics cannot disregard the needs of this relatively large group of media consumers. This article discusses the most common forms of color vision impairment, and introduces Color Oracle, a new software tool that assists the designer in verifying color schemes. Color Oracle filters maps and graphics in real-time and efficiently integrates with existing digital workflows. The paper also discusses color combinations and alternative visual variables for map symbology that those with color vision impairments can distinguish unambiguously. The presented techniques help the cartographer produce maps that are easy to read for those with color vision impairments and can still look good for those with normal color vision.

APA, Harvard, Vancouver, ISO, and other styles

3

Huang, Jing Li, Qing Wang, and Qiu Ling Lang. "Three-Dimensional Engineering Geology Data Warehouse Constructed by Power Designer." Advanced Materials Research 753-755 (August 2013): 3112–15. http://dx.doi.org/10.4028/www.scientific.net/amr.753-755.3112.

Full text

Abstract:

The Three-dimensional engineering geology data warehouse is constructed by Power Desinger16.1, with the theme as the rock and mass availability in urban underground space, and with the source data as the borehole data of engineering Investigation. Use the Model-driven Architecture method, reverse engineer the Access data base, extract existed data model, combine research theme to construct the Star data structure model. And check the SQL script in SQL Server2005, to ensure normal operation. 0 Forewords The traditional transaction-oriented designed engineering geology data base has the function to storage original data from work, to draw of geological section and to provide simple check and analysis, but without the decision support function in view of a subject. The purpose of construction a 3D engineering geological data warehouse is to build a decision support system in view of availability of rock and soil mass in urban underground space. Based on the data extraction, data integration, data cleaning and data transformation, the 3D engineering geological data warehouse could achieve the integrated management of massive geological data and to provide reliable data source for the rock and soil mass utilization system in urban underground space. The main feature of 3D engineering geological data base is subject-oriented, integrated, time-varying, relatively stable, and is magnanimous collection of engineering geological spatial data and attribute data. According to the design pattern of traditional data base, the construction of 3D engineering geological data warehouse can be divided into three stages: concept design model, logic design model and physical design model. But the 3D engineering geological data warehouse exist iterative in the construction process. Currently, there are many CASE tools to help developers quickly achieving the data base design, such as Rational Rose by Rational company, Erwin and Bpwin by CA company, Power Designer by Sybase company, Office Visio by Microsoft company, and Oracle Designer by Oracle company. The paper uses the Powerdesigner16.1 to achieve the logical data model (LDM) and physical data model (PDM).

APA, Harvard, Vancouver, ISO, and other styles

4

Falchi, Ugo. "IT tools for the management of multi - representation geographical information." International Journal of Engineering & Technology 7, no. 1 (2018): 65. http://dx.doi.org/10.14419/ijet.v7i1.8810.

Full text

Abstract:

The goal of this research was the creation of software tools for managing instances of a multi - representation geodatabase, able to define multiple representations and topological constraints, in relation to modeled objects and structures according to the classification of the Italian national technical specifications of the November 10, Italian Ministerial Decree 2011. After the development of a conceptual scheme, encoded in its corresponding logical mode, various computer artifacts were designed and developed from scratch to perform the upload, management and display of data: a Scheme Designer, which allows users to define the logical model and implement the physical model of an instance of Oracle; a Loader, which allows users to populate the database; a GUI, which is a graphical interface to the tools and Schema Designer Loader; a DB Navigator, which is the web interface to the database multi - representation.

APA, Harvard, Vancouver, ISO, and other styles

5

Gao, Peng, Yiwei Li, Marek Perkowski, and Xiaoyu Song. "Realization of Quantum Oracles using Symmetries of Boolean Functions." Quantum Information and Computation 20, no. 5&6 (2020): 418–48. http://dx.doi.org/10.26421/qic20.5-6-4.

Full text

Abstract:

Designing a quantum oracle is an important step in practical realization of Grover algorithm, therefore it is useful to create methodologies to design oracles. Lattice diagrams are regular two-dimensional structures that can be directly mapped onto a quantum circuit. We present a quantum oracle design methodology based on lattices. The oracles are designed with a proposed method using generalized Boolean symmetric functions realized with lattice diagrams. We also present a decomposition-based algorithm that transforms non-symmetric functions into symmetric or partially symmetric functions. Our method, which combines logic minimization, logic decomposition, and mapping, has lower quantum cost with fewer ancilla qubits. Overall, we obtain encouraging synthesis results superior to previously published data.

APA, Harvard, Vancouver, ISO, and other styles

6

Ricky, Michael Yoseph. "Aplikasi Migrasi Database dan Replikasi Bi-Directional." ComTech: Computer, Mathematics and Engineering Applications 2, no. 2 (2011): 788. http://dx.doi.org/10.21512/comtech.v2i2.2828.

Full text

Abstract:

This study aims to analyze and design a migration and replication configurations in an enterprise using several methods such as literary study and direc survey to the company; analysis on hangar systems, process migration and replication as well as existing problems; and a prototype design for migration process implementated with Oracle SQL Developer and replication process implementated with Oracle GoldenGate. The study resluts ini a prototype for migration and replication configuration processes using Oracle's Golden Gate which can produce two sets of identical data for backup and recovery. Also a simple tool is designed to assist active-active replication process as well as active-passive one. The migration process from MySQL database to Oracle database using Oracle GoldenGate can not be done because GoldenGate Oracle has bugs related to the binary log, so database migration is done using Oracle SQL Developer. However, bi-directional replication between Oracle database using Oracle GoldenGate can ensure data availability and reduce the workload of primary database.

APA, Harvard, Vancouver, ISO, and other styles

7

Ma, Chunyan, Shaoying Liu, Jinglan Fu, and Tao Zhang. "Test Oracle Generation Based on BPNN by Using the Values of Variables at Different Breakpoints for Programs." International Journal of Software Engineering and Knowledge Engineering 31, no. 10 (2021): 1469–94. http://dx.doi.org/10.1142/s0218194021500492.

Full text

Abstract:

Automatic test oracle generation is a bottleneck in realizing full automation of the entire software testing process. This study proposes a new method for automatically generating a test oracle for a new test input on the basis of several historical test cases by using a backpropagation neural network (BPNN) model. The new method is different from existing test oracle techniques. Specifically, our method has two steps. First, the values of variables are collected as training data when several historical test inputs are used to execute the program at different breakpoints. The test oracles (pass or fail) of these test cases are utilized to classify and label the training data. Second, a new test input is used to execute the program at different breakpoints, where the trained BPNN prediction model automatically generates its test oracle on the basis of the collected values of the variables involved. We conduct an experiment to validate our method. In the experiment, 113 faulty versions of seven types of programs are used as experimental objects. Results show that the average prediction accuracy rate of 74,651 test oracles is 95.8%. Although the failed test cases in the training data account for less than 5%, the overall average recall rate (prediction accuracy of test case execution failure) of all programs is 78.9%. Furthermore, the trained BPNN can reveal not only the impact of the values of variables but also the impact of the logical correspondence between variables in test oracle generation.

APA, Harvard, Vancouver, ISO, and other styles

8

SHUKLA, RAKESH, PAUL STROOPER, and DAVID CARRINGTON. "A FRAMEWORK FOR STATISTICAL TESTING OF SOFTWARE COMPONENTS." International Journal of Software Engineering and Knowledge Engineering 17, no. 03 (2007): 379–405. http://dx.doi.org/10.1142/s021819400700329x.

Full text

Abstract:

Statistical testing involves the testing of software by selecting test cases from a probability distribution that is intended to represent the software's operational usage. In this paper, we describe and evaluate a framework for statistical testing of software components that incorporates test case execution and output evaluation. An operational profile and a test oracle are essential for the statistical testing of software components because they are used for test case generation and output evaluation respectively. An operational profile is a set of input events and their associated probabilities of occurrence expected in actual operation. A test oracle is a mechanism that is used to check the results of test cases. We present four types of operational profiles and three types of test oracles, and empirically evaluate them using the framework by applying them to two software components. The results show that while simple operational profiles may be effective for some components, more sophisticated profiles are needed for others. For the components that we tested, the fault-detecting effectiveness of the test oracles was similar.

APA, Harvard, Vancouver, ISO, and other styles

9

Wang, Ai Ming, Ji Peng Wang, Yan Qiang Ge, Guo Ying Liu, and Wen Ying Ge. "Research on Intelligent Oracle Bone Fragments Rejoining Technology." Applied Mechanics and Materials 50-51 (February 2011): 594–98. http://dx.doi.org/10.4028/www.scientific.net/amm.50-51.594.

Full text

Abstract:

An dynamic suspected target fragment database based on three elements (bone block, fragment and feature) is designed to store pending oracle bone fragments to be rejoined. Oracle bone fragments images are preprocessed on the basis of texture and target/background difference, and then extracted the contour feature, regional feature and trend feature based on actual demand for oracle bone rejoining. An intelligent oracle bone fragments rejoining system prototype is implemented.

APA, Harvard, Vancouver, ISO, and other styles

10

Acar, Umut A., Arthur Charguéraud, and Mike Rainey. "Oracle scheduling." ACM SIGPLAN Notices 46, no. 10 (2011): 499–518. http://dx.doi.org/10.1145/2076021.2048106.

Full text

APA, Harvard, Vancouver, ISO, and other styles

11

Sun, Bei, Wu Sheng Luo, Lie Bo Du, and Qin Lu. "Storage Model Based on Oracle InterMedia for Surveillance Video." Applied Mechanics and Materials 644-650 (September 2014): 3318–21. http://dx.doi.org/10.4028/www.scientific.net/amm.644-650.3318.

Full text

Abstract:

A video management way based on Oracle interMedia is proposed, to make up the shortages of single classify and low search efficiency based on files in traditional video surveillance system. The solution is designed on structural description model for video, proposed a classify way which described the video from attribute, character, main frame summary and video data. Adopt interMedia to create table in Oracle, achieve classify storage for video and description. At last, design the test software in VC. Experimental results show that the video can storage in Oracle well, compared with the traditional file storage way, it has a better classify storage and search efficiency.

APA, Harvard, Vancouver, ISO, and other styles

12

Sepasgozar, Samad M. E., Reyhaneh Karimi, Sara Shirowzhan, Mohammad Mojtahedi, Sabbar Ebrahimzadeh, and David McCarthy. "Delay Causes and Emerging Digital Tools: A Novel Model of Delay Analysis, Including Integrated Project Delivery and PMBOK." Buildings 9, no. 9 (2019): 191. http://dx.doi.org/10.3390/buildings9090191.

Full text

Abstract:

Delay is one of the main challenges of construction projects, and there is still much to overcome in order to reach near zero delay in all construction projects. This project aims to conduct a systematic critical review including a bibliography analysis on delay literature in construction. The main questions consider what has been learnt from a decade investigating delay causes and effects in the construction literature and what factors have been missed in the literature. This paper also presents a new and challenging question regarding how digital tools and associated technologies may prevent any delay in construction projects, which can change the research direction from delay investigations to identifying prevention factors. The paper identifies the delay dataset, including 493 papers investigating delay in construction, and establishes a specific dataset of papers focusing on delay effects and causes (DEC), including 94 selected papers covering different factors examined in over 29 countries such as Iran, India, Turkey, Bangladesh, Saudi Arabia, the United Arab Emirates (UAE), Cambodia, Oman, Malaysia, Taiwan, China, Vietnam, the US, the UK, and Egypt. In addition, the paper identifies 30 critical factors with the frequency of occurrences over three times in the DEC dataset and computes their medians of ranking. This paper also discusses digital tools and methods that can be used for delay analysis and preventions, including MS Project, Oracle Primavera P6, and Open Plan by Deltek. The paper discusses the project schedule delay analysis from project management methodology perspectives. It also discusses the current method’s limitations and future directions, which are based on the identification of the deficiency areas. In total, four overlooked factors are identified and suggested, including faulty data analysis, unmatched structure of the research questionnaires with new knowledge and standards [e.g., Project Management Body of Knowledge (PMBOK)], overlooked effects of digital technologies [e.g., Digital twin, Navisworks, Building Information Model (BIM), Geographic Information System (GIS), and Integrated Project Delivery (IPD)], and ignored job-site technologies. In addition, the paper presents the DEC model for future studies, including four main key factors. These factors are resources (e.g., project budgets, labour, material, equipment, and digital tool), project context, stakeholders performance (e.g., owner/client, consultant/designer, contractor, vendor/supplier), and external factors (e.g., ground condition, site location, regulation, natural disaster), which may significantly affect delay prevention and should be concurrently considered in the future delay investigations, since they may be required for designing an effective mitigation strategy when these proof points are identified. This would significantly help to utilise digital systems to prevent time overruns in different construction contexts.

APA, Harvard, Vancouver, ISO, and other styles

13

Srivastava, Varun, Michael D. Bond, Kathryn S. McKinley, and Vitaly Shmatikov. "A security policy oracle." ACM SIGPLAN Notices 46, no. 6 (2011): 343–54. http://dx.doi.org/10.1145/1993316.1993539.

Full text

APA, Harvard, Vancouver, ISO, and other styles

14

Jameel, Tahir, Mengxiang Lin, and Liu Chao. "Metamorphic Relations Based Test Oracles for Image Processing Applications." International Journal of Software Innovation 4, no. 1 (2016): 16–30. http://dx.doi.org/10.4018/ijsi.2016010102.

Full text

Abstract:

Evaluation of output images carrying visual semantics is a challenging task which is carried out by domain experts through visual inspection. Automatic test oracle is required to augment the test oracle problem and to eliminate the manual efforts. Metamorphic testing is an effective technique to alleviate these problems. In this paper, the authors have demonstrated that how inherent properties of implementation under test can be used to generate an automatic test oracle for image processing applications. Metamorphic testing is a general technique in which follow-up test cases are generated using a transformation function and the anticipated output is evaluated. They have used some general metamorphic relations and also designed some algorithm specific metamorphic relations for morphological image operations. Selection of metamorphic relations is the most important step and the authors have analyzed relative effectiveness of different metamorphic relations using mutation analysis. The results show metamorphic testing is a very effective technique to automate output images evaluation and to alleviate oracle problem.

APA, Harvard, Vancouver, ISO, and other styles

15

YONEYAMA, Kazuki, Satoshi MIYAGAWA, and Kazuo OHTA. "Leaky Random Oracle." IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences E92-A, no. 8 (2009): 1795–807. http://dx.doi.org/10.1587/transfun.e92.a.1795.

Full text

APA, Harvard, Vancouver, ISO, and other styles

16

Hou, Wenjun, and Marek Perkowski. "Quantum-based algorithm and circuit design for bounded Knapsack optimization problem." Quantum Information and Computation 20, no. 9&10 (2020): 766–86. http://dx.doi.org/10.26421/qic20.9-10-4.

Full text

Abstract:

The Knapsack Problem is a prominent problem that is used in resource allocation and cryptography. This paper presents an oracle and a circuit design that verifies solutions to the decision problem form of the Bounded Knapsack Problem. This oracle can be used by Grover Search to solve the optimization problem form of the Bounded Knapsack Problem. This algorithm leverages the quadratic speed-up offered by Grover Search to achieve a quantum algorithm for the Knapsack Problem that shows improvement with regard to classical algorithms. The quantum circuits were designed using the Microsoft Q# Programming Language and verified on its local quantum simulator. The paper also provides analyses of the complexity and gate cost of the proposed oracle. The work in this paper is the first such proposed method for the Knapsack Optimization Problem.

APA, Harvard, Vancouver, ISO, and other styles

17

Holt, Tom G., Claude Dufresne, Jerrold M. Liesch, and Gary K. Mallow. "The Design and Development of an Integrated Natural Products Screening Database." Journal of Biomolecular Screening 5, no. 6 (2000): 421–33. http://dx.doi.org/10.1177/108705710000500605.

Full text

Abstract:

We designed and developed NEXUS—a new natural products screening database and related suite of software applications-to utilize the spectacular increases in assay capacity of the modern high throughput screening (HTS) environment. NEXUS not only supports seamless integration with separate HTS systems, but supports user-customized integration with external laboratory automation, particularly sample preparation systems. Designed and developed based on a detailed process model for natural products drug discovery, NEXUS comprises two integrated parts: (1) a single schema of Oracle tables and callable procedures and functions, and (2) software "front-ends" to the database developed using Microsoft Excel and Oracle Discovery/2000. Many of the back-end processing functions were written in Programming Language/Structured Query Language (PL/SQL) to provide an Application Programmer's Interface, which allows end users to create custom applications with little input from information technology professionals.

APA, Harvard, Vancouver, ISO, and other styles

18

Mitra, Madhusmita, Nigam Shah, Lukas Mueller, Scuth Pin, and Nina Fedoroff. "StressDB: A Locally Installable Web-Based Relational Microarray Database Designed for Small User Communities." Comparative and Functional Genomics 3, no. 2 (2002): 91–96. http://dx.doi.org/10.1002/cfg.153.

Full text

Abstract:

We have built a microarray database, StressDB, for management of microarray data from our studies on stress-modulated genes in Arabidopsis. StressDB provides small user groups with a locally installable web-based relational microarray database. It has a simple and intuitive architecture and has been designed for cDNA microarray technology users. StressDB uses Windows™2000 as the centralized database server with Oracle™8i as the relational database management system. It allows users to manage microarray data and data-related biological information over the Internet using a web browser. The source-code is currently available on request from the authors and will soon be made freely available for downloading from our website athttp://arastressdb.cac.psu.edu.

APA, Harvard, Vancouver, ISO, and other styles

19

Necula, George C., and S. P. Rahul. "Oracle-based checking of untrusted software." ACM SIGPLAN Notices 36, no. 3 (2001): 142–54. http://dx.doi.org/10.1145/373243.360216.

Full text

APA, Harvard, Vancouver, ISO, and other styles

20

Huang, Jian, Shuange Ma, Huiliang Xie, and Cun-Hui Zhang. "A group bridge approach for variable selection." Biometrika 96, no. 2 (2009): 339–55. http://dx.doi.org/10.1093/biomet/asp020.

Full text

Abstract:

Abstract In multiple regression problems when covariates can be naturally grouped, it is important to carry out feature selection at the group and within-group individual variable levels simultaneously. The existing methods, including the lasso and group lasso, are designed for either variable selection or group selection, but not for both. We propose a group bridge approach that is capable of simultaneous selection at both the group and within-group individual variable levels. The proposed approach is a penalized regularization method that uses a specially designed group bridge penalty. It has the oracle group selection property, in that it can correctly select important groups with probability converging to one. In contrast, the group lasso and group least angle regression methods in general do not possess such an oracle property in group selection. Simulation studies indicate that the group bridge has superior performance in group and individual variable selection relative to several existing methods.

APA, Harvard, Vancouver, ISO, and other styles

21

Lee, Jihyun, and Sungwon Kang. "Case Study Investigation of the Fault Detection and Error Locating Effects of Architecture-based Software Testing." International Journal of Software Engineering and Knowledge Engineering 30, no. 02 (2020): 191–216. http://dx.doi.org/10.1142/s0218194020500096.

Full text

Abstract:

For software testing, it is well known that the architecture of a software system can be utilized to enhance testability, fault detection and error locating. However, how much and what effects architecture-based software testing has on software testing have been rarely studied. Thus, this paper undertakes case study investigation of the effects of architecture-based software testing specifically with respect to fault detection and error locating. Through comparing the outcomes with the conventional testing approaches that are not based on test architectures, we confirm the effectiveness of architecture-based software testing with respect to fault detection and error locating. The case studies show that using test architecture can improve fault detection rate by 44.1%–88.5% and reduce error locating time by 3%–65.2%, compared to the conventional testing that does not rely on test architecture. With regard to error locating, the scope of relevant components or statements was narrowed by leveraging test architecture for approximately 77% of the detected faults. We also show that architecture-based testing could provide a means of defining an exact oracle or oracles with range values. This study shows by way of case studies the extent to which architecture-based software testing can facilitate detecting certain types of faults and locating the errors that cause such faults. In addition, we discuss the contributing factors of architecture-based software testing which enable such enhancement in fault detection and error locating.

APA, Harvard, Vancouver, ISO, and other styles

22

MERKEL, ROBERT, DAOMING WANG, HUIMIN LIN, and TSONG YUEH CHEN. "AUTOMATIC VERIFICATION OF OPTIMIZATION ALGORITHMS: A CASE STUDY OF A QUADRATIC ASSIGNMENT PROBLEM SOLVER." International Journal of Software Engineering and Knowledge Engineering 21, no. 02 (2011): 289–307. http://dx.doi.org/10.1142/s021819401100527x.

Full text

Abstract:

Metamorphic testing is a technique for the verification of software output without a complete testing oracle. Mathematical optimization, implemented in software, is a problem for which verification can often be challenging. In this paper, we apply metamorphic testing to one such optimization problem, the quadratic assignment problem (QAP). From simple observations of the properties of the QAP, we describe how to derive a number of metamorphic relations useful for verifying the correctness of a QAP solver. We then compare the effectiveness of these metamorphic relations, in "killing" mutant versions of an exact QAP solver, to a simulated oracle. We show that metamorphic testing can be as effective as the simulated oracle for killing mutants. We examine the relative effectiveness of different metamorphic relations, both singly and in combination, and conclude that combining metamorphic relations can be significantly more effective than using a single relation.

APA, Harvard, Vancouver, ISO, and other styles

23

Tu, Jing, Xiao Li Wang, Zhi Wei Zhang, and Liang Wang. "Research and Design of Portal to Integrative Data Platform for Power Dispatching System Based on Android." Advanced Materials Research 588-589 (November 2012): 1234–37. http://dx.doi.org/10.4028/www.scientific.net/amr.588-589.1234.

Full text

Abstract:

In order to expand the traditional applications on the desktop to smart phones, this paper designed a portal to integrative data platform for the power dispatching system based on android. The system releases data from Oracle database in the server of the dispatching center and lays them out, using MVC mode. And the system uses Web Service as middleware. The result proves that it is feasible and practicable.

APA, Harvard, Vancouver, ISO, and other styles

24

Wang, Mei, Weihong Deng, and Cheng-Lin Liu. "Unsupervised Structure-Texture Separation Network for Oracle Character Recognition." IEEE Transactions on Image Processing 31 (2022): 3137–50. http://dx.doi.org/10.1109/tip.2022.3165989.

Full text

APA, Harvard, Vancouver, ISO, and other styles

25

NISHIOKA, M., and N. KOMATSU. "A Note on the Random Oracle Methodology." IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences E91-A, no. 2 (2008): 650–63. http://dx.doi.org/10.1093/ietfec/e91-a.2.650.

Full text

APA, Harvard, Vancouver, ISO, and other styles

26

Wei, Bao Dian. "A Provably Secure ID-Based Designated Verifier Proxy Signature Scheme Based on DLP." Applied Mechanics and Materials 411-414 (September 2013): 721–24. http://dx.doi.org/10.4028/www.scientific.net/amm.411-414.721.

Full text

Abstract:

Most of the existing ID-based designated verifier proxy signature schemes are implemented with pairings. The computation of parings is still much more expensive than the common modular multiplications and exponentiations. To obtain better efficiency, we construct an efficient ID-based DVPS scheme without pairings. The scheme is designed based on the hardness of the discrete logarithm problems. It is proven secure against adaptively chosen message attacks, in the random oracle model.

APA, Harvard, Vancouver, ISO, and other styles

27

Hu, Luo Kai, Yan Lin Cheng, and Chao Liang. "A Horizontal Segmentation Based Ontology Parallel Query Approach." Advanced Materials Research 760-762 (September 2013): 1978–81. http://dx.doi.org/10.4028/www.scientific.net/amr.760-762.1978.

Full text

Abstract:

The performance of ontology query has become one of the bottlenecks of the large-scale bulk applications. Firstly OWL ontology files stored into the database in the form of triple table using Oracle 11g semantic technology. And then we designed and implemented the ontology parting method based on horizontal segmentation. Thirdly, several typical ontology query operations were achieved based on the multi-threading technology. Experimental results show that the parallel query methods described herein significantly improve query performance.

APA, Harvard, Vancouver, ISO, and other styles

28

Zhang, Yong Zhi, Qiu Wen Zhang, and Yan Zhang. "A Spatial Database Management System for Urban and Rural Planning." Applied Mechanics and Materials 411-414 (September 2013): 357–61. http://dx.doi.org/10.4028/www.scientific.net/amm.411-414.357.

Full text

Abstract:

The data management of urban and rural planning is very important and special. It is quite necessary to customize a thematic database system for urban and rural planning. According to their characteristics and classifications, the requirements of this system are firstly analyzed in this paper. With the integration of traditional relation database management system and geographical information system, an extendable data model for this thematic database is proposed. In this model, Client/Server architecture is adopted, Oracle is extended to store both attribute data and spatial data, and spatial database engine is utilized to access the spatial data in Oracle. At the client side, some functional modules such as data import and export, browse and display, query and retrieval, update and maintain, and security management are designed and developed. Finally, a case study of the thematic database system is applied. It is concluded that the customized spatial database management system for urban and rural planning is not only able to unify and store all types of data, but also able to improve the efficiency and visualization.

APA, Harvard, Vancouver, ISO, and other styles

29

Wang, Feng He, and Chun Xiao Wang. "Identity-Based Signature Scheme over Lattices." Applied Mechanics and Materials 687-691 (November 2014): 2169–74. http://dx.doi.org/10.4028/www.scientific.net/amm.687-691.2169.

Full text

Abstract:

This paper proposes an identity-based signature (IBS) scheme over lattices. The proposed scheme is designed directly by combining the pre-image sampling function (PSF) and the signature scheme without trapdoor over lattice. Based on the hardness of the small integer solution (SIS) problem, we prove that the proposed scheme is strongly unforgeable under the adaptive chosen message and identity attack in the random oracle model. Since there are without the dimension extension of lattice, the scheme is efficient with respect to the space size.

APA, Harvard, Vancouver, ISO, and other styles

30

NISHIOKA, Mototsugu, and Naohisa KOMATSU. "Secure Public-Key Encryption from Random Oracle Transformation." IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences E94-A, no. 4 (2011): 1091–105. http://dx.doi.org/10.1587/transfun.e94.a.1091.

Full text

APA, Harvard, Vancouver, ISO, and other styles

31

Chaudhary, Aditi, Antonios Anastasopoulos, Zaid Sheikh, and Graham Neubig. "Reducing Confusion in Active Learning for Part-Of-Speech Tagging." Transactions of the Association for Computational Linguistics 9 (February 2021): 1–16. http://dx.doi.org/10.1162/tacl_a_00350.

Full text

Abstract:

Active learning (AL) uses a data selection algorithm to select useful training samples to minimize annotation cost. This is now an essential tool for building low-resource syntactic analyzers such as part-of-speech (POS) taggers. Existing AL heuristics are generally designed on the principle of selecting uncertain yet representative training instances, where annotating these instances may reduce a large number of errors. However, in an empirical study across six typologically diverse languages (German, Swedish, Galician, North Sami, Persian, and Ukrainian), we found the surprising result that even in an oracle scenario where we know the true uncertainty of predictions, these current heuristics are far from optimal. Based on this analysis, we pose the problem of AL as selecting instances that maximally reduce the confusion between particular pairs of output tags. Extensive experimentation on the aforementioned languages shows that our proposed AL strategy outperforms other AL strategies by a significant margin. We also present auxiliary results demonstrating the importance of proper calibration of models, which we ensure through cross-view training, and analysis demonstrating how our proposed strategy selects examples that more closely follow the oracle data distribution. The code is publicly released here. 1

APA, Harvard, Vancouver, ISO, and other styles

32

RAND, ALEXANDER, and NOEL WALKINGTON. "DELAUNAY REFINEMENT ALGORITHMS FOR ESTIMATING LOCAL FEATURE SIZE IN 2D AND 3D." International Journal of Computational Geometry & Applications 21, no. 05 (2011): 507–43. http://dx.doi.org/10.1142/s0218195911003780.

Full text

Abstract:

We present Delaunay refinement algorithms for estimating local feature size on the input vertices of a 2D piecewise linear complex and on the input vertices and segments of a 3D piecewise linear complex. These algorithms are designed to eliminate the need for a local feature size oracle during quality mesh generation of domains containing acute input angles. In keeping with Ruppert's algorithm, encroachment in these algorithms can be determined through only local information in the current Delaunay triangulation. The algorithms are practical to implement and several examples are given.

APA, Harvard, Vancouver, ISO, and other styles

33

Zhu, Li, Lan Bai, and Rui Ying Zheng. "The Research and Design Based on IntelliJ IDEA+Oracle Measuring Management System." Advanced Materials Research 989-994 (July 2014): 4585–89. http://dx.doi.org/10.4028/www.scientific.net/amr.989-994.4585.

Full text

Abstract:

On basis of the need of measurement, this paper is dedicated to build the IntelliJ IDEA + Oracle based metering management information system mainly in computing process. According to the needs of the business, we designed the multiple functional modules, gave the system architecture, develop platform and the database design strategy and completed the overall design of the system. Meanwhile we also made the profound discussion on some key technologies in the metrology management system. The research and design of the system thoroughly transforming the existing operation and service mode, fundamentally realize enhancing the scientific and technological content of department of metrology by means of computer science and promote the management standardization and efficiency of measurement work

APA, Harvard, Vancouver, ISO, and other styles

34

Lu, Rong Hua, and Mu Qing Zhan. "Methods of Extracting Information Based on Database Technology." Applied Mechanics and Materials 543-547 (March 2014): 2422–25. http://dx.doi.org/10.4028/www.scientific.net/amm.543-547.2422.

Full text

Abstract:

According to the ternary number data mining algorithm, this paper combines SQL program operation and Oracle 10 g database system together. And then, numerical modeling and meshing technique are adopted to abstract data parameter from the database system. In addition,a mathematical model is established to abstract information from the ternary number database and the information literacy algorithm is also designed. In order to verify the reliability of the mathematical model and algorithm, a database abstracting numerical simulation experiment is designed for the velocity and temperature parameter. Through the experiment, it is discovered that there does not exist residual shock in the ternary number method when the data is being abstracted, which has a relatively stable convergence. At the same time, this paper gains the speed data distribution vector diagram. Eventually, the reliability of the algorithm designed in this paper is verified by comparing temperature data and the experimental data.

APA, Harvard, Vancouver, ISO, and other styles

35

Zhang, Ping, Yamin Li, Muhua Liu, Youlin Shang, and Zhumu Fu. "An ECC-Based Digital Signature Scheme for Privacy Protection in Wireless Communication Network." Wireless Communications and Mobile Computing 2022 (April 13, 2022): 1–9. http://dx.doi.org/10.1155/2022/1977798.

Full text

Abstract:

Aiming at the security problems of wireless communication network and the shortcomings of Elliptic Curve Digital Signature Algorithm (ECDSA), this paper designed a forward secure digital signature scheme and proved that the scheme has forward security and unforgeability in the random oracle model. Experimental simulations are done in this paper, and the results show that the proposed scheme has the highest efficiency compared with the ECDSA scheme and the three existing forward secure schemes. This scheme not only meets the forward security and protects the users’ privacies but also reduces the requirement of computing power of the user in the wireless communication network.

APA, Harvard, Vancouver, ISO, and other styles

36

Jin, Ze, Li Jie Gao, Tong Ge Xu, and Peng Wei. "Research and Application of Multi-Dimensional Model in 110 Incidents Data Warehouse." Applied Mechanics and Materials 490-491 (January 2014): 1386–90. http://dx.doi.org/10.4028/www.scientific.net/amm.490-491.1386.

Full text

Abstract:

This paper studied the multi-dimensional model and designed a 110 incidents data warehouse application system based on above mentioned model and Oracle database for further 110 incidents data analysis and mining. It provides a more flexible and efficient statistical analysis environment for decision-makers with timely and reliable reports. Firstly, we studied multi-dimensional model used to construct the 110 incidents data warehouse, and then detailed the design of fact table and dimension tables in star schema. Finally, we implemented the 110 incidents data warehouse analysis system which included the processing of slowly changing dimensions, data extraction, transformation, loading process and performance analysis.

APA, Harvard, Vancouver, ISO, and other styles

37

Chakraborty, Sanjay, Soharab Hossain Shaikh, Sudhindu Bikash Mandal, Ranjan Ghosh, and Amlan Chakrabarti. "A study and analysis of a discrete quantum walk-based hybrid clustering approach using d-regular bipartite graph and 1D lattice." International Journal of Quantum Information 17, no. 02 (2019): 1950016. http://dx.doi.org/10.1142/s0219749919500163.

Full text

Abstract:

Traditional machine learning shares several benefits with quantum information processing field. The study of machine learning with quantum mechanics is called quantum machine learning. Data clustering is an important tool for machine learning where quantum computing plays a vital role in its inherent speed up capability. In this paper, a hybrid quantum algorithm for data clustering (quantum walk-based hybrid clustering (QWBHC)) is introduced where one-dimensional discrete time quantum walks (DTQW) play the central role to update the positions of data points according to their probability distributions. A quantum oracle is also designed and it is mainly implemented on a finite [Formula: see text]-regular bipartite graph where data points are initially distributed as a predefined set of clusters. An overview of a quantum walk (QW) based clustering algorithm on 1D lattice structure is also introduced and described in this paper. In order to search the nearest neighbors, a unitary and reversible DTQW gives a quadratic speed up over the traditional classical random walk. This paper also demonstrates the comparisons of our proposed hybrid quantum clustering algorithm with some state-of-the-art clustering algorithms in terms of clustering accuracy and time complexity analysis. The proposed quantum oracle needs [Formula: see text] queries to mark the nearest data points among clusters and modify the existing clusters. Finally, the proposed QWBHC algorithm achieves [Formula: see text] performance.

APA, Harvard, Vancouver, ISO, and other styles

38

Redemann, Jens, Robert Wood, Paquita Zuidema, et al. "An overview of the ORACLES (ObseRvations of Aerosols above CLouds and their intEractionS) project: aerosol–cloud–radiation interactions in the southeast Atlantic basin." Atmospheric Chemistry and Physics 21, no. 3 (2021): 1507–63. http://dx.doi.org/10.5194/acp-21-1507-2021.

Full text

Abstract:

Abstract. Southern Africa produces almost a third of the Earth's biomass burning (BB) aerosol particles, yet the fate of these particles and their influence on regional and global climate is poorly understood. ORACLES (ObseRvations of Aerosols above CLouds and their intEractionS) is a 5-year NASA EVS-2 (Earth Venture Suborbital-2) investigation with three intensive observation periods designed to study key atmospheric processes that determine the climate impacts of these aerosols. During the Southern Hemisphere winter and spring (June–October), aerosol particles reaching 3–5 km in altitude are transported westward over the southeast Atlantic, where they interact with one of the largest subtropical stratocumulus (Sc) cloud decks in the world. The representation of these interactions in climate models remains highly uncertain in part due to a scarcity of observational constraints on aerosol and cloud properties, as well as due to the parameterized treatment of physical processes. Three ORACLES deployments by the NASA P-3 aircraft in September 2016, August 2017, and October 2018 (totaling ∼350 science flight hours), augmented by the deployment of the NASA ER-2 aircraft for remote sensing in September 2016 (totaling ∼100 science flight hours), were intended to help fill this observational gap. ORACLES focuses on three fundamental science themes centered on the climate effects of African BB aerosols: (a) direct aerosol radiative effects, (b) effects of aerosol absorption on atmospheric circulation and clouds, and (c) aerosol–cloud microphysical interactions. This paper summarizes the ORACLES science objectives, describes the project implementation, provides an overview of the flights and measurements in each deployment, and highlights the integrative modeling efforts from cloud to global scales to address science objectives. Significant new findings on the vertical structure of BB aerosol physical and chemical properties, chemical aging, cloud condensation nuclei, rain and precipitation statistics, and aerosol indirect effects are emphasized, but their detailed descriptions are the subject of separate publications. The main purpose of this paper is to familiarize the broader scientific community with the ORACLES project and the dataset it produced.

APA, Harvard, Vancouver, ISO, and other styles

39

Chen, Shanxiong, Han Xu, Gao Weize, Liu Xuxin, and Mo Bofeng. "A Classification Method of Oracle Materials Based on Local Convolutional Neural Network Framework." IEEE Computer Graphics and Applications 40, no. 3 (2020): 32–44. http://dx.doi.org/10.1109/mcg.2020.2973109.

Full text

APA, Harvard, Vancouver, ISO, and other styles

40

Hui, Tom Z. "Integrating Regulatory Drug Label Information to Facilitate Evaluation of Adverse Events in Pharmacovigilance." Current Drug Safety 15, no. 2 (2020): 124–30. http://dx.doi.org/10.2174/1574886315666200224101011.

Full text

Abstract:

Background: Efficiency and accuracy for signal detection and evaluation activities are integral components of routine Pharmacovigilance (PV) practices. However, an Individual Case Safety Report (ICSR) may consist of a variety of confounders such as Concomitant Medications (CM), Past Medical History (PMH), and concurrent medical conditions that influence a safety officer’s evaluation of a potential Adverse Event (AE). Limited pharmacovigilance systems are currently available as a tool designed to enhance the efficiency and accuracy of signal detection and management. Objective: To introduce a systemic approach to make critical safety information readily available for users in order to discern possible interferences from CM and make informed decisions on the signal evaluation process – saving time while improving quality. Methods: Oracle Empirica Signal software was utilized to extract cases with CM that are Known Implicating Medications (KIM) for each AE according to public regulatory information from drug labels – FDA Structured Product Labeling (SPL) or EMA Summary of Product Characteristics (SPC). SAS Enterprise Guide was used to further process the data generated from Oracle Empirica Signal software. Results: For any target drug being evaluated for safety purposes, a KIM reference table can be generated, which summarizes all potential causality contributions from CMs. Conclusion: In addition to providing standalone KIM table as reference, adoption of this concept and automation may also be fully integrated into commercial signal detection and management software packages for easy use and accessibility and may even lead to reduced False Positive rate in signal detection within the PV space.

APA, Harvard, Vancouver, ISO, and other styles

41

Neff, T., P. Stadlbauer, M. Parger, et al. "DONeRF: Towards Real‐Time Rendering of Compact Neural Radiance Fields using Depth Oracle Networks." Computer Graphics Forum 40, no. 4 (2021): 45–59. http://dx.doi.org/10.1111/cgf.14340.

Full text

APA, Harvard, Vancouver, ISO, and other styles

42

Rahman, M. Sazadur, Adib Nahiyan, Fahim Rahman, et al. "Security Assessment of Dynamically Obfuscated Scan Chain Against Oracle-guided Attacks." ACM Transactions on Design Automation of Electronic Systems 26, no. 4 (2021): 1–27. http://dx.doi.org/10.1145/3444960.

Full text

Abstract:

Logic locking has emerged as a promising solution to protect integrated circuits against piracy and tampering. However, the security provided by existing logic locking techniques is often thwarted by Boolean satisfiability (SAT)-based oracle-guided attacks. Criteria for successful SAT attacks on locked circuits include: (i) the circuit under attack is fully combinational, or (ii) the attacker has scan chain access. To address the threat posed by SAT-based attacks, we adopt the dynamically obfuscated scan chain (DOSC) architecture and illustrate its resiliency against the SAT attacks when inserted into the scan chain of an obfuscated design. We demonstrate, both mathematically and experimentally, that DOSC exponentially increases the resiliency against key extraction by SAT attack and its variants. Our results show that the mathematical estimation of attack complexity correlates to the experimental results with an accuracy of 95% or better. Along with the formal proof, we model DOSC architecture to its equivalent combinational circuit and perform SAT attack to evaluate its resiliency empirically. Our experiments demonstrate that SAT attack on DOSC-inserted benchmark circuits timeout at minimal test time overhead, and while DOSC requires less than 1% area and power overhead.

APA, Harvard, Vancouver, ISO, and other styles

43

NAITO, Yusuke, Kazuki YONEYAMA, Lei WANG, and Kazuo OHTA. "Security of Cryptosystems Using Merkle-Damgård in the Random Oracle Model." IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences E94-A, no. 1 (2011): 57–70. http://dx.doi.org/10.1587/transfun.e94.a.57.

Full text

APA, Harvard, Vancouver, ISO, and other styles

44

YAMASHITA, Kyosuke, Mehdi TIBOUCHI, and Masayuki ABE. "A Coin-Free Oracle-Based Augmented Black Box Framework (Full Paper)." IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences E103.A, no. 10 (2020): 1167–73. http://dx.doi.org/10.1587/transfun.2019dmp0018.

Full text

APA, Harvard, Vancouver, ISO, and other styles

45

ALAWNEH, SHADI G., and DENNIS K. PETERS. "USING TEST ORACLES AND FORMAL SPECIFICATIONS WITH TEST-DRIVEN DEVELOPMENT." International Journal of Software Engineering and Knowledge Engineering 23, no. 03 (2013): 361–85. http://dx.doi.org/10.1142/s0218194013500113.

Full text

Abstract:

This paper illustrates how Test Oracles and Formal Specifications, with appropriate tool support, can be used with Test-Driven Development (TDD). In TDD, the test code is a formal documentation of the required behavior of the component or system that is being developed, but this documentation is necessarily incomplete and often over-specific. We describe an alternative approach to TDD that is to develop the specification of the required behavior in a formal notation as a part of the TDD process and to generate test oracles from that specification. We present the results of using this approach to develop programs used in a project at the Faculty of Engineering and Applied Science at Memorial University.

APA, Harvard, Vancouver, ISO, and other styles

46

SATO, Chifumi, Takeshi OKAMOTO, and Eiji OKAMOTO. "Sender Authenticated Key Agreements without Random Oracles." IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences E92-A, no. 8 (2009): 1787–94. http://dx.doi.org/10.1587/transfun.e92.a.1787.

Full text

APA, Harvard, Vancouver, ISO, and other styles

47

Salter, Diane, and Shannon Rushe. "Oral Assessment as a Culminating Activity for Faculty Development." Collected Essays on Learning and Teaching 13 (October 28, 2020): 112–19. http://dx.doi.org/10.22329/celt.v13i0.6007.

Full text

Abstract:

This paper describes the oral assessment activity we designed and used as a culminating activity for faculty participants in a professional academic development program. The program offers multiple certificates, and the goal of each certificate is to enhance participants’ abilities to design and deliver exceptional student learning experiences. We describe the unique nature of the assessment activity and provide details on the process of implementing oral assessment. The process enabled faculty to demonstrate achievement of the program learning outcomes and consider next steps in their professional development. Three key ideas discussed in this paper are: oral assessment, folio thinking, and dialogic curriculum.  Dans cet article, nous présentons l’activité d’évaluation orale que nous avons conçue comme le point culminant d’un programme de perfectionnement professionnel universitaire pour les enseignants. Ce programme comprend plusieurs certificats visant chacun à renforcer la capacité des participants à créer des expériences d’apprentissage exceptionnelles pour les étudiants. Nous montrons en quoi l’évaluation orale est unique et nous fournissons des précisions au sujet du processus de mise en œuvre de cette activité. Grâce à l’évaluation, les enseignants ont été à même de montrer qu’ils avaient atteint les objectifs d’apprentissage du programme et d’envisager la suite de leur perfectionnement professionnel. Voici en somme les trois idées clés dont traite cet article : l’évaluation orale, la pensée organisée sous forme de dossier (folio thinking) et le programme d’étude dialogique.

APA, Harvard, Vancouver, ISO, and other styles

48

SAKAI, Yusuke, and Goichiro HANAOKA. "Practical Public-Key Encryption Scheme Tightly Secure in the Random Oracle Model." IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences E103.A, no. 1 (2020): 165–72. http://dx.doi.org/10.1587/transfun.2019cip0020.

Full text

APA, Harvard, Vancouver, ISO, and other styles

49

Sorensen, Tyler, Lucas F. Salvador, Harmit Raval, et al. "Specifying and testing GPU workgroup progress models." Proceedings of the ACM on Programming Languages 5, OOPSLA (2021): 1–30. http://dx.doi.org/10.1145/3485508.

Full text

Abstract:

As GPU availability has increased and programming support has matured, a wider variety of applications are being ported to these platforms. Many parallel applications contain fine-grained synchronization idioms; as such, their correct execution depends on a degree of relative forward progress between threads (or thread groups). Unfortunately, many GPU programming specifications (e.g. Vulkan and Metal) say almost nothing about relative forward progress guarantees between workgroups. Although prior work has proposed a spectrum of plausible progress models for GPUs, cross-vendor specifications have yet to commit to any model. This work is a collection of tools and experimental data to aid specification designers when considering forward progress guarantees in programming frameworks. As a foundation, we formalize a small parallel programming language that captures the essence of fine-grained synchronization. We then provide a means of formally specifying a progress model, and develop a termination oracle that decides whether a given program is guaranteed to eventually terminate with respect to a given progress model. Next, we formalize a set of constraints that describe concurrent programs that require forward progress to terminate. This allows us to synthesize a large set of 483 progress litmus tests. Combined with the termination oracle, we can determine the expected status of each litmus test -- i.e. whether it is guaranteed to eventually terminate -- under various progress models. We present a large experimental campaign running the litmus tests across 8 GPUs from 5 different vendors. Our results highlight that GPUs have significantly different termination behaviors under our test suite. Most notably, we find that Apple and ARM GPUs do not support the linear occupancy-bound model, as was hypothesized by prior work.

APA, Harvard, Vancouver, ISO, and other styles

50

Lin, Han-Yu. "A Novel Dual Authenticated Encryption Scheme Suitable for Social Networking Services." Applied Sciences 9, no. 7 (2019): 1452. http://dx.doi.org/10.3390/app9071452.

Full text

Abstract:

Nowadays there are many social networking services supporting three-party communication such as Skype, Line, and Facebook Messenger. To ensure the message security, a cryptographic encryption scheme is a commonly adopted measure. However, the traditional asymmetric encryption only allows one designated recipient to decrypt the ciphertext with his/her private key. It is thus difficult for two parties to share the same ciphertext without exposing their private keys. In this paper, the author comes up with a novel dual authenticated encryption (DAE) scheme designed for three-party communication environments. Specifically, a DAE scheme enables a party to generate a single ciphertext that could be solely decrypted by the other two participants without sharing their private keys. It is also formally shown that the proposed scheme achieves the crucial security properties using the random oracle proof model.

APA, Harvard, Vancouver, ISO, and other styles

Journal articles on the topic 'Oracle Designer'

Create a spot-on reference in APA, MLA, Chicago, Harvard, and other styles