Abel范畴子对象的交与和

在Abel范畴中定义子对象的和,并利用拉回与推出给出子对象交与和的等价定义,证明子对象的交与和满足结合律,以及Abel范畴上的模律与蝴蝶引理.

基于模型子对象和改进型纹理的植物模型

虚拟植物的构建在环境资源评估、农作物栽培研究、植物生长调控以及生态自动化测评等方面都有重要的价值和意义。为克服传统虚拟植物造型技术中因重点反映植物枝叶间复杂性相互关系而带来的繁杂与低效率,本文以植物主干关键造型节点为构建基点,通过模型子对象组建的形式兼顾了植物形态的真实性与模拟效率;通过造型因子和色彩因子对植物叶片纹理的形态和颜色进行干预,改进了传统纹理图像影射方式模拟植物叶片的方法。实验结果表明,该方法能有效地实现虚拟植物的复杂造型,模拟的真实感和系统实时性两方面都得以有效的保证。

L集合范畴的子对象分类子

以topos理论为工具,证明了L集合范畴中不具有子对象分类子,但在强映射L集合范畴中具有子对象分类子.

Abel范畴子对象的交在radical中的两个应用

首先讨论了Abel范畴中子对象的交与商对象之间的关系,而后利用子对象的交与和,给出Abel范畴子对象radical的另一等价刻画以及计算商对象的radical的公式.

双诱导映射φ集合范畴的幂对象及子对象分类子探讨

引入双诱导映射φ集合范畴的幂对象及子对象分类子的概念,并分别讨论它们的判别定理,同时给出它们的具体结构。

对象类型与对象子类型研究

本文揭示了对象类型的子类型关系,给出对象子类型的性质及规范,分析了对象子类型关系存在的语法条件、语义条件、充要条件,阐述了对象子类型与程序精化的联系,最后给出对象子类型的推理规则。

基于对象Petri子网模型的列车群分布式仿真

为提高效率,增强真实度和可信度,采用分布式仿真解决列车群行为的分析和验证问题,并基于列车群的对象Petri子网模型(TGOSOPS)实施分布式仿真系统。针对模型到仿真系统的逻辑映射、运行中的动态关联以及依靠模型处理仿真冲突和时间协调等问题,提出由终端上的列车仿真应用模块和服务器上的全局控制模块构成分布式仿真系统框架,并对TGOSOPS按照功能进行划分,使其和分布式框架有机结合和映射。根据系统结构,结合动态离散事件系统的仿真思想,明确系统中各类实体和事件间的逻辑关系,采用定时与主动对象(主动成分)扫描相结合的方法,建立分布式仿真策略,包括客户端和服务器端两部分,从而实现模型到系统的动态关联,并采用空消息算法消除策略死锁。采用一个统一的全局时钟来调整局部时钟的时间周期,以实现分布时钟的协调。路网图、运行图、模型库和各种信息库等都以全局数据库的形式存储在服务器上,在仿真过程中,根据实验推进的需要可以随时从服务器上读入所需信息和数据。

Topos中的模糊对象和模糊范畴

在一个topos中引入模糊子对象的概念 ,给出了一个对象的元素x对一个模糊子对象的隶属度的定义 .在一个布尔topos中讨论了模糊子对象的运算 .最后给出了由toposC的模糊子对象构成的范畴FC ,研究了范畴FC的等化子性质 ,有限积性质 ,并证明了范畴FC有最终元存在 .

Abel范畴中两个对象的交与并

Abel群范畴是一个Abel范畴,在这个范畴中,两个子对象的交就是两个子群的交,两个子对象的并是由两个子群的并生成的子群.主要讨论了Abel范畴中两个对象的交与并的性质,并将其应用到Abel群范畴,得到一些群的同构关系式.

运用多级对象语义框架的彩色图像分割

提出了一种运用多级语义框架的彩色图像分割方法。通过用户交互,不仅可以分割出多区域对象,还可以对用户定义的该对象的子对象进行识别,并给出它们之间的语义关系,从而反馈修正先前的分割结果,使结果更准确。实验测试了不同种类的图片和视频序列帧。各级分割结果与语义关系可有效应用于后续的基于图像、视频对象或部分对象的编辑应用。

