MPC850中复位逻辑和CPM协议切换的CPLD实现

介绍了用CPLD辅助设计方法在嵌入式系统中进行MPU复杂逻辑功能设计的总体方案。给出了通过对XC5144中复用控制寄存器进行配置以实现MPU复位逻辑和CPM协议切换的实现方案和设计要点。     

A robust critical path in an environment with hybrid uncertainty

In this article, we consider the project critical path problem in an environment with hybrid uncertainty. In this environment, the duration of activities are considered as random fuzzy variables that have probability and fuzzy natures, simultaneously. To obtain a robust critical path with this kind of uncertainty a chance constraints programming model is used. This model is converted to a deterministic model in two stages. In the first stage, the uncertain model is converted to a model with interval parameters by alpha-cut method and distribution function concepts. In the second stage, the interval model is converted to a deterministic model by robust optimization and min-max regret criterion and ultimately a genetic algorithm with a proposed exact algorithm are applied to solve the final model. Finally, some numerical examples are given to show the efficiency of the solution procedure.     

基于VB6.0的PLC监控系统的设计

主要阐述了VB6.0与欧姆龙CPM2AH PLC如何实现串行通信,给出了读、写测试方法,并实现了VB对PLC的监控.     

强化两相混合的超临界技术制备聚乳酸微粒

针对商品化聚乳酸微球粒径分布较宽难于适用气溶胶给药要求的不足,采用水力空化混合强化超临界流体辅助雾化技术(SAA-HCM)制备聚乳酸(PLA)超细微粒.该技术主要特点是通过在超临界流体和液相进料处引入水力空化混合器,强化两相间的混合.考察SAA-HCM过程混合器压力、温度、沉淀器温度、进料中CO2与液体溶液质量流量比和溶液质量浓度等操作参数对微粒形态和粒径分布的影响,成功制备出球形度较好,粒径分布较窄(1～3μm)的PLA微球.经X射线衍射(XRD)分析和差示扫描量热(DSC)分析显示,与原料PLA相比,微球晶型及热曲线变化不大,但结晶度下降.同时把操作参数与相行为进行关联,探讨了影响颗粒形貌的机理.对比超临界流体辅助雾化法(SAA)的实验结果表明:水力空化的引入能有效强化混合器内的两相传质,混合更好,能制备出适用于气溶胶给药要求的超细微粒.     

基于现场试验的海上风电大直径单桩三维水平承载力研究

p－y 曲线法是计算分析水平受荷桩常采用的方法。但现场多为 3 m 以内直径试桩,对于海上风电大直径单桩( 4～8 m) 结构的桩土相互作用计算分析,其适用性值得商榷。结合江苏某海上风电大直径钢管桩水平静载荷试验,得到桩身挠度曲线和弯矩曲线; 采用 ABAQUS 建立单桩三维数值模型,将数值模拟结果与试验结果进行了对比分析,并对桩土接触法向刚度进行初步的敏感性分析,验证数值模型的有效性和适用性。随后对大直径单桩进行水平静载数值模拟,与规范推荐的 p－y 曲线法计算结果进行对比,结果表明,规范推荐的 p－y 曲线法过于保守,规范推荐的 p－y 曲线法不适于直接应用在大直径钢管桩的水平承载力分析; 所得结论对该区域海上风电大直径钢管桩设计优化具有指导意义。     

Test frame updating in CPM testing of Prolog programs

Category Partition Method (CPM) is a general approach to specification-based program testing, where test frame reduction and refinement are two important issues. Test frame reduction is necessary since too many test frames may be produced, and test frame refinement is important since during CPM testing new information about test frame generation may be achieved and considered incrementally. Besides the information provided by testers or users, implementation related knowledge offers alternative information for reducing and refining CPM test frames. This paper explores the idea by proposing a call patterns semantics based test frame updating method for Prolog programs, in which a call patterns analysis is used to collect information about the way in which procedures are used in a program. The updated test frames will be represented as constraints. The effect of our test frame updating is two-fold. On one hand, it removes “uncared” data from the original set of test frames; on the other hand, it refines the test frames to which we should pay more attention. The first effect makes the input domain on which a procedure must be tested a subset of the procedure’s input domain, and the latter makes testers stand more chance to find out the faults that are more likely to show their presence in the use of the program under consideration. Our test frame updating method preserves the effectiveness of CPM testing with respect to the detection of faults we care. The test case generation from the updated set of test frames is also discussed. In order to show the applicability of our method an approximation call patterns semantics is proposed, and the test frame updating on the semantics is illustrated by an example.

异构环境下实时多媒体信息组播技术

该文先介绍了组播骨干网(Mbone)和组播的相关概念,然后讨论了Internet和Mbone的异构性,在此基础上论述了如何有效地在异构环境下传输实时多媒体信息,并比较了两种对异构性的不同解决方案.     

电力数字调度机软件系统的设计与实现

电力调度交换机正被逐渐地应用于电力生产调度,它在电力通信中具有举足轻重的作用.文章首先介绍了一种新型程控调度交换机软件的基本结构和设计思想,讨论了在实现此软件系统中涉及到的操作系统设计、呼叫处理程序和其他关键问题.     

基于Multi-Agent的农业专家系统在Internet上的系统设计

该文充分考虑了农业专家系统中需要不同领域知识进行协作,以及领域知识的分布性、易于更新性、可重用性等特点,同时也考虑对原有的各领域专家系统进行利用,提出一个新的基于Multi－Agent的农业专家系统的实现模式.最后,提出一个在Internet环境下的系统实现方案.     

SET协议的支付模型分析

文章对安全电子交易协议SET的核心部分&&安全支付模型&&进行了详细分析,给出了有关协议数据的形式化描述,叙述了安全支付过程中的购买请求、支付授权、资金清算等处理流程,为进一步研究电子商务的安全支付问题,给出了一个参考模型.