管理软件的“天王”时代

所谓"四大天王",本义是指佛教的护法天神,又称护世四天王,是佛教二十诸天中的四位天神,位于娑婆欲界第一重天。佛教中的四大天王,法相庄严,神力无边,统辖人间的东西南北四大洲,代表着佛的神圣与智慧。在香港娱乐圈,通过成功的炒作,刘德华、张学友、黎明和郭富城在上个世纪九十年代初期被誉为香港演艺界"四大天王"。时至今日,香港娱乐圈新人辈出,老天王们似乎也已经辉煌不再,但仍没有新生代艺人能真正取代他们的地位。通过这两个例子可以看出,在中国人的辞典里,能称得上"天王"的,都不是等闲之辈。同样,在管理软件领域也有"四大天王"——IBM,Oracle,微软和SAP,它们每一个也都是相当厉害的角色。IBM被很多人称为"伟大的蓝色巨人",不仅历史悠久,而且经常在创新发展方面提出崭新的理念并付诸实施;Oracle,在其"掌门人"拉里·埃里森的领导下,不断收购和扩张,已经成长为一个拥有完整产品体系的超级软件豪门;微软更不必多说,这个公司可能是知名度最高的软件企业,这个星球上占有率最高的计算机操作系统就是微软的产品;最后一个是来自德国的SAP公司,也许它距离普通人的生活远了些,但大部分世界五百强企业日常运转所需的管理软件,都是SAP的产品。在佛教以及香港娱乐圈的范畴,天王令众生倾慕和敬仰;但在管理软件领域,人们除了赞叹软件巨头纵横捭阖的商业智慧之外,可能还要站在一个软件产品用户的角度思量一个问题——天王时代的降临,是好是坏?对于广大用户来说:软件供应商数目越来越较少,规模却越来越大。也就是说,软件产品的价格将会更高,用户的选择将会更少,系统迁移成本将会更高,锁定厂商的情况将会越来越严重。当下,Oracle,IBM,微软和SAP四大天王级厂商纷纷构成了各自完整的软件产品线。这无疑是竞争的必然,但是,当这些天王级企业具备了完整的产品线时,也就意味着产业链也被它们控制,除了用户的选择受到牵制以外,那些专注于某一细分市场的小型软件企业如何面对严苛的竞争环境?沦为天王级企业的合作伙伴恐怕还是上乘的境遇,更多的企业,必将难逃被收购或整合的命运。     

一种BPEL结构演化算法研究*

针对BPEL并发同步引发的数据竞争、流程阻塞等问题,提出了一种BPEL结构演化算法。该算法的基本思想是利用BPEL基于XML编写的事实,使用XML 解析工具对BPEL的结构进行调整,达到规避失败的同步过程,删除冗余link结构的目的。利用自主开发的转换工具实现BPEL到形式化描述语言LOTOS的转换,通过对演化前后的BPEL流程做模型检测,来验证该演化方法的可行性。实验结果表明BPEL结构演化算法能够有效缓解BPEL并发同步带来的数据竞争、流程阻塞问题。     

一个商业决策支持系统的设计与实现

介绍一个商流计划决策支持系统的设计思想和实现方法 ,并讨论开发基于知识的决策支持系统的策略。对决策支持系统中的问题处理系统和模型库的组织提出了新观点 ,给出PPS的功能结构和模型的三层表示法。把组件技术引入到系统设计与实现中来 ,用三层client/server结构来实现DSS。     

从水利工程规划设计角度谈节水型农业

我国现阶段的农业发展模式落后,不仅仅对自然降水的利用率较低,对灌溉用水的浪费现象也十分严重。针对这种现象,水利工程的规划设计与建设也面临着越来越高的要求,传统的水利工作理念与思路已经不能适应新形势的要求。现代节水技术成为了改革农业生产模式的关键技术,以节水农业为主要切入点,探索适合我国国情的现代农业体系。经过多年的努力和探索,我国的现代化农业已经初步形成,但是,在技术体系和社会化服务机制中仍然需要进一步完善,这些亟待解决的问题,迫切需要我们的认真研讨。     

基于模型代数的DSS建模与实现方法研究

对DSS模型代数在实际系统中的建模方法进行研究,并结合一个实际应用系统介绍DSS模型代数的应用。在应用系统中采用Java技术对DSS模型之间的各种通信方式编程,充分体现了DSS模型代数的实用性。所形成的设计模式可以有效地应用到具体的DSS系统的开发中。     

数据库调优应用于电能量采集与分析系统

一个数据库系统的周期可以分为设计、开发和成品3个阶段。在设计阶段进行优化的成本最低，收益最大；而在成品阶段进行优化的成本最高，收益最小。因而有必要在数据库的设计开发阶段进行数据库调优，以提高数据库的使用性能。从数据库信息分层优化、快速数据库恢复、解决死锁等方面进行阐述，对数据库进行优化设计，并将此数据库优化方法应用到电能采集与分析系统。实际应用表明所提优化方法的有效性。     

铝基体超疏水表面结冰结霜特性研究

采用中性电解液,通过电化学加工技术及氟化处理方法制备出铝基体超疏水表面,接触角达160°,滚动角小于5°,并在其上进行了结冰和结霜研究.在不同实验条件下研究超疏水表面的形貌、霜高随时间的变化,并与相同条件下的普通铝表面、吸水性表面进行了对比.结果表明,该超疏水表面经过50多次结霜、除霜后,仍具有很好的超疏水性能,表现出良好的重复性和耐久性;与普通铝表面相比,铝基体超疏水表面具有明显的抗结冰结霜性能,霜晶先出现在四周边缘处并逐渐蔓延到中间,但抑霜能力随着冷表面温度的降低而减小;与吸水性表面相比,超疏水表面在抗结冰结霜的同时能有效抑制表面质量的增加.     

基于模型的网构软件可达性检测方法研究

针对网构软件(Internetware)可达性检测中存在状态空间"爆炸"等问题,提出了一种基于网构软件代数模型的可达性检测方法.根据网构软件特性建立其代数模型,通过引入网构相关和网构空间概念,进一步扩展网构软件代数模型.通过明确网构软件可达性与网构组合运算表达式的关系,把可达性判定转化成递归表达式(网构线性相关)判定上...     

基于TTCN-3的SIP协议软件测试方法研究

为了更加高效地测试基于SIP(session initiation protocol,会话初始协议)的应用软件,提出了一种通过执行TTCN-3抽象测试套来验证SIP应用程序正确性的新方法.简单介绍了SIP协议和TTCN-3,给出了基于TTCN-3的SIP协议软件测试的设计与实现方法,结合一个具体应用实例详细验证了该方法的可行性.该方法具有可重用、操作简单、执行快捷等特点.     

基于组件的软件可靠性模型

首先对不同的软件体系结构描述语言（ADL）进行分析，找出体系结构的共性，用抽象代数和一代阶逻辑理论对组件，连接器和软件体系结构的属性和动态行为进行讨论和描述，探讨不同连接形式下的软件体系结构，给出基于组件的软件可靠性模型，在此模型基础上，对基于组件的软件系统的可靠性计算模型进行研究，提出一种半Markov模型，并在理论上证明该模型的可用性，最后通过CORBA应用系统说明该可靠性模型在系统设计和可靠性计算方面的应用。