一个极小不可满足公式子类的等价结构

研究一个极小不可满足公式子类（MAX（1）的等价结构,考虑了MAX（1）上的变元改名问题和文字改名问题。此两个问题均可在O（nlog2(n))时间内可解。     

两类均衡函数的结构分析与一类状态变权向量的构造

基于均衡函数之间的一种等价关系定义了均衡函数的等效性．在该等效意义下证明了和型与积型均衡函数在结构上的某种同一性．通过分析一类特殊的状态变权向量，进一步揭示了状态变权向量与均衡函数之间的内在联系．然后，利用取大、取小算子构造了一类状态变权向量，该类状态变权向量注重最大或最小因素状态值的作用，在实际应用中可以消除一些决策环境中的“噪声”影响．     

高速路网可变信息标志诱导的最优开关控制设计

针对高速路网中诱导策略的设计,以可变信息标志(Variable Message Signs, VMS)的开关切换为控制手段,把交通诱导归纳为一类最优开关控制命题.通过元胞传输模型建立实际路网模型,利用遗传算法求解,给出了一种VMS诱导策略的最优设计方法.仿真结果表明,设计给出的VMS控制律可以提高路网通行能力,缓解局部拥堵.特别是对路网流量分布不均衡的情况效果较好,路网总耗费时间可降低32.39%.     

可变谓词限定与良基理论

限定是McCarthy为了形式化人工智能中的常识推理的非单调性而提出的一种非单调推理形式。在本文中,我们首先提出了原来McCarthy的谓词限定和并行限定的一种推广形式——可变谓词限定,并描述了它的极小模型语义。然后,在此基础上建立了关于可变谓词限定的正确性、完备性以及相容性的各种结果,分析了可变谓词限定应用于良基理论时推测出新信息的能力。最后,我们为了进一步推广各种限定形式而提出了基于偏序关系的可变谓词限定。     

提供交通信息条件下的途中改道行为研究

针对我国城市快速道路先进出行者信息系统的宴例——上海城市快速路交通诱导系统，研究了提供交通信息条件下的途中改道行为．针对一块实地运行的中型图文混合型可变信息标志（VMS），采用偏好陈述调查法（stated preference survey）采集途中改道行为数据，采用离散选择分析方法分析数据，估计了描述途中改道行为的多元罗吉特模型．分析表明，交通信息会影响改道行为，不同的信息内容对改道行为影响是不同的（例如事故信息的影响较大），驾驶员的年龄、性别等个体属性也是影响改道行为的因素．最后，给出下一步研究设想．研究结果可为先进出行者信息系统的投资、运营和评价提供有力依据．     

概率自动机的等价性

本文研究概率自动机初始等价和等价之间的关系,基矩阵的性质,某些等价类的结构,并得到判定极限最小自动机的一个充分条件。     

MARG-MU（2）的结构和复杂度

SAT问题（可满足性问题）是理论计算机科学的核心问题,研究SAT问题的方法很多,利用极小不可满足公式的性质来研究SAT问题是近几年兴起的一个热点研究方向。本文主要利用（1,＊）-消解方法研究了差为2的边缘极小不可满足公式集（MARG-MU（（2））的结构和复杂度：在结构方面,胁MARG—MU（2）中的公式要么是F2^2,要么是某一文字在其中仅出现一次的公式;在复杂度方面,如果MARG-MU（2）对（1,＊）-消解封闭,则某个含有,1个变元和n＋2个子旬的公式是否为MARG-MU（2）中的公式的问题可以在时间O（n^3）内被判定。     

MU(1)内公式改名的多项式可判定性

研究判定合取范式公式F和H之间是否存在一个改名φ使得φ(F)＝H的计算复杂性。公式的改名是将命题变元映到变元本身或变无的否定的一个映射，对于极小不可满足公式的子类射MU／(1)中的公式，我们证明了其改名判定问题在多项式时间内是可判定的。     

θ-粗模糊集

摘要：提出粗模糊集的θ-包含等价类的概念，给出变精度粗模糊集的一种新定义形式θ-粗模糊集，讨论了θ-粗模糊集的结构及其性质，证明了θ-粗模糊集的截集和模糊集截集的θ-粗集是等价的.     

随机变量的函数相关性

引入了“曲线分布密度函数”的定义;给出了由边缘密度及两个随机变量间的函数式表示曲线分布的解析表达式;研究了曲线分布密度的简单性质及由它求两个随机变量间的函数式和边缘密度的公式;对有一般函数关系的两个随机变量,推导出条件分布函数、条件分布列及条件数学期望的分析式。     