面向对象Petri网的网络传感器管理系统建模

传感器资源管理是一个复杂的系统工程 ,特别是在分布式传感器网络中 ,传感器种类繁多 ,使用一般的Petri网建模方法很难对系统作一形象描述。本文提出了一种应用面向对象Petri网对该系统进行建模的方法 ,并针对网络传感器管理特点 ,构造了网络传感器管理系统模型。

基于父对象的内存机制研究

针对视频通信中大容量内存需求与嵌入式系统有限内存资源之间的矛盾,探讨了嵌入式视频通信对内存的需求,分析了常用嵌入式软件基于静态数据块和基于暂存缓冲区的内存机制的特点,研究了父对象与子对象的基本概念及基于父对象的内存机制,为了解决系统内存资源不足的问题,提出了基于父对象的内存机制在视频通信软件中的实现方案。具体介绍了子对象对共享内存的访问形式,描述了父对象与子对象的各种操作流程,进而以嵌入式视频通信软件的核心——H.264解码器为例,叙述了基于父对象的内存机制的技术实现。

基于子数据窗口技术的开发技巧

该文介绍子数据窗口对象(DataWindowChild)的概念及使用方法和技巧,以财务管理系统设计为例,研究动态字段查询的实现方法,利用开发工具PB特有的数据窗口技术,实现了按照所选字段的动态查询,满足系统查询的需要。

NTFS权限继承的设置

NTFS文件系统中,对一个对象安全权限的设置和权限继承的设置决定了这一对象最终的安全权限。本文对权限继承进行讨论。

ScienceWord在教学文档中的高级应用

ScienceWord软件制作教学文档具有独特的优势,但ScienceWord文档与Word文档的结合有一些技术问题。本文介绍ScienceWord文档与Word文档的有机结合方法,包括在ScienceWord中读取Word文档的方法;Sci-enceWord文档中的图形、公式、表格在Word中的正常显示方法;Word的操作知识对ScienceWord的操作所产生的"负迁移"作用的解决方法等。实践证明,这些方法对实现ScienceWord与Word的"珠联璧合"具有关键作用。

略论集合概念

本文对逻辑界部分同志取消集合概念的观点持否定意见;对集合概念在分类中的地位和作用作了肯定,同时从并非一切概念都是类概念、集合体与类的区别,集合概念对象的条件性等方面对集合概念的存在作了具体论证。

多继承中函数调用的冲突检查

面向对象程序设计中多继承的使用给程序员以很大的方便，但是，多继承的使用却带来了许多单继承系统中所没有的问题，其中一个很重要的就是成员函数调用时函数的二义性问题．给出了一种形式化的方法，用来检查一个多继承的系统中函数的二义性．通过这种方法不仅可以检查函数调用的二义性问题，还可以确定将使用函数的那个实现版本．

关于证明范畴的一点注记

本文在证明范畴中提出了自然反变换和自然反同构的概念,证明了与Yoneda引理相应的定理,并证明了在初等topos E中,Mon(A)反同构于E(A,Ω)。这里Mon(A)为以A∈Ob E为上区域的所有单态射之集,Ω为E的子对象分类器。

如此“自由”恋爱

女青年生玉荣，把一个已秃了顶的男朋友领到家里。那男人一见生玉荣父亲，就自我介绍：“我是锦州石油六厂供销科干部，叫张殿臣。你女儿小生人很好，我俩挺合得来的。”

一种类间交互测试的约束型标记驱动Petri网模型

面向对象软件测试的主要问题是考虑类间交互的集成测试,交互测试能检查出对象间的消息传递产生的不可达路径.设计了一种约束型标记驱动Petri网(C-LDPN)模型描述对象间的消息交互,给出了UML协作图转换为C-LDPN的规则.在定义对象活跃点以及对象活跃格局概念的基础上,根据对象所关联的变迁得出对象状态集上的等价类,提出一种消除C-LDPN中分支冲突的类间交互测试用例生成算法,求出对象的每个等价类中所有的活跃点数,得出对象的总状态数,用对象的分割连接子分割对象的状态域得到可达性C-LDPN,用合并连接子合并子对象得到标准型C-LDPN,最终生成类间交互测试用例--标记-变迁路径(LTPaths).