排序方式: 共有48条查询结果,搜索用时 866 毫秒
2.
针对扩展命题区间时序逻辑由于缺少验证算法因而不能用于模型检测问题,提出该逻辑的可满足性判定算法.首先,正则形子算法把带星算子或不带星算子的扩展命题区间时序逻辑公式翻译为其正则形公式;然后,正则图子算法根据正则形公式构造公式的正则图模型;最后,判定子算法在正则图上判定公式的可满足性.如果在正则图上直接加上接受条件,即可得... 相似文献
3.
1公司概况 法尔胜集团公司(原江苏钢绳集团公司),前身是江阴钢绳厂,系国有大(一)型企业,国家火炬计划重点高新技术企业,国家520家重点企业之一,全国金属制品行业中唯一的国家一级企业,公司以上市公司——江苏法尔胜股份有限公司为控股核心,拥有全资、控股和参股企业40多家,2004年完成销售收入53.8亿元、营业收入65.8亿元,实现利润总额3.33亿元、利税5.5亿元,出口创汇1.05亿美元。 相似文献
4.
传统的ERP软件是基于C/S结构的,难以扩展,可重用性差。本文通过MVC设计模式,给出银鸽造纸企业ERP软件的一种设计解决方案,该方案能够简化软件开发过程,提高软件的性能和可维护性,避免了开发者和设计者的重复投资,对其它ERP软件的开发设计具有借鉴作用。 相似文献
5.
非结构化P2P网络主要采用基于Flooding机制的消息传播方式,这种方式带来大量的冗余消息。研究表明,冗余消息的产生主要是由洪泛的最后几跳产生。针对这种现象,给出了消息的一步传播算法,通过对响应时间、节点命中率和冗余消息的产生这三个关键指标的分析,发现一步传播算法有效地抑制了冗余消息的产生,改进了非结构化P2P网络的性能。 相似文献
6.
动态异构冗余结构是拟态防御技术的常用工程模型.然而,目前尚缺乏对该结构实施形式化分析的手段,因为该结构缺乏形式化建模方法.针对此问题,使用有穷状态自动机及其并行组合自动机为一些拟态攻防行为建立计算模型.首先,使用单个有穷状态自动机为单个执行体建模;其次,使用有穷状态自动机的并行组合为执行体组合建模;再次,修改状态迁移规则,得到可描述攻防行为的拟态防御自动机模型;最后,根据该自动机模型的状态条件,分析动态异构冗余结构上拟态攻防行为的安全性.此外,也可使用交替自动机为拟态攻防建模,并把安全性自动分析规约为交替自动机模型检测问题. 相似文献
7.
8.
国内弹簧钢丝需求现状及发展趋势简析 总被引:2,自引:2,他引:0
介绍国内弹簧钢丝种类、供求状况、存在的问题及其原因。就弹簧钢丝的发展趋势提出自己的观点:技术含量高的重要用途油淬火回火钢丝和不锈钢弹簧钢丝是弹簧钢丝研究和发展的方向 相似文献
9.
10.
分析美国、法国、英国、日本、中国的桥梁缆索用钢丝标准及规范。ASTM A421/A421M主要用于预应力制品行业两边镦头或者安装夹片的钢丝和钢绞线,对钢丝的抗腐蚀性能、抗疲劳性能要求较高。NFA-35-035涵盖公称直径分别为5,6,7 mm的斜拉桥和悬索桥用热镀锌及锌铝合金镀层钢丝,可直接应用于桥梁缆索用钢丝的制作、验收和检验。DRAFT pr EN 10337包括热镀锌钢丝和铝质量分数为5%的锌铝合金镀层钢丝,并按照强度、镀层对钢丝牌号进行了规定。HBS G3508—1989对钢丝的关键技术指标进行了详细的规定和要求,但权威性不足。GB/T 17101—2008将直径为5 mm钢丝的强度提高到1 860 MPa。提出随着大批国际大型悬索桥和斜拉桥的规划和建设,迫切需要一份适用于国际桥梁缆索用钢丝的产品和技术标准。 相似文献