基于JavaScript的生物信息学分析系统的优化和扩展

对基于JavaScript的SMS核酸和蛋白质序列分析系统进行了改进,汉化并优化了系统界面,对系统中多序列同源性分析和引物搜索设计进行了较大幅度的改进,以提高精确度和实用性,增加了基于JavaScript的蛋白质理化性质曲线分析功能。为生物信息学和生物序列研究提供了更为有效的工具。     

服务器端JavaScript技术分析

现阶段,随着互联网的深入发展,互联网技术逐渐得到广泛应用,越来越普及。而在构建互联网应用的过程中,最主要的技术支持就是前端技术的支持和服务器的支持。一般来说,Java、PHP等都是现阶段服务器端的主要实现技术,JavaScript则成为与之相对应的主流前端技术。笔者详细分析一种新型技术——Node技术,进而深入分析服务器端JavaScript技术。     

An Efficient Solution for Model Checking Graph Transformation Systems

This paper presents an efficient solution for modeling checking graph transformation systems. The approach transforms AGG specifications into Bogor models and supports both attributed typed graphs and layered transformations. Resulting models are amenable to check interesting properties expressed as combinations of LTL (Linear Temporal Logic) and graph transformation rules. The first experimental results are encouraging and show that in most cases our proposal improves existing approaches, both in terms of performance and expressiveness.     

JavaScript面向对象编程探析

通过JavaScript程序代码实例,探析如何在网站开发中使用JavaScript对象进行编程,JavaScript的对象有两种一种可被称为普通对象,另一种被称为方法对象,这和其它的面向对象语言有所不同,在文章中用实例代码对此进行了说明和探析,并且,把自己在实际项目中使用的几种JavaScript对象编程方法在文章中进行了举例说明。     

Type inference with non-structural subtyping

We present an O(n³) time type inference algorithm for a type system with a largest type, a smallest type , and the usual ordering between function types. The algorithm infers type annotations of least shape, and it works equally well for recursive types. For the problem of typability, our algorithm is simpler than the one of Kozen, Palsberg, and Schwartzbach for type inferencewithout . This may be surprising, especially because the system with is strictly more powerful.     

Checking experiments for stream X-machines

Stream X-machines are a state based formalism that has associated with it a particular development process in which a system is built from trusted components. Testing thus essentially checks that these components have been combined in a correct manner and that the orders in which they can occur are consistent with the specification. Importantly, there are test generation methods that return a checking experiment: a test that is guaranteed to determine correctness as long as the implementation under test (IUT) is functionally equivalent to an unknown element of a given fault domain Ψ. Previous work has show how three methods for generating checking experiments from a finite state machine (FSM) can be adapted to testing from a stream X-machine. However, there are many other methods for generating checking experiments from an FSM and these have a variety of benefits that correspond to different testing scenarios. This paper shows how any method for generating a checking experiment from an FSM can be adapted to generate a checking experiment for testing an implementation against a stream X-machine. This is the case whether we are testing to check that the IUT is functionally equivalent to a specification or we are testing to check that every trace (input/output sequence) of the IUT is also a trace of a nondeterministic specification. Interestingly, this holds even if the fault domain Ψ used is not that traditionally associated with testing from a stream X-machine. The results also apply for both deterministic and nondeterministic implementations.     

JavaScript基础图形库研究与实现

使用HTML与JavaScript实现在Web页面上的画图功能。通过对JavaScript语言自身功能的深入研究,设计并实现了一个基本的画图函数库。而且对一些常用的图形实现算法进行了详细说明,通过充分实验证明了所提出的画图方法的可行性,并展示了最终的显示效果。     

Internet信息检查的关键技术研究

为了快速准确地辅助核查人员审查Internet上的信息内容。研究开发了Internet信息检查搜索器．详细介绍了系统的功能组成及软件体系结构，提出了系统实现中的一些关键技术的实现方法和中标检查算法（KWHC）。     

