ebXML消息服务规范的互操作性测评研究

主要研究如何对电子商务平台的互操作性进行测评，介绍了互操作性基本概念，描述了基于ebXML规范的互操作性测评体系，最后通过ebXML消息服务互操作性测试，验证了测试模型，步骤和评价标准的正确性与有效性．     

M/G/1非空竭服务休假排队系统随机分解的简化算法

本文根据M／G／1非空竭服务休假排队系统稳态队长随机分解的结构特征提出一种统一算法，该方法简洁高效，避免了再生循环方法繁杂的运算。运用该方法得出的结果与已知的用再生循环方法得出的结论一致。并且修正了Levy(1989)关于Bernoulli闸门服务休假排队系统随机分解的一个错误。     

通用数字图书馆的仓储管理方案研究

在数字图书馆时代,如何保证数字资源的长期可用性和服务的稳定性,对数字资源进行有效的管理和服务,是当前数字图书馆研究中的一个热点前沿话题.在研究分析了国外数字图书馆仓储管理的几种典型解决方案后,提出了一种基于数字对象的通用数字图书馆仓储管理方案.结果表明:该方案实现了统一存储各种属性不同的数字资源,并提供了很好的资源管理和访问接口.     

真值维护系统的语义研究

本文研究了带有CP(Conditional Proof)验证式 TMS(Truth Maintenance System)理论的形式语义,证明了TMS理论J转换为新理论J*后,原指称的有效性;讨论了U. Junker和Kurt Konolige所定义的不带CP验证式 TMS理论的扩充在我们的语义模型中的有效性。此外,本文还讨论了CP验证式的一些性质,结论是:CP验证式和非单调可证明性、逻辑真有着密切的关系。     

浅议珠算领域的名词和术语的标准化和规范化

具有悠久历史的珠算，是我国古代劳动人民在长期的生产和生活实践中发明创造的一门计算技术。在历代社会经济发展中都曾起过重要作用，就是在当今电子盛行的时代仍具有强大的生命力。那么，如何来弘扬祖国的民族文化，使其更好地为社会主义经济建设服务，对珠算领域名词、术语的规范化、     

卫星定位系统简介

 随着科学技术的不断进步和发展,当今社会已进入电子信息时代。快速、准确的卫星定位在军事、国民经济等诸多领域中广泛应用。目前能够实现全球卫星定位服务的,有美国的全球定位系统(GlobalPositioningSystem,简称GPS)和俄罗斯的“格洛纳斯”(GLONASS)全球导航系统(GLONASS为全球卫星导航系统的缩写),中国也有自己的区域性卫星定位系统“北斗一号”。卫星定位服务现已成为全球公认的八大无线产业之一。本文首先以GPS和“北斗一号”为例介绍卫星定位的基本原理,然后详细介绍各种已有和正在建设的卫星定位系统。     

带有无限到达源的Re-entrant Line的稳定性

用Foster判别准则,Weiss[13]给出了带有无限到达源的两站三步re-entrant line的稳定性的充分条件．本文用两种不同的方法得到了其稳定性的充分必要条件,即: 二维随机游动方法和Foster判别准则．同时,我们又用流体模型方法得到了系统稳定的充分条件,大大地简化了Weiss[13]的证明．     

GI／G／1单重休假随机服务系统的马氏骨架方法

文献[1]引入一类具有广泛应用前景的随机过程-Markov骨架过程。借助Markov骨架过程的方法研究GI/G/1单重休假服务系统队长，及t时刻到达顾客等待时间的瞬时概率分布。     

基于累积损伤过程的不完全预防维护决策

基于累积损伤过程研究旧系统的不完全预防维护策略,冲击服从非时齐Poisson过程,并产生随机的损伤量,损伤量是加法累加的.系统在累积损伤量达到k或系统运行年龄达到T时进行计划内预防维护.在两次计划内预防维护之间,当累积损伤量达到预定水平K (k K)时,对系统进行计划外维护,其费用高于计划内预防维护,利用再生过程理论得到单位时间维护成本,讨论在时齐Poisson过程下的时间预防维护策略与水平预防维护策略,同时给出算例.