基于上下文感知的移动Web服务

移动Web服务的目的是随时、随地为资源有限的任何移动设备提供信息服务。该文以一个移动旅游者娱乐系统为例,阐述移动Web应用服务系统的体系结构、主要组件对象之间的交互及用户个性化服务的实现。讨论上下文管理机制的功能、模型和相关实现技术,介绍其接口与WSDL的实现。     

基于Struts框架和ActiveX控件的WebGIS实现技术研究

Web技术与GIS技术更加紧密的结合是WebGIS发展的必然趋势与研究热点.在分析比较现有WebGIS体系结构及主要实现技术的基础上,提出了基于Struts框架和ActiveX控件的实现方法.该方法旨在结合二者的技术优势,构建更为高效、通用的WebGIS体系结构模型.分析了这种WebGIS的体系结构、运作机制及特点,最后介绍了该实现方法的一个应用案例,验证了方法的可行性.     

基于Globus Toolkit 4的网格多资源Web服务实现

采用Globus作为事实上的网格基础平台,基于Globus进行网格服务开发是当前开发网格应用系统的主要手段.它提供了网格系统的基础服务,可以构建复杂的网格应用系统.针对GlobusToolkit4中网格服务的实现问题,介绍了单资源服务、多资源服务的实现模型,并以一个简单的网格计算为例,详细地说明了网格多资源Web服务的实现过程,最后成功地在单资源网格服务的基础上实现了网格多资源服务.     

零点配置与一类非线性广义系统的状态反馈控制

针对状态空间实现为非最小相位的非线性广义系统的控制问题,提出一种非线性广义系统的状态空间实现算法,构建了一个等价于原输出函数的综合输出函数,能任意配置状态空间实现的传输零点,使该状态空间实现为最小相位的.所构建的最小相位输出函数能直接用于构造状态反馈控制器,实现对非线性广义系统状态反馈控制.将所得结论应用于Logistic增长的SIR传染病模型,仿真结果表明了所提方法的有效性和可行性.     

Solving topological constraints for declarative families of objects

Parametric and feature-based CAD models can be considered to represent families of similar objects. In current modelling systems, however, the semantics of such families are unclear and ambiguous.We present the Declarative Family of Objects Model (DFOM), which enables us to adequately specify and maintain family semantics. In this model, not only geometry, but also topology is specified declaratively, by means of constraints. A family of objects is modelled by a DFOM with multiple realizations. A member of the family is modelled by adding constraints, e.g. to set dimension variables, until a single realization remains. The declarative approach guarantees that the realization of a family member is also a realization of the family.The realization of a family member is found by solving first the geometric constraints, and then the topological constraints. From the geometric solution, a cellular model is constructed. Topological constraints indirectly specify which combinations of cellular model entities are allowed in the realization. The system of topological constraints is mapped to a Boolean constraint satisfaction problem. The realization is found by solving this problem using a SAT solver.     

分布式检测监控系统中Agent模型及实现研究

基于多Agent技术对检测监控系统进行了研究,提出了一种分布式检测 监控系统结构模型。通过对检测监控系统中Agent特性的讨论给出了相应Agent的模型,对该模型的功能实现进行了详细的分析,并讨论了关于Agent的具体实现。     

On the selection of a tax strategy and on an equilibrium in an economy

Equilibrium conditions in an open economic system with monopolies are investigated. The model takes into account the presence of insatiable consumers among economy subjects. The influence of selection of a tax strategy on the realization of a certain equilibrium state of the economy is found out. The conditions of realization of an optimal equilibrium state are found. The model is applied to the analysis of the influence of monopolies on the Ukrainian economy.     

通用树形结构设计

本文介绍了通用树的设计原理和实现方法,并运用数据库技术、.NET编程技术对通用树形结构组件进行了模型设计、编程实现。该通用树形结构的实现,对于实现软件代码的重用,增强应用系统的灵活性和伸缩性,具有重要作用。     

高校工程项目管理中协同工作机制的研究与实现

通过已完成的高校工程项目管理系统，介绍了工程项目管理系统中工作流机制的应用与实现，提出了一个多部门间协同工作的模型及实现思路，同时对协同工作机制在整个数字化校园环境中的应用作了一些探讨研究。     