基于JavaScript的动态网页设计

本文介绍了 ＪａｖａＳｃｒｉｐｔ的特性及功能,给出了 ＪａｖａＳｃｒｉｐｔ脚本和程序在 ＨＴＭＬ中的嵌入 语法,并通过一个实例说明了用 ＪａｖａＳｃｒｉｐｔ设计动态网页的过程。     

JavaScript闭包研究及典型应用

介绍Java,Script语言的闭包技术,并对使用闭包函数的各种场景进行了总结,讨论了闭包函数结合XHTML+CSS实现了Web页面中的图片滑动切换动画效果的详细过程,使动画效果更具智能化、更有特色.     

JavaScript引擎在动态网页采集技术中的应用

怎样提取网页中由JavaScript脚本动态生成的URL,一直是网页采集器设计的一个难题,文中给出了一个基于JavaScript引擎的通用的解决办法和模块实现以及测试结果。     

JavaScript中getElementById方法的使用

介绍了getElementByld方法的作用以及使用技巧,并结合具体的案例提出了该方法在InternetExplorer和Firefox浏览器下效果的不同,指出IE对ID和Name的不敏感性,最后得出对于IE该方法是有漏洞的结论。     

自动机与模型检查

首先介绍自动机识别有限词和无限词两种情况,然后结合模型检查方法,把自动机作为规范自动机与模型自动机,使用自动机识别语言的包含问题技巧来解决模型检查问题,这里强调的是Vardi与Wolper提出的方法。     

基于JavaScript的生物信息学分析系统的优化和扩展

对基于JavaScript的SMS核酸和蛋白质序列分析系统进行了改进,汉化并优化了系统界面,对系统中多序列同源性分析和引物搜索设计进行了较大幅度的改进,以提高精确度和实用性,增加了基于JavaScript的蛋白质理化性质曲线分析功能。为生物信息学和生物序列研究提供了更为有效的工具。     

JavaScript FSO实现客户端XML文件读写

XML是W3C为克服HTML形式与内容不分,难以查询而提出的一种元语言标准,具有易编辑、管理、存档和查询的特点。利用文档对象模型DOM可以很方便地对XML文件进行查询,但无法直接在客户端进行写入。探讨了利用JavaScript的DOM和FSO高效实现客户端XML文件的读写的方法,总结了实现过程中的几个关键技巧。该方法具有较好通用性,可推广到任意文本文件客户端读写中去。     

Open-Source Model Checking

We present GMC², a software model checker for GCC, the open-source compiler from the Free Software Foundation (FSF). GMC², which is part of the GMC static-analysis and model-checking tool suite for GCC under development at SUNY Stony Brook, can be seen as an extension of Monte Carlo model checking to the setting of concurrent, procedural programming languages. Monte Carlo model checking is a newly developed technique that utilizes the theory of geometric random variables, statistical hypothesis testing, and random sampling of lassos in Büchi automata to realize a one- sided error, randomized algorithm for LTL model checking. To handle the function call/return mechanisms inherent in procedural languages such as C/C++, the version of Monte Carlo model checking implemented in GMC² is optimized for pushdown-automaton models. Our experimental results demonstrate that this approach yields an efficient and scalable software model checker for GCC.     

Parallel and Symbolic Model Checking for Fixpoint Logic with Chop

We consider the model checking problem for FLC, a modal fixpoint logic capable of defining non-regular properties. This paper presents a refinement of a symbolic model checker and discusses how to parallelise this algorithm. It reports on a prototype implementation of the algorithm in Glasgow Parallel Haskell (GpH) and its performance on a cluster of workstations.     

使用JavaScript实现基于SVG的WEBGIS动态交互

JavaScript在很大程度上解决了SVG中交互性不强的问题。简要介绍了JavaScript以及在SVG中使用JavaScript,重点对JavaScript实现WebGIS中的交互进行了阐述。最后给出的代码实现了地图的放大、漫游和图层控制等交互功能。