形式化B方法和UML的结合

形式化B方法和UML存在很大的互补性,二者的结合研究对提高软件的可靠性有着非常重要的意义,文章通过从UML类图到B抽象机器的转换给出了一个UML和B方法结合的方法。     

建筑工程项目管理方法研究

建筑工程项目施工管理是建筑施工企业根据经营发展战略和企业内外条件,按照现代企业运行规律,通过生产诸要素的优化配置和动态管理,以实现工程项目的合同目标、工程经济效益和社会效益。本文通过分析建筑工程项目施工管理存在的问题,阐述了项目施工管理的方法和思想,提出了项目管理的原则和方案。     

齿轮系统非线性动力学研究进展及展望

基于非线性系统的分析方法，综述了齿轮系统的非线性动力学研究概况，包括基于解析方法，数值方法，实验方法，以及考虑齿面摩擦和齿面故障的齿轮系统的非线性动力学研究。最后指出了若干可能的研究热点和方向，如带故障的齿轮系统非线性动力学行为研究，齿轮系统的振动控制研究，以及齿轮系统非线性动力学中的反问题研究等。     

计算流体力学中的LBGK方法

用全新的方法重新检讨了格子波尔兹曼方法，清晰地揭示了速度族的选择，平衡态分布函数的形式和宏观N－S方程三者之间的关系，从而为推广这一方法提供了基础。     

公路旧桥加固与管理

桥梁是公路运输交通的咽喉要道,其质量的安全性和耐久性对整个线路的顺利运行产生重要的影响,由于以前的设计及施工标准和材料的限制等因素的影响,公路旧桥不利于我国公路交通运输的进步发展,又由于无法满足高速增长的运输量需求,因此对公路旧桥加固改造就显得势在必行。文章就公路旧桥的加固与管理工作进行简单的分析和探讨。     

实践性法学教育方法初探

长期以来我国法学教育一直沿袭大陆法系的法学教育的传统,法学教学方法与实践严重脱节.应改进法学教育方法,采用实践性法学教育方法.     

A Heuristic Method of Scalar Multiplication of Elliptic Curve over OEF

Introduction Recently,ellipticcurvecryptosystemshave beenthefocusofmuchattention,sincetheypro-videmanyadvantages,forexample,ashortkey lengthandfastcomputationspeed.Inparticular,theuseofoptimalextensionfield(OEF)[1]for softwareimplementationhasdeterminedthatanel-lipticcurvecryptosystemisfasterthanapublickey cryptosystembasedonmodularexponentiations.Especially,N.P.Smartcompareddiffierentfinite fieldsforellipticcurvecryptosystemsandconclud-edthatOEFsgivegreaterperformance[2].Thealgorithmsfora…     

流线型不锈钢机柜工艺设计的研究

根据目前国内外机柜的设计、加工方法的主要特点，将流线型机柜方案的设计方法和加工方法概括为简单成型弯曲法、模具冲压法、分块拼焊补丝法、结构拓展连接法、种钉螺栓联接法五种类型。指出五种方法的特点及其相互间的有机结合，提出产品设计方案和加工方法的发展方向。     

谈传统的汽车电器的故障诊断方法如何区别于现代汽车电器的故障诊断

如何正确诊断现代汽车电器故障,采用的方法与传统汽车电器检测方法的区别。     

Assessment of Quality of Service of Virtual Knowledge Communities

An assessment method for the quality of service (QoS) of virtual knowledge communities (VKC) is proposed based on fuzzy theory and analytic hierarchy process (AHP). The QoS is evaluated in terms of Website design, reliability, responsiveness, trust,personalization, and information quality. The cognitive QoS and the QoS evaluated by assessors are compared to analyze which QoS of the VKC should be improved urgently and which indicators keep leading positions, and to assist administrators of the VKC on measuring and understanding current status and implementation effect of the QoS.     

公路工程中高边坡变形的勘察与设计方法

针对公路高边坡变形勘察和设计,在明确其基本要求的基础上,围绕各项高边坡自稳性影响因素,提出了有效的勘察与设计方法。     

A Secure Session Key Distribution Scheme for Group Communications

Introduction Inrecentyears,groupcommunicationshave becomethefocusofresearchandapplicationsde-velopment[1-4].Usingminimumresources,wecan employbroadcasttechniquescanbeemployedto transmitdatatoallngroupmemberssimultane-ously.Themajorsecuritychallengeforgroupcom-municationistoprovideefficientmethodsforcon-trollingauthorizedaccess.Anefficientmethodoflimitingaccessto broadcastmessagesisthroughasymmetricencryp-tion.Asymmetricencryptionusestransposition andsubstitutionskillstoprocesstheoriginalmes-s…     

Trusted Anomaly Detection with Context Dependency

Introduction Privilegedprocessesareoftencommonattack targetsbecausetheseprocessesthatprovidesys-temservicesandresourcesexecutewithspecial privileges.Infact,thetracesofsystemcallsexe-cutedbytheprivilegedprocessesaretheordered sequenceinUNIXoperatingsystem.Becausethe tracesofsystemcallsexecutedbythetheseprivi-legedprocessesputupbetterstabilityunderthe conditionofnormaloperationstheyareconsidered asbetterauditdatasourceascomparedwithsys-temaudittrails,systemlogsandapplicationlogs.Consequently,a…     

Improved ID-Based Signature Scheme Solving Key Escrow

Introduction Inatraditionalpublickeycryptosystem(PKC),theassociationbetweenauser'sidentity andhispublickeyisobtainedthroughadigitalcer-tificateissuedbyacertificationauthority(CA).TheCAchecksthecredentialsofauserbeforeis-suingacertificatetohim.Tosimplifythecertifi-catemanagementprocess,Shamir[1]introducedthe conceptofID-basedcryptosystemin1984,which allowedforauser'sidentityinformationsuchas hisname,IPaddress,telephonenumber,email address,etc.toserveashispublickey.Sucha publickeyisclearlyb…     

Lattice reduction aided MMSE Tomlinson-Harashima precoding based on VBLAST algorithm for MIMO systems

A lattice reduction aided （LRA） minimum mean square error （MMSE） Tomlinson-Harashima precoding （THP） was proposed based on vertical Bell Labs layered space time （VBLAST） algorithm for multiple input multiple output （MIMO） systems. The extended channel was used to provide optimal tradeoff between residual interference and noise amplification. The processing based on lattice reduction method helps achieve maximal diversity order. The VBLAST algorithm was applied to get the optimal processing ordering for successive interference cancellation （SIC） at transmitter. Simulation results show that the proposed algorithm outperforms conventional THP and the LRA zero-forcing （ZF） THP with full diversity order.     

路基压实效果评价方法研究

阐述了目前评价路基压实效果的几种方法,介绍了实时评价压实效果的新型装置及其工作原理,试验结果表明,采用新型装置评价压实效果,可实现更好的路基施工压实效果控制.     

GTM方法设计重载交通沥青混合料配合比的研究

通过研究不同击实次数下马歇尔试件体积指标的变化以及对比马歇尔方法与GTM方法设计的沥青混合料的性能．试验数据表明,GTM设计方法更适合于重栽交通沥青路面沥青混合料配合比的设计。     

适应汽车工业特点的AutoCAD系统二次开发

本文介绍了AutoCAD系统在汽车行业实际应用中作二次开发所涉及的范围,开发的重点、难点及实现方法。