论文部分内容阅读
在研究固定内存和状态管理的基础上,提出了一种新的模型检测方法,使得在任何计算机上都能对任意规模的并发系统进行模型检测。
基于固定内存和状态管理的模型检测方法
【摘 要】
：
在研究固定内存和状态管理的基础上,提出了一种新的模型检测方法,使得在任何计算机上都能对任意规模的并发系统进行模型检测。
【机 构】
：
电子科技大学计算机科学与工程学院,清华大学软件学院
【出 处】
：
计算机应用研究
【发表日期】
：
2011年06期
其他文献
日前意大利KOSME公司（意大利科时敏公司）总裁Adelelmo Lovatti先生对外宣布，自2008年9月起该公司在中国市场的业务，已由克朗斯（中国）全权负责。
针对异构无线系统垂直切换需要综合考虑多种因素的特点,提出了一种改进的垂直切换方案。该方案首先考虑网络费用,对原方案的代价函数进行改进;然后根据电池电量,分别采用不同的切换方法;最后将切换语音呼叫留在原网络,以达到减小频繁切换的目的。仿真结果表明,本方案较原方案很好地减小了系统阻塞率、平均切换次数和平均通话费用,有效提高了系统性能,具有现实意义。
上世纪80年代，中日双方合作共建的无锡古运河饮料工厂，为国产饮料灌装生产线的制造和使用提供了一个窗口和试验基地，对国产设备的制造和改进起到了积极的推动作用。
主要研究蜂窝环上的全广播路由算法。第一个全广播算法的设计思路是找到一条通过所有节点的路径,关键是确定边界上的一些特殊节点;第二个全广播算法应用了蜂窝环的哈密尔顿性
为了改进NSGAⅡ算法中存在的分布性等不理想问题,在NSGAⅡ的基础上提出了基于文化的多目标协同进化算法。该算法提出评测信念空间多样性的指标,从信念空间中提取知识,利用知识来指导种群的进化;提出知识假说集,以现有知识为基础产生新知识,加强局部搜索,加速算法收敛。仿真实验表明该算法较NSGAⅡ在收敛性及分布性方面均有明显提高。
2008年12月18日，国内啤酒巨头华润雪花斥资6．5亿元，在上海开建年产能40万千升的啤酒项目。新工厂位于宝山工业园，占地面积19万平方米，总建筑面积16万平方米，建成后年生产能力可达40
针对现有密钥协商协议没有考虑Ad hoc认知无线电网络多信道这一缺陷,提出一种多信道密钥协商协议(multi channels key agreement protocol,MCKAP),通过建立多重图和替换广播操作减少信道冲突,优化协商路径提高共享密钥协商效率,利用信道属性为节点间选择合理位置,避免主用户干扰。该方案能有效地利用多信道提高共享密钥协商效率。最后通过理论分析和仿真实验证明该协议适用
提出了一种蔡氏电路方程的数字电路实现方法。利用欧拉、改进型欧拉和四阶龙格—库塔算法进行离散化近似处理,分别得到了一般混沌系统的离散迭代模型,由此导出了蔡氏电路方程在不同近似精度下的离散迭代模型。基于微控制器实现的混沌系统嵌入式数字集成平台,生成了所期望的蔡氏混沌信号,并比较了基于不同算法的蔡氏电路方程的数字电路实现性能。数值仿真和数字电路实验结果与蔡氏混沌电路结果一致,验证了本数字电路实现方法的可
3月20日，绍兴市重大工业项目集中开工仪式在袍江新区中纺院凯泰特种纤维科技公司项目现场举行，此次开工项目中包括古越龙山公司黄酒产业园区的一期工程一古越龙山玻璃瓶厂建设