构件化驱动程序模型

首先分析了传统的UNIX操作系统驱动程序模型,指出其存在的局限性;其次介绍了构件技术,并将构件技术运用到设备驱动程序设计中,提出了构件化驱动程序模型,并试图弥补UNIX系统的驱动程序模型存在的问题;最后还通过构造基于新模型的鼠标驱动程序展示了新的驱动程序模型。

程序模型检查器综述

模型检查实际程序设计语言编写的程序是近年来程序验证领域的研究热点之一,出现了一批针对C,C++或Java语言的程序模型检查器原型。总结了程序模型检查中的主要问题及相关技术,以是否使用中间建模语言为标准,对现有程序模型检查器进行了分类,并具体地介绍了一些代表性工具中的模型获取及化简技术,最后展望了程序模型检查器未来的研究方向。

行为程序模型在高校思想政治教育中的应用研究

促使大学生“内化”的认知顺利“外化”为良好的行为,是高校思想政治教育的重要内容。行为程序理论模型是基于心理学用于描述人的认知-行为转换过程的理论模型。运用该模型,文章将思想政治教育“外化”描述为由情绪控制、观念控制、自我控制三个控制过程和外部资源、内部资源共同作用的结果。这在一定程度上为高校思想政治教育“外化”过程研究和实践提供了借鉴。

过程提取用于改善程序模型检测的可伸缩性

针对目前基于谓词抽象的程序模型检测工具很难处理大规模软件的现状,提出用过程提取技术对待检的源代码进行预处理,以改善程序模型检测的可伸缩性.首先,将程序中一个选定的语句集合提取出来并包装成一个独立的过程,然后在原程序的相应位置用一个过程调用替代,进而将大型程序分解成语义一致的小型过程的集合.由于模型检测算法中的过程总结边可单独计算,所以过程提取使整个程序的模型检测任务模块化,当程序对某过程进行多次调用时,利用总结边可以避免对过程体内状态空间的重复搜索,从而降低了模型检测算法在空间和时间上的开销.理论分析和实验表明,所提技术能有效缩短大型程序的模型检测时间,并在程序的转换中不会改变原程序语义,满足了程序模型检测的安全性要求.

程序模型检测的两阶段框架

模型检测是一种对有限状态变迁系统验证其时态逻辑性质的重要方法,可以弥补测试技术的不足。基于流分析的程序模型检测和基于语言转换的程序模型检测是当前程序模型检测的主要方法,它们都存在各自的局限性。基于对这两种程序模型检测方法各自优缺点的分析,提出了一种两阶段程序模型检测框架,通过结合两种程序模型检测方法,可有效提高程序模型检测对较大规模程序的适用性。

新型Win32驱动程序模型与数据采集系统

介绍了新型的Win32驱动程序模型，并成功应用于生理信号的数据采集系统中。

交互式计算机取证程序模型设计

计算机取证涵盖计算机科学、法学和侦查学的知识,学科的交叉给取证的规范化研究带来诸多难题,尤其见诸于取证程序标准化设计层面。为满足取证的法律和技术要求,本文从系统研究的角度出发,以动态取证、静态取证、计算机犯罪案件调查的交互结合为基点,提出了交互式取证程序模式的构建。

基于时间竞争的多式联运程序模型

在共同配送的研究中,经常会遇到配送能力与顾客需求之间的冲突,尤以对时间需求的冲突最为常见。文章在现有研究的基础上,通过建立多式联运程序模型,使共同配送中时间窗问题在现有生产能力下得以找到最优解,并在最后给出了一个算例加以证明。

企业移动制造基地选址影响因素与选址程序模型研究

为了适应顾客大规模定制化的需求,在智能制造、协同制造等模式的基础上,对企业移动制造资源配置这一新型制造模式进行研究,分析了移动制造基地选址影响因素,给出了该模式基地选址的程序模型,为未来制造业全球化的发展提供新的思路。

基于JXTA的P2P程序模型特性分析

P2P技术的日益广泛使用,使得作为P2P技术中一支重要力量的JXTA也日益被研究者所重视,同时也出现了一些基于JX-TA的P2P应用程序。在对这些程序及JXTA技术研究及设计的基础上,挖掘出JXTA原理及概念中的深层意义,提炼出这类JXTA程序的模型特性,并提出了基于JXTA的P2P程序的程序模型及设计流程。

多级控制机制下的基建项目选择决策程序模型(上)

“控制固定资产投资规模,合理调整投资结构,要落实到正确确定建设项目上.”所谓正确确定建设项目,主要是如何进行合理的项目选择决策问题.项目选择决策也就是如何将有限的资源(如资金、劳力和生产资料)分配给某个“合理的”项目组合,使这些项目能在总体上产生较大的社会经济效益.为了尽可能减少投资决策的失误,一方面要改革现行的投资项目决策体系和管理体制;

