不断开发最接地气的高铁技术
随着京雄城际等一批智能高铁的建成，我国高铁开始进入“智能时代”。 高铁智能化，是保持行业领先的必然选择。我国高铁在较短的时间内完成了后发赶超，规模、技术实现世界领先。要始终保持领先地位，...
2日，记者从科学出版社获悉，该出版社日前出版了北大信息学院软件理论教研室原主任、教授袁崇义的英文专著《OESPA: Semantic Oriented Theory of Programming》，书中提出了面向语义的新编程理论OESPA，这是目前唯一能做语义计算的编程理论。
袁崇义介绍，OESPA包括计算模型（编程语言）OE，语义谓词SP和语义公理A。传统的程序语言以社会学中的形式语言学为理论基础，没有考虑语义形式化的需求。OE则是二合一的，定义OE的公式既是编译程序需要的形式语法，又是定义语义公理的形式基础。
“传统数学中的谓词只能描述程序单独一个状态的性质，而程序语义是程序初态和终态之间的关系。SP联系初态和终态，能准确描述程序语义。语义谓词SP从语义公理A演变而成。从SP推出的SP公式和SP演算，用于程序的语义计算和语义综合，可借助符号处理工具完成程序正确性证明。”袁崇义表示，一旦开发出相应的符号处理系统，测试就不再是编程必要的一步。SP公式和SP演算还适用于描述程序规范和规范分析。
同时，袁崇义尝试SP和A用于C语言指针的语义处理，提出了指针的语义公理，表明OESPA可以用于传统语言程序的语义形式化处理。（记者马爱平）
消费日报网版权及免责声明:
1. 凡本网注明“来源：消费日报网” 的所有作品，版权均属于消费日报网。如转载，须注明“来源：消费日报网”。违反上述声明者，本网将追究其相关法律责任。
2. 凡本网注明 “来源：XXX（非消费日报网）” 的作品，均转载自其它媒体，转载目的在于传递更多信息，并不代表本网赞同其观点和对其真实性负责。
3. 任何单位或个人认为消费日报网的内容可能涉嫌侵犯其合法权益，应及时向消费日报网书面反馈，并提供相关证明材料和理由，本网站在收到上述文件并审核后，会采取相应措施。
4. 消费日报网对于任何包含、经由链接、下载或其它途径所获得的有关本网站的任何内容、信息或广告，不声明或保证其正确性或可靠性。用户自行承担使用本网站的风险。
5. 基于技术和不可预见的原因而导致的服务中断，或者因用户的非法操作而造成的损失，消费日报网不负责任。
6. 如因版权和其它问题需要同本网联系的，请在文章刊发后30日内进行。
7. 联系邮箱：xfrbw218@163.com 电话：010-67637706
随着京雄城际等一批智能高铁的建成，我国高铁开始进入“智能时代”。 高铁智能化，是保持行业领先的必然选择。我国高铁在较短的时间内完成了后发赶超，规模、技术实现世界领先。要始终保持领先地位，...
如今，很多企业都采用了智能客服，但由于技术发展水平有限和管理不善等原因，智能客服常常不能顺利解决用户的问题。很多时候，智能客服还给人留下了“兜圈子”“冷冰冰”的印象。 上周，中国青年报社社...
著名体育评论员黄健翔曾经发过一张运动员外出就餐禁用食品的图片，除了猪肉及猪肉制品榜上有名外，还有甘草、莲子、瓜子、释迦果、红牛饮料等。 “我们对兴奋剂非常谨慎，孙杨十几年没吃猪肉了。”近...
据新加坡《联合早报》报道，当地时间12月4日，世界首个“人工皮肤”面膜产品问世，这种高科技保湿面膜由直径只有千分之一毫米的纤维制成，通过专用仪器喷涂在皮肤表层后，会形成柔软自然的透明薄膜，就...
对于动物究竟何时并如何起源，人们抱有天然的好奇心。究竟是先有鸡还是先有蛋，也始终是一个充满争议和趣味的话题。 近日，中国科学院南京地质古生物研究所发布一项研究成果，该所副研究员殷宗军和...
据国外媒体报道，由于大脑不停思考，一些国际象棋顶尖选手比赛时一天之内消耗的热量可以多达6000卡路里，而且还是在坐了一整天的情况下。看到这些，有些人不免脑洞大开：现在天气越来越冷了，想保存更...