基于JDBC和ODBC的网络数据库开发

研究了ＯＤＢＣ和ＪＤＢＣ的技术支持和应用方法,提出了利用Ｊａｖａ语言的体系结构无关性和动态性设计Ｂｒｏｗｓｅｒ／Ｓｅｒｖｅｒ模式系统,实现跨平台、兼容多种数据库的网络信息系统开发思想。     

用Java实现公文系统的手写批注和会签

以Ｂｒｏｗｓｅｒ／Ｓｅｒｖｅｒ模式及面向对象编程技术为基础,对一个用Ｊａｖａ开发基于Ｉｎｔｒａｎｅｔ技术的公文系统及基如何用ＪＦＣ实现公文批注、会签进行了阐述。该公文系统应用前景极广。     

基于代理中间件的安全Browser/Server系统

在分析代理中间件原理的基础上,提出了一个基于代理中间件的安全Ｂｒｏｗｓｅｒ／Ｓｅｒｖｅｒ系统。该系统可为采用Ｂｒｏｗｓｅｒ／Ｓｅｒｖｅｒ系统结构开发的用户应用提供一种透明的数据安全服务。     

基于Web数据库动态访问技术的Java实现

对基于Ｂｒｏｗｓｅｒ／Ｓｅｒｖｅｒ模式下的Ｉｎｔｒａｎｅｔ网的几种Ｗｅｂ动态访问技术进行了分析,讨论了这几种技术的优缺点,详细论述了ＪａｖａＳｅｒｖｌｅｔ、Ｊａｖａ、Ａｐｐｌｅｔ与ＪＤＢＣ相结合的技术,并就这一方案进行了改进,使用了一我层体系工将将其应用实际的Ｉｎｔｒａｎｅｔ的Ｗｅｂ开发实践中去。     

基于WWW的信息服务系统结构模式

介绍了基于ＷＷＷ的Ｃｌｉｅｎｔ／Ｓｅｒｖｅｒ和Ｂｒｏｗｓｉｒ／Ｓｅｒｖｅｒ信息服务系统的结构模式。Ｃｌｉｅｎｔ／Ｓｅｒｖｅｒ结构具有交互性强,安全,网络通讯量低,速度快等特点。Ｂｒｏｗｓｅｒ／Ｓｅｒｖｅｒ结构是以Ｗｅｂ技术发展起来的,具有系统开发和维护简单,对用户端几乎没有要求,界面友好,操作简单,适于网络信息发布等特点。分析认为,Ｂｒｏｗｓｅｒ／Ｓｅｒｖｅｒ结构是ＷＷＷ信息服务系统结构模式的发展     

Browser／Server与Client／Server结构的分析与比较

本文介绍Ｂｒｏｗｓｅｒ／Ｓｅｒｖｅｒ与Ｃｌｉｅｎｔ／Ｓｅｒｖｅｒ结构,分别对这两种结构进行分析与比较,并阐明各自的优、缺点,结论为三层的Ｂｒｏｗｓｅｒ／Ｓｅｒｖｅｒ结构是未来系统的发展方向。     

Browser/Server数据库模式在高速公路管理系统中的应用

文章阐述了基于ＷＷＷ的Ｂｒｏｗｓｅｒ／Ｓｅｒｖｅｒ数据库模式高速公路管理系统的设计及实现技术,特别是对Ｂｒｏｗｓｅｒ／Ｓｅｒｖｅｒ数据库模式下系统数据库的安全性作了比较详细的说明。     

B/S与C/S结构的分析与比较

介绍了Ｂｒｏｗｓｅｒ／Ｓｅｒｖｅｒ与Ｃｌｉｅｎｔ／Ｓｅｒｖｅｒ结构特点,对这两种结构进行分析与比较,结论为三层的ＢＲＯＷＳＥＲ／Ｓｅｒｖｅｒ结构是未来系统的发发展方向。     

基于Browsdr／Server的化学化工信息系统设计

本文结合当今计算机及网络的最新技术，讨论化学化工信息系统开发的新方法；基于Ｂｒｏｗｓｅｒ／Ｓｅｒｖｅｒ的化学化工信息系统开发，并以“中石化信息浏览系统”的开发作为这类系统的应用实例，介绍了这种技术在化学化工信息领域的应用方式，采用Ｂｒｏｗｓｒ／Ｓｅｒｖｅｒ方式架构ＣＩＳ系统，有利于充分应用现今篝的计算机网络技术，降低系统开发成本，且系统具有易用，易维护的特点。     

基于Java的图形化实时信息系统研究

随着Ｉｎｔｅｒｎｅｔ／Ｉｎｔｒａｎｅｔ的发展和各种数据采集手段的完善,的信息系统汇集的大量生产实时数据。为满足生产调度的需要。这些数据需实时发布到Ｉｎｔｅｒｅｎｔ／Ｉｎｔｒａｎｅｔ上,但是传统的Ｃｌｉｅｎｔ／Ｓｅｒｖｅｒ模式由于其自身的局了巛悄再能满足这种信息需要。本文根据在东北电网完成的“基于Ｗｅｂ浏览器的实时工况显示系统”的工程实践,提出了一种基于Ｊａｖａ语言的Ｂｒｏｗｓｅｒ／Ｗｅｂ Ｓｅｒｖ     

基于多软件平台虚拟仿真方法及其应用研究