Windows驱动程序模型的设计与开发

介绍了Ｗｉｎｄｏｗｓ驱动程序模型（ＷＤＭ：Ｗｉｎｄｏｗｓ Ｄｒｉｖｅｒ ｐｒｏｇｒａｍ Ｍｏｄｕｌｅ的基本结构、设计和开发中的注意事项、基本步骤，并简单介绍了驱动程序的安装和调试。最后说明了编译设备驱动程序的方法。

多项式程序模型的互模拟等价

针对程序的行为等价性,提出多项式程序模型的互模拟等价,适用于代数程序模型描述的软件系统设计和验证分析.给出多项式程序模型互模拟等价概念,建立互模拟等价的符号计算方法,选取结构简单的模型,简化程序设计,缓解状态爆炸导致的形式化验证方法计算复杂度过高而难于实现的问题.最后给出并发程序的相关实例.

基于多Agent的样条有限条法的程序模型研究

冷弯型钢是由多架次轧辊轧制而成的,轧制冷弯型钢的轧辊设计依赖于孔型设计,而孔型设计则依赖于材料变形机理。将多Ａｇｅｎｔ技术用于样条有限条法,根据样条有限条法的变形理论进行材料变形机理的研究和信息化改造,建立基于多Ａｇｅｎｔ的样条有限条法的程序模型,将为研究材料辊弯变形理论和优化孔型设计打下坚实的基础。

有限状态程序模型及其应用

工程实际中的大部分应用程序都可以用有限状态机来描述. 论文首先提出了一个一般性的有限状态程序模型,即有限状态自动机. 并讨论了基于有限状态模型的程序框架生成和该模型的一些性质. 对于工业中的大多数专用应用程序和嵌入式系统,该模型给出了简洁、直观、统一的规范描述及其开发与维护方法.

补偿中子测井MCNP程序模型的基准实验研究

本研究使用CN241型补偿中子测井仪和我国石油工业中子测井孔隙度标准刻度井群的实际技术资料，建立起比较翔实的三维Monte Carlo计算模型，应用MCNP-4B／PC通用中子-光子联合输运Monte-Carlo程序，以每个计算点多达107以上的粒子投入量计算仪器在各刻度井中的输出，完成了基准实验研究与检验。工作的核心是以实测结果为准，将计算结果和实验结果反复比对，并在仪器和模型井设计和制造参数的不确定度范围内合理调整模型参数，使得用目前确认的模型及其参数计算得到的近远计数率比与实测结果之间的相对误差，在有实用价值的孔隙度范围0-40p.u.区间中，达到优于2．5％的水平，取得了计量确认的初步成果，同时还研究了仪器重要参数对其性能的影响，得到了一批有实用价值的数据。经计量确认的物理——数学模型方可在相应的误差水平上用于仪器输出的定量计算，制作刻度校正图板，研究改进仪器设计等工作。

面向SOA的程序模型变换系统架构方法研究

针对传统程序模型变换系统存在的复用性差、并发处理能力弱、不跨平台等问题,将SOA的架构和MDA的思想应用到程序模型变换,给出面向SOA的系统功能结构、逻辑架构,以及基本和复合变换服务模块的设计,并对基于元模型的程序模型转换框架和采用的ATL模型变换方法进行了分析和论述。实现的系统应用表明该架构方法具有可扩展性、跨平台、支持并发处理等特点。

热轧无缝钢管生产工艺流程程序模型

介绍了一种生产工艺流程程序模型。该模型可与控制程序一起在PLC中运行,在实验室即可完成程序调试。该调试方法可大大缩短现场调试时间。

信息系统内部控制审计程序模型研究

随着信息技术的发展,信息化程度越来越高,数据信息量也越来越大,因此也为内部审计应用信息技术实施审计创造了较好的条件。对于信息系统的审计的辅助工具标准主要有:1、COBIT5.0,即信息系统和技术控制目标,重点关注企业需要什么,是一个控制架构,面向信息系统审计人员,企业高级管理人员等。2、ITIL_V3基于企业的最佳实践,主要关注IT的战术和运营层面。

行业工具:丝网印刷工艺管理程序模型

SPTF创建了丝网印刷工艺程序模型,本文通过这个模型进行员工培训,程序编写,故障诊断等实际指导,并通过举例说明在管理活动中如何使用这个模型图表。以此进一步拓展,使丝网印刷成为一个可控,可重复和可预测的工艺过程。