简介：在软硬件系统的模型检验中经常需要检测系统模型和规约模型的行为之间的包含关系．为提高模型检验技术的自动化程度，提出一种针对有限状态机的仿真检验方法．首先在有限状态系统的基础上，提出系统及其外部行为的概念，然后定义了系统间的仿真关系，之后结合不动点定理，设计了和仿真关系定义相似的FP算子，这就把两个系统外部行为之间的包含关系转化为通过FP寻找组合系统间的最大不动点．如最大不动点存在，称系统模型满足规约属性．最后，通过等价关系给出一种对于无限状态系统转换成有限状态系统的方法，使得该方法可同样应用于无限状态系统．实例显示，该方法能够很好地满足模型检验的要求．

简介：<正>一、问题的提出《中华人民共和国合伙企业法》(简称《合伙企业法》)修订之后,将《合伙企业法》草案中原来的普通合伙、有限合伙和有限责任合伙三种形式,调整为普通合伙、有限合伙两种形式,有限责任合伙成为普通合伙的一种特殊形式,即特殊的普通合伙企业。合伙企业由单一形态演化成两种形态,即由普通合伙企业、有限合伙企业,应当说,符合世界主要国家相关立法的制度选择趋势。一方面,普通合伙企业是最经常的划分,其特点是合伙人共同执行合伙事务,并对合伙企业债务承

简介：进入20世纪八、九十年代，随着贸易一体化、投资一体化发展至生产一体化，国际产业转移逐步深入至生产工序层面，主要在跨国公司全球一体化生产体系内部展开一种以产品价值链为纽带而形成的网络型国际产业转移模式逐步形成，表现为跨国公司将产品的研发、销售、核心部件生产等工序安排在发达国家，而将产品的主要零部件制造工序转移至应用技术方面存在竞争优势的新兴工业化国家，辅助零配件制造、组装等工序则转移至非熟练劳动力上具有竞争优势的发展中国家。这种工序型国际产业转移已构成了一个复杂的网络结构。

简介：针对弹子加压装置，采用ANSYS软件对弹子与弹子槽的接触状态进行了有限元仿真分析．有限元仿真计算结果与试验结果均表明：当载荷达到40kN时，最大接触变形可达40μm，弹子盘的最大接触应力为1．4GPa，弹子的最大接触应力为1．32GPa，均在弹性范围内．对于弹子与弹子盘的接触，采用经典的赫兹接触模型的计算结果与有限元仿真计算结果和实测结果存在较大的偏差，说明经典赫兹接触模型并不适用于弹子和弹子槽的接触分析，应对其进行修正．

简介：有限轶态机及其设计技术是实用数字系统设计中的重要组成部分，是实现高效率可靠逻辑控制的重要途径。

简介：在BBV（Barrat-Barthe1emy-Vespignani）模型的基础上加入节点强度有限限制，即节点强度不允许超过某一定值S，构造了节点强度有限的加权网络演化模型——LBBV模型。理论分析与仿真试验表明，对于3节点的全耦合网络，当S〈2mw0时，网络经有限步后演化结束，其结构为同质网络；当S≥2mw0时，LBBV模型的节点强度分布与网络的度分布都呈现幂律分布，并且幂律指数与BBV模型的幂律指数一致，只是相比BBV模型平移了某一常数；当S→∞时，LBBV模型退化为BBV模型。同时通过数值仿真还得到了在不同的S值下、不同规模网络演化后的节点强度分布与度分布都表现出幂律特征，而且幂律指数不随S变化。

简介：本文对触头断开状态时，触头间的电场强度进行有限元分析、计算、模拟触头间的电场分布。

简介：

简介：

简介：

简介：分析了中医隐性知识的特征以及中医隐性知识转移对实现中医传承的重要性，提出以网络研究范式进行中医隐性知识转移的研究，并从中医隐性知识转移网络的构建、资料收集、数据组织和量化分析等方面，探讨网络研究范式下中医隐性知识转移研究的步骤与内容。

简介：随着全球经济一体化进程的加快，网络在中国社会的各个领域正在得到广泛的应用，成为推动新经济发展的核心力量。作为全球网络界和应用方案的领导者，思科系统公司非常重视这一态势，及时进入中国市场，并先后在北京（1994年8月）、上海（1995年9月）、广州（1996年3月）和成都（1996年5月）设立了代表处。

简介：10月15日，新公司筹备组组长常小兵在中国联合网络通信有限公司（合并后上市公司的国内运营公司）挂牌仪式上宣布：中国网通红筹公司、中国联通红筹公司成功合并，中国联合网络通信有限公司正式成立。这标志着我国电信重组改革在资本市场层面的工作全部结束，中国有史以来最大的资产交易项目和企业并购项目顺利完成，我国电信业将进入新的发展时期。

简介：2016年8月8日上午，浙江省财政厅与阿里巴巴集团在杭州签署合作协议，并举行“浙江政采云网络有限公司”成立揭牌仪式，这标志着浙江省政府与阿里巴巴在云计算大数据领域合作的“政采云”平台项目正式启动。

简介：设A是一个每列至少有二个元素为1的不可约0,1方阵,(∑A,σA)为由A所决定的符号空间有限型子转移.在∑A上定义一个与其拓扑相容的度量d使得(∑A,d)的Hausdorff维数为1.若C是H1可测的σA的LiYorke混沌集,则H1(C)=0;若A是本原的,则存在一个σA的有限型混沌集S使得H1(S)=1,其中H1为1维的Hausdorff测度

简介：摘要利用LVQ神经网络的原理和方法，用于检测某机械设备减速机的工作状态。这里将减速机状态分为正常状态、轻微故障状态和严重故障状态3类。在LVQ神经网络理论下，对影响减速机工作状态的要素进行分析，得出在LVQ神经网络模型下的特征属性，再结合MATLAB工具对减速机的工作状态进行检测，检测结果与实际表现相吻合。实验证明这种基于LVQ网络的分类方法是行之有效的。

简介：6月20日．胡锦涛主席在人民网与网友进行在线聊天．标志着一度被视为“下里巴人”的网络民意正式登上大雅之堂．受到主流社会的日益重视。

简介：

简介：利用Markov状态转移模型捕捉金融资产收益率序列的非线性、动态的结构性变化，考虑不同市场状态下资金在地区板块、行业板块间流动导致的板块轮动效应，构建基于状态转移的跨地区、跨行业资产配置模型。在此基础上，对市场状态和地区、行业板块轮动效应对资产配置的影响进行细致分析。研究发现：中国股票市场存在明显的动态结构性变化，可以分为熊市状态和牛市状态，两种市场状态下最优资产配置结构不同。结果表明，状态转移框架下的跨地区和跨行业资产配置能够刻画非对称市场状态下资产的收益和风险特征，分散非系统性风险的同时降低市场风险，提高投资者的收益，可以为投资者决策提供有价值的参考。

简介：利用有限状态机实现嵌入式Linux的按键驱动;使用有限状态机来实现按键的抬起状态,按键的消抖状态,按键确认状态,按键“连发”状态之间的互相转换,从而更有效地利用MCU。利用Linux内核定时器实现按键的去抖动过程,按键的＂连发状态＂的时间定时,解决了每个状态转换时的时间间隔问题。