eiffel

MYSQL基础操作

杀马特。学长 韩版系。学妹 提交于 2020-08-16 14:01:45
什么是数据库? 数据库(Database)是按照数据结构来组织、存储和管理数据的仓库。 每个数据库都有一个或多个不同的 API 用于创建,访问,管理,搜索和复制所保存的数据。 我们也可以将数据存储在文件中,但是在文件中读写数据速度相对较慢。 所以,现在我们使用关系型数据库管理系统(RDBMS)来存储和管理大数据量。所谓的关系型数据库,是建立在关系模型基础上的数据库,借助于集合代数等数学概念和方法来处理数据库中的数据。 RDBMS 即关系数据库管理系统(Relational Database Management System)的特点: 1.数据以表格的形式出现 2.每行为各种记录名称 3.每列为记录名称所对应的数据域 4.许多的行和列组成一张表单 5.若干的表单组成database 什么是MYSQL MySQL 是一个关系型数据库管理系统,由瑞典 MySQL AB 公司开发,目前属于 Oracle 公司。MySQL 是一种关联数据库管理系统,关联数据库将数据保存在不同的表中,而不是将所有数据放在一个大仓库内,这样就增加了速度并提高了灵活性。 特点: MySQL 是开源的,所以你不需要支付额外的费用。 MySQL 支持大型的数据库。可以处理拥有上千万条记录的大型数据库。 MySQL 使用标准的 SQL 数据语言形式。 MySQL 可以运行于多个系统上,并且支持多种语言

Eiffel: Evolutionary Flow Map for Influence Graph Visualization

眉间皱痕 提交于 2020-08-10 10:10:18
论文传送门 视频 作者 北京大学 Yucheng Huang Tong Yang 中国科学院软件研究所计算机科学实验室 Lei Shi Yue Su Deyun Wang 雅虎实验室 Yifan Hu 亚利桑那州立大学 Hanghang Tong 圣母大学 Chaoli Wang 清华大学美术学院 Shuo Liang 摘要 影响力演化图的可视化对于执行许多现实生活任务(例如引文分析和社会影响分析)很重要。主要挑战包括如何总结大规模、复杂和随时间变化的影响图,以及如何设计有效的视觉隐喻和动态表示方法来说明随时间推移的影响模式。在这项工作中,我们介绍了Eiffel,这是一个集成的可视化分析系统,该系统对节点,关系和时间纬度的影响力演化图进行了三次汇总。在数值实验中,就基于影响流的目标而言,Eiffel汇总结果优于传统聚类算法。此外,提出了一种流程图表示法,并适用于影响图摘要的情况,它支持两种演化可视化模式(即翻书和电影),以加快对影响图动力学的分析。我们进行了两个受控用户实验,以分别评估影响图摘要和可视化方面的技术。我们还在两种典型情况的影响力演化分析中展示了该系统,这两种情况是科学论文的引文影响和新兴在线事件的社会影响。评估结果证明了Eiffel在影响演化图的可视分析中的价值。 Introduction 影响力 Cyber-Influence (社交) Social

Python开源微博工具:Twitter

こ雲淡風輕ζ 提交于 2020-02-28 23:50:54
原文来自:https://www.oschina.net/p/python-twitter 前言 python-twitter“围绕 Twitter API 及 twitter 数据模型的一个 python 包装程序”。现在已经有几个库可以通过多种语言与 Twitter 的服务交互 — 从 Ruby 到 Eiffel,几乎任何语言。目前,有五个库可以交互 Python 与 Twitter,它们是 DeWitt Clinton 的 Python-twitter、Andrew Price 的 python-twyt、Dustin Sallings 的 twitty-twister、Ryan McGrath 的 twython 以及 Josh Roesslein 的 Tweepy。 python-twitter 库需要依赖项 simplejson 学习从来不是一个人的事情,要有个相互监督的伙伴,工作需要学习python或者有兴趣学习python的伙伴可以私信回复小编“学习” 获取资料,一起学习 小礼物走一走,来简书关注我 来源: oschina 链接: https://my.oschina.net/u/4104998/blog/3045980

