分析离散事件系统的新方法

本文用图论的方法构造出适宜用自动机建模的离散事件系统的布尔矩阵，通过对布尔矩阵的运算，既可得出系统可达状态集与转移的最短路径，为藉此设计最优监控器打下基础。     

Formal Verification under Unknown Constraints

We present a formal method of verifying designs with unknown constraints (e, g. , black boxes) using Boolean satisfiability (SAT). This method is based on a new encoding scheme of unknown constraints, and solves the corresponding conjunctive normal form (CNF) formulas. Furthermore, this method can avoid the potential memory explosion, which the binary decision diagram (BI)I)) based techniques maybe suffer from, thus it has the capacity of verifying large designs. Experimental results demonstrate the efficiency and feasibility of the proposed method.     

供应链风险管理研究进展的综述与分析

随着供应链中断事件的频繁发生及其严重后果，供应链风险管理目前成为供应链研究的一个重要方向，文章评迷了供应链在风险识别、风险评估和风险管理过程的国内外研究成果，指出应加强对供应链网络风险的识别研究，定量化的风险评估研究，动态环境下具有反馈机制的风险管理过程研究等，最后给出了未来的研究展望。     

环的广义幂级数扩张的若干性质

研究环R的以严格偏序么半群S为指数集的广义幂级数扩张[[RS,≤]].讨论R为c-可换环、R为p-环时,广义幂级数环[[RS,≤]]具有的性质.指出商理想(I:J)的扩张[[(I:J)S,≤]]与扩张的商理想([[IS,≤]]:[[JS,≤]])之间的关系.     

野战防空阵地总体布局方案模糊综合评判

根据未来我军防卫作战的需要，研究了影响野战防空阵地总体布局的因素，利用层次分析法对野战防空阵地总体布局方案进行模糊评判，得出影响野战防空阵地总体布局各因素的权重，从而对野战防空阵地的总体布局进行优化。     

关于线有向图幂敛指数的一个注记

采用布尔矩阵，得到了线有向幂敛指数的一些结果。     

塑料排水板加固软土地基施工工艺改进的工程实践

探讨了塑料排水板加固软土地基施工工艺的改进方法。其方法在工程实践中降低了成本达到了图纸设计的要求。     

热带森林不同生长时期的小气候特征

利用西双版纳热带森林生长循环过程不同时期（林窗期、建群期、成熟期）干热季小气候观测资料，探讨了热带森林不同时期森林群落的小气候特征。结果表明，在干热季，不同森林群落的小气候与旷地存在显差异，森林具有显的降温增湿效应。由于不同生长时期森林的生物群落结构不同以及郁闭度和热力性质等的差异，导致不同森林群落的降温增湿作用不尽相同，各小气候要素随时间变化状况也存在差异，这将对不同生长时期森林群落的植物生长、发育等产生影响。     

公路网规划方案综合评价方法

公路网规划方案评价是多层次、多目标的评价体系 ,应当从技术、经济、社会以及环境多方面进行定性、定量的综合评价。文章提供一种综合评价方法 ,即以二级模糊综合评判为框架 ,采用层次分析法 ( AHP)确定方案影响因素及子因素的权重 ,结合模糊决策中的无条件模糊优越集合理论建立模型。用此模型对某市公路网规划方案进行综合评价分析 ,取得了较好的效果。     

可拆卸性评价

分析了拆卸性的评价指标,给出了一个系统的指标体系、各指标的评分标准和可拆卸评价方法,并用模糊层次分析法来确定指标的权重,避免了层次分析法中较难解决的一致性判断问题。通过一个实例说明产品或零部件可拆卸性评价方法的具体应用,比较系统全面地实现了对可拆卸性的评价,而且可以指导设计者对结构等进行修改。