基于ExSpect的复杂离散事件动态系统建模

随着petri理论与应用研究的不断发展，petri网已经成为离散事件动态系统建模和分析的有力工具。采用petri网对复杂离散事件动态系统进行建模和分析，没有一套科学的建模方法指导和有力的软件支持是不可能实现的。介绍了基于Petri网的可执行的规格说明语言Exspect及其软件，提出了基于Exspect的复杂离散事件动态系统建模的方法，并进行了实例研究。     

基于信息量的不完备信息系统属性约简

通过引入信息量和条件信息量,对不完备信息系统中属性的重要性进行了定义;针对不完备数据表和不完备决策表提出了一种基于信息量和条件信息量的属性约简启发式算法,该算法的时间复杂度是多项式的.通过实例说明,该算法能得到信息表的约简和决策表的相对约简.     

沁水盆地构造-热演化史的裂变径迹证据

根据沁水盆地锆石裂变径迹、磷灰石裂变径迹分析结果，结合构造变动、岩浆活动及其它古地温温标等分析资料的综合研究，认为沁水盆地在古生代-中生代中期，沁水盆地地温梯度较低．中生代晚期地温梯度高，在盆地中部可达5.56℃/100 m，在盆地南北两端地温梯度可达8.00℃/100 m以上，表明沁水盆地存在异常地温场，发生过一期强烈的构造热事件．构造热事件发生在110～140 Ma之间，主峰值在120～140Ma之间．构造热事件发生受岩石圈深部热活动性增强及岩浆侵入的控制．沁水盆地石炭-二叠系煤层热演化程度主要受中生代晚期异常地温场控制．磷灰石裂变径迹资料记录了26.2～11.5 Ma前的一次快速抬升冷却事件，盆地抬升冷却具有南、北部抬升冷却早，中部抬升冷却晚的特点．石炭-二叠纪地层在50 Ma以前处于完全退火带，古地温大于125℃，50 Ma以来尤其是渐新世—中新世以来才大规模快速抬升冷却，石炭-二叠纪地层抬升退出了退火带(70～125℃)，处于低温环境．中生代晚期构造热事件控制了沁水盆地石炭-二叠系煤层的生烃高峰期，生烃高峰期在晚侏罗世～早白垩世，新生代渐新世—中新世以来发生大规模抬升冷却，地层温度降低，石炭-二叠系煤层生烃过程停止．     

退化图片的图像增强方法研究

采用直方图均衡和灰度匹配变换的图像增强方法对退化图片细节进行了增强处理，在灰度匹配变换中分别采用单映射（SML）规则和组映射规则（GML），并对它们的特点进行了比较分析．实验结果表明，用SML和GML能更好地增强细节．特别是GML能有效减小其匹配后的直方图与匹配函数之间的误差．     

完备非紧流形上的射线与Busemann函数

讨论了完备非紧正则黎曼流形上的Busemann函数间的关系，并用于讨论流形的几何拓扑性质．     

下一代互联网中的智能QoS组播路由算法

设计了一种下一代互联网中的智能QoS组播路由算法,给定一个QoS组播请求和柔性QoS需求,包括带宽需求、组播端到端延迟区间,延迟抖动区间和出错率区间,寻找一棵QoS组播路由树.提出一种基于演化算法和单纯形算法的混合算法来构造满足上述需求且费用近优QoS柔性组播路由树,兼顾网络负载均衡.仿真结果表明,该算法是可行和有效的,明显优于基于传统遗传算法的QoS组播路由算法.     

完备凸度量空间中Ishikawa迭代序列强收敛到两个映射的公共不动点定理

在完备凸度量空间(X,ρ)中,设S、T是满足条件(A)或(B)的闭凸子集上的两个自映射,从两方面研究了映射S、T的公共不动点问题:1.如果映射S、T生成的Ishikawa迭代序列强收敛,则收敛点为S、T的公共不动点;2.如果S、T的公共不动点非空,则映射S、T生成的Ishikawa迭代序列强收敛到S、T的公共不动点.结论改善并推广了部分作者的相关结果[1~5],[7~8].     

基于超级立方体结构的可靠组播差错控制研究

通过对可靠组播网络的差错控制的研究，提出了一种基于超级立方体拓扑结构的局部前向纠错(FEC)可靠差错控制机制，把网关路由器构成一个n维超级立方体结构，并将相关节点定义成局部恢复单元LRU，在源链路和尾链路分别采用局部前向纠错FEC和否定确认抑制的恢复方法，有效地解决了多点组播中出现的否定应答拥塞等问题，在一定程度上减少了网络延迟，提高了网络带宽利用率．     

霍林河盆地煤层气储量及有利勘控区预测

针对霍林河盆地良好的地质特征,为发展煤层气资源预测分析.指出煤的镜质组反射率多在0.5%～0.6%之间,煤质含气量最高为7.7 m/t.煤质中煤层气含量以及煤层气中甲烷含量随深度加大而迅速增加.400 m以下为甲烷带,400m以上为甲烷-氮气带.并对含气量进行了预测,500m以下煤层气含量约3.0～7.7m3/t煤计,霍林河盆地煤层气远景储量在268.5×108～689.2×108m3之间.同时,指出了有利于煤层气形成和勘探的有利地段,9-73孔,21-11孔附近地区为最有利煤层气勘探区.     

组合数丢番图方程[2x]=[4y]的正解

运用递推序列法，给出组合数丢番图方程[x2]=[y4]的一个初等解法．