有限资金约束下独立方案的比选

通过对独立方案在有限资金的约束下,进行方案组合比选的两种方法进行讨论,使两种方法结合在一起形成一种新的比选方法.     

一种三态加时变迁Petri网的形式化描述与分析

提出一种弱引发规则三态加时变迁Ｐｅｔｒｉ网（简称ＷＴＴＰＮ），它比现有三态加时变迁Ｐｅｔｒｉ网更适于建模分析冲突结构；平行于无时间约束Ｐｅｔｒｉ网，给出了并发意义下ＷＴＴＰＮ的形式化描述与分析框架，据此可对其进行定性分析；证明了ＷＴＴＰＮ与其基网系统关于活性、有界（安全）性和可逆性等价。     

IEC61850操作语义形式化描述的Petri网方法及其实现

通过对IEC61850标准中变电站配置语言(SubstationConfigurationLanguage,SCL)的XMLSchema(ExtensibleMarkupLanguageSchema)定义和声明内容的研究发现,统一建模语言(UnifiedModelingLanguage,UML)状态机的语义表达能力存在明显的局限性,它与XML结合无法精确描述具有逻辑时序要求的模块语义,造成在IEC61850完备的语义信息模型基础上建立的ACSI(AbstractCommunicationServiceInterface)的XML描述不完备,极大地影响系统的互操作性。文章应用Petrinet建立的IEC61850控制模块具有明确的语义模型,基于XML的Petrinet形式化描述不仅实现了语义信息模型的完备描述,也完善和强化了SCL的XMLSchema描述操作语义的能力,有效保证了系统的互操作性和一致性。     

煤炭战略联盟集成模型研究

在CIMS企业集成理念思想指导下，提出煤炭企业基于战略联盟的企业集成理念．在详细分析战略联盟集成关系特点、信息需求和功能需求基础上，提出从关系视图、信息视图和过程视图的角度，对煤矿战略联盟进行建模的方法，揭示煤炭战略联盟关系的内涵．在战略联盟模型中提出反映成员企业之间关联关系的核心能力约束网络，有利于动态表示联盟关系．     

基于B／S结构模式的图书馆电子阅览室管理系统设计与实现

在评析传统的图书馆阅览室数据管理模式的基础上，提出了基于B／S模式的管理系统结构模型，并对B／S模式进行了简要介绍，对JSP技术进行了探讨，着重阐述了系统的基本功能以及系统的实现。     

四层应用软件系统的分析与开发

从软件工程的角度提出了传统三层结构的应用软件系统的不足，分析了四层结构的应用软件系统架构．分别对三层与四层应用软件系统中的业务逻辑处理进行分析和对比，从而得出四层架构较传统的三层架构的优势所在，并在．net平台下，开发出一个四层结构的真实应用软件系统．     

宁波农村居民增收趋势及对策研究

推进农村小康建设 ,最根本的的是要加快发展农村经济 ,大幅度增加农民收入。本文从宁波农村居民人均收入结构入手 ,用大量的数据指标对农村居民的增收趋势进行了详细分析 ,并提出了应对策略     

高精度石英晶体热敏网络温度补偿系统的数学模型

较为系统的介绍了石英晶体振荡器温度补偿的若干热敏网络结构和补偿计算系统的设计结构，并讨论了系统设计过程所涉及的T-R曲线、T-V曲线及最小二乘法等数学模型，指出了高精度温度补偿的关键问题。     

高碳盘条力学性能不合原因分析

借助金相检验、化学分析和扫描电子显微镜及能谱仪分析了高碳盘条力学性能不合格的原因.分析结果表明.高碳盘条抗拉强度不合格的主要原因是控轧控冷时造成的索氏体比例较小,中心偏析造成的网状碳化物和马氏体、夹杂物的大小对抗拉强度的影响并不显著.     

工程控制网的质量标准研究

从经典自由网平差、秩亏自由网平差参考基准出发,提出了准则矩阵的概念,用来描述网的整体质量和细部结构,采用解析法优化设计。根据实际核工程对控制网的局部的特殊要求,对协因数阵中的部分元素,抽取与某一点的坐标相应的子矩阵进行精密设计。研究筛选确定了测图控制网、施工控制网和变形监测网的四个质量标准,即精确标准:总体精度与局部精度标准;可靠性标准:内部可靠性与外部可靠性及度量;灵敏度标准和经济标准。这些标准都具有直观和易于计算的优点,在进行核工程控制网测设时,可以此标准为优化标准,根据标准选择合理的布网方案,既能保证质量,又能显著提高经济效益。