曾荫权支持度续攀升 须防干扰 保选举公正

本月14日选委会才开始接受候选人的提名，可是两位正式公布参选的参选人已经四出拉票，他们的政网及言论也引起了社会广泛的关注，民意调查自然也纷纷出台。根据最近的数据，无论选委意向还是民调结果均显示曾荫权的支持度领先梁家杰颇多，在这种形势下，突然发生教统局被指向教院施压事件．令一直和谐畅顺的选举活动横添枝节，港府必须审慎处理，以免影响选举的公平，公正。     

一种安全关键软件系统的形式化开发模型

形式化方法的主要研究对象是计算机系统的设计和验证.近年来,形式化方法的研究扩展到计算机应用系统的各个领域,尤其是安全关键系统.论述了形式化方法对安全关键软件系统的作用,提出了一种安全关键软件系统的形式化开发模型(Safety Critical Software Model-SCSM),给出了模型的应用实例.     

软件需求分析与问题域的说明方法

结合中国铁路调度自动化系统的研制、开发工作,阐述了一种计算机软件工程中软件需求分析与说明方法—以面向对象为基础的软件需求说明,并以实例展示了其在实际中的应用及重要性。     

联锁软件的Petri网形式化定义

用Petri网对联锁系统中的核心部分－联锁机中的联锁软件进行表式化定义和分析，以减少联锁系统中的不确定性因素，降低联锁软件的复杂性，保证联锁软件定义的正确性，并对该定义进行了形式化验证。同时以进程建立过程作为事例，说明了用Petri我形式化定义联锁软件的具体过程，采用分层模型化技术对联锁软件中的各个变迁（模块）进行逐级分解和验证，最终得到经过验证的，足够详细的联锁软件模型，利用该模型能对系统的一些重要性能（如安全性和实时性）进行分析和改进。     

梁家杰的“三道关”

3月1日假香港会议展览中心举办的第三届行政长官选举答问会，除梁国雄议员行为出位被逐出现场外，其余一如外界所料，平和收场。有鉴於大势，此次答辩很快就演变为一次正反方的辩论。特首曾荫权成为当然的正方，梁家杰议员仍习惯性的站在反方。与其说这是一次特首选举的答问会，不如说是一次立法会中的答问会更为准确。至於双方表现，一边是资深公务员，一边是知名大律师，自然是中规中矩。     

基于选举模型理论研究股市特性

基于交互粒子系统之一的选举模型理论,构造了一个股票价格方程（模型）来实现股市价格和收益的模拟.文中讨论了选举模型理论中3个重要参数,强度、初始密度和网格维数,对股票收益统计特性及幂律分布的影响.为验证价格模型的有效性,对比上证综指、香港恒生指数及模拟收益,通过自相关系数分析、经典R/S分析法和修正R/S分析法来研究以上3个时间序列的长期依赖性.同时计算并检验了著名的Hurst指数,求取了以上3个金融序列的记忆周期.     

数学化、公理化和形式化

本文从区分非方法性学科和方法性学科入手，一方面狭义地分析了数学化、公理化和形式化的基本功能和目标，从而得出结论：按上述顺序，这“三化”形成了由低到高的三个层次，对它们的逻辑要求依次提高，使用限制依次严格。另一方面，从广义上综合，“三化”又同属方法性学科范畴，它们语言相通，推理的逻辑基础相同，因而在应用中互相渗透，交融壁合。最后简述了“三化”产生和发展的历史，指出它们是一脉相承的，公理化和形式化实际上也是广义的数学化。     

基于统一建模语言的CTCS-3级列控系统风险评估的研究

CTCS-3级列控系统是典型的安全苛求系统,其系统评估技术是一项复杂的系统工程。通过将系统需求由非形式化向半形式化模型转换,运用危险及可操作性研究、故障树分析、事件树分析和原因结果分析等安全分析工具,提出适用于CTCS-3级列控系统的风险评估技术,对我国CTCS-3级列控系统评估具有积极作用。     

高速铁路列控中心软件安全性需求形式化建模

列控中心的安全性直接影响高速铁路的运行安全,为实现对其安全性需求更本质的形式化定义,提出1种基于安全行为模型的建模方法.根据其安全性需求的特征,安全行为模型定义安全因子以此描述系统状态、系统行为与系统风险之间的度量关系,采用安全约束规则对软件的安全约束行为、安全响应行为及安全失效行为进行描述.通过在我国高速铁路列控中心安全性测试与验证中的应用,说明了该方法的有效性.     

不同Statechart语义比较

Statechart是一种可视的规格描述语言,由于其直观的特性和强大的描述能力,一直得到广泛的重视,Statechart语义的关键在于执行步语义,不同的statechart的变体有着不同的描述能力,而应用于不同的领域.本文以三种应用最为广泛的Statechart语义为对象,以逆时间的方式,从UMLStatechart的语义开始,通过对Statechart功能的讨论,逐步引出了STATEMATE Statechart的语义和Pnueli给出的Statechart的语义,并进行了比较,显示出不同语义的描述能力的差异和不同语义表达的思想.