数理逻辑之研究对象、学科归属、定义及研究领域

鉴于对数理逻辑这一学科的定义、研究对象、研究领域与学科归属等问题,尚无一个一致的说法,有的已不符合历史发展的现状.例如,就学科归属而言,就有两种说法其一说数理逻辑是数学的一个分支;其二说数理逻辑是逻辑学的一个分支,如此等等.有的数理逻辑著作中完全不论及这类问题.为此,本文从数理逻辑历史发展的几个侧面加以分析,并综合各家之长对数理逻辑的定义、研究对象、研究领域与学科归属等问题进行了探讨.     

基于面向对象模型库的DSS可重用体系结构研究

通过对DSS中模型结构的研究,给出了基于面向对象模型库及其动态管理系统的DSS可重用体系结构,以及该体系结构的实现方法与工作流程.最后介绍了该项研究的应用情况.     

On the Collision Detection Problem of Two Moving Objects Described by Algebraic Sets

In this paper, the collision problem of two moving objects is investigated. The objects are described by two algebraic sets （ellipses or circles in the paper）. The collision problem discussed involves both static and dynamic case. The static case is that each object moves with known velocity. We use nonlinear programming to decide whether the objects collide. The dynamic case is that each object is controlled by a constraint external force which can be regulated online. For the dynamic case, the collision problem can be modelled as a Minmax problem which can be solved by using differential games. If collision occurs, the time and place of the first collision are given. The moving trajectories are provided in the paper.     

诱导延时和数据包丢失的广义网络控制系统的建模及其控制

针对广义网络控制系统的延时和数据包丢失问题,在诱导延时时间小于和大于采样周期T、单包传输和多包传输数据包丢失情况下,建立广义网络控制系统的模型并进行相关控制器设计.最后探讨了使网络控制系统稳定所允许的最大延时界限,为实际控制工程中广义网络控制对象的研究提供了理论依据.     

基于离散余弦变换与最优嵌入强度预测的鲁棒图像水印算法

为了解决当前图像水印方案难以兼顾系统的抗几何攻击能力与视觉隐秘性的问题,提出了基于离散余弦变换与最优嵌入强度预测的鲁棒图像水印算法.把宿主目标划分为若干个8×8的非重叠子块;引入离散余弦变换DCT(Discrete Cosine Transform)处理每个子块,输出相应的低频与高频子带;从低频子带中选择一个系数作为参...     

基于对象工厂设计性虚拟实验流程的研究与实现

基于Internet虚拟实验室是一种重要教学资源,对其进行研究具有重要意义．通过采用基于Java组件对象技术,利用对象工厂计模式有效解决了虚拟实验室中动态对象的引入、创建、调用,以及与异种对象间通信．实现了可视化虚拟实验流程的定制和软件重用．     

基于精确标识对象Petri网模型的检测方法

精确标识PNO要求一个对象实例既不能同时出现在多个库所,也不能在一个托肯中出现多次,SMV是一个功能强大的符号化模型检验工具.本文提出了将精确标识PNO模型转换成相应SMV程序的算法,并通过列车运行区域模型(TOPNO)演示了具体的转换过程.通过该转换算法不仅能有效地解决精确标识PNO活性、安全性等属性的检测问题,还能验证与模型中对象相关的属性.     

一种基于属性的对象访问方法

基于对象存储,吸取NAS和SAN的优点。成为下一代网络存储模式．Ext2作为对象存储的文件系统,数据访问至少需两次以上的磁盘操作,由此提出了一种基于属性的对象访问方法．将数据的块地址和长度链接在一起,作为对象的扩展属性,连同数据对象一起存储到磁盘中,无论数据对象大小。磁盘访问次数仅为两次。有效地提高了数据访问效率．     

基于VB的计算机考试复习系统的设计与实现

介绍了基于Visual Basic +Mirosoft Acess计算机考试复习系统的设计和实现,解决了数据库设计、操作过程等方面遇到的关键问题:登陆功能的实现,在大的总数据库基础上自动创建新的、能快速使用的数据库和表的实现,实现了试题的任意编辑和自动组卷,从而最大程度地加快了系统的速度和严密性.     

冷连轧仿真系统虚拟对象级的设计要点

以某钢厂2030 mm五机架四辊冷连轧机系统为仿真原型,建立了4级结构五机架冷连轧过程动态仿真系统,讨论了对动态轧制过程与实体设备动态行为进行仿真的虚拟对象L0级的结构、功能.建立了含有移动数据库的分布式仿真数据库系统(DDBS),模块化设计仿真模型程序以提高可重性和仿真系统的安全性与可维护性,实现了冷连轧虚拟对象级的基于Web的客户层、应用层、资源层3级结构仿真平台,提供了基于Web服务的人机界面支持系统.设计的冷连轧虚拟对象级为研究和开发轧制自动化新技术而需要进行的虚拟轧制实验提供了合适的平台.