该文在分析当今虚拟仿真技术现状,比较多种仿真软件的功能、特点的基础上提出了“基于多软件平台虚拟仿真方法”,论述了该方法的原理与特点,研究了其实现方法与具体步骤,并在多种软件之间的无缝连接、三维模型的建立与导人、仿真结果的后处理方面进行了具体研究。另外,将此方法应用于曲轴连杆式低速大扭矩液压马达的运动学仿真。通过应用表明,基于多软件平台虚拟仿真方法对复杂机械系统进行三维仿真是有效的,它将有助于设计者进行复杂机械系统的设计与性能的优化研究。     

Dalvik虚拟机进程模型分析

Android手机操作系统是Google于2008年推出的智能手机操作系统,它的所有应用都是基于Java语言的,它的类Java虚拟机Dalvik提供了所有应用的运行时环境。Dalvik是一个面向Linux作为嵌入式操作系统设计的虚拟机,尤其是它的面向进程的设计,充分利用了Linux进程管理的特点。介绍了Dalvik所依赖的基础,即Linux操作系统内核中进程管理的一些特性和传统Java程序对进程的控制;进而论述了Dalvik的进程模型的特点,从API和本地代码两个层面具体阐述了进程运行、创建和之间通信的部分细节。文中旨在为Dalvik的研究和应用提供参考。     

基于Petri网的FMS物流系统建模与仿真

在建立FMS物流系统Petri网模型的基础上,采用“映射”思想,将Petri网模型转化为物流系统的仿真程序,提出了库所映射为程序数据、变迁映射为程序函数、系统子网映射为FMS系统基本类的映射方法,通过实例仿真验证了软件程序与模型的一致性。     

Expressing checkable properties of dynamic systems: the Bandera Specification Language

Research on how to reason about correctness properties of software systems using model checking is advancing rapidly. Work on extracting finite-state models from program source code and on abstracting those models is focused on enabling the tractable checking of program properties such as freedom from deadlock and assertion violations. For the most part, the problem of specifying more general program properties has not been considered. In this paper, we report on the support for specifying properties of dynamic multi-threaded Java programs that we have built into the Bandera system. Bandera extracts finite-state models, in the input format of several existing model checkers, from Java code based on the property to be checked. The Bandera Specification Language (BSL) provides a language for defining general assertions and pre/post conditions on methods. It also supports the definition of observations that can be made of the state of program objects and the incorporation of those observations as predicates that can be instantiated in the scope of object quantifiers and used in describing common forms of state/event sequencing properties. We illustrate how BSL can be used to formulate a variety of system correctness properties for several multi-threaded Java applications. Published online: 2 October 2002     

神经网络技术在高铁站多联机空调节能控制中的应用

本文基于神经网络技术设计空调控制软件系统,对传统人工控制模式和神经网络控制器进行对比研究.首先利用Energy Plus仿真软件建立真实高铁站建筑及其多联机空调系统模型,对该空调系统设置424种工况完成了一整年运行仿真,然后从百万条仿真数据中抽取PMV(predicted mean vote,预测平均投票)热舒适度和能...     

基于Web Service的CFD仿真及其在建筑设计中的应用

提出基于Web Senrice的CFD仿真平台,围绕远程计算的特性,阐述了仿真平台的系统架构,具体讨论了计算服务统一接口及其描述、计算伺服Agent的结构和工作原理以及基于JaVa3D的交互式后处理等关键技术,最后开发了简单的原型系统以检验方法的可行性。     

Design of a multimodel of a dairy cows herd attacked by mastitis

We present the building of a discrete event multimodel simulation tool of livestock farming systems, regrouping several mathematical models, and reproducing cattle herd performances through an individual based model. The main goal of this simulator is to study and predict consequences of mastitis occurrences on dairy herds taking into account individual characteristics of animals and seasonal and livestock parameters. The model presented is the result of a close collaboration between epidemiologists and simulationists and we were able to use real field data from animal experiments. The project includes a domain analysis of dairy herd systems in France, using an object oriented approach and Unified Modelling Language tools. The software, written in Java, is to become a decision-aid tool for stock breeder advisors.     

三棱镜色散仿真模型的设计

利用软件技术对三棱镜色散进行仿真模型的设计,详细介绍了该仿真模型的数学模型的建立方法,按照模块化程序设计的理念,建立了程序的系统结构,并开发了仿真模型的核心程序,该模型能很好地仿真模拟三棱镜的色散现象。     

基于Android系统的USB转串口的研究

Android操作系统是基于Linux平台而开发。该操作系统主要分为以下三部分:最下层是以C语言开发的Linux内核,提供基本功能;中间层是函数库Library和虚拟机Virtual Machine,由C++开发;各种应用软件位于最上层,包括传输程序,浏览器程序等,部分程序以Java编写。USB/串口转换是实现USB与RS-232/RS-485/RS-422串口设备相互通讯的一种协议转换(USB协议-串行通信协议)。     

保险杠抗压分析流程自动化系统开发

为提升汽车保险杠抗压分析效率、减少重复性劳动、实现仿真分析流程的自动化，利用Python和VBS语言开发一套前、后处理自动化程序。此程序可实现RBE3单元创建、局部坐标系创建、载荷创建、头文件创建、后处理、结果诊断和报告编制等过程的自动化。实际应用结果表明，与传统人工分析相比，该程序可使仿真分析效率大幅提高。通过自动化程序进行仿真，不仅可以保证保险杠抗压分析的精度，同时还可以实现分析的标准化、保证分析的一致性。