油气开发项目风险评价系统研究与实现

油气开发具有高投入、高风险的特点,应在全面进行石油地质和工程技术论证的基础上科学评估其实施风险。文中通过对理想的风险评价模型实现,分析油气开发项目在可预见周期内可能出现风险的概率,客观给出风险评价的结果．为科学决策提供依据,减少油气勘探开发风险,提高油气勘探效益。     

基于ASP．Net技术实现网站新闻系统

本文以网站新闻系统的功能设计为例,详细介绍了ASP．NET技术的先进性,代码更易于编写,结构更清晰,程序的可靠性和稳定性有了很大的改善和提高。降低了系统的开发与维护的复杂度。     

基于.NET的Nx二次开发技术在标准件库中的应用

随着CAD技术的发展,CAD软件得到了广泛的应用,在这些平台上开发符合企业所需要的零件库的工作也取得了很大成果。但随着网络和信息技术的发展,这些零件库的缺点与不足也逐渐显露了出来,界面不够友好、重复开发现象严重、资源不能共享、移植性和扩展性较差等。基于现有的二次开发存在的问题,重点对CAD软件系统NX的NXOpenFor.Net的开发方式进行了研究,获取完整的开发过程,采用将交互式和批处理式相结合的二次开发模式,提出了一种新的基于UG的企业标准件数据库系统,实现了企业标准件数据库系统中的数据库和图形库同步管理。     

Verification of bounded Petri nets using integer programming

Model checking based on the causal partial order semantics of Petri nets is an approach widely applied to cope with the state space explosion problem. One of the ways to exploit such a semantics is to consider (finite prefixes of) net unfoldings—themselves a class of acyclic Petri nets—which contain enough information, albeit implicit, to reason about the reachable markings of the original Petri nets. In [19], a verification technique for net unfoldings was proposed, in which deadlock detection was reduced to a mixed integer linear programming problem. In this paper, we present a further development of this approach. The essence of the proposed modifications is to transfer the information about causality and conflicts between the events involved in an unfolding, into a relationship between the corresponding integer variables in the system of linear constraints. Moreover, we present some problem-specific optimisation rules, reducing the search space. To solve other verification problems, such as mutual exclusion or marking reachability and coverability, we adopt Contejean and Devie's algorithm for solving systems of linear constraints over the natural numbers domain and refine it, by taking advantage of the specific properties of systems of linear constraints to be solved. Another contribution of this paper is a method of re-formulating some problems specified in terms of Petri nets as problems defined for their unfoldings. Using this method, we obtain a memory efficient translation of a deadlock detection problem for a safe Petri net into an LP problem. We also propose an on-the-fly deadlock detection method. Experimental results demonstrate that the resulting algorithms can achieve significant speedups.

OMR抽象模型

在计算机领域反映现实世界中的事物,离不开有效模型的支持。这个模型一方面是现实世界中具体事物的抽象,另一方面又便于计算机实现。提出的OMR模型反映了现实世界的运行规律,用对象、消息和关系三要素对现实事物进行抽象和描述,是辅助计算机实现的有效工具。为了从形式化和数学化的角度描述OMR模型,又探讨了对象内Petri网和对象间Petri网,从而使OMR模型进一步丰满。     

嵌入式网络体系结构研究及网络接口实现*

回顾了以往嵌入式网络采用的体系结构,介绍了它们的发展以及存在的问题。提出一种基于因特网的嵌入式网络体系结构,在对其网络接口的实现中,介绍了以单片机为硬件核心和以thin TCP/IP为软件核心的实现方案。这种体系结构的实现将推动嵌入式网络技术的发展。     

基于Petri Net的BPEL流程建模与分析验证

设计了一个基于Petri Net的Web服务组合流程建模引擎.把BPEL流程的语法元素按其语义转换为Petri Net模板,通过模板组合来得到整个流程的Petri Net模型,并以Petri Net标记语言(Petri Net Mark-up Language,PNML)文件格式来描述Petri Net模型,从而能够利用现有的支持PNML文件的Petri Net分析工具对流程进行分析,通过对Petri Net的性质验证来达到对服务流程的验证目的,以在流程定义阶段发现其存在的问题.实际结果表明,采用该工具可以确保服务组合流程设计的正确性,增加服务组合的可靠性.     

基于Petri网的乐音体系建模

把Petri网理论和音乐理论结合起来,提出了一个较完整的用自控网系统和时间Petri网建立的乐音体系模型.该模型借助Petri网有关理论成果,可以形式化的分析乐曲,便于计算机处理.其实质是在五线谱的音符之间加入变迁元素,使其更反映乐曲的本质,并且起到同步的作用.     

基于Web Service的在线虚拟实验系统的设计与实现

鉴于Web Service具有灵活性、松散耦合性、易集成、基于开放标准等特点，提出一个基于Web Service的在线虚拟实验系统的设计方案，以数字逻辑课程的相关实验为例，讨论了系统总体架构，叙述了实验器材库的设计、系统仿真、用户认证等一些关键技术。     

基于嵌入式系统开发平台的设计与实现

本文首先介绍了EVB2107评估板、评估板的系统开发工具和集成开发环境,然后对扩展板上各模块都从原理入手结合该模块要实现的功能说明其设计思想和实现原理,并就各模块驱动程序的编程思想及流程进行了论述。