政改“黄金机会”莫错过

经过约五个月的咨询和讨论，特区政府14日发表《2012年行政长官及立法会产生办法建议方案》，提出2012年两个选举办法的具体建议。具体建议一出，反对派例牌的反对：“翻叮”方案不接受。一些反对派却暗喜，政府在“5．16”补选之前推出具体建议，似乎是帮手拉票，让反对力量组织抗议行动“出师有名”，更激者又将为更激的“抗争”正蠢蠢欲动。     

分离机制下一种互联网安全接入方法

重点研究身份与位置分离机制下源地址真实性保障方面的方法,提出了身份与位置分离网络中唯一且不变的终端身份标识EID结构,并设计了一种保障源地址真实性的安全接入方法,并且给出了相应的协议流程和协议格式,保证了身份与位置分离网络中源地址即终端身份标识EID的真实性.最后使用SVO形式化逻辑对其安全性进行了证明.     

形式化方法在铁路信号系统软件设计中的应用

首先叙述了形式化方法的概念和铁路信号系统软件安全技术规范,同时介绍了几种较为流行的形式化设计语言,同时也基于Z语言对列控ATP软件的移动授权分配功能规格进行了实例说明。     

历经波澜起伏民主终向前行

2010年6月24日和25日是香港政制发展进程中值得记录的两个日子。24日立法会以46票赞成，13票反对，表决通过了2012年香港行政长官选举办法；在经过休会和近10个小时的辩论后，25日下午立法会再次以46票赞成，12票（议员梁国雄困扰乱会场秩序，而被逐出议事厅）反对，     

高速铁路信号系统联调联试技术发展新思路

联调联试是高铁信号系统开通运营前的最后测试验证环节,意义重大.通过分析联调联试技术现状与挑战,针对传统黑盒测试等方法的局限性,提出基于模型和形式化验证的测试技术、仿真平台测试技术、云测试与大数据融合分析的新思路,并提出新技术的应用解决方案.研究成果可为高铁信号测试技术的发展方向提供重要参考.     

海上编队作战方案形式化描述研究

作战方案的形式化描述是实现海上编队指挥自动化的关键,是提高编队协同作战能力的前提。通过对方案形式化描述问题研究现状的分析,概括了作战方案形式化描述的主要研究内容、方案形式化的主要方法、存在问题以及发展方向,对后续的研究工作具有一定参考意义。     

机器人“导购小姐”

第45届日本国会众议院选举结果於8月31日凌晨揭晓。鸠山领导的最大在野党民主党获得众议院全部480个议席中308席，超过控制众议院各个常设委员会的绝对稳定多数269席，取得空前胜利。而自民党从选前的300席降为179席，议席减少了60％，成为最大输家。     

产经趋势

“2007年看港名牌选举暨香港服务名牌选举”正式启动；首尔半导体与安富利合作拓展LED；2007义博会推介会在深举行。     

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

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