This document will present an educational videogame called Ashy. alRescate () that aims to teach the subject of object-oriented programming (OOP) in java programming language through the mixture of a baseline story of...
详细信息
ISBN:
(纸本)9781538692332
This document will present an educational videogame called Ashy. alRescate () that aims to teach the subject of object-oriented programming (OOP) in java programming language through the mixture of a baseline story of the videogame with the implementation of programming code. The student programs the classes of the characters, their methods, attributes among others, for providing functionality to the characters. The results tested on university students show that there are improvements either in learners with only previous knowledge in C programming and in learners which have pursued an OOP course.
Cement industry in Central java distributes cement by train to meet daily demand in Yogyakarta and Central java area. There are five destination stations. For each destination station, there is a warehouse to load cem...
详细信息
ISBN:
(纸本)9781510858855
Cement industry in Central java distributes cement by train to meet daily demand in Yogyakarta and Central java area. There are five destination stations. For each destination station, there is a warehouse to load cements. Decision maker of cement industry have a plan to redesign the infrastructure and transportation system. The aim is to determine how many locomotives, train wagons, and containers and how to arrange train schedules with subject to the delivery time. For this purposes, we consider an integer programming to minimize the total of operational cost. Further, we will discuss a case study and the solution the problem can be calculated by LINGO software.
We describe new capabilities added to the java Modeling language and the OpenJML deductive program verification tool to support functional programming features introduced in java 8. We also report on the application o...
详细信息
ISBN:
(数字)9783030035921
ISBN:
(纸本)9783030035921;9783030035914
We describe new capabilities added to the java Modeling language and the OpenJML deductive program verification tool to support functional programming features introduced in java 8. We also report on the application of the extensions to a secure streaming protocol library developed by Amazon Web Services and used as a foundation by services it provides. We found that the application under study used a small set of functional programming idioms;methods using these idioms could be verified by techniques that used only first-order logic and did not need all the features that might be required for full generality of functional programming.
This paper presents a technique for deadlock detection of java programs. The technique uses typing rules for extracting infinitestate abstract models of the dependencies among the components of the java intermediate l...
详细信息
ISBN:
(纸本)9783319944609;9783319944593
This paper presents a technique for deadlock detection of java programs. The technique uses typing rules for extracting infinitestate abstract models of the dependencies among the components of the java intermediate language - the java bytecode. Models are sub-sequently analysed by means of an extension of a solver that we have defined for detecting deadlocks in process calculi. Our technique is complemented by a prototype verifier that also covers most of the java features.
Build systems are widely used in today's software projects to automate integration and build processes. Similar to source code, build specifications need to be maintained to avoid outdated specifications, and buil...
详细信息
ISBN:
(纸本)9781538649695
Build systems are widely used in today's software projects to automate integration and build processes. Similar to source code, build specifications need to be maintained to avoid outdated specifications, and build breakage as a consequence. Recent work indicates that neglected build maintenance is one of the most frequently occurring reasons why open source and proprietary builds break. In this paper, we propose BUILDMEDIC, an approach to automatically repair Maven builds that break due to dependency-related issues. Based on a manual investigation of 37 broken Maven builds in 23 open source java projects, we derive three repair strategies to automatically repair the build, namely Version Update, Delete Dependency, and Add Repository. We evaluate the three strategies on 84 additional broken builds from the 23 studied projects in order to demonstrate the applicability of our approach. The evaluation shows that BUILDMEDIC can automatically repair 45 of these broken builds (54%). Furthermore, in 36% of the successfully repaired build breakages, BUILDMEDIC outputs at least one repair candidate that is considered a correct repair. Moreover, 76% of them could be repaired with only a single dependency correction.
AIJ (ACL2 In java) is a deep embedding in java of an executable, side-effect-free, non-stobj-accessing subset of the ACL2 language without guards. ATJ (ACL2 To java) is a simple java code generator that turns ACL2 fun...
详细信息
AIJ (ACL2 In java) is a deep embedding in java of an executable, side-effect-free, non-stobj-accessing subset of the ACL2 language without guards. ATJ (ACL2 To java) is a simple java code generator that turns ACL2 functions into AIJ representations that are evaluated by the AIJ interpreter. AIJ and ATJ enable possibly verified ACL2 code to run as, and interoperate with, java code, without much of the ACL2 framework or any of the Lisp runtime. The current speed of the resulting java code may be adequate to some applications.
It is important for the ship automation management to implement the ship condition monitoring and real-time fault early warning. In order to improve the efficiency of data collection and intelligence of ship monitorin...
详细信息
ISBN:
(数字)9781728161068
ISBN:
(纸本)9781728161075
It is important for the ship automation management to implement the ship condition monitoring and real-time fault early warning. In order to improve the efficiency of data collection and intelligence of ship monitoring, a ship monitoring ontology model is proposed by using Web Ontology language (OWL) and a reason manager is designed by using Semantic Web Rule language (SWRL). Besides, java Expert Shell System (JESS) based reason machine is implemented to integrate the ship condition monitoring ontology and inference rules. A test bed is developed to verify the performance of the middleware system with real-time sensor data. The results show that the proposed middleware can improve the accuracy and decrease the warning delay compared with existed traditional monitoring system.
Currently, the large amount of data collected from grid-connected photovoltaic(PV) is mainly unstructured, the processing, storage, and representation of which are different in various application systems. The charact...
详细信息
ISBN:
(纸本)9781538670576
Currently, the large amount of data collected from grid-connected photovoltaic(PV) is mainly unstructured, the processing, storage, and representation of which are different in various application systems. The characteristics of the data arc dispersive and heterogeneous. Serious 'data island' problem is caused since the data directly connected to large data centers does not obey unified standard, whose value, therefore, cannot be fully excavated. In the light of the facts above, this paper developed efficient management platform and data interface module software system for PV power station based on B/S architecture of java 2 Platform Enterprise Edition(J2EE), designed hierarchical architecture of system with the method of component-based service-oriented architecture(SOA), and built components and services through object-oriented approach based on java. Effectiveness of developed software system has been verified in the construction of large data center for clean energy in State Grid Qinghai Electric Power Company. The system has a uniform and concise user interface, offers a strong extensibility, reusability, and performance, which can enhance efficiency of applying and sharing level of data resources.
Static analysis tools search code for flaws without executing it providing alerts about flaws that cyber intruders might exploit as ***, those alerts require costly human effort to determine if they are true about tw...
详细信息
Static analysis tools search code for flaws without executing it providing alerts about flaws that cyber intruders might exploit as ***, those alerts require costly human effort to determine if they are true about two minutes each and to repair the code.
Objectives: To better explore the valuable experience and knowledge in traditional Chinese medicine (TCM) literature and promote the academic heritage and innovation of TCM, this paper tries to provide methods and a s...
详细信息
ISBN:
(纸本)9781728118680
Objectives: To better explore the valuable experience and knowledge in traditional Chinese medicine (TCM) literature and promote the academic heritage and innovation of TCM, this paper tries to provide methods and a system of word segmentation and POS tagging for ancient Chinese medicine literature. Method: Based on HMM and javalanguage for POS tagging, this paper develops a word segmentation system of Chinese ancient books by constructing a Thesaurus of Chinese medicine terminology and a special POS tagging method for Chinese medicine, and adopting Ansj open source code as the core word segmentation algorithm. Results: Thesaurus of Chinese medicine terminology involving 155,343 Chinese medicine words are constructed. These words were divided into 14 categories and 7 levels of 891 parts of speech (POS). Online website of Chinese word segmentation and POS tagging proprietary system were established (http://***). And the F measure reaches 90.65%, which is much higher than the system of Ansj. Clinical or Biological Impact: This system, with high precision and recall rate, will be very helpful to knowledge discovery of Chinese medicine and be beneficial to giving full play to the original advantages of Chinese medicine.
暂无评论