线性混合系统符号模型验证中的参数分析方法

说明了ＨＹＴＥＣＨ工具中采用的参数分析方法对系统描述能力的限制，提出了分离参数变量和系统状态变量的符号模型检查算法，并对用ＨＹＴＥＣＨ不能分析的Ｆｉｓｃｈｅｒ互斥算法的时钟偏移的界进行了分析。     

用划分序列构造时序机核实序列的方法

任何既约的、强联结的时序机 ,必存在核实序列 .若该机存在区分序列 ,构造其核实序列的方法已经形成 ;但是 ,若该机不存在区分序列 ,需寻求构造其核实序列的方法 .作者从时序机的状态表出发 ,定义了划分序列 ,并针对无区分序列的时序机 ,提出了利用划分序列构造时序机核实序列的一种方法 .该方法中求划分序列部分建立在时序机的矩阵模型上 ,易于工程实现     

天然砂砾路基压实度的检测方法

结合工程实例,详细介绍天然砂砾在高等级公路工程中路基压实度的检测方法。     

从本科毕业论文查重结果看大学生信息素养教育

以桂林电子科技大学的794份送检毕业论文为样本,对当前大学生信息素养现状进行了调查分析,阐述了图书馆在提高大学生信息素养过程中所发挥的作用.     

专业技术人员考评的一种新的定量化方法

在现行专业技术人员考评方案量化分析不足的基础上,优化与细化考核指标体系;引入处理模糊不确定问题的新方法———集对分析原理,建立数学模型,进行量化考核。使定性考评定量化,精细化、明朗化,提高考评工作的可操作性与科学合理性。     

FUZZY综合评判法预测程序及其应用实例

本文介绍了笔者编调的FUZZY综合评判法计算机程序的设计原理,使用方法及在油气富集预测,华北平原夏季旱涝趋势预报等实例中的应用概况。从对实例的研究结果看,回报率均在90％以上。     

两汉督邮新论

两汉督邮主巡查属县、检核非违,对当时的地方吏治和社会秩序都产生了深远的影响。监察权力是督邮权力的核心内容。而督邮与郡守在人事及权力分配上的特殊关系则使其最终走向了自己的反面。     

太钢赵庄宿舍区供水管网检漏专题报告

依据科学有效的实施方案，运用先进的探测手段及检测方法，对太钢赵庄宿舍区8km给水管网进行数据分析、现场巡查、仪器探测，解决了太钢赵庄宿舍区跑水严重的问题．并为给排水管网设计与施工提出了合理性意见与建议。     

产品MBD数据集三维标注的自动校验与实现

针对目前商用CAD软件中MBD功能三维标注缺乏正确性校验问题,基于OpenCASCADE几何造型内核研究了三维尺寸标注与标注有效性检查的问题.通过提取被标注对象的几何特征,结合信息标注规则,判断用户标注内容与标注对象间的匹配性,进而判断标注的正确性,增加了系统三维尺寸标注的智能性.设计了分层数据结构存储标注信息,并将标注信息与形体要素相关联,避免了三维标注中重复标注的现象,也为后续的产品虚拟装配、加工制造以及产品服役中产品语义信息的自动化提取提供可能.将标注信息以XML格式储存,便于信息的传输和访问,为进一步研究产品的数字孪生技术打下良好的基础.     

对改进党校计算机教学的几点思考

丰富课堂教学形式、加强上机操作的指导、做好考核工作和增加网络知识教学环 节是改进党校计算机教学工作的重要途径。