基于报童模型的自偿性信誉链融资可行性分析

在对信誉链融资和自偿性贸易研究的基础上,提出了自偿性信誉链融资的概念,并给出其具体运作模式。结合报童模型,定量分析了这种融资模式的可行性。结果表明,将自偿性贸易的概念运用到信誉链融资活动中,可以在控制银行风险的前提下,大大提高中小企业资金的可获性,并增加融资链各参与方的收益。     

同步链与纯正非同步半群

通过合理转化自动机与变换半群的定义提出同步链的概念,证明了一些类型的变换半群满足Cerny猜想,并部分刻画了一类不满足Cerny猜想的变换半群,即纯正非同步半群.     

关于格上二元运算“-”的性质研究

在格上定义了二元运算"—",得到一些运算性质,通过给出分散完备格的概念与性质,得出分散完备格与关于"-"运算满足分配律的格的等价性的刻画,最后,并在格矩阵上也定义了二元运算"—",从而得到相关性质与结论.     

关于序半群的正则和反强正则同余

引入了序半群中反拟链和反强正则同余等概念,讨论了它们的一些性质,给出了正则同余和反强正则同余的一般刻画.     

弱L-余拓扑空间的层紧性

在弱L-余拓扑空间中引入层紧集概念,并用滤子和网给出层紧性的等价刻画,证明了层紧性在弱连续的L-值Zadeh型函数下是不变的,最后给出链所具有的特征.     

L-fuzzy闭包空间的层紧性

文章引入了 L F闭包空间及其层紧性的概念 ,并且用滤子和网给出了层紧性的等价刻画 ,证明了层紧性在C连续的 L-值 Zadeh型函数下是不变的 .最后给出了链所具有的特征。     

主动实时描述语言ARTDL

探讨了主动实时描述语言的语义及编译技术,给出了预处理程序的总体结构.提出了主动实时数据库完整性准则和主动实时描述一致性的标准,对主动实时机制的抽象描述进行了讨论.所设计的语言强调了事件、条件、活动三个核心概念的刻画和构造性表达,能满足大多数实时应用环境的要求.     

无限非投影算子

给出无限非投影算子的定义和性质,讨论与其它算子类的关系,给出非本性算子类的本性特征,并利用无限非投影算子来刻画不可分解空间,以及满足"数+紧问题"的空间.     

主动实时描述语言ARTDL

探讨了主动实时描述语言的语义及编译技术,给出了预处理程序的总体结构,提出了主动实时数据库完整性准则和主动实时描述一致性的标准,对主动实时机制的抽象描述进行了讨论,所设计的语言强调了事件、条件、活动三个核心概念的刻画和构造性表达,能满足大多数实时应用环境的要求。     

基于运动行为的复杂监控事件探测

针对视频监控过程,使用运动目标的状态特征描述场景中存在的语义内容.基于DBSCAN聚类模型学习特征集的潜在结构,生成了运动行为模式集.使用高级Petri网刻画模式间的连续、并发等时序关系,构成复杂语义事件探测模型.无监督式的模式学习过程对低层噪声有较强的鲁棒性,而定性的事件描述模型对于高层事件的推理具有更强的灵活性.在实验中,通过聚类学习得到的行为模式,给出了事件Petri网的具体建模过程,并演示了"停留"与"偷车"两个感兴趣事件的探测结果.     

Activity sequence modes for Web services and verifications

Behavior requirement expression and its satisfiability verification for composite Web services is one of the ongoing issues in service computing.In this paper,the concept of behavior specifications based on activity sequence is proposed to express one kind of behavioral requirements for composite Web services.Its basic element is activity sequence.The method to express such behavioral requirements by behavioral modes is presented.Five behavioral modes used in this method are adopted.Through mapping modes to Labeled Transition Systems(LTSs),these modes are encoded with exact operation semantics.Then,the sufficient and necessary conditions as well as the checking algorithm for satisfiability of behavioral modes are given.Finally,an example analysis is presented.The result indicates that the behavioral requirements based on activity sequence are more suitable for the case of composite Web service than those based on activity or scenario.The behavioral modes expressions are concise and the satisfiability checking is effective by the given algorithm.     

Behavioral consistency checking between requirements and implementations