基于数据融合模型的网络安全分析评估系统

在借鉴网络性能监控模型的基础上,该文基于数据融合技术提出了一个网络安全分析与评估的分层实现模型,分析了网络系统中存在的脆弱性,采用安全案例表示与贝叶斯推理相结合的方法对网络安全状况进行建模和分析,并阐述了模型的实现要点。     

基于组件的装甲兵作战仿真系统的设计与实现

基于组件的仿真系统设计和实现方法,在支持作战仿真系统开发中较传统的实现技术在模型重用、开发效率、系统维护等方面具有明显的优势。该文阐述了基于组件的装甲兵作战仿真系统的设计与实现。     

一种高精度热电偶模型及其测温虚拟实现

本文介绍了一种基于径向基(RBF)神经网络的镍铬-镍硅热电偶特性无差优化模型的建立过程、LabVIEW调用MAT-LAB的方法和热电偶温度虚拟测量的实现过程。结果表明提出的模型算法简单、精度高、稳定性好、对其它传感器建模有借鉴作用。虚拟测量实现过程简单,数据可由计算机直接读取和编辑,节省费用,能应用于多点温度测量和组建传感器网络虚拟仪器系统。     

一种基于B/S/S模式的电子政务系统的设计与实现

给出了电子政务系统的概念与特点,设计了基于B/S/S模式的江苏省某厅的电子政务系统的总体逻辑结构,对其中的各主要模块作了说明.介绍了系统的实现,包括实现系统开发的平台与工具、软件架构、流程以及系统的权限管理模块与平台部署模块.应用提出的系统设计与实现方案,开发的江苏省某厅的电子政务系统,具有很好的安全性与稳定性.     

State-shared model for multiple-input multiple-output systems

This work proposes a method to construct a state-shared model for multiple-input multiple-output （MIMO） systems. A state-shared model is defined as a linear time invariant state-space structure that is driven by measurement signals-the plant outputs and the manipulated variables, but shared by different multiple input/output models. The genesis of the state-shared model is based on a particular reduced non minimal realization. Any such realization necessarily fulfills the requirement that the output of the state-shared model is an asymptotically correct estimate of the output of the plant, if the process model is selected appropriately. The approach is demomtrated on a nonlinear MIMO system - a physiological model of calcium fluxes that controls muscle contraction and relaxation in human cardiac myocytes.     

基于三层结构交易中间件系统设计

介绍了三层结构交易中间件体系结构的系统实现模型，论述了在该模型下通信层和交易调度层的设计思路和实现方法，给出了交易调度层动态优先级算法的实现思路。     

入侵检测系统在Linux网络中的分析与设计

介绍了入侵检测系统的基本知识,提出了系统设计的原理,分析了系统模型的体系结构。在此基础上给出了在Linux网络中的入侵检测系统的详细设计和具体实现过程,并对各个模块的设计与实现进行了阐述。     

基于.NET平台的信息计费系统的设计与实现

.NET平台为分布式Web应用系统提供了良好的开发环境和技术支持,本文结合中经网信息计费系统的项目背景阐述了系统的体系结构设计,运用UML系统建模方法,建立了基于信息产品业务模式的系统模型,并讨论了该模型在.NET平台下的实现。     

State-shared model for multiple-input multiple-output systems

This work proposes a method to construct a state-shared model for multiple_input multiple_output (MIMO) systems. A state_shared model is defined as a linear time invariant state_space structure that is driven by measurement signals _the plant outputs and the manipulated variables, but shared by different multiple input/output models. The genesis of the state_shared model is based on a particular reduced non_minimal realization. Any such realization necessarily fulfills the requirement that the output of the state_shared model is an asymptotically correct estimate of the output of the plant, if the process model is selected appropriately. The approach is demonstrated on a nonlinear MIMO system - a physiological model of calcium fluxes that controls muscle contraction and relaxation in human cardiac myocytes.     

基于JAAS企业级的访问控制模型

目前RBAC模型已得到广泛的认同,但传统的RBAC实现脱离了企业的组织架构,同时认证模块与应用程序紧耦合也可给系统的维护和实现带来困难.该文在大量研究已实现RBAC模型的基础上提出了基于Principal的认证与授权模型、算法的大致思想,并提供了基于J2EE的实现方案.