MAX+(k)中公式改名的多项式时间可判定性

MAX^ (k)是极小不可满足公式的一个子类。作者引入了MAX^ (k)中公式的一种递归构造方法,基于分裂技术并通过证明MAX(1)中公式改名问题在多项式时间内可以判定。证明了MAX^ (k)中公式的改名问题在多项式时间内可以判定。     

非确定型有穷自动机的极小化

利用自动机状态集上的等价关系对自动机的状态集进行极小化, 从而得到与原自动机功能等价的极小化自动机. 通过两台确定型有穷自动机（DFA）的连接, 构造一台非确定型有穷自动机（NFA）. 利用这两台确定型有穷自动机状态集上的等价关系, 可以构造这台非确定型有穷自动机状态集上的等价关系, 从而对这台非确定型有穷自动机进行极小化. 结果表明这台非确定型有穷自动机的极小化自动机的状态复杂 度, 不大于对那两台确定型有穷自动机的极小化自动机进行连接得到的非确定型有穷自动机的状态复杂度; 并且自动机在等价关系基础上进行极小化时不改变识别语言.     

UNITY逻辑中关于unless的若干结果

本文的工作主要分为两部分．首先，我们把验证ｐｕｎｌｅｓｓｑ是否是ＵＮＩＴＹ逻辑的定理转化为一阶定理的验证．其次，设ｐ１ｕｎｌｅｓｓｑ１，…，ｐｎｕｎｌｅｓｓｑｎ在一ＵＮＩＴＹ程序Ｆ中成立．我们把验证ｐｕｎｌｅｓｑ在Ｆ中成立是否可由以上ｎ个性质得出转化为强推出的验证，其中强推出是本文引进的新概念．     

有限极小集

本文讨论了完备格上有限极小集和可分子生成的格的性质,证明了可分子生成的格范畴与Sober拓扑空间范畴的反范畴的等价性;在此基础上给出了完全分配格的一族刻划.     

基于信息熵的城市道路可变信息板布点方法

针对城市道路环境下可变信息板单点选址与设计问题,对交通标志视认过程进行了分析,从可变信息板视认时间与布设环境两个方面对现有布设方法进行了改进.通过引入可变信息板信息量-视认时间模型,建立了城市环境下可变信息板前置距离模型和最小字体模型.该模型可以确保驾驶员有充分的时间接受可变信息板发布的诱导信息,并在接受信息后有充分的反应距离.此外,还给出建成可变信息板的评价方法和可变信息板前置距离与字体高度的推荐值.     

图之极小顶点覆盖

图的一个顶点覆盖被称为极小的假如其任何真子集不再是该图的一顶点覆盖，本文证明了某些图之所有极小顶点覆盖的个数的明确表达式，其中包括路径，梯形图，及线性ｎ部图。     

弱(下)鞅的最小值不等式

根据弱(下)鞅的性质, 利用凸函数和示性函数的性质, 在凸函数g(·)的左导数h(·)和某些示性函数的乘积是一个非负且关于分量不减的函数情形下, 给出一类弱(下)鞅的最小值不等式.     

一类二阶变系数齐次线性微分方程的通解

通过变量代换,将一类二阶变系数齐次线性微分方程化为常系数线性微分方程,并求出在不同条件下的通解公式．     

状态变权的一些性质与某些构造问题

给出状态变权简化的等价条件,讨论状态变权的性质,给出若干由已知状态变权构造新状态变权的方法,证明了所有m维状态变权构成的集合关于加法、Hardarmard乘积、取大、取小运算都构成半群,并从等效性的角度讨论了新状态变权与原来状态变权的关系.     

A heuristic method for temporal analysis based on petri net

Reachability-based analysis and temporal analysis are used to verify the properties of concurrent systems, and it is important to exploit fast and efficient methods. This paper gives semantics of temporal formulae with edges of the transition system of Petri net, and then presents a fast temporal analyzing method, which takes advantage of both Petri net and temporal logic. The method only expands a path of equivalence trace while the path does not satisfy a property according to trace semantics of Petri net, and can validate directly the property on Petri net. Moreover, we exploit a minimal degree of in-out of a node as heuristics to select a path of an equivalence trace. Finally, we demonstrate the validity of the method that decreases state spaces and improves the verification system with the experimental results. Foundation item: Supported by the National Natural Science, Foundation of China (90104005, 66973034) Biography: Fu Jian-ming (1969-) male, Ph.D, research interest: high-speed information network and system safety.