Eiffel: is there a way to express a double implies clause in eiffel?

我们两清 提交于 2020-01-17 02:40:06
问题 Like double bind in psychology, is there a way to tell that one expression implies another and reversely? valid_last_error: attached last_error implies not attached last_success_message valid_last_success_message: attached last_success_message implies not attached last_error would be something like valid_last_error: attached last_error double_binded_not attached last_success_message which could be equivalent to valid_last_error: attached last_error never_with attached last_success_message T

Eiffel: is there a way to express a double implies clause in eiffel?

岁酱吖の 提交于 2020-01-17 02:40:06
问题 Like double bind in psychology, is there a way to tell that one expression implies another and reversely? valid_last_error: attached last_error implies not attached last_success_message valid_last_success_message: attached last_success_message implies not attached last_error would be something like valid_last_error: attached last_error double_binded_not attached last_success_message which could be equivalent to valid_last_error: attached last_error never_with attached last_success_message T

Detachable element in ensure, Eiffel

不问归期 提交于 2020-01-05 14:03:36
问题 How can I ensure that an element is in my HASH_TABLE, if it is detachable? Current = HASH_TABLE[ARRAYED_SET[G], G] add_edge (src: G; dst: G) do if attached Current.at(src) as edges then edges.put(dst) end ensure in: Current.at (src).has (dst) end 回答1: Have you try that: add_edge (src: G; dst: G) do if attached Current.at(src) as edges then edges.put(dst) end ensure in: attached Current.at (src) as edges implies edges.has (dst) end 来源: https://stackoverflow.com/questions/20935201/detachable

explicit creation type not conforming to type of target

纵饮孤独 提交于 2019-12-24 22:45:39
问题 I really don't understand as it seems to me the basics of type conformance. I have a Creation instruction lists explicit creation type which does not conform to type of target on create {JANITZA_DEVICE} l_device.make_from_file_path (a_file_path) with eiffel studio 19.5 enterprise. SMA_INVERTER_MANAGER_CSV class SMA_INVERTER_MANAGER_CSV inherit SUNSPEC_DEVICE_CSV[SMA_INVERTER_MANAGER_DEVICE] create make SUNSPEC_DEVICE_CSV deferred class SUNSPEC_DEVICE_CSV[G -> SUNSPEC_DEVICE create make_from

How to initialise an array of objects in Eiffel?

喜你入骨 提交于 2019-12-24 05:22:12
问题 I am trying to implement a solution to the Producer-Consumer problem using Eiffel. I have an array p of class PRODUCER and an array c of class CONSUMER declared and initialized as following: local p:attached ARRAY[PRODUCER] c:attached ARRAY[CONSUMER] do !!p.make(1,5) !!c.make(1,5) But when I try to access a feature in one of the components of the array (like p.at(i).somefeature()), it gives a runtime exception saying "Feature call on void target". Any ideas on how to solve this? Is it because

Examples of error handling in Eiffel

。_饼干妹妹 提交于 2019-12-23 18:54:42
问题 I can't find any substantial example of error handling in Eiffel. I have only found examples that either are trivial, or they completely ignore errors, or they leave error handling to the reader. I am interested in knowing how errors can travel through the call stack in absence of exceptions. For example, I would like to know how an application that sends a network request would inform the user of a network problem that has been detected down the call chain. Something like that. -- EDIT: I do

Object-Oriented Callbacks for C++?

天涯浪子 提交于 2019-12-18 03:36:12
问题 Is there some library that allows me to easily and conveniently create Object-Oriented callbacks in c++? the language Eiffel for example has the concept of "agents" which more or less work like this: class Foo{ public: Bar* bar; Foo(){ bar = new Bar(); bar->publisher.extend(agent say(?,"Hi from Foo!", ?)); bar->invokeCallback(); } say(string strA, string strB, int number){ print(strA + " " + strB + " " + number.out); } } class Bar{ public: ActionSequence<string, int> publisher; Bar(){}