基于混成自动机的CPS行为建模与属性验证

系统实时性、安全性和可靠性等非功能属性是信息物理系统在诸多领域应用的关键因素。论文在分析CPS模型构建与分析验证中面临的挑战的基础上,提出了一种CPS行为建模与属性验证方法。该方法首先基于混成自动机对CPS的行为进行建模,然后将此模型转换为混合程序模型,最后在定理证明器KeYmaera中对HP模型的属性进行形式化验证。文中论述了行为模型描述语言的结构,建立了混成自动机模型与HP模型之间的转换规则,分析了模型转换的一致性。应用实例表明:该方法既能简单直观地描述CPS动态行为,又能对CPS的属性进行严格的形式化验证,且有效避免了形式化验证中的状态空间爆炸问题。     

一种用于室内定位的线性规划算法

针对基于ToA定位中存在的信标节点较少和发送时间不能提前预知的问题,提出了一种新的应用于无线传感网络室内定位的线性规划算法.通过考虑测量值的最小平均绝对值误差,利用线性逼近方法,将一个复杂的、非凸的室内定位问题转换为一个简单的线性规划问题,并用迭代求精的方法求出最优解.仿真结果表明,提出算法计算复杂度低,收敛速度快,可以快速地求出未知节点的坐标;通过和已有的定位算法相比,提出算法在信标节点较少的情况下,仍能保持很好的定位精度,利用较少的节点资源达到比已有算法更好的定位性能.     

扩展访问控制模型BSRBAC的研究

针对RBAC96模型实际应用中权限控制的不足,提出了一种基于部门和业务权限的控制模型BSRBAC.引入权限特征值概念,通过权限特征值实现公有、私有、部门和业务权限的划分.引入角色间多重继承及继承时权限重载的概念,解决多重继承时角色权限交叉、权限无限大及权限冲突的问题,实现角色权限的动态获取,解决了继承中部门权限与业务权限相互交叉的问题.     

数控铣床图形自动编程系统设计中DXF文件图元信息读取技术研究

基于autoCAD数控铣床图形自动编程系统设计中,各功能模块分别完成将DXF文件中各图元信息读入双向链表、数据排序组环、工艺设置、后处理生成数控加工程序。本文利用Visual C 6.0语言设计一个比较完整的DXF文件的接口程序读取各图元信息。在读取模块设计中、本文定义了双向链表结点复合结构体类型。在存储非均匀B样条曲线结构体成员中使用STL类库中list列表容器存储其控制顶点、节点坐标等。简化了读取模块设计。利用迭代和访问方法、可变序列算法和不可变序列算法对列表容器中的元素进行正反迭代指向返回元素个数、查找等操作。可简化后置处理程序设计。     

一个新Smarandache可乘函数均值

对任意正整数n,可乘函数F(n)定义为F(1)=1,当n>1且n的标准分解式为n=pα11pα22…pαrr时,F(n)=min1≤i≤k1αi+1.用解析方法研究了这个Smarandache可乘函数的均值性质,并用解析方法得到了其均值的一个渐近公式.     

徐深气田气层压裂后压井液密度选取方法及应用

随着近年来深层试气测试工作量逐年增多,压井工程的工程量也同步增长.压井液密度如何选取是压井工程的关键环节.压井液密度过高导致了压井液漏失率高及用量大,由此带来高的压井成本.压井液密度过低给井控安全带来隐患,甚至发生井喷失控事故.为了合理地选取压井液密度,进行了深层压裂后压井液漏失率规律及影响因素分析试验,在试验基础上建立了压裂后气层压井液密度选取方法,充分考虑了地层原始压力系数、压力附加系数、压力衰竭程度和目前井口压力等因素.现场应用结果表明深层压裂后气层压井液密度选取方法适合于徐深气田的实际,有效地降低了压井液漏失率,减少了压井液用量,减轻了对气层的污染,可在徐深气田勘探、开发中普遍应用.     

MM4模式和陕西春季降水模拟试验

介绍了有限区域的中尺度数值模拟ＭＭ４的结构,物理过程等,用ＭＭ４模式对陕西省春季透雨和暴雨过程进行模拟试验,证明了ＭＭ４模式在陕西春季大降水预报中的可用性。     

三氧化二钕催化合成尼泊金丁酯

研究了以三氧化二钕作固体催化剂合成尼泊金丁酯,通过正交实验讨论了影响催化酯化反应的各种因素,确定了该酯化反应最佳条件。催化剂用量仅为尼泊金酯重量的５％ ,醇酸摩尔比为４∶１,反应时间为４ｈ,温度为１２℃,酯收率达８１２％     

阳极焙烧温度模型的辨识

阳极焙烧温度系统是一个含有耦合、大时滞、非线性的多变量系统。为实现对阳极焙烧温度的精确控制,依据现场采集的大量温度数据,采用PSO方法,辨识出阳极焙烧炉温度的二阶惯性滞后控制模型,并与实际温度输出进行比较,验证了模型的有效性,为阳极焙烧温度的精确控制创造了前提条件。     

一类收敛级数的余项估值的方法

在D'Alembert和Cauchy判别法基础上,用初等方法推出收敛级数的两个余项估值公式,从而给出了一类收敛级数的余项估值的方法.