Checking if the implementations conform to the requirement models is challenging. Most existing techniques for consistency checking either focus on requirement models（e.g., requirements consistency checking）, or on the implementations（e.g., code-based testing） only. In this paper we propose an approach to checking behavioral consistency of implementations against requirement models directly to overcome these limitations. Our approach extracts two behavioral models represented by Labelled Transition Systems（LTS） from requirement models and implementations respectively, and checks the behavioral consistency between these two models based on behavioral simulation relation of LTS. The checking results of our approach provide evidence for behavioral inconsistency as well as inconsistent localization. A research prototype called BCCH and a case study are presented to give initial validation of this approach.     

广义因果理论上基于模型诊断过程的形式化

对广义因果理论上基于模型诊断的一般过程进行形式化 ,对它与本原蕴涵 /蕴涵式的直接关系进行论证 ,从而将理论结果与实现联系起来 .表明该结果不仅能够计算只已知部件的部分故障行为方式时基于模型的诊断 ,还能够计算已知每个部件的各种故障行为方式下基于模型的诊断 ;指出对广义因果理论上基于一致性的中心诊断过程、中心溯因诊断过程的形式化只是文中给出形式化的特例     

配网馈线自动化通信方式的分析

对基于光纤的一点对多点的多点共线通信方式和基于无线的一点对多点的点对点通信方式进行了分析研究，并得出了两种通信方式相应的优缺点，就配网馈线自动化数据通信的要求，提出了应按网络方式传输数据，应按连接方式传输数据，应采用面向对象方式的应用层协议，应采用国际标准化的应用层协议。就数据通信对馈线终端单元（FTU）的要求，提出了FTU单元应具有网络内核操作系统，应按客户／服务器模式实现数据通信，应按面向对象方式定义组织传输的数据，应根据数据逻辑地址传输数据。     

基于供应链思想的库存管理决策支持系统开发与设计

提出了一个基于供应链思想的库存决策支持系统,对其的体系结构和具体实现机制进行了讨论和设计,采用了基于Web和C/S混合模式对系统进行开发,并对其中的关键技术进行了讨论。     

高等教育办学模式比较研究--浅析20世纪50年代与90年代以来大学办学模式改革

20世纪50年代初期形成的中国高等教育办学模式是单一的以国家为主体的模式;90年代以来变化为多元化的办学模式.文章论述了单一模式的特点,介绍了学术界对多元化模式的不同看法,旨在为当前不断深化的高等教育改革提供借鉴.     

基于电子商务的供应链系统重构模式研究

从系统集优的观点出发，按照精干主业、合理配置资源、自主经营、协调运行的原则，分析了电子商务环境下供应链系统重构的目标模式和基于目标模式的系统重构的组织结构模式与物流管理模式。表明组织结构TPL－TPL模式较适合于一般供应链系统的重构，而VMI－TPL模式较适合于某些特殊情况下的供应链系统的重构，进而提出了相应的物流管理模式。     

基于本体的企业间信息协作的研究

在供应链模式下，企业成员之间的信息协作是供应链的有效运作的核心问题。基于EDI标准和XML标准的信息协作虽然解决了语法层次上的互操作性，但在解决语义层次的互操作性上存在不足。这里对企业间信息协作模式进行了分析，提出基于本体的企业间信息协作模式，解决语义层次上的互操作性问题。     

危险源重要度评价在设备分级维修中的应用

提出了危险源重要度评价概念并简述其评价方法,针对近年来企业设备维修方面遇到的问题,提出了分级维修思想.对设备进行重要度评价的方法是首先运用故障类型和影响分析方法分析出不同设备的故障及其影响,专家根据故障类型和影响分析结果确定设备维修方式权重,然后再利用模糊数学法对其进行评价,与预设阈值进行比较,确定采用的维修方式,从而提升企业设备管理水平.     

一种基于驾驶决策的三相交通流仿真模型

提出了一种基于三相交通流理论的驾驶决策交通流仿真模型.该模型采用驾驶决策函数替代由Kerner等人提出的KKW模型中目标速度函数,在新模型中将驾驶行为分为自由流驾驶模式、同步流驾驶模式和堵塞流驾驶模式,三种模式会根据道路的实际交通情况进行切换.基本图和时空分析结果表明,提出的模型符合实际的交通观察.