教学课程资源库 更多>>

关键词： 项目教学法   Java程序设计   应用型大学  

摘要： 针对应用型大学Java程序设计课程的教学改革,根据Java程序设计课程的传统教学的特点,提出了项目教学法的解决方案,解决了实施项目教学法的问题,指出了应用项目教学法时的注意事项。

关键词： 手机   J2ME   互联网   生物反馈治疗   Tomcat  

摘要： 运用JAVA开发出一种运行于手机的客户端、服务器端程序,可使存储于手机的生理信号数据通过GPRS网络发送到互联网的计算机,以便下一步进行生物反馈治疗。

关键词： Java教学   教学方法与教学手段  

摘要： 对于Java教学的过程,要理论教学和实践教学相结合,实践课要跟踪指导,这样才可提高教学质量。

关键词： Computational grids   Gridification   Resource-intensive applications   Automatic parallelism   Parallelization heuristics   Java bytecode  

摘要： Computational Grids deliver the necessary computational infrastructure to perform resource-intensive computations such as the ones that solve the problems scientists are facing today. Exploiting Computational Grids comes at the expense of explicitly adapting the ordinary software implementing scientific problems to take advantage of Grid resources, which unavoidably requires knowledge on Grid programming. The recent notion of "gridifying" ordinary applications, which is based on semi-automatically deriving a Grid-aware version from the compiled code of a sequential application, promises users to be relieved from the requirement of manual usage of Grid APIs within their source codes. In this paper, we describe a novel gridification tool that allows users to easily parallelize Java applications on Grids. Extensive experiments with two real-world applications - ray tracing and sequence alignment - suggest that our approach provides a convenient balance between ease of gridification and Grid resource exploitation compared to manually using Grid APIs for gridifying ordinary applications. (C) 2011 Elsevier Ltd. All rights reserved.

关键词： UML (Computer science)   JAVA (Computer program language)   COMPUTER software -- Verification   COMPUTER programming   COMPUTER software development   PROGRAMMING languages (Electronic computers)   COMPUTER software -- Execution  

摘要： The authors use unified modelling language (UML) 2.0 interaction overview diagrams (IODs) and sequence diagrams to construct simple and expressive scenario-based specifications, and present an approach to runtime verification of Java programs for exceptional consistency and mandatory consistency. The exceptional consistency requires that any forbidden scenario described by a given IOD never happens during the execution of a program, and the mandatory consistency requires that if a reference scenario described by a given sequence diagram occurs during the execution of a program, it must immediately adhere to a scenario described by a given IOD. In the approach, the authors first instrument a program under verification so as to gather the program execution traces related to a given scenario-based specification; then they drive the instrumented program to execute for generating the program execution traces; finally they check if the collected program execution traces satisfy the given specification. The approach leads to a supporting tool for testing in which UML interaction models are used as automatic test oracles to detect the wrong temporal ordering of message interaction in programs. [ABSTRACT FROM AUTHOR]

ISBN: (纸本)9787563525553

关键词： Automation   Databases, Genetic   DNA, Complementary/analysis   DNA, Complementary/genetics   Linear Models   Reverse Transcriptase Polymerase Chain Reaction/methods   Software   Time Factors   User-Computer Interface  

摘要： Background: Linear regression of efficiency (LRE) introduced a new paradigm for real-time qPCR that enables large-scale absolute quantification by eliminating the need for standard curves. Developed through the application of sigmoidal mathematics to SYBR Green I-based assays, target quantity is derived directly from fluorescence readings within the central region of an amplification profile. However, a major challenge of implementing LRE quantification is the labor intensive nature of the analysis. Findings: Utilizing the extensive resources that are available for developing Java-based software, the LRE Analyzer was written using the NetBeans IDE, and is built on top of the modular architecture and windowing system provided by the NetBeans Platform. This fully featured desktop application determines the number of target molecules within a sample with little or no intervention by the user, in addition to providing extensive database capabilities. MS Excel is used to import data, allowing LRE quantification to be conducted with any real-time PCR instrument that provides access to the raw fluorescence readings. An extensive help set also provides an in-depth introduction to LRE, in addition to guidelines on how to implement LRE quantification. Conclusions: The LRE Analyzer provides the automated analysis and data storage capabilities required by large-scale qPCR projects wanting to exploit the many advantages of absolute quantification. Foremost is the universal perspective afforded by absolute quantification, which among other attributes, provides the ability to directly compare quantitative data produced by different assays and/or instruments. Furthermore, absolute quantification has important implications for gene expression profiling in that it provides the foundation for comparing transcript quantities produced by any gene with any other gene, within and between samples.

关键词： N皇后问题   回溯算法   Java语言  

摘要： 利用一种简易的回溯算法,给出Java语言实现N皇后问题的完整程序,并在程序中准确地统计程序运行的时间开销。

关键词： 网络程序设计   Socket编程   教学研究  

摘要： Java网络程序设计在教学内容涉及面广,新技术多,实验时间有限等问题。该文从课程教学实际出发,分别从理论教学和实践教学两方面对教学内容作了介绍,并对教学方法和教学手段进行了一些有益的探索。这些教学研究与探索,对Java网络程序设计课程教学有一定的借鉴作用。

关键词： Java   教学改革   教学方法  

摘要： 《Java程序设计》课程是一门理论与实践并重的课程,是计算机专业的一门主干专业课程。本文结合实际教学经验,对该门课程教学中的教学手段、方法、内容及成绩评价系统进行改革探讨,以求提高教